Trace number 3732671

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)191 1800.03 1794.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
MD5SUMeb2e849a72ed563d78cdb83a394edb27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark9.32758
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved YES
Number of variables456
Total number of constraints1602
Number of constraints which are clauses1602
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 456
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 456
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 456
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3732671-1338691606.opb
0.07/0.11	c reading problem ... 
0.25/0.28	c ... done. Wall clock time 0.172s.
0.25/0.29	c CPU time (experimental) 0.25s.
0.25/0.29	c #vars     456
0.25/0.29	c #constraints  1602
0.45/0.31	c SATISFIABLE
0.45/0.31	c OPTIMIZING...
0.45/0.31	c Got one! Elapsed wall clock time (in seconds):0.196
0.45/0.31	o 226
0.45/0.33	c Got one! Elapsed wall clock time (in seconds):0.218
0.45/0.33	o 224
0.45/0.35	c Got one! Elapsed wall clock time (in seconds):0.232
0.45/0.35	o 223
0.45/0.35	c Got one! Elapsed wall clock time (in seconds):0.241
0.45/0.35	o 214
0.73/0.46	c Got one! Elapsed wall clock time (in seconds):0.348
0.73/0.46	o 213
0.73/0.48	c Got one! Elapsed wall clock time (in seconds):0.37
0.73/0.48	o 212
0.73/0.49	c Got one! Elapsed wall clock time (in seconds):0.379
0.73/0.49	o 211
1.03/0.59	c Got one! Elapsed wall clock time (in seconds):0.48
1.03/0.59	o 210
1.21/0.60	c Got one! Elapsed wall clock time (in seconds):0.491
1.21/0.60	o 209
1.21/0.61	c Got one! Elapsed wall clock time (in seconds):0.5
1.21/0.61	o 208
1.41/0.70	c Got one! Elapsed wall clock time (in seconds):0.587
1.41/0.70	o 207
1.41/0.71	c Got one! Elapsed wall clock time (in seconds):0.596
1.41/0.71	o 206
1.55/0.81	c Got one! Elapsed wall clock time (in seconds):0.697
1.55/0.81	o 205
1.55/0.87	c Got one! Elapsed wall clock time (in seconds):0.758
1.55/0.87	o 204
1.55/0.88	c Got one! Elapsed wall clock time (in seconds):0.767
1.55/0.88	o 203
1.55/0.89	c Got one! Elapsed wall clock time (in seconds):0.777
1.55/0.89	o 202
1.66/0.90	c Got one! Elapsed wall clock time (in seconds):0.788
1.66/0.90	o 201
1.66/0.91	c Got one! Elapsed wall clock time (in seconds):0.797
1.66/0.91	o 200
1.66/0.98	c Got one! Elapsed wall clock time (in seconds):0.867
1.66/0.98	o 199
1.77/1.05	c Got one! Elapsed wall clock time (in seconds):0.933
1.77/1.05	o 198
1.77/1.05	c Got one! Elapsed wall clock time (in seconds):0.936
1.77/1.05	o 197
1.92/1.15	c Got one! Elapsed wall clock time (in seconds):1.041
1.92/1.15	o 196
2.04/1.27	c Got one! Elapsed wall clock time (in seconds):1.154
2.04/1.27	o 195
2.17/1.34	c Got one! Elapsed wall clock time (in seconds):1.224
2.17/1.34	o 194
2.57/1.74	c Got one! Elapsed wall clock time (in seconds):1.631
2.57/1.74	o 193
14.67/13.85	c Got one! Elapsed wall clock time (in seconds):13.733
14.67/13.85	o 192
77.71/76.02	c Got one! Elapsed wall clock time (in seconds):75.91
77.71/76.02	o 191
707.48/704.63	c cleaning 774018 clauses out of 1548057 for limit 2878766.253797767
726.92/724.01	c cleaning 387230 clauses out of 774539 for limit 9488683.20162141
730.21/727.33	c cleaning 193878 clauses out of 387809 for limit 3.1252678254363395E7
731.81/728.96	c cleaning 97198 clauses out of 194431 for limit 1.0280056503815693E8
732.41/729.53	c cleaning 48794 clauses out of 97733 for limit 3.372684126078084E8
732.61/729.75	c cleaning 24645 clauses out of 49439 for limit 1.0995199352162678E9
732.91/730.07	c cleaning 12575 clauses out of 25294 for limit 3.544142361839475E9
733.11/730.20	c cleaning 6536 clauses out of 13219 for limit 1.1183711545054642E10
733.11/730.28	c cleaning 3517 clauses out of 7183 for limit 3.394177734511302E10
733.22/730.35	c cleaning 2008 clauses out of 4166 for limit 9.651105609836975E10
733.32/730.42	c cleaning 1256 clauses out of 2658 for limit 2.4945788967504617E11
733.32/730.49	c cleaning 876 clauses out of 1902 for limit 5.749069979666821E11
733.41/730.56	c cleaning 763 clauses out of 1526 for limit 1.181706055586034E12
733.51/730.63	c cleaning 631 clauses out of 1263 for limit 2.354596700603345E12
733.51/730.70	c cleaning 492 clauses out of 1132 for limit 4.3324079274544937E12
733.61/730.77	c cleaning 495 clauses out of 1140 for limit 7.094581863805837E12
733.71/730.84	c cleaning 501 clauses out of 1145 for limit 1.1648823259512E13
733.81/730.91	c cleaning 572 clauses out of 1144 for limit 1.9227260273682184E13
733.81/730.99	c cleaning 466 clauses out of 1072 for limit 3.383798794512947E13
733.91/731.06	c cleaning 553 clauses out of 1106 for limit 5.408789461699009E13
734.01/731.13	c cleaning 526 clauses out of 1053 for limit 9.368773068717136E13
734.11/731.20	c cleaning 513 clauses out of 1027 for limit 1.5841508479880603E14
734.11/731.27	c cleaning 435 clauses out of 1014 for limit 2.6459699629110506E14
734.21/731.34	c cleaning 466 clauses out of 1079 for limit 4.1006934740818575E14
734.32/731.41	c cleaning 484 clauses out of 1113 for limit 6.55600799386997E14
734.32/731.48	c cleaning 491 clauses out of 1129 for limit 1.0658512131816965E15
734.42/731.55	c cleaning 498 clauses out of 1138 for limit 1.743830023907115E15
734.51/731.62	c cleaning 497 clauses out of 1140 for limit 2.870763715891489E15
734.51/731.68	c cleaning 571 clauses out of 1143 for limit 4.721847496938524E15
734.61/731.75	c cleaning 536 clauses out of 1072 for limit 8.302698901581661E15
734.71/731.82	c cleaning 518 clauses out of 1036 for limit 1.4168054064262756E16
734.71/731.89	c cleaning 509 clauses out of 1018 for limit 2.3778150407725388E16
734.81/731.96	c cleaning 504 clauses out of 1009 for limit 3.9563123215565568E16
734.91/732.04	c cleaning 502 clauses out of 1005 for limit 6.5504563968142992E16
735.01/732.11	c cleaning 428 clauses out of 1003 for limit 0.001082411943892269
735.01/732.18	c cleaning 462 clauses out of 1075 for limit 0.0016654857900013577
735.11/732.26	c cleaning 481 clauses out of 1113 for limit 0.0026528342658097186
735.21/732.32	c cleaning 491 clauses out of 1132 for limit 0.004301448653071375
735.21/732.39	c cleaning 496 clauses out of 1141 for limit 0.00703771073583526
735.31/732.47	c cleaning 498 clauses out of 1145 for limit 0.011565581071433073
735.42/732.54	c cleaning 496 clauses out of 1147 for limit 0.019039932877870584
735.52/732.61	c cleaning 500 clauses out of 1151 for limit 0.03129027602762932
735.52/732.68	c cleaning 501 clauses out of 1151 for limit 0.05160185110779837
735.63/732.76	c cleaning 500 clauses out of 1150 for limit 0.08517235421902744
735.73/732.83	c cleaning 500 clauses out of 1150 for limit 0.14046060626087395
735.83/732.90	c cleaning 499 clauses out of 1150 for limit 0.23163833020791172
735.83/732.98	c cleaning 500 clauses out of 1151 for limit 0.3816707069629916
735.93/733.05	c cleaning 500 clauses out of 1151 for limit 0.6294260547756686
736.03/733.13	c cleaning 499 clauses out of 1151 for limit 1.0380077674362287
736.13/733.21	c cleaning 505 clauses out of 1152 for limit 1.7103277213302022
736.13/733.28	c cleaning 503 clauses out of 1147 for limit 2.8328545918553076
736.23/733.36	c cleaning 498 clauses out of 1144 for limit 4.684007303378207
736.33/733.43	c cleaning 499 clauses out of 1146 for limit 7.711073760374622
736.43/733.50	c cleaning 499 clauses out of 1147 for limit 12.705505371428067
736.43/733.57	c cleaning 501 clauses out of 1148 for limit 20.93482625941928
736.54/733.64	c cleaning 500 clauses out of 1147 for limit 34.55442878938029
736.64/733.71	c cleaning 498 clauses out of 1147 for limit 56.98487568246974
736.64/733.78	c cleaning 501 clauses out of 1149 for limit 93.81210508779316
736.73/733.85	c cleaning 502 clauses out of 1148 for limit 154.84347493441837
736.83/733.92	c cleaning 500 clauses out of 1146 for limit 255.80325502641477
736.83/733.99	c cleaning 500 clauses out of 1146 for limit 421.85378828578126
736.93/734.05	c cleaning 498 clauses out of 1146 for limit 695.6933314733947
737.03/734.12	c cleaning 500 clauses out of 1148 for limit 1145.292606332378
737.03/734.19	c cleaning 500 clauses out of 1148 for limit 1888.7407223458483
737.13/734.26	c cleaning 499 clauses out of 1148 for limit 3114.78612236167
737.23/734.33	c cleaning 502 clauses out of 1149 for limit 5132.228422157719
737.33/734.40	c cleaning 502 clauses out of 1147 for limit 8478.489277187135
737.33/734.47	c cleaning 499 clauses out of 1145 for limit 14006.586042312081
737.43/734.54	c cleaning 500 clauses out of 1146 for limit 23078.578187847477
737.53/734.61	c cleaning 500 clauses out of 1146 for limit 38059.66282871479
737.53/734.67	c cleaning 501 clauses out of 1146 for limit 62765.47553515279
737.64/734.74	c cleaning 500 clauses out of 1145 for limit 103599.06635402326
737.64/734.80	c cleaning 495 clauses out of 1145 for limit 170848.71965292946
737.74/734.87	c cleaning 497 clauses out of 1150 for limit 280527.3840298792
737.83/734.94	c cleaning 502 clauses out of 1153 for limit 461423.4711443133
737.93/735.01	c cleaning 499 clauses out of 1151 for limit 762271.2718917499
737.93/735.07	c cleaning 501 clauses out of 1152 for limit 1255996.080559374
738.03/735.14	c cleaning 497 clauses out of 1151 for limit 2073105.1314185704
738.13/735.21	c cleaning 502 clauses out of 1154 for limit 3409939.9297760264
738.13/735.28	c cleaning 576 clauses out of 1152 for limit 5633210.046827173
738.23/735.35	c cleaning 462 clauses out of 1076 for limit 9946082.103337532
738.33/735.42	c cleaning 480 clauses out of 1114 for limit 1.5842911910030345E7
738.33/735.49	c cleaning 567 clauses out of 1134 for limit 2.5666286084176097E7
738.43/735.56	c cleaning 458 clauses out of 1067 for limit 4.498498219022017E7
738.53/735.63	c cleaning 554 clauses out of 1109 for limit 7.137667502896701E7
738.53/735.69	c cleaning 527 clauses out of 1055 for limit 1.2373463646197572E8
738.63/735.75	c cleaning 441 clauses out of 1028 for limit 2.0941438882688046E8
738.74/735.82	c cleaning 469 clauses out of 1087 for limit 3.266073667993842E8
738.74/735.88	c cleaning 559 clauses out of 1118 for limit 5.236843600505996E8
738.84/735.95	c cleaning 529 clauses out of 1059 for limit 9.117406835368032E8
738.93/736.01	c cleaning 515 clauses out of 1030 for limit 1.5459162298440542E9
738.93/736.08	c cleaning 433 clauses out of 1015 for limit 2.587098869109064E9
739.03/736.14	c cleaning 468 clauses out of 1082 for limit 4.002282082274938E9
739.13/736.20	c cleaning 557 clauses out of 1114 for limit 6.410702919281228E9
739.13/736.26	c cleaning 453 clauses out of 1057 for limit 1.1142220329934055E10
739.23/736.33	c cleaning 552 clauses out of 1104 for limit 1.759274237512353E10
739.23/736.39	c cleaning 450 clauses out of 1052 for limit 3.0446877759951065E10
739.33/736.46	c cleaning 474 clauses out of 1102 for limit 4.793279964836493E10
739.43/736.52	c cleaning 564 clauses out of 1128 for limit 7.722557983051175E10
739.43/736.59	c cleaning 457 clauses out of 1064 for limit 1.3501578210014485E11
739.53/736.66	c cleaning 479 clauses out of 1107 for limit 2.1401017915509448E11
739.63/736.73	c cleaning 564 clauses out of 1128 for limit 3.463608835304227E11
739.63/736.79	c cleaning 532 clauses out of 1064 for limit 6.05553052257962E11
739.73/736.85	c cleaning 492 clauses out of 1032 for limit 1.0296035117621338E12
739.84/736.92	c cleaning 444 clauses out of 1040 for limit 1.684892744721723E12
739.84/736.99	c cleaning 548 clauses out of 1096 for limit 2.6366405825214624E12
739.94/737.05	c cleaning 524 clauses out of 1048 for limit 4.547326007893907E12
740.03/737.12	c cleaning 512 clauses out of 1024 for limit 7.674910220158653E12
740.03/737.19	c cleaning 506 clauses out of 1012 for limit 1.2807036138914838E13
740.13/737.25	c cleaning 503 clauses out of 1006 for limit 2.1246483179290008E13
740.23/737.32	c cleaning 501 clauses out of 1003 for limit 3.5143093544083734E13
740.23/737.39	c cleaning 426 clauses out of 1002 for limit 5.801350259578571E13
740.33/737.46	c cleaning 463 clauses out of 1076 for limit 8.90923519901076E13
740.43/737.53	c cleaning 480 clauses out of 1113 for limit 1.420409009207514E14
740.53/737.60	c cleaning 498 clauses out of 1133 for limit 2.301095058064665E14
740.53/737.67	c cleaning 493 clauses out of 1135 for limit 3.788126689551791E14
740.63/737.74	c cleaning 497 clauses out of 1142 for limit 6.208835301285531E14
740.73/737.81	c cleaning 497 clauses out of 1145 for limit 1.0212372416653925E15
740.73/737.87	c cleaning 500 clauses out of 1148 for limit 1.6797557234811408E15
740.83/737.93	c cleaning 501 clauses out of 1148 for limit 2.770141901720798E15
740.83/738.00	c cleaning 573 clauses out of 1147 for limit 4.572317433798708E15
740.94/738.06	c cleaning 537 clauses out of 1074 for limit 8.052883148001481E15
741.04/738.13	c cleaning 518 clauses out of 1037 for limit 1.3754120005177E16
741.04/738.19	c cleaning 509 clauses out of 1019 for limit 2.3083054058310792E16
741.13/738.26	c cleaning 505 clauses out of 1010 for limit 3.8406255422276912E16
1176.36/1172.30	c cleaning 780980 clauses out of 1562006 for limit 7.684405644903641E11
1411.33/1407.32	c cleaning 390760 clauses out of 781526 for limit 2.5328264703733525E12
1443.83/1439.84	c cleaning 195624 clauses out of 391266 for limit 8.343199792786438E12
1452.13/1448.16	c cleaning 98053 clauses out of 196142 for limit 2.7446694085442168E13
1454.23/1450.24	c cleaning 49265 clauses out of 98589 for limit 9.005090185690658E13
1454.73/1450.74	c cleaning 24886 clauses out of 49824 for limit 2.938555004065146E14
1454.93/1450.95	c cleaning 12692 clauses out of 25438 for limit 9.491729198544595E14
1455.03/1451.05	c cleaning 6596 clauses out of 13246 for limit 3.006072415889848E15
1455.13/1451.11	c cleaning 3547 clauses out of 7150 for limit 9.184045663522984E15
1455.13/1451.16	c cleaning 2051 clauses out of 4103 for limit 2.639334570299815E-4
1455.23/1451.22	c cleaning 1246 clauses out of 2552 for limit 6.997955559382696E-4
1455.23/1451.27	c cleaning 873 clauses out of 1806 for limit 0.0016307597780760186
1455.33/1451.33	c cleaning 685 clauses out of 1433 for limit 0.003389357924589335
1455.33/1451.38	c cleaning 594 clauses out of 1248 for limit 0.00641807704008271
1455.43/1451.43	c cleaning 548 clauses out of 1154 for limit 0.011446417683998482
1455.43/1451.48	c cleaning 522 clauses out of 1106 for limit 0.019695914861399728
1455.53/1451.54	c cleaning 511 clauses out of 1084 for limit 0.033140410994051
1455.63/1451.60	c cleaning 506 clauses out of 1073 for limit 0.05521325326437658
1455.63/1451.66	c cleaning 511 clauses out of 1067 for limit 0.09156605990413334
1455.73/1451.72	c cleaning 506 clauses out of 1056 for limit 0.15257764771057294
1455.73/1451.78	c cleaning 500 clauses out of 1050 for limit 0.2530587865618257
1455.83/1451.83	c cleaning 501 clauses out of 1050 for limit 0.4173277926392519
1455.83/1451.89	c cleaning 501 clauses out of 1049 for limit 0.6888854405473535
1455.93/1451.94	c cleaning 500 clauses out of 1048 for limit 1.13714827967992
1455.93/1452.00	c cleaning 500 clauses out of 1048 for limit 1.8753096381674197
1456.03/1452.05	c cleaning 501 clauses out of 1048 for limit 3.092636467773143
1456.13/1452.11	c cleaning 500 clauses out of 1047 for limit 5.105042484607579
1456.13/1452.16	c cleaning 500 clauses out of 1047 for limit 8.418897997483201
1456.23/1452.22	c cleaning 499 clauses out of 1047 for limit 13.883889057874292
1456.23/1452.27	c cleaning 501 clauses out of 1048 for limit 22.87454270911064
1456.33/1452.32	c cleaning 501 clauses out of 1047 for limit 37.75921081020711
1456.33/1452.37	c cleaning 497 clauses out of 1046 for limit 62.329521502043185
1456.43/1452.43	c cleaning 498 clauses out of 1049 for limit 102.49575437238062
1456.43/1452.49	c cleaning 500 clauses out of 1051 for limit 168.70755653283152
1456.53/1452.54	c cleaning 502 clauses out of 1051 for limit 278.2213300157714
1456.53/1452.60	c cleaning 501 clauses out of 1049 for limit 459.6989769510103
1456.63/1452.65	c cleaning 499 clauses out of 1048 for limit 758.8284931600709
1456.73/1452.70	c cleaning 500 clauses out of 1049 for limit 1250.2167445716664
1456.73/1452.75	c cleaning 501 clauses out of 1049 for limit 2061.7746628025275
1456.83/1452.80	c cleaning 500 clauses out of 1048 for limit 3403.3866487738237
1456.83/1452.85	c cleaning 500 clauses out of 1048 for limit 5612.639880748323
1456.93/1452.90	c cleaning 501 clauses out of 1048 for limit 9255.994008884056
1456.93/1452.95	c cleaning 499 clauses out of 1047 for limit 15278.95151758665
1457.03/1453.01	c cleaning 500 clauses out of 1048 for limit 25172.992061705365
1457.03/1453.06	c cleaning 499 clauses out of 1048 for limit 41513.63149238168
1457.13/1453.12	c cleaning 500 clauses out of 1049 for limit 68396.26831040063
1457.13/1453.17	c cleaning 501 clauses out of 1049 for limit 112794.59633292705
1457.23/1453.22	c cleaning 499 clauses out of 1048 for limit 186190.87242614184
1457.23/1453.28	c cleaning 499 clauses out of 1049 for limit 306760.94597368536
1457.33/1453.34	c cleaning 501 clauses out of 1050 for limit 505408.0378103777
1457.33/1453.39	c cleaning 503 clauses out of 1049 for limit 834280.0190260498
1457.43/1453.45	c cleaning 502 clauses out of 1046 for limit 1379785.3613448422
1457.53/1453.50	c cleaning 495 clauses out of 1044 for limit 2279809.7460938934
1457.53/1453.56	c cleaning 499 clauses out of 1049 for limit 3741790.804754454
1457.63/1453.61	c cleaning 525 clauses out of 1050 for limit 6164836.734758574
1457.63/1453.66	c cleaning 512 clauses out of 1025 for limit 1.041460733400635E7
1457.73/1453.71	c cleaning 506 clauses out of 1013 for limit 1.7378536775315937E7
1457.73/1453.76	c cleaning 479 clauses out of 1007 for limit 2.883029386054874E7
1457.83/1453.81	c cleaning 514 clauses out of 1028 for limit 4.6573761190391175E7
1457.83/1453.86	c cleaning 483 clauses out of 1014 for limit 7.786680560717724E7
1457.93/1453.91	c cleaning 489 clauses out of 1031 for limit 1.2629540076727484E8
1457.93/1453.96	c cleaning 497 clauses out of 1042 for limit 2.0607929914960727E8
1458.03/1454.00	c cleaning 522 clauses out of 1045 for limit 3.388766804622272E8
1458.03/1454.05	c cleaning 485 clauses out of 1023 for limit 5.708713238535404E8
1458.03/1454.10	c cleaning 519 clauses out of 1038 for limit 9.278385125617169E8
1458.13/1454.15	c cleaning 509 clauses out of 1019 for limit 1.5586602206246815E9
1458.13/1454.20	c cleaning 505 clauses out of 1010 for limit 2.593344121563552E9
1458.23/1454.25	c cleaning 479 clauses out of 1005 for limit 4.298048857419208E9
1458.33/1454.31	c cleaning 487 clauses out of 1026 for limit 6.942980347286969E9
1458.33/1454.36	c cleaning 519 clauses out of 1039 for limit 1.1306641863885603E10
1458.43/1454.41	c cleaning 510 clauses out of 1020 for limit 1.8993495533712963E10
1458.43/1454.46	c cleaning 505 clauses out of 1010 for limit 3.163294192104546E10
1458.53/1454.51	c cleaning 477 clauses out of 1005 for limit 5.242649008670177E10
1458.53/1454.56	c cleaning 491 clauses out of 1028 for limit 8.45239174334198E10
1458.63/1454.61	c cleaning 518 clauses out of 1037 for limit 1.3818148715354712E11
1458.63/1454.66	c cleaning 509 clauses out of 1019 for limit 2.319051118226781E11
1458.73/1454.72	c cleaning 505 clauses out of 1010 for limit 3.8585045704499133E11
1458.73/1454.77	c cleaning 502 clauses out of 1005 for limit 6.394847880955491E11
1458.83/1454.82	c cleaning 501 clauses out of 1003 for limit 1.056698847592776E12
1458.83/1454.87	c cleaning 501 clauses out of 1002 for limit 1.7443769217666729E12
1458.93/1454.93	c cleaning 473 clauses out of 1001 for limit 2.8795847396283853E12
1458.93/1454.98	c cleaning 514 clauses out of 1028 for limit 4.624094630409868E12
1459.04/1455.04	c cleaning 507 clauses out of 1014 for limit 7.731037143927363E12
1459.04/1455.10	c cleaning 482 clauses out of 1007 for limit 1.2838140707886578E13
1459.14/1455.15	c cleaning 487 clauses out of 1025 for limit 2.08000138179743E13
1459.24/1455.20	c cleaning 496 clauses out of 1038 for limit 3.3872404138683582E13
1459.24/1455.26	c cleaning 497 clauses out of 1042 for limit 5.564569152976155E13
1459.34/1455.31	c cleaning 499 clauses out of 1045 for limit 9.150374300303258E13
1459.34/1455.36	c cleaning 499 clauses out of 1046 for limit 1.507576476721845E14
1459.44/1455.41	c cleaning 501 clauses out of 1047 for limit 2.4838207005073456E14
1459.44/1455.46	c cleaning 523 clauses out of 1046 for limit 4.1000686306092594E14
1459.54/1455.51	c cleaning 489 clauses out of 1023 for limit 6.913581139812548E14
1459.54/1455.56	c cleaning 517 clauses out of 1034 for limit 1.1280128477826312E15
1459.64/1455.61	c cleaning 486 clauses out of 1017 for limit 1.8913396144282832E15
1459.64/1455.65	c cleaning 515 clauses out of 1031 for limit 3.0767180095165055E15
1459.74/1455.70	c cleaning 480 clauses out of 1016 for limit 5.148829823885714E15
1459.74/1455.75	c cleaning 491 clauses out of 1036 for limit 8.327188151121414E15
1459.84/1455.80	c cleaning 496 clauses out of 1045 for limit 1.3614375649368388E16
1459.84/1455.85	c cleaning 524 clauses out of 1049 for limit 2.23663140590052E16
1459.94/1455.90	c cleaning 512 clauses out of 1025 for limit 3.7748693805884112E16
1459.94/1455.95	c cleaning 506 clauses out of 1013 for limit 6.2990090983424088E16
1459.94/1456.00	c cleaning 478 clauses out of 1007 for limit 0.001044980286219641
1460.04/1456.04	c cleaning 489 clauses out of 1029 for limit 0.001686467903738009
1460.04/1456.09	c cleaning 494 clauses out of 1040 for limit 0.00275179452814038
1460.14/1456.13	c cleaning 498 clauses out of 1046 for limit 0.004512046269220798
1460.14/1456.18	c cleaning 500 clauses out of 1048 for limit 0.007426767588259517
1460.24/1456.22	c cleaning 497 clauses out of 1048 for limit 0.012247733288232846
1460.24/1456.27	c cleaning 498 clauses out of 1051 for limit 0.020140496571502808
1460.34/1456.32	c cleaning 500 clauses out of 1053 for limit 0.033151287964597646
1460.34/1456.37	c cleaning 501 clauses out of 1053 for limit 0.05467090875358188
1460.44/1456.41	c cleaning 501 clauses out of 1052 for limit 0.09024534535999476
1460.44/1456.46	c cleaning 498 clauses out of 1051 for limit 0.14896825210732584
1460.54/1456.51	c cleaning 500 clauses out of 1053 for limit 0.24520196935860553
1460.54/1456.56	c cleaning 501 clauses out of 1053 for limit 0.4043708500049404
1460.64/1456.61	c cleaning 500 clauses out of 1052 for limit 0.6674955263080311
1460.64/1456.66	c cleaning 500 clauses out of 1052 for limit 1.1007894188358847
1460.74/1456.71	c cleaning 500 clauses out of 1052 for limit 1.8153490126342233
1460.74/1456.77	c cleaning 501 clauses out of 1052 for limit 2.993753374879928
1460.84/1456.82	c cleaning 500 clauses out of 1051 for limit 4.941797338325317
1759.23/1754.09	c cleaning 637767 clauses out of 1275550 for limit 4.0913583610427637E11
1800.03/1794.81	c starts		: 135
1800.03/1794.81	c conflicts		: 4506057
1800.03/1794.81	c decisions		: 5404651
1800.03/1794.81	c propagations		: 37773804
1800.03/1794.81	c inspects		: 1387707888
1800.03/1794.81	c learnt literals	: 0
1800.03/1794.81	c learnt binary clauses	: 2
1800.03/1794.81	c learnt ternary clauses	: 3
1800.03/1794.81	c learnt clauses	: 4506057
1800.03/1794.81	c root simplifications	: 0
1800.03/1794.81	c removed literals (reason simplification)	: 0
1800.03/1794.81	c reason swapping (by a shorter reason)	: 0
1800.03/1794.81	c Calls to reduceDB	: 246
1800.03/1794.81	c speed (decisions/second)	: 3144.4565266085906
1800.03/1794.81	c non guided choices	0
1800.03/1794.81	s SATISFIABLE
1800.03/1794.81	v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 -x15 x16 x17 -x18 -x19 -x20 x21 -x22 x23 -x24 -x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 -x58 x59 -x60 -x61 -x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 -x104 x105 -x106 x107 -x108 -x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 -x118 x119 -x120 -x121 x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 x151 -x152 x153 -x154 -x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 -x167 -x168 x169 -x170 x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 x181 -x182 -x183 -x184 -x185 x186 x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 x199 -x200 x201 -x202 -x203 -x204 x205 -x206 x207 -x208 x209 -x210 -x211 -x212 x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221 x222 x223 -x224 x225 -x226 x227 -x228 -x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 x244 x245 -x246 -x247 -x248 x249 -x250 x251 -x252 -x253 -x254 x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 -x329 x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 -x347 x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 -x357 x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 x417 -x418 -x419 x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 x439 -x440 -x441 x442 -x443 x444 -x445 x446 x447 -x448 -x449 x450 -x451 x452 -x453 x454 x455 -x456 
1800.03/1794.81	c objective function=191
1800.03/1794.81	c Total wall clock time (ms): 1794.699

