Trace number 3742283

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 NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.61 1797.02

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K176.opb
MD5SUM3f678424628fecb2a53891618f9bde8f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20944
Total number of constraints21298
Number of constraints which are clauses21122
Number of constraints which are cardinality constraints (but not clauses)176
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint176
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 177
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.04/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.04/0.08	c no version file found!!!
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version	1.6.0_24
0.04/0.08	c os.name	Linux
0.04/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch	amd64
0.04/0.08	c Free memory 1599470296
0.04/0.08	c Max memory 1607860224
0.04/0.08	c Total memory 1607860224
0.04/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3742283-1338765581.opb
0.09/0.10	c reading problem ... 
1.18/0.62	c ... done. Wall clock time 0.52s.
1.18/0.62	c CPU time (experimental) 0.59s.
1.18/0.62	c #vars     20944
1.18/0.62	c #constraints  21296
847.61/845.21	c cleaning 331981 clauses out of 665438 for limit 2210.4363359950994
848.22/845.89	c cleaning 166053 clauses out of 333959 for limit 7278.089089972413
848.52/846.11	c cleaning 82758 clauses out of 168404 for limit 23754.45003186012
848.62/846.29	c cleaning 41586 clauses out of 86146 for limit 76580.49215656707
848.82/846.47	c cleaning 21618 clauses out of 45060 for limit 241444.86283090073
849.22/846.83	c cleaning 11667 clauses out of 23942 for limit 749384.3469762377
849.42/847.01	c cleaning 5935 clauses out of 12775 for limit 2316114.4817169644
849.52/847.19	c cleaning 3312 clauses out of 7340 for limit 6647843.055763908
849.82/847.47	c cleaning 1862 clauses out of 4532 for limit 1.782710616285516E7
850.02/847.64	c cleaning 1146 clauses out of 3166 for limit 4.19157924608142E7
850.22/847.81	c cleaning 926 clauses out of 2523 for limit 8.70023059852664E7
850.32/847.96	c cleaning 758 clauses out of 2094 for limit 1.7235492133834833E8
850.52/848.14	c cleaning 712 clauses out of 1836 for limit 3.2417802796736956E8
850.72/848.34	c cleaning 657 clauses out of 1623 for limit 6.047747075007093E8
850.92/848.52	c cleaning 558 clauses out of 1466 for limit 1.1041652032224526E9
851.02/848.63	c cleaning 535 clauses out of 1408 for limit 1.8959254620216696E9
851.12/848.77	c cleaning 549 clauses out of 1374 for limit 3.2072113486820807E9
851.32/848.91	c cleaning 474 clauses out of 1324 for limit 5.483371908947767E9
851.42/849.06	c cleaning 483 clauses out of 1350 for limit 8.868655934235535E9
851.62/849.21	c cleaning 491 clauses out of 1368 for limit 1.4447605562588161E10
851.72/849.37	c cleaning 491 clauses out of 1376 for limit 2.3663823372459957E10
851.92/849.53	c cleaning 671 clauses out of 1384 for limit 3.879923349193418E10
852.12/849.71	c cleaning 491 clauses out of 1215 for limit 7.303110446305959E10
852.22/849.88	c cleaning 501 clauses out of 1222 for limit 1.195087775650499E11
852.52/850.10	c cleaning 476 clauses out of 1221 for limit 1.9724737536713055E11
852.72/850.37	c cleaning 496 clauses out of 1245 for limit 3.190167105294224E11
852.92/850.56	c cleaning 526 clauses out of 1248 for limit 5.248365665296522E11
853.12/850.72	c cleaning 568 clauses out of 1222 for limit 8.83941150216647E11
853.22/850.86	c cleaning 464 clauses out of 1156 for limit 1.5440509769927285E12
853.42/851.00	c cleaning 463 clauses out of 1190 for limit 2.468649145793372E12
853.52/851.14	c cleaning 512 clauses out of 1226 for limit 3.9515888276926836E12
853.72/851.32	c cleaning 493 clauses out of 1214 for limit 6.581114083227478E12
853.92/851.52	c cleaning 493 clauses out of 1221 for limit 1.0790916429258611E13
854.12/851.72	c cleaning 487 clauses out of 1230 for limit 1.7700836565836582E13
854.32/851.91	c cleaning 495 clauses out of 1241 for limit 2.8874467622500285E13
854.42/852.02	c cleaning 488 clauses out of 1247 for limit 4.7436180442304805E13
854.52/852.18	c cleaning 619 clauses out of 1258 for limit 7.746702894612695E13
854.82/852.41	c cleaning 532 clauses out of 1139 for limit 1.4110087406501078E14
855.02/852.63	c cleaning 498 clauses out of 1107 for limit 2.394206989149207E14
855.22/852.83	c cleaning 493 clauses out of 1110 for limit 3.941637990550286E14
855.42/853.07	c cleaning 521 clauses out of 1116 for limit 6.45887522192722E14
855.62/853.29	c cleaning 466 clauses out of 1095 for limit 1.0855825581653462E15
855.82/853.47	c cleaning 500 clauses out of 1129 for limit 1.7363565963072892E15
856.02/853.66	c cleaning 414 clauses out of 1129 for limit 2.8634843129404235E15
856.22/853.86	c cleaning 454 clauses out of 1215 for limit 4.388017584106835E15
856.42/854.07	c cleaning 580 clauses out of 1262 for limit 6.973899444483397E15
856.72/854.32	c cleaning 537 clauses out of 1181 for limit 1.2277403056648026E-4
856.91/854.58	c cleaning 551 clauses out of 1144 for limit 2.0901924455290826E-4
857.21/854.85	c cleaning 517 clauses out of 1093 for limit 3.607846263844016E-4
857.41/855.06	c cleaning 377 clauses out of 1076 for limit 6.043823888440435E-4
857.61/855.27	c cleaning 491 clauses out of 1199 for limit 8.94459695869742E-4
857.91/855.50	c cleaning 441 clauses out of 1208 for limit 0.0014640938351843402
858.01/855.65	c cleaning 421 clauses out of 1269 for limit 0.0023030275577642896
858.22/855.82	c cleaning 481 clauses out of 1347 for limit 0.003574493702927649
858.31/855.98	c cleaning 469 clauses out of 1365 for limit 0.005811267351168192
858.51/856.17	c cleaning 512 clauses out of 1396 for limit 0.009370741895799907
858.71/856.32	c cleaning 496 clauses out of 1385 for limit 0.01559193514547737
858.81/856.47	c cleaning 510 clauses out of 1388 for limit 0.025631953243412397
859.11/856.70	c cleaning 501 clauses out of 1378 for limit 0.04257727256392312
859.32/856.93	c cleaning 502 clauses out of 1377 for limit 0.07026661007798372
859.51/857.12	c cleaning 483 clauses out of 1375 for limit 0.11604759144859685
859.61/857.26	c cleaning 497 clauses out of 1392 for limit 0.18904077151091217
859.81/857.45	c cleaning 486 clauses out of 1395 for limit 0.31108308396250745
860.01/857.67	c cleaning 498 clauses out of 1410 for limit 0.5080680551895359
860.21/857.86	c cleaning 516 clauses out of 1411 for limit 0.8364410983077369
860.42/858.04	c cleaning 491 clauses out of 1396 for limit 1.3956205571093407
860.61/858.26	c cleaning 489 clauses out of 1404 for limit 2.2861622202876326
860.83/858.46	c cleaning 503 clauses out of 1416 for limit 3.7419785769841436
861.03/858.67	c cleaning 489 clauses out of 1415 for limit 6.187753733282485
861.23/858.84	c cleaning 519 clauses out of 1423 for limit 10.116654358680494
861.33/858.98	c cleaning 481 clauses out of 1404 for limit 16.909493208420965
861.63/859.21	c cleaning 498 clauses out of 1423 for limit 27.513680283030496
861.83/859.43	c cleaning 512 clauses out of 1425 for limit 45.310057059609996
862.03/859.66	c cleaning 478 clauses out of 1413 for limit 75.35693023797428
862.23/859.88	c cleaning 492 clauses out of 1435 for limit 122.3684182665391
862.43/860.10	c cleaning 477 clauses out of 1445 for limit 200.80675168731528
862.64/860.22	c cleaning 491 clauses out of 1466 for limit 325.7609712534522
862.73/860.35	c cleaning 474 clauses out of 1477 for limit 534.2904809041853
862.83/860.47	c cleaning 476 clauses out of 1502 for limit 865.5843079959553
863.03/860.62	c cleaning 496 clauses out of 1526 for limit 1405.0140289403284
863.23/860.84	c cleaning 500 clauses out of 1529 for limit 2310.197364635987
863.43/861.03	c cleaning 485 clauses out of 1529 for limit 3809.8245069590166
863.53/861.14	c cleaning 500 clauses out of 1545 for limit 6224.068612252143
863.74/861.31	c cleaning 518 clauses out of 1544 for limit 10260.698689748993
863.93/861.52	c cleaning 491 clauses out of 1526 for limit 17120.860312891502
864.03/861.66	c cleaning 472 clauses out of 1535 for limit 28069.04422191961
864.23/861.85	c cleaning 503 clauses out of 1563 for limit 45460.364497667986
864.33/861.97	c cleaning 506 clauses out of 1560 for limit 75114.39614048126
864.53/862.15	c cleaning 469 clauses out of 1554 for limit 124351.9646468959
864.74/862.31	c cleaning 505 clauses out of 1586 for limit 201136.49663396188
864.84/862.46	c cleaning 499 clauses out of 1580 for limit 332627.6539085939
865.03/862.62	c cleaning 490 clauses out of 1581 for limit 548200.537061479
865.23/862.80	c cleaning 473 clauses out of 1591 for limit 898373.7094176296
865.33/862.93	c cleaning 489 clauses out of 1618 for limit 1456815.5999511527
865.43/863.05	c cleaning 638 clauses out of 1629 for limit 2386260.7798914383
865.53/863.18	c cleaning 431 clauses out of 1491 for limit 4299492.851274081
865.73/863.33	c cleaning 490 clauses out of 1560 for limit 6776823.321431358
865.84/863.50	c cleaning 476 clauses out of 1570 for limit 1.1104704242689064E7
866.03/863.65	c cleaning 506 clauses out of 1594 for limit 1.803741172234107E7
866.23/863.83	c cleaning 516 clauses out of 1588 for limit 2.985849575659007E7
866.33/864.00	c cleaning 461 clauses out of 1573 for limit 4.9759968738183856E7
866.53/864.13	c cleaning 516 clauses out of 1613 for limit 8.010596432089525E7
866.63/864.29	c cleaning 501 clauses out of 1595 for limit 1.3332923777334149E8
866.83/864.45	c cleaning 484 clauses out of 1594 for limit 2.2001569042630318E8
866.94/864.60	c cleaning 701 clauses out of 1610 for limit 3.5922948997305673E8
867.13/864.76	c cleaning 523 clauses out of 1410 for limit 6.771254603407785E8
867.33/864.92	c cleaning 493 clauses out of 1386 for limit 1.13487074673773E9
867.43/865.08	c cleaning 648 clauses out of 1393 for limit 1.862148889292676E9
867.63/865.25	c cleaning 394 clauses out of 1245 for limit 3.4359912905585847E9
867.83/865.40	c cleaning 445 clauses out of 1351 for limit 5.221820558507617E9
867.93/865.53	c cleaning 492 clauses out of 1406 for limit 8.274616199553129E9
868.14/865.76	c cleaning 517 clauses out of 1414 for limit 1.356874426761534E10
868.33/865.95	c cleaning 689 clauses out of 1397 for limit 2.264897475367431E10
868.53/866.13	c cleaning 562 clauses out of 1208 for limit 4.319504258637267E10
868.73/866.34	c cleaning 496 clauses out of 1146 for limit 7.508827202028558E10
868.93/866.50	c cleaning 445 clauses out of 1150 for limit 1.2339989054053815E11
869.14/866.75	c cleaning 515 clauses out of 1204 for limit 1.943757199251379E11
869.33/866.93	c cleaning 573 clauses out of 1190 for limit 3.246474075683082E11
869.53/867.14	c cleaning 487 clauses out of 1116 for limit 5.703166901137538E11
869.63/867.28	c cleaning 507 clauses out of 1129 for limit 9.296986941017991E11
869.73/867.39	c cleaning 409 clauses out of 1122 for limit 1.5427629228590073E12
869.83/867.48	c cleaning 475 clauses out of 1214 for limit 2.3537685836172803E12
869.93/867.60	c cleaning 505 clauses out of 1238 for limit 3.8026221989635557E12
870.13/867.74	c cleaning 491 clauses out of 1233 for limit 6.296462690343089E12
870.24/867.89	c cleaning 496 clauses out of 1242 for limit 1.030846503177969E13
870.43/868.05	c cleaning 609 clauses out of 1249 for limit 1.6955577328122533E13
870.73/868.36	c cleaning 534 clauses out of 1137 for limit 3.062435194850221E13
871.03/868.63	c cleaning 508 clauses out of 1103 for limit 5.2060429470647234E13
871.23/868.86	c cleaning 512 clauses out of 1095 for limit 8.648186102883752E13
871.44/869.07	c cleaning 484 clauses out of 1083 for limit 1.4420043693385675E14
871.73/869.36	c cleaning 504 clauses out of 1099 for limit 2.3434367027351875E14
872.03/869.67	c cleaning 483 clauses out of 1095 for limit 3.878758030829127E14
872.43/870.01	c cleaning 461 clauses out of 1112 for limit 6.298801274968125E14
872.73/870.32	c cleaning 506 clauses out of 1151 for limit 1.003559802464947E15
872.93/870.55	c cleaning 415 clauses out of 1145 for limit 1.663676880065717E15
873.13/870.72	c cleaning 487 clauses out of 1230 for limit 2.5540255853177335E15
873.33/870.94	c cleaning 513 clauses out of 1243 for limit 4.167879106831355E15
873.53/871.20	c cleaning 493 clauses out of 1230 for limit 6.946035803705894E15
873.83/871.45	c cleaning 495 clauses out of 1237 for limit 1.1390120440710036E16
874.13/871.74	c cleaning 587 clauses out of 1243 for limit 1.871187407574995E-4
874.33/871.94	c cleaning 536 clauses out of 1155 for limit 3.3176289021598224E-4
874.53/872.17	c cleaning 495 clauses out of 1120 for limit 5.647837155149512E-4
874.83/872.43	c cleaning 472 clauses out of 1124 for limit 9.271612083656997E-4
875.03/872.66	c cleaning 485 clauses out of 1152 for limit 0.0014918493588426665
875.13/872.76	c cleaning 421 clauses out of 1168 for limit 0.002428985974348484
875.23/872.88	c cleaning 448 clauses out of 1249 for limit 0.0037534472953923326
875.43/873.00	c cleaning 504 clauses out of 1298 for limit 0.005938413291977497
875.53/873.15	c cleaning 473 clauses out of 1294 for limit 0.009823510705451581
875.73/873.36	c cleaning 486 clauses out of 1322 for limit 0.01587303386203022
875.93/873.54	c cleaning 511 clauses out of 1335 for limit 0.025895929700468483
876.13/873.70	c cleaning 501 clauses out of 1324 for limit 0.04306065930214867
876.13/873.79	c cleaning 484 clauses out of 1323 for limit 0.07106646331770824
876.33/873.92	c cleaning 472 clauses out of 1339 for limit 0.11579767965910331
876.43/874.07	c cleaning 504 clauses out of 1367 for limit 0.18705434754459835
876.53/874.17	c cleaning 484 clauses out of 1363 for limit 0.3093829330049015
876.63/874.30	c cleaning 503 clauses out of 1380 for limit 0.504433035049912
876.83/874.40	c cleaning 498 clauses out of 1376 for limit 0.8334615095472494
876.93/874.53	c cleaning 507 clauses out of 1378 for limit 1.3724946227544392
877.03/874.63	c cleaning 498 clauses out of 1371 for limit 2.2749837632615892
877.13/874.76	c cleaning 494 clauses out of 1373 for limit 3.7462875237030606
877.23/874.89	c cleaning 519 clauses out of 1379 for limit 6.151248385322641
877.43/875.00	c cleaning 491 clauses out of 1360 for limit 10.28595236774774
877.53/875.12	c cleaning 486 clauses out of 1369 for limit 16.851394900604554
877.63/875.25	c cleaning 610 clauses out of 1383 for limit 27.50888648017598
877.93/875.54	c cleaning 541 clauses out of 1276 for limit 49.3178277219366
878.23/875.81	c cleaning 504 clauses out of 1232 for limit 83.98394237449504
878.43/876.09	c cleaning 517 clauses out of 1228 for limit 138.95189867451214
878.73/876.38	c cleaning 499 clauses out of 1211 for limit 232.36707764485652
879.03/876.64	c cleaning 483 clauses out of 1212 for limit 382.8882213031977
879.33/876.90	c cleaning 485 clauses out of 1230 for limit 622.8162189377766
879.43/877.03	c cleaning 474 clauses out of 1244 for limit 1014.5326307491911
879.53/877.13	c cleaning 469 clauses out of 1270 for limit 1638.8475882965574
879.73/877.36	c cleaning 560 clauses out of 1301 for limit 2638.279954685197
879.93/877.56	c cleaning 510 clauses out of 1242 for limit 4562.122864457068
880.13/877.80	c cleaning 507 clauses out of 1231 for limit 7583.189264149634
880.43/878.04	c cleaning 479 clauses out of 1224 for limit 12577.213046792476
880.63/878.27	c cleaning 529 clauses out of 1248 for limit 20403.781886344663
880.93/878.55	c cleaning 502 clauses out of 1216 for limit 34430.55588019809
881.23/878.81	c cleaning 513 clauses out of 1214 for limit 56874.13567010649
881.43/879.09	c cleaning 498 clauses out of 1201 for limit 94808.3036317947
881.73/879.39	c cleaning 482 clauses out of 1203 for limit 156091.63979721523
882.03/879.65	c cleaning 481 clauses out of 1221 for limit 253621.1651897524
882.23/879.86	c cleaning 498 clauses out of 1240 for limit 411846.4807349049
882.43/880.08	c cleaning 504 clauses out of 1242 for limit 678096.2389571258
882.73/880.37	c cleaning 476 clauses out of 1238 for limit 1121884.5669371567
882.93/880.57	c cleaning 499 clauses out of 1262 for limit 1814952.86417006
883.23/880.81	c cleaning 519 clauses out of 1263 for limit 2990730.239279667
883.33/880.94	c cleaning 458 clauses out of 1244 for limit 5007443.976669635
883.43/881.03	c cleaning 622 clauses out of 1286 for limit 7988245.397931581
883.53/881.15	c cleaning 393 clauses out of 1169 for limit 1.4564859554434188E7
883.63/881.24	c cleaning 476 clauses out of 1271 for limit 2.1981564023214217E7
883.73/881.38	c cleaning 624 clauses out of 1295 for limit 3.557871504104462E7
883.83/881.49	c cleaning 533 clauses out of 1171 for limit 6.488719782728074E7
884.03/881.64	c cleaning 492 clauses out of 1140 for limit 1.1013769260276651E8
884.13/881.76	c cleaning 456 clauses out of 1147 for limit 1.8034278926555595E8
884.33/881.90	c cleaning 407 clauses out of 1190 for limit 2.863759969777469E8
884.43/882.03	c cleaning 620 clauses out of 1284 for limit 4.381360116791341E8
884.53/882.16	c cleaning 437 clauses out of 1163 for limit 7.969216671336416E8
884.63/882.26	c cleaning 443 clauses out of 1226 for limit 1.2466965750367584E9
884.73/882.38	c cleaning 438 clauses out of 1283 for limit 1.9646286235571597E9
884.83/882.49	c cleaning 662 clauses out of 1345 for limit 3.090585240467407E9
885.03/882.61	c cleaning 560 clauses out of 1184 for limit 5.795644081145091E9
885.13/882.75	c cleaning 357 clauses out of 1125 for limit 1.0069114645283077E10
885.23/882.85	c cleaning 619 clauses out of 1266 for limit 1.4726412656963266E10
885.33/882.96	c cleaning 476 clauses out of 1149 for limit 2.681239158438371E10
885.43/883.08	c cleaning 411 clauses out of 1171 for limit 4.3299766118904465E10
885.53/883.18	c cleaning 420 clauses out of 1264 for limit 6.64185370924521E10
885.73/883.31	c cleaning 466 clauses out of 1340 for limit 1.0290806715957315E11
885.83/883.44	c cleaning 485 clauses out of 1374 for limit 1.655096704403381E11
885.93/883.53	c cleaning 513 clauses out of 1389 for limit 2.6999998990068155E11
886.03/883.64	c cleaning 558 clauses out of 1378 for limit 4.497194663408207E11
886.13/883.76	c cleaning 457 clauses out of 1318 for limit 7.738599258586028E11
886.23/883.85	c cleaning 661 clauses out of 1361 for limit 1.2358777953725994E12
886.33/883.97	c cleaning 425 clauses out of 1201 for limit 2.311963886787508E12
886.53/884.11	c cleaning 603 clauses out of 1275 for limit 3.587857980928763E12
886.63/884.23	c cleaning 561 clauses out of 1172 for limit 6.436854672906591E12
886.73/884.34	c cleaning 428 clauses out of 1111 for limit 1.119806911809952E13
886.83/884.46	c cleaning 425 clauses out of 1184 for limit 1.7345862487138832E13
886.93/884.57	c cleaning 424 clauses out of 1258 for limit 2.6896039606146812E13
887.13/884.73	c cleaning 641 clauses out of 1334 for limit 4.182818634716231E13
887.23/884.85	c cleaning 564 clauses out of 1193 for limit 7.713301491881547E13
887.33/884.97	c cleaning 382 clauses out of 1129 for limit 1.3441343995004984E14
887.43/885.08	c cleaning 428 clauses out of 1247 for limit 2.0069015634331266E14
887.63/885.20	c cleaning 593 clauses out of 1321 for limit 3.1305065565403825E14
887.73/885.32	c cleaning 433 clauses out of 1227 for limit 5.552572627680246E14
887.83/885.44	c cleaning 499 clauses out of 1294 for limit 8.68281246868209E14
887.93/885.58	c cleaning 614 clauses out of 1294 for limit 1.4304800207400858E15
888.13/885.72	c cleaning 391 clauses out of 1181 for limit 2.587358297323318E15
888.23/885.85	c cleaning 614 clauses out of 1289 for limit 3.905484598380879E-5
888.33/885.96	c cleaning 557 clauses out of 1175 for limit 7.065548261775165E-5
888.53/886.10	c cleaning 477 clauses out of 1118 for limit 1.2246100445052554E-4
888.63/886.26	c cleaning 515 clauses out of 1141 for limit 1.978836276833637E-4
888.73/886.39	c cleaning 447 clauses out of 1128 for limit 3.307587323132802E-4
888.93/886.50	c cleaning 376 clauses out of 1179 for limit 5.20826983841437E-4
889.03/886.63	c cleaning 469 clauses out of 1303 for limit 7.771748770622339E-4
889.13/886.73	c cleaning 473 clauses out of 1335 for limit 0.0012521959706181076
889.23/886.86	c cleaning 489 clauses out of 1361 for limit 0.0020235634089627516
889.33/886.98	c cleaning 489 clauses out of 1372 for limit 0.0033103713793031044
889.53/887.11	c cleaning 486 clauses out of 1383 for limit 0.005415823929152929
889.63/887.26	c cleaning 489 clauses out of 1398 for limit 0.008844431939961105
889.73/887.38	c cleaning 488 clauses out of 1408 for limit 0.014467578121206364
889.93/887.54	c cleaning 491 clauses out of 1426 for limit 0.023699649494276224
890.13/887.72	c cleaning 505 clauses out of 1432 for limit 0.038803489494300215
890.23/887.88	c cleaning 506 clauses out of 1424 for limit 0.0641587896835008
890.43/888.00	c cleaning 514 clauses out of 1418 for limit 0.10625412717145749
890.53/888.15	c cleaning 515 clauses out of 1404 for limit 0.17697455059992784
890.63/888.25	c cleaning 508 clauses out of 1389 for limit 0.29500648788784417
890.73/888.36	c cleaning 515 clauses out of 1383 for limit 0.4895945146936164
890.93/888.50	c cleaning 509 clauses out of 1369 for limit 0.8164802316131509
891.03/888.62	c cleaning 484 clauses out of 1358 for limit 1.3546784302267116
891.13/888.72	c cleaning 488 clauses out of 1373 for limit 2.2074294066333726
891.23/888.83	c cleaning 480 clauses out of 1385 for limit 3.608805488757679
891.33/888.95	c cleaning 504 clauses out of 1405 for limit 5.866685547492248
891.43/889.07	c cleaning 501 clauses out of 1402 for limit 9.705357115351681
1671.46/1668.43	c cleaning 301499 clauses out of 604398 for limit 3.800647774615496
1672.56/1669.51	c cleaning 151045 clauses out of 303399 for limit 12.485972777515592
1673.06/1670.09	c cleaning 74829 clauses out of 152854 for limit 40.871032352482665
1673.56/1670.58	c cleaning 37667 clauses out of 78525 for limit 131.2019705043926
1674.06/1671.01	c cleaning 19065 clauses out of 41358 for limit 410.81345659721245
1674.46/1671.40	c cleaning 9656 clauses out of 22793 for limit 1229.301994594461
1674.66/1671.63	c cleaning 5365 clauses out of 13637 for limit 3388.4191169073138
1674.76/1671.78	c cleaning 2878 clauses out of 8772 for limit 8687.068134683777
1674.86/1671.88	c cleaning 1695 clauses out of 6396 for limit 19687.39732989213
1675.07/1672.04	c cleaning 1081 clauses out of 5199 for limit 39862.43346720087
1675.16/1672.16	c cleaning 630 clauses out of 4618 for limit 74009.17844390882
1675.36/1672.32	c cleaning 875 clauses out of 4488 for limit 125586.3824336831
1675.46/1672.46	c cleaning 514 clauses out of 4114 for limit 226162.97600743646
1675.56/1672.57	c cleaning 471 clauses out of 4099 for limit 373963.533378099
1675.76/1672.70	c cleaning 520 clauses out of 4128 for limit 612383.3458095907
1675.86/1672.83	c cleaning 610 clauses out of 4108 for limit 1014818.8182587539
1675.96/1672.96	c cleaning 526 clauses out of 3999 for limit 1720909.1413069118
1676.07/1673.08	c cleaning 1657 clauses out of 3973 for limit 2856581.8180447593
1676.17/1673.19	c cleaning 327 clauses out of 2816 for limit 6646430.521410897
1676.36/1673.30	c cleaning 430 clauses out of 2988 for limit 1.0319577139346544E7
1676.46/1673.43	c cleaning 280 clauses out of 3058 for limit 1.662879965159165E7
1676.56/1673.57	c cleaning 354 clauses out of 3279 for limit 2.5600436130029257E7
1676.76/1673.73	c cleaning 392 clauses out of 3424 for limit 4.039023685313093E7
1676.86/1673.84	c cleaning 354 clauses out of 3532 for limit 6.457216502979131E7
1676.96/1673.93	c cleaning 371 clauses out of 3678 for limit 1.0226103996290517E8
1677.06/1674.05	c cleaning 365 clauses out of 3807 for limit 1.62927705025016E8
1677.27/1674.20	c cleaning 405 clauses out of 3944 for limit 2.598757892172104E8
1677.36/1674.35	c cleaning 820 clauses out of 4037 for limit 4.1786004006632096E8
1677.46/1674.47	c cleaning 376 clauses out of 3717 for limit 7.484329804890964E8
1677.66/1674.62	c cleaning 375 clauses out of 3841 for limit 1.1944199752461474E9
1677.76/1674.79	c cleaning 407 clauses out of 3967 for limit 1.9091038932806156E9
1677.96/1674.90	c cleaning 448 clauses out of 4060 for limit 3.076249932726671E9
1678.06/1675.05	c cleaning 544 clauses out of 4111 for limit 5.0052013063667755E9
1678.16/1675.19	c cleaning 1726 clauses out of 4067 for limit 8.343547459533946E9
1678.27/1675.29	c cleaning 311 clauses out of 2842 for limit 1.9710209400232155E10
1678.46/1675.43	c cleaning 507 clauses out of 3031 for limit 3.047791562762749E10
1678.56/1675.57	c cleaning 371 clauses out of 3023 for limit 5.034477762303786E10
1678.76/1675.70	c cleaning 309 clauses out of 3152 for limit 7.962734809604521E10
1678.86/1675.83	c cleaning 368 clauses out of 3344 for limit 1.2390036651573299E11
1678.96/1675.97	c cleaning 336 clauses out of 3475 for limit 1.9642891879452753E11
1679.16/1676.16	c cleaning 335 clauses out of 3640 for limit 3.095631450042743E11
1679.26/1676.28	c cleaning 420 clauses out of 3804 for limit 4.880131232364462E11
1679.37/1676.38	c cleaning 591 clauses out of 3885 for limit 7.888081420908643E11
1679.47/1676.48	c cleaning 396 clauses out of 3793 for limit 1.3310701382732544E12
1679.56/1676.58	c cleaning 440 clauses out of 3897 for limit 2.1365313234293184E12
1679.66/1676.68	c cleaning 477 clauses out of 3957 for limit 3.4700002563487803E12
1679.76/1676.79	c cleaning 470 clauses out of 3982 for limit 5.697957584126432E12
1679.96/1676.92	c cleaning 640 clauses out of 4010 for limit 9.312428655322656E12
1680.06/1677.03	c cleaning 376 clauses out of 3873 for limit 1.5948478472092037E13
1680.16/1677.11	c cleaning 1896 clauses out of 3994 for limit 2.542793219218974E13
1680.26/1677.20	c cleaning 876 clauses out of 2598 for limit 6.446676024637683E13
1680.36/1677.31	c cleaning 321 clauses out of 2222 for limit 1.2430449243912052E14
1680.47/1677.43	c cleaning 270 clauses out of 2406 for limit 1.90267101419137E14
1680.57/1677.54	c cleaning 462 clauses out of 2632 for limit 2.856875272405382E14
1680.66/1677.66	c cleaning 545 clauses out of 2669 for limit 4.641410350737709E14
1680.76/1677.76	c cleaning 229 clauses out of 2624 for limit 7.785573275809506E14
1680.86/1677.88	c cleaning 1287 clauses out of 2895 for limit 1.163755499117485E-5
1680.96/1677.99	c cleaning 538 clauses out of 2108 for limit 2.635697682471985E-5
1681.16/1678.10	c cleaning 493 clauses out of 2072 for limit 4.4309960280611985E-5
1681.26/1678.20	c cleaning 450 clauses out of 2078 for limit 7.278919959547362E-5
1681.26/1678.29	c cleaning 468 clauses out of 2127 for limit 1.1715649555654326E-4
1681.46/1678.40	c cleaning 303 clauses out of 2160 for limit 1.9044540994969387E-4
1681.57/1678.51	c cleaning 106 clauses out of 2356 for limit 2.8765395539068764E-4
1681.67/1678.61	c cleaning 146 clauses out of 2751 for limit 4.0667309849011935E-4
1681.76/1678.71	c cleaning 91 clauses out of 3105 for limit 5.941968122525493E-4
1681.76/1678.80	c cleaning 242 clauses out of 3518 for limit 8.683404275753986E-4
1681.96/1678.92	c cleaning 370 clauses out of 3772 for limit 0.0013302461542044034
1682.06/1679.04	c cleaning 435 clauses out of 3902 for limit 0.0021206662174272565
1682.26/1679.20	c cleaning 459 clauses out of 3966 for limit 0.0034373855619917897
1682.36/1679.33	c cleaning 493 clauses out of 4010 for limit 0.005623361562894689
1682.46/1679.44	c cleaning 493 clauses out of 4014 for limit 0.009236668647764656
1682.56/1679.55	c cleaning 494 clauses out of 4021 for limit 0.015205984598355966
1682.67/1679.68	c cleaning 479 clauses out of 4027 for limit 0.025039339967951584
1682.87/1679.81	c cleaning 482 clauses out of 4049 for limit 0.041109967022065624
1682.97/1679.97	c cleaning 501 clauses out of 4066 for limit 0.06744486754504747
1683.07/1680.09	c cleaning 497 clauses out of 4065 for limit 0.11125297096822193
1683.27/1680.21	c cleaning 505 clauses out of 4068 for limit 0.18333572916163135
1683.37/1680.31	c cleaning 495 clauses out of 4064 for limit 0.30294567307842235
1683.47/1680.41	c cleaning 503 clauses out of 4068 for limit 0.4986075888103487
1683.57/1680.51	c cleaning 486 clauses out of 4065 for limit 0.8228774582615197
1683.67/1680.62	c cleaning 496 clauses out of 4079 for limit 1.3523773769874674
1683.78/1680.76	c cleaning 671 clauses out of 4083 for limit 2.2280662982191393
1683.88/1680.86	c cleaning 594 clauses out of 3912 for limit 3.8349926007221735
1683.97/1680.98	c cleaning 604 clauses out of 3818 for limit 6.480124344011007
1684.17/1681.12	c cleaning 533 clauses out of 3714 for limit 10.98583953213154
1684.27/1681.24	c cleaning 516 clauses out of 3683 for limit 18.30620587408562
1684.37/1681.36	c cleaning 489 clauses out of 3668 for limit 30.343182755130705
1684.47/1681.48	c cleaning 494 clauses out of 3678 for limit 49.854011571892684
1684.67/1681.60	c cleaning 484 clauses out of 3682 for limit 81.96244671887254
1684.77/1681.72	c cleaning 485 clauses out of 3698 for limit 134.5822171430128
1684.88/1681.83	c cleaning 481 clauses out of 3713 for limit 221.047457154833
1684.98/1681.94	c cleaning 467 clauses out of 3732 for limit 362.680933157168
1685.07/1682.05	c cleaning 500 clauses out of 3765 for limit 592.8669844143749
1685.17/1682.17	c cleaning 480 clauses out of 3765 for limit 977.7169696255246
1685.37/1682.30	c cleaning 479 clauses out of 3785 for limit 1603.866205944686
1685.47/1682.44	c cleaning 522 clauses out of 3806 for limit 2630.3959285125675
1685.57/1682.55	c cleaning 485 clauses out of 3784 for limit 4363.094976364533
1685.67/1682.69	c cleaning 488 clauses out of 3799 for limit 7166.917216325766
1685.87/1682.81	c cleaning 513 clauses out of 3811 for limit 11781.989187404766
1685.98/1682.96	c cleaning 502 clauses out of 3798 for limit 19496.582653452195
1686.08/1683.08	c cleaning 492 clauses out of 3797 for limit 32193.133997965502
1686.27/1683.25	c cleaning 479 clauses out of 3805 for limit 52979.16148267611
1686.37/1683.35	c cleaning 511 clauses out of 3827 for limit 86954.42307290532
1686.47/1683.47	c cleaning 496 clauses out of 3814 for limit 143600.61998514173
1686.57/1683.58	c cleaning 470 clauses out of 3818 for limit 236568.5274727832
1686.77/1683.72	c cleaning 511 clauses out of 3848 for limit 387091.57076664123
1686.87/1683.83	c cleaning 502 clauses out of 3841 for limit 642093.6938219465
1686.97/1683.96	c cleaning 507 clauses out of 3835 for limit 1056319.223511601
1687.08/1684.08	c cleaning 495 clauses out of 3828 for limit 1745197.2082881602
1687.27/1684.22	c cleaning 709 clauses out of 3833 for limit 2874309.3422254706
1687.37/1684.34	c cleaning 395 clauses out of 3624 for limit 5013488.507197474
1687.47/1684.50	c cleaning 435 clauses out of 3729 for limit 8035107.960548065
1687.67/1684.63	c cleaning 472 clauses out of 3796 for limit 1.3043159541697102E7
1687.77/1684.76	c cleaning 594 clauses out of 3824 for limit 2.1352415589551937E7
1687.97/1684.91	c cleaning 483 clauses out of 3732 for limit 3.6153318964574285E7
1688.07/1685.02	c cleaning 471 clauses out of 3748 for limit 5.9307770847182535E7
1688.18/1685.15	c cleaning 485 clauses out of 3776 for limit 9.69841073108519E7
1688.28/1685.29	c cleaning 504 clauses out of 3789 for limit 1.5907239376457968E8
1688.47/1685.41	c cleaning 1435 clauses out of 3785 for limit 2.6260889056940436E8
1688.57/1685.54	c cleaning 423 clauses out of 2850 for limit 5.751569020096833E8
1688.67/1685.69	c cleaning 1163 clauses out of 2927 for limit 9.235583950816842E8
1688.77/1685.79	c cleaning 750 clauses out of 2264 for limit 1.9690944463713982E9
1688.87/1685.89	c cleaning 628 clauses out of 2017 for limit 3.655918401715117E9
1688.97/1685.99	c cleaning 561 clauses out of 1887 for limit 6.431575252275398E9
1689.07/1686.09	c cleaning 532 clauses out of 1827 for limit 1.0965819854022114E10
1689.17/1686.18	c cleaning 519 clauses out of 1793 for limit 1.8390190511173923E10
1800.04/1797.01	c starts		: 23
1800.04/1797.01	c conflicts		: 1638271
1800.04/1797.01	c decisions		: 11166528
1800.04/1797.01	c propagations		: 1715165760
1800.04/1797.01	c inspects		: 8318451115
1800.04/1797.01	c learnt literals	: 71
1800.04/1797.01	c learnt binary clauses	: 151476
1800.04/1797.01	c learnt ternary clauses	: 103777
1800.04/1797.01	c learnt clauses	: 1638200
1800.04/1797.01	c root simplifications	: 0
1800.04/1797.01	c removed literals (reason simplification)	: 0
1800.04/1797.01	c reason swapping (by a shorter reason)	: 0
1800.04/1797.01	c Calls to reduceDB	: 380
1800.04/1797.01	c speed (decisions/second)	: 6216.149866341864
1800.04/1797.01	c non guided choices	20476
1800.04/1797.01	s UNKNOWN
1800.04/1797.01	c Total wall clock time (ms): 1796.909