Verifier Data 

OK	191

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732671-1338691606/watcher-3732671-1338691606 -o /tmp/evaluation-result-3732671-1338691606/solver-3732671-1338691606 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732671-1338691606.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.98 1.98 1.99 3/194 29773
/proc/meminfo: memFree=28413156/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29773/stat : 29773 (java) D 29771 29773 28047 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 335289214 9515008 183 33554432000 1073741824 1073778376 140736577848224 140736577839256 245294251701 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/29773/statm: 2323 183 140 9 0 71 0

[startup+0.0111749 s]
/proc/loadavg: 1.98 1.98 1.99 3/194 29773
/proc/meminfo: memFree=28413156/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 1148 0 0 0 0 0 0 0 20 0 2 0 335289214 24780800 868 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 38818 871 657 9 0 33153 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24200

[startup+0.100272 s]
/proc/loadavg: 1.98 1.98 1.99 3/194 29773
/proc/meminfo: memFree=28413156/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 4147 0 1 0 6 1 0 0 20 0 18 0 335289214 3028844544 5865 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 739464 5867 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300302 s]
/proc/loadavg: 1.98 1.98 1.99 3/194 29773
/proc/meminfo: memFree=28413156/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 6091 0 1 0 43 2 0 0 20 0 19 0 335289214 3097006080 8931 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 756105 8931 2247 9 0 746526 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 3024420

[startup+0.700286 s]
/proc/loadavg: 1.98 1.98 1.99 3/194 29773
/proc/meminfo: memFree=28413156/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=3024420 CPUtime=1.41 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 12509 0 1 0 138 3 0 0 20 0 19 0 335289214 3097006080 14734 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 756105 14734 2271 9 0 746526 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 3024420

[startup+1.50074 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 29811
/proc/meminfo: memFree=28355272/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 12550 0 1 0 233 4 0 0 20 0 19 0 335289214 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 756105 18834 2274 9 0 746526 0
[pid=29773/tid=29775] ppid=29771 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/29773/task/29775/stat : 29775 (java) R 29771 29773 28047 0 -1 4202560 3048 0 1 0 144 2 0 0 20 0 19 0 335289215 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140310149456488 140310022248164 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29776] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29776/stat : 29776 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140310015240616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29777] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29777/stat : 29777 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140310014188072 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29778] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29778/stat : 29778 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140310013135016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29779] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29779/stat : 29779 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140310012082472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29780] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140310011030440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29781] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29781/stat : 29781 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140310009977896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29782] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29782/stat : 29782 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140310008924840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29783] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29783/stat : 29783 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140310007872296 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29784] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29784/stat : 29784 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289218 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140309525649768 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29785] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29785/stat : 29785 (java) S 29771 29773 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140309524596088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29786] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29786/stat : 29786 (java) S 29771 29773 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140309523542920 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29787] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29787/stat : 29787 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140309522491664 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29788] ppid=29771 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/29773/task/29788/stat : 29788 (java) S 29771 29773 28047 0 -1 4202560 4026 0 0 0 44 0 0 0 20 0 19 0 335289221 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140309521439544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29789] ppid=29771 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/29773/task/29789/stat : 29789 (java) S 29771 29773 28047 0 -1 4202560 4231 0 0 0 42 0 0 0 20 0 19 0 335289221 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140309520387000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29790] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29790/stat : 29790 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140309519334136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29791] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29791/stat : 29791 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 18834 33554432000 1073741824 1073778376 140736814132416 140309518281800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 3024420