Verifier Data 

ERROR: no interpretation found !

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-3742283-1338765581/watcher-3742283-1338765581 -o /tmp/evaluation-result-3742283-1338765581/solver-3742283-1338765581 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742283-1338765581.opb 

running on 4 cores: 0,2,4,6

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: 2.00 2.00 2.00 3/194 12661
/proc/meminfo: memFree=25389348/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12661/stat : 12661 (java) D 12659 12661 11123 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342685426 9515008 182 33554432000 1073741824 1073778376 140733697399216 140733697390248 219513962165 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/12661/statm: 2323 182 140 9 0 71 0

[startup+0.06988 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12661
/proc/meminfo: memFree=25389348/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=2956804 CPUtime=0.04 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 4068 0 1 0 4 0 0 0 20 0 18 0 342685426 3027767296 5788 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 739201 5788 1768 9 0 729885 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2956804

[startup+0.100209 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12661
/proc/meminfo: memFree=25389348/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 4904 0 1 0 8 1 0 0 20 0 18 0 342685426 3028844544 6613 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 739464 6613 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300169 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12661
/proc/meminfo: memFree=25389348/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=2957856 CPUtime=0.54 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 8299 0 1 0 52 2 0 0 20 0 18 0 342685426 3028844544 12392 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 739464 12392 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700183 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12661
/proc/meminfo: memFree=25389348/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=3024420 CPUtime=1.4 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 9497 0 1 0 136 4 0 0 20 0 19 0 342685426 3097006080 37530 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 756105 37530 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 3024420

[startup+1.50073 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12680
/proc/meminfo: memFree=25248072/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=3024420 CPUtime=2.4 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 9507 0 1 0 236 4 0 0 20 0 19 0 342685426 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 756105 37540 2271 9 0 746526 0
[pid=12661/tid=12663] ppid=12659 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/12661/task/12663/stat : 12663 (java) R 12659 12661 11123 0 -1 4202560 3097 0 1 0 144 3 0 0 20 0 19 0 342685427 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634274963896 139634102094123 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12664] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12664/stat : 12664 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634258389416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12665] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12665/stat : 12665 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634257336872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12666] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12666/stat : 12666 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634256283816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12667] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12667/stat : 12667 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634255231272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12668] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12668/stat : 12668 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634254179240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12669] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12669/stat : 12669 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634253126696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12670] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12670/stat : 12670 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634252073640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12671] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12671/stat : 12671 (java) S 12659 12661 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634251021096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12672] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12672/stat : 12672 (java) S 12659 12661 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342685429 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634238609768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12673] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12673/stat : 12673 (java) S 12659 12661 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634237556088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12674] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12674/stat : 12674 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634236502920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12675] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12675/stat : 12675 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634235451664 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12676] ppid=12659 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12661/task/12676/stat : 12676 (java) S 12659 12661 11123 0 -1 4202560 2461 0 0 0 46 0 0 0 20 0 19 0 342685432 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634234399544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12677] ppid=12659 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/12661/task/12677/stat : 12677 (java) S 12659 12661 11123 0 -1 4202560 2755 0 0 0 43 1 0 0 20 0 19 0 342685432 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634233347000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12678] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12678/stat : 12678 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634232294136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12679] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12679/stat : 12679 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634231241800 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12680] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12680/stat : 12680 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685490 3097006080 37540 33554432000 1073741824 1073778376 140734767853792 139634229040168 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 3024420