[startup+3.10063 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 29817
/proc/meminfo: memFree=28340388/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=3024420 CPUtime=3.97 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 12560 0 1 0 393 4 0 0 20 0 19 0 335289214 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 756105 22418 2274 9 0 746526 0
[pid=29773/tid=29775] ppid=29771 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/29773/task/29775/stat : 29775 (java) R 29771 29773 28047 0 -1 4202560 3056 0 1 0 303 2 0 0 20 0 19 0 335289215 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140310149454368 140310022198233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29776] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29776/stat : 29776 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140310015240616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29777] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29777/stat : 29777 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140310014188072 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29778] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29778/stat : 29778 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140310013135016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29779] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29779/stat : 29779 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140310012082472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29780] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140310011030440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29781] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29781/stat : 29781 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140310009977896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29782] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29782/stat : 29782 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140310008924840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29783] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29783/stat : 29783 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140310007872296 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29784] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29784/stat : 29784 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289218 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140309525649768 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29785] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29785/stat : 29785 (java) S 29771 29773 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140309524596088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29786] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29786/stat : 29786 (java) S 29771 29773 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140309523542920 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29787] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29787/stat : 29787 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140309522491664 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29788] ppid=29771 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/29773/task/29788/stat : 29788 (java) S 29771 29773 28047 0 -1 4202560 4026 0 0 0 44 0 0 0 20 0 19 0 335289221 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140309521439544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29789] ppid=29771 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/29773/task/29789/stat : 29789 (java) S 29771 29773 28047 0 -1 4202560 4231 0 0 0 42 0 0 0 20 0 19 0 335289221 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140309520387000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29790] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29790/stat : 29790 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140309519334136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29791] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29791/stat : 29791 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140309518281800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29817] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29817/stat : 29817 (java) S 29771 29773 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289389 3097006080 22418 33554432000 1073741824 1073778376 140736814132416 140309516149928 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 3024420

[startup+6.30078 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 29817
/proc/meminfo: memFree=28312848/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=3024420 CPUtime=7.17 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 12576 0 1 0 713 4 0 0 20 0 19 0 335289214 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 756105 29058 2275 9 0 746526 0
[pid=29773/tid=29775] ppid=29771 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/29773/task/29775/stat : 29775 (java) R 29771 29773 28047 0 -1 4202560 3071 0 1 0 622 2 0 0 20 0 19 0 335289215 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140310149456216 140310022183765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29776] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29776/stat : 29776 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140310015240616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29777] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29777/stat : 29777 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140310014188072 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29778] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29778/stat : 29778 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140310013135016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29779] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29779/stat : 29779 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140310012082472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29780] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140310011030440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29781] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29781/stat : 29781 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140310009977896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29782] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29782/stat : 29782 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140310008924840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29783] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29783/stat : 29783 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289217 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140310007872296 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29784] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29784/stat : 29784 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335289218 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140309525649768 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29785] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29785/stat : 29785 (java) S 29771 29773 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140309524596088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29786] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29786/stat : 29786 (java) S 29771 29773 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140309523542920 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29787] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29787/stat : 29787 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140309522491664 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29788] ppid=29771 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/29773/task/29788/stat : 29788 (java) S 29771 29773 28047 0 -1 4202560 4026 0 0 0 44 0 0 0 20 0 19 0 335289221 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140309521439544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29789] ppid=29771 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/29773/task/29789/stat : 29789 (java) S 29771 29773 28047 0 -1 4202560 4231 0 0 0 42 0 0 0 20 0 19 0 335289221 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140309520387000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29790] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29790/stat : 29790 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140309519334136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29791] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29791/stat : 29791 (java) S 29771 29773 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140309518281800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29817] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29817/stat : 29817 (java) S 29771 29773 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335289389 3097006080 29058 33554432000 1073741824 1073778376 140736814132416 140309516149928 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 29817
/proc/meminfo: memFree=28269112/32873844 swapFree=7372/7372