[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12680
/proc/meminfo: memFree=25247676/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=3024420 CPUtime=4.01 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 9510 0 1 0 397 4 0 0 20 0 19 0 342685426 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 756105 38053 2271 9 0 746526 0
[pid=12661/tid=12663] ppid=12659 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/12661/task/12663/stat : 12663 (java) R 12659 12661 11123 0 -1 4202560 3099 0 1 0 304 3 0 0 20 0 19 0 342685427 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634274963968 139634102060944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12664] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12664/stat : 12664 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634258389416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12665] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12665/stat : 12665 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634257336872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12666] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12666/stat : 12666 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634256283816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12667] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12667/stat : 12667 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634255231272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12668] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12668/stat : 12668 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634254179240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12669] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12669/stat : 12669 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634253126696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12670] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12670/stat : 12670 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634252073640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12671] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12671/stat : 12671 (java) S 12659 12661 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634251021096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12672] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12672/stat : 12672 (java) S 12659 12661 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342685429 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634238609768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12673] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12673/stat : 12673 (java) S 12659 12661 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634237556088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12674] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12674/stat : 12674 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634236502920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12675] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12675/stat : 12675 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634235451664 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12676] ppid=12659 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12661/task/12676/stat : 12676 (java) S 12659 12661 11123 0 -1 4202560 2461 0 0 0 46 0 0 0 20 0 19 0 342685432 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634234399544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12677] ppid=12659 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12661/task/12677/stat : 12677 (java) S 12659 12661 11123 0 -1 4202560 2755 0 0 0 44 2 0 0 20 0 19 0 342685432 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634233347000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12678] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12678/stat : 12678 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634232294136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12679] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12679/stat : 12679 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634231241800 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12680] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12680/stat : 12680 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685490 3097006080 38053 33554432000 1073741824 1073778376 140734767853792 139634229040168 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 3024420