################
# More data... #
################

[pid=29773/tid=29788] ppid=29771 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/29773/task/29788/stat : 29788 (java) S 29771 29773 28047 0 -1 4202560 4035 0 0 0 50 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309521439544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29789] ppid=29771 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29773/task/29789/stat : 29789 (java) S 29771 29773 28047 0 -1 4202560 4246 0 0 0 49 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309520387000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29790] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29790/stat : 29790 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309519334136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29791] ppid=29771 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/29773/task/29791/stat : 29791 (java) S 29771 29773 28047 0 -1 4202560 96 0 0 0 27 14 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309518281800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29819] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29819/stat : 29819 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335296817 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309516149672 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1667.53
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30034
/proc/meminfo: memFree=27038212/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=3024420 CPUtime=1727.54 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 16758 0 1 0 172592 162 0 0 20 0 19 0 335289214 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 756105 423364 2302 9 0 746526 0
[pid=29773/tid=29775] ppid=29771 vsize=3024420 CPUtime=1710.54 cores=1,3,5,7
/proc/29773/task/29775/stat : 29775 (java) R 29771 29773 28047 0 -1 4202560 3250 0 1 0 171020 34 0 0 20 0 19 0 335289215 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310149455136 140310021937046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29776] ppid=29771 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/29773/task/29776/stat : 29776 (java) S 29771 29773 28047 0 -1 4202560 473 0 0 0 44 19 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310015240616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29777] ppid=29771 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/29773/task/29777/stat : 29777 (java) S 29771 29773 28047 0 -1 4202560 362 0 0 0 47 15 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310014188072 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29778] ppid=29771 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/29773/task/29778/stat : 29778 (java) S 29771 29773 28047 0 -1 4202560 330 0 0 0 58 14 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310013135016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29779] ppid=29771 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/29773/task/29779/stat : 29779 (java) S 29771 29773 28047 0 -1 4202560 531 0 0 0 62 16 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310012082472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29780] ppid=29771 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (java) S 29771 29773 28047 0 -1 4202560 348 0 0 0 57 14 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310011030440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29781] ppid=29771 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/29773/task/29781/stat : 29781 (java) S 29771 29773 28047 0 -1 4202560 956 0 0 0 54 18 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310009977896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29782] ppid=29771 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/29773/task/29782/stat : 29782 (java) S 29771 29773 28047 0 -1 4202560 379 0 0 0 49 22 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310008924840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29783] ppid=29771 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/29773/task/29783/stat : 29783 (java) S 29771 29773 28047 0 -1 4202560 269 0 0 0 48 14 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310007872296 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29784] ppid=29771 vsize=3024420 CPUtime=5.74 cores=1,3,5,7
/proc/29773/task/29784/stat : 29784 (java) S 29771 29773 28047 0 -1 4202560 234 0 0 0 567 7 0 0 20 0 19 0 335289218 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309525649768 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29785] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29785/stat : 29785 (java) S 29771 29773 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309524596088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29786] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29786/stat : 29786 (java) S 29771 29773 28047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309523542920 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29787] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29787/stat : 29787 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309522491664 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29788] ppid=29771 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/29773/task/29788/stat : 29788 (java) S 29771 29773 28047 0 -1 4202560 4035 0 0 0 50 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309521439544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29789] ppid=29771 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29773/task/29789/stat : 29789 (java) S 29771 29773 28047 0 -1 4202560 4246 0 0 0 49 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309520387000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29790] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29790/stat : 29790 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309519334136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29791] ppid=29771 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/29773/task/29791/stat : 29791 (java) S 29771 29773 28047 0 -1 4202560 100 0 0 0 28 15 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309518281800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29819] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29819/stat : 29819 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335296817 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309516149672 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.54
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30034
/proc/meminfo: memFree=27037840/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=3024420 CPUtime=1787.53 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 16762 0 1 0 178591 162 0 0 20 0 19 0 335289214 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 756105 423364 2302 9 0 746526 0
[pid=29773/tid=29775] ppid=29771 vsize=3024420 CPUtime=1770.39 cores=1,3,5,7
/proc/29773/task/29775/stat : 29775 (java) R 29771 29773 28047 0 -1 4202560 3250 0 1 0 177004 35 0 0 20 0 19 0 335289215 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310149447504 140310022537885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29776] ppid=29771 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/29773/task/29776/stat : 29776 (java) S 29771 29773 28047 0 -1 4202560 473 0 0 0 44 19 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310015240616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29777] ppid=29771 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/29773/task/29777/stat : 29777 (java) S 29771 29773 28047 0 -1 4202560 362 0 0 0 47 15 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310014188072 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29778] ppid=29771 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/29773/task/29778/stat : 29778 (java) S 29771 29773 28047 0 -1 4202560 330 0 0 0 58 14 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310013135016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29779] ppid=29771 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/29773/task/29779/stat : 29779 (java) S 29771 29773 28047 0 -1 4202560 531 0 0 0 62 16 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310012082472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29780] ppid=29771 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (java) S 29771 29773 28047 0 -1 4202560 348 0 0 0 57 14 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310011030440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29781] ppid=29771 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/29773/task/29781/stat : 29781 (java) S 29771 29773 28047 0 -1 4202560 956 0 0 0 54 18 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310009977896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29782] ppid=29771 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/29773/task/29782/stat : 29782 (java) S 29771 29773 28047 0 -1 4202560 379 0 0 0 49 22 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310008924840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29783] ppid=29771 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/29773/task/29783/stat : 29783 (java) S 29771 29773 28047 0 -1 4202560 269 0 0 0 48 14 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310007872296 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29784] ppid=29771 vsize=3024420 CPUtime=5.74 cores=1,3,5,7
/proc/29773/task/29784/stat : 29784 (java) S 29771 29773 28047 0 -1 4202560 234 0 0 0 567 7 0 0 20 0 19 0 335289218 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309525649768 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29785] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29785/stat : 29785 (java) S 29771 29773 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309524596088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29786] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29786/stat : 29786 (java) S 29771 29773 28047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309523542920 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29787] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29787/stat : 29787 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309522491664 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29788] ppid=29771 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/29773/task/29788/stat : 29788 (java) S 29771 29773 28047 0 -1 4202560 4035 0 0 0 50 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309521439544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29789] ppid=29771 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29773/task/29789/stat : 29789 (java) S 29771 29773 28047 0 -1 4202560 4246 0 0 0 49 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309520387000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29790] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29790/stat : 29790 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309519334136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29791] ppid=29771 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/29773/task/29791/stat : 29791 (java) S 29771 29773 28047 0 -1 4202560 104 0 0 0 28 15 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309518281800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29819] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29819/stat : 29819 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335296817 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309516149672 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 30034
/proc/meminfo: memFree=27037592/32873844 swapFree=7372/7372
[pid=29773] ppid=29771 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/29773/stat : 29773 (java) S 29771 29773 28047 0 -1 4202496 16762 0 1 0 179841 162 0 0 20 0 19 0 335289214 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140736814123552 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29773/statm: 756105 423364 2302 9 0 746526 0
[pid=29773/tid=29775] ppid=29771 vsize=3024420 CPUtime=1782.86 cores=1,3,5,7
/proc/29773/task/29775/stat : 29775 (java) R 29771 29773 28047 0 -1 4202560 3250 0 1 0 178250 36 0 0 20 0 19 0 335289215 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310149447504 140310022537856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29776] ppid=29771 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/29773/task/29776/stat : 29776 (java) S 29771 29773 28047 0 -1 4202560 473 0 0 0 44 19 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310015240616 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29777] ppid=29771 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/29773/task/29777/stat : 29777 (java) S 29771 29773 28047 0 -1 4202560 362 0 0 0 47 15 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310014188072 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29778] ppid=29771 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/29773/task/29778/stat : 29778 (java) S 29771 29773 28047 0 -1 4202560 330 0 0 0 58 14 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310013135016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29779] ppid=29771 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/29773/task/29779/stat : 29779 (java) S 29771 29773 28047 0 -1 4202560 531 0 0 0 62 16 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310012082472 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29780] ppid=29771 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/29773/task/29780/stat : 29780 (java) S 29771 29773 28047 0 -1 4202560 348 0 0 0 57 14 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310011030440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29781] ppid=29771 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/29773/task/29781/stat : 29781 (java) S 29771 29773 28047 0 -1 4202560 956 0 0 0 54 18 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310009977896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29782] ppid=29771 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/29773/task/29782/stat : 29782 (java) S 29771 29773 28047 0 -1 4202560 379 0 0 0 49 22 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310008924840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29773/tid=29783] ppid=29771 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/29773/task/29783/stat : 29783 (java) S 29771 29773 28047 0 -1 4202560 269 0 0 0 48 14 0 0 20 0 19 0 335289217 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140310007872296 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29784] ppid=29771 vsize=3024420 CPUtime=5.74 cores=1,3,5,7
/proc/29773/task/29784/stat : 29784 (java) S 29771 29773 28047 0 -1 4202560 234 0 0 0 567 7 0 0 20 0 19 0 335289218 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309525649768 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29785] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29785/stat : 29785 (java) S 29771 29773 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309524596088 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29786] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29786/stat : 29786 (java) S 29771 29773 28047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 335289219 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309523542920 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29787] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29787/stat : 29787 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309522491664 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29788] ppid=29771 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/29773/task/29788/stat : 29788 (java) S 29771 29773 28047 0 -1 4202560 4035 0 0 0 50 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309521439544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29773/tid=29789] ppid=29771 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29773/task/29789/stat : 29789 (java) S 29771 29773 28047 0 -1 4202560 4246 0 0 0 49 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309520387000 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29790] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29790/stat : 29790 (java) S 29771 29773 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309519334136 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29773/tid=29791] ppid=29771 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/29773/task/29791/stat : 29791 (java) S 29771 29773 28047 0 -1 4202560 104 0 0 0 28 15 0 0 20 0 19 0 335289221 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309518281800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29773/tid=29819] ppid=29771 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29773/task/29819/stat : 29819 (java) S 29771 29773 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335296817 3097006080 423364 33554432000 1073741824 1073778376 140736814132416 140309516149672 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29773 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=778304
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=33690
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.82
CPU time (s): 1800.03
CPU user time (s): 1798.41
CPU system time (s): 1.62
CPU usage (%): 100.29
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.78
system time used= 2.03369
maximum resident set size= 1693568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16793
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38210
involuntary context switches= 15113

runsolver used 5.67114 second user time and 14.8727 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-03 04:46:46
IDJOB=3732671
IDBENCH=2171
IDSOLVER=2319
FILE ID=node109/3732671-1338691606
RUNJOBID= node109-1338678620-28067
PBS_JOBID= 14636704
Free space on /tmp= 70712 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732671-1338691606/watcher-3732671-1338691606 -o /tmp/evaluation-result-3732671-1338691606/solver-3732671-1338691606 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732671-1338691606.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= eb2e849a72ed563d78cdb83a394edb27
RANDOM SEED=229170253

node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28413404 kB
Buffers:          339772 kB
Cached:          1564408 kB
SwapCached:          964 kB
Active:          2553768 kB
Inactive:        1007668 kB
Active(anon):    1651528 kB
Inactive(anon):     7844 kB
Active(file):     902240 kB
Inactive(file):   999824 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105532 kB
Dirty:              3540 kB
Writeback:             0 kB
AnonPages:       1737348 kB
Mapped:            18464 kB
Shmem:                 4 kB
Slab:             736204 kB
SReclaimable:     178592 kB
SUnreclaim:       557612 kB
KernelStack:        1768 kB
PageTables:         7512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1824932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1697792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70708 MiB
End job on node109 at 2012-06-03 05:16:43