[startup+6.30074 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12680
/proc/meminfo: memFree=25242716/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=3024420 CPUtime=7.25 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 9513 0 1 0 721 4 0 0 20 0 19 0 342685426 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 756105 38521 2272 9 0 746526 0
[pid=12661/tid=12663] ppid=12659 vsize=3024420 CPUtime=6.27 cores=0,2,4,6
/proc/12661/task/12663/stat : 12663 (java) R 12659 12661 11123 0 -1 4202560 3101 0 1 0 624 3 0 0 20 0 19 0 342685427 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634274963848 139634101957657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12664] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12664/stat : 12664 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634258389416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12665] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12665/stat : 12665 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634257336872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12666] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12666/stat : 12666 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634256283816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12667] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12667/stat : 12667 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634255231272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12668] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12668/stat : 12668 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634254179240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12669] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12669/stat : 12669 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634253126696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12670] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12670/stat : 12670 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634252073640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12671] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12671/stat : 12671 (java) S 12659 12661 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342685428 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634251021096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12672] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12672/stat : 12672 (java) S 12659 12661 11123 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342685429 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634238609768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12673] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12673/stat : 12673 (java) S 12659 12661 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634237556088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12674] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12674/stat : 12674 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634236502920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12675] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12675/stat : 12675 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634235451664 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12676] ppid=12659 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12661/task/12676/stat : 12676 (java) S 12659 12661 11123 0 -1 4202560 2461 0 0 0 48 0 0 0 20 0 19 0 342685432 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634234399544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12677] ppid=12659 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12661/task/12677/stat : 12677 (java) S 12659 12661 11123 0 -1 4202560 2756 0 0 0 46 2 0 0 20 0 19 0 342685432 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634233347000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12678] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12678/stat : 12678 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634232294136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12679] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12679/stat : 12679 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634231241800 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12680] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12680/stat : 12680 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685490 3097006080 38521 33554432000 1073741824 1073778376 140734767853792 139634229040168 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=12661/tid=12669] ppid=12659 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12661/task/12669/stat : 12669 (java) S 12659 12661 11123 0 -1 4202560 300 0 0 0 29 18 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634253126696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12670] ppid=12659 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12661/task/12670/stat : 12670 (java) S 12659 12661 11123 0 -1 4202560 298 0 0 0 22 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634252073640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12671] ppid=12659 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12661/task/12671/stat : 12671 (java) S 12659 12661 11123 0 -1 4202560 189 0 0 0 21 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634251021096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12672] ppid=12659 vsize=3024420 CPUtime=1.86 cores=0,2,4,6
/proc/12661/task/12672/stat : 12672 (java) S 12659 12661 11123 0 -1 4202560 259 0 0 0 177 9 0 0 20 0 19 0 342685429 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634238609768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12673] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12673/stat : 12673 (java) S 12659 12661 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634237556088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12674] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12674/stat : 12674 (java) S 12659 12661 11123 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634236502920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12675] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12675/stat : 12675 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634235451664 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12676] ppid=12659 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/12661/task/12676/stat : 12676 (java) S 12659 12661 11123 0 -1 4202560 2473 0 0 0 54 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634234399544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12677] ppid=12659 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/12661/task/12677/stat : 12677 (java) S 12659 12661 11123 0 -1 4202560 2761 0 0 0 51 2 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634233347000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12678] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12678/stat : 12678 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634232294136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12679] ppid=12659 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/12661/task/12679/stat : 12679 (java) S 12659 12661 11123 0 -1 4202560 95 0 0 0 29 29 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634231241800 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12680] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12680/stat : 12680 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685490 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634229040168 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.36
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12754
/proc/meminfo: memFree=23715996/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=3024420 CPUtime=1725.36 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 12015 0 1 0 172389 147 0 0 20 0 19 0 342685426 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 756105 418894 2302 9 0 746526 0
[pid=12661/tid=12663] ppid=12659 vsize=3024420 CPUtime=1719.08 cores=0,2,4,6
/proc/12661/task/12663/stat : 12663 (java) R 12659 12661 11123 0 -1 4202560 3255 0 1 0 171872 36 0 0 20 0 19 0 342685427 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634274962704 139634102061003 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12664] ppid=12659 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12661/task/12664/stat : 12664 (java) S 12659 12661 11123 0 -1 4202560 200 0 0 0 20 12 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634258389416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12665] ppid=12659 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12661/task/12665/stat : 12665 (java) S 12659 12661 11123 0 -1 4202560 390 0 0 0 31 12 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634257336872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12666] ppid=12659 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12661/task/12666/stat : 12666 (java) S 12659 12661 11123 0 -1 4202560 202 0 0 0 22 14 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634256283816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12667] ppid=12659 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/12661/task/12667/stat : 12667 (java) S 12659 12661 11123 0 -1 4202560 228 0 0 0 26 13 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634255231272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12668] ppid=12659 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12661/task/12668/stat : 12668 (java) S 12659 12661 11123 0 -1 4202560 177 0 0 0 17 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634254179240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12669] ppid=12659 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12661/task/12669/stat : 12669 (java) S 12659 12661 11123 0 -1 4202560 300 0 0 0 29 18 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634253126696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12670] ppid=12659 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12661/task/12670/stat : 12670 (java) S 12659 12661 11123 0 -1 4202560 298 0 0 0 22 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634252073640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12671] ppid=12659 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12661/task/12671/stat : 12671 (java) S 12659 12661 11123 0 -1 4202560 189 0 0 0 21 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634251021096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12672] ppid=12659 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/12661/task/12672/stat : 12672 (java) S 12659 12661 11123 0 -1 4202560 260 0 0 0 191 9 0 0 20 0 19 0 342685429 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634238609768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12673] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12673/stat : 12673 (java) S 12659 12661 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634237556088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12674] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12674/stat : 12674 (java) S 12659 12661 11123 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634236502920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12675] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12675/stat : 12675 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634235451664 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12676] ppid=12659 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/12661/task/12676/stat : 12676 (java) S 12659 12661 11123 0 -1 4202560 2475 0 0 0 54 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634234399544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12677] ppid=12659 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/12661/task/12677/stat : 12677 (java) S 12659 12661 11123 0 -1 4202560 2761 0 0 0 51 2 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634233347000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12678] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12678/stat : 12678 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634232294136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12679] ppid=12659 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12661/task/12679/stat : 12679 (java) S 12659 12661 11123 0 -1 4202560 99 0 0 0 30 30 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634231241800 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12680] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12680/stat : 12680 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685490 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634229040168 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.36
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12755
/proc/meminfo: memFree=23715764/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=3024420 CPUtime=1785.34 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 12019 0 1 0 178386 148 0 0 20 0 19 0 342685426 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 756105 418894 2302 9 0 746526 0
[pid=12661/tid=12663] ppid=12659 vsize=3024420 CPUtime=1779.05 cores=0,2,4,6
/proc/12661/task/12663/stat : 12663 (java) R 12659 12661 11123 0 -1 4202560 3255 0 1 0 177867 38 0 0 20 0 19 0 342685427 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634274962704 139634101981819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12664] ppid=12659 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12661/task/12664/stat : 12664 (java) S 12659 12661 11123 0 -1 4202560 200 0 0 0 20 12 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634258389416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12665] ppid=12659 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12661/task/12665/stat : 12665 (java) S 12659 12661 11123 0 -1 4202560 390 0 0 0 31 12 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634257336872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12666] ppid=12659 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12661/task/12666/stat : 12666 (java) S 12659 12661 11123 0 -1 4202560 202 0 0 0 22 14 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634256283816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12667] ppid=12659 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/12661/task/12667/stat : 12667 (java) S 12659 12661 11123 0 -1 4202560 228 0 0 0 26 13 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634255231272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12668] ppid=12659 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12661/task/12668/stat : 12668 (java) S 12659 12661 11123 0 -1 4202560 177 0 0 0 17 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634254179240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12669] ppid=12659 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12661/task/12669/stat : 12669 (java) S 12659 12661 11123 0 -1 4202560 300 0 0 0 29 18 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634253126696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12670] ppid=12659 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12661/task/12670/stat : 12670 (java) S 12659 12661 11123 0 -1 4202560 298 0 0 0 22 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634252073640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12671] ppid=12659 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12661/task/12671/stat : 12671 (java) S 12659 12661 11123 0 -1 4202560 189 0 0 0 21 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634251021096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12672] ppid=12659 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/12661/task/12672/stat : 12672 (java) S 12659 12661 11123 0 -1 4202560 260 0 0 0 191 9 0 0 20 0 19 0 342685429 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634238609768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12673] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12673/stat : 12673 (java) S 12659 12661 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634237556088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12674] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12674/stat : 12674 (java) S 12659 12661 11123 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634236502920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12675] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12675/stat : 12675 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634235451664 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12676] ppid=12659 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/12661/task/12676/stat : 12676 (java) S 12659 12661 11123 0 -1 4202560 2475 0 0 0 54 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634234399544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12677] ppid=12659 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/12661/task/12677/stat : 12677 (java) S 12659 12661 11123 0 -1 4202560 2761 0 0 0 51 2 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634233347000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12678] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12678/stat : 12678 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634232294136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12679] ppid=12659 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/12661/task/12679/stat : 12679 (java) S 12659 12661 11123 0 -1 4202560 103 0 0 0 31 31 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634231241800 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12680] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12680/stat : 12680 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685490 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634229040168 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.34
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12755
/proc/meminfo: memFree=23715884/32873648 swapFree=7120/7120
[pid=12661] ppid=12659 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/12661/stat : 12661 (java) S 12659 12661 11123 0 -1 4202496 12019 0 1 0 179856 148 0 0 20 0 19 0 342685426 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 140734767844928 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12661/statm: 756105 418894 2302 9 0 746526 0
[pid=12661/tid=12663] ppid=12659 vsize=3024420 CPUtime=1793.76 cores=0,2,4,6
/proc/12661/task/12663/stat : 12663 (java) R 12659 12661 11123 0 -1 4202560 3255 0 1 0 179338 38 0 0 20 0 19 0 342685427 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634274962704 139634102093792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12664] ppid=12659 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12661/task/12664/stat : 12664 (java) S 12659 12661 11123 0 -1 4202560 200 0 0 0 20 12 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634258389416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12665] ppid=12659 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12661/task/12665/stat : 12665 (java) S 12659 12661 11123 0 -1 4202560 390 0 0 0 31 12 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634257336872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12666] ppid=12659 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12661/task/12666/stat : 12666 (java) S 12659 12661 11123 0 -1 4202560 202 0 0 0 22 14 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634256283816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12667] ppid=12659 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/12661/task/12667/stat : 12667 (java) S 12659 12661 11123 0 -1 4202560 228 0 0 0 26 13 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634255231272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12668] ppid=12659 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12661/task/12668/stat : 12668 (java) S 12659 12661 11123 0 -1 4202560 177 0 0 0 17 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634254179240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12669] ppid=12659 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12661/task/12669/stat : 12669 (java) S 12659 12661 11123 0 -1 4202560 300 0 0 0 29 18 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634253126696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12670] ppid=12659 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12661/task/12670/stat : 12670 (java) S 12659 12661 11123 0 -1 4202560 298 0 0 0 22 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634252073640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12671] ppid=12659 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12661/task/12671/stat : 12671 (java) S 12659 12661 11123 0 -1 4202560 189 0 0 0 21 11 0 0 20 0 19 0 342685428 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634251021096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12672] ppid=12659 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/12661/task/12672/stat : 12672 (java) S 12659 12661 11123 0 -1 4202560 260 0 0 0 191 9 0 0 20 0 19 0 342685429 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634238609768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12661/tid=12673] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12673/stat : 12673 (java) S 12659 12661 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634237556088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12674] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12674/stat : 12674 (java) S 12659 12661 11123 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342685430 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634236502920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12675] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12675/stat : 12675 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634235451664 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12676] ppid=12659 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/12661/task/12676/stat : 12676 (java) S 12659 12661 11123 0 -1 4202560 2475 0 0 0 54 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634234399544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12661/tid=12677] ppid=12659 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/12661/task/12677/stat : 12677 (java) S 12659 12661 11123 0 -1 4202560 2761 0 0 0 51 2 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634233347000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12678] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12678/stat : 12678 (java) S 12659 12661 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634232294136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12661/tid=12679] ppid=12659 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/12661/task/12679/stat : 12679 (java) S 12659 12661 11123 0 -1 4202560 103 0 0 0 31 31 0 0 20 0 19 0 342685432 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634231241800 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12661/tid=12680] ppid=12659 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12661/task/12680/stat : 12680 (java) S 12659 12661 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342685490 3097006080 418894 33554432000 1073741824 1073778376 140734767853792 139634229040168 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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
Real time (s): 1797.02
CPU time (s): 1800.61
CPU user time (s): 1798.66
CPU system time (s): 1.9517
CPU usage (%): 100.2
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.9517
maximum resident set size= 1675696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12051
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38154
involuntary context switches= 20885

runsolver used 7.48086 second user time and 13.8729 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-04 01:19:41
IDJOB=3742283
IDBENCH=90147
IDSOLVER=2319
FILE ID=node114/3742283-1338765581
RUNJOBID= node114-1338749374-11139
PBS_JOBID= 14636799
Free space on /tmp= 70136 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742283-1338765581/watcher-3742283-1338765581 -o /tmp/evaluation-result-3742283-1338765581/solver-3742283-1338765581 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742283-1338765581.opb           

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

MD5SUM BENCH= 3f678424628fecb2a53891618f9bde8f
RANDOM SEED=1600174631

node114.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		: 2666.242
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	: 5332.48
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		: 2666.242
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		: 2666.242
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	: 5451.90
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		: 2666.242
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		: 2666.242
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		: 2666.242
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		: 2666.242
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		: 2666.242
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25389356 kB
Buffers:         1064492 kB
Cached:          3729724 kB
SwapCached:         2244 kB
Active:          4571724 kB
Inactive:        1873140 kB
Active(anon):    1637684 kB
Inactive(anon):     8360 kB
Active(file):    2934040 kB
Inactive(file):  1864780 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              5128 kB
Writeback:             0 kB
AnonPages:       1681340 kB
Mapped:            19124 kB
Shmem:               100 kB
Slab:             865496 kB
SReclaimable:     309332 kB
SUnreclaim:       556164 kB
KernelStack:        1600 kB
PageTables:         7812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70132 MiB
End job on node114 at 2012-06-04 01:49:40