Trace number 3742192

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.05 1796.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K101.opb
MD5SUMa3de6c6ee42f8b511357d3857e721bb4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark198.533
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6868
Total number of constraints7072
Number of constraints which are clauses6971
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint101
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 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.13	--- Begin Solver configuration ---
0.06/0.13	c Stops conflict analysis at the first Unique Implication Point
0.06/0.13	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@5b3caecd
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.13	c No reason simplification
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3742192-1338764135.opb
0.06/0.13	c reading problem ... 
0.75/0.47	c ... done. Wall clock time 0.345s.
0.75/0.47	c CPU time (experimental) 0.43s.
0.75/0.47	c #vars     6868
0.75/0.47	c #constraints  7070
835.81/833.40	c cleaning 293948 clauses out of 588958 for limit 1.4366486567313198E10
837.32/834.82	c cleaning 147467 clauses out of 295511 for limit 4.726630397927791E10
837.92/835.47	c cleaning 73491 clauses out of 148545 for limit 1.5522356582265286E11
838.22/835.78	c cleaning 36929 clauses out of 75553 for limit 5.0278852297391394E11
838.53/836.04	c cleaning 18649 clauses out of 39124 for limit 1.601215207001501E12
838.72/836.26	c cleaning 9539 clauses out of 20976 for limit 4.930156218506887E12
838.82/836.38	c cleaning 5064 clauses out of 11935 for limit 1.4260928259892533E13
838.92/836.49	c cleaning 2763 clauses out of 7371 for limit 3.80802415301711E13
839.02/836.57	c cleaning 1653 clauses out of 5108 for limit 9.062147024864073E13
839.12/836.65	c cleaning 1909 clauses out of 3955 for limit 1.930151469011084E14
839.22/836.74	c cleaning 1064 clauses out of 2546 for limit 4.944647849378606E14
839.32/836.81	c cleaning 543 clauses out of 1982 for limit 1.0474806363845808E15
839.32/836.86	c cleaning 425 clauses out of 1939 for limit 1.7657439686034425E15
839.42/836.92	c cleaning 887 clauses out of 2014 for limit 2.8035090432786637E-5
839.42/836.97	c cleaning 528 clauses out of 1629 for limit 5.727502056611359E-5
839.52/837.02	c cleaning 513 clauses out of 1599 for limit 9.603393795020166E-5
839.52/837.07	c cleaning 752 clauses out of 1586 for limit 1.5967094866427454E-4
839.62/837.14	c cleaning 592 clauses out of 1334 for limit 3.1306112820477563E-4
839.72/837.21	c cleaning 465 clauses out of 1244 for limit 5.54740030163407E-4
839.72/837.27	c cleaning 471 clauses out of 1277 for limit 8.894178728512732E-4
839.82/837.35	c cleaning 485 clauses out of 1306 for limit 0.0014341991463888116
839.92/837.41	c cleaning 471 clauses out of 1323 for limit 0.0023394711989194105
839.92/837.47	c cleaning 475 clauses out of 1350 for limit 0.0037733808593845806
840.02/837.53	c cleaning 448 clauses out of 1376 for limit 0.00611133900748883
840.12/837.60	c cleaning 504 clauses out of 1428 for limit 0.009711414455958653
840.12/837.66	c cleaning 496 clauses out of 1423 for limit 0.016055623354659754
840.22/837.74	c cleaning 522 clauses out of 1428 for limit 0.026411572735800883
840.32/837.80	c cleaning 505 clauses out of 1406 for limit 0.044237750692578855
840.32/837.85	c cleaning 491 clauses out of 1401 for limit 0.07321433282722077
840.42/837.91	c cleaning 568 clauses out of 1409 for limit 0.11993463743540583
840.42/837.98	c cleaning 587 clauses out of 1340 for limit 0.20797288114546358
840.52/838.05	c cleaning 524 clauses out of 1253 for limit 0.3667890169074406
840.62/838.15	c cleaning 507 clauses out of 1229 for limit 0.6166963781672857
840.72/838.21	c cleaning 492 clauses out of 1222 for limit 1.0228406082824415
840.72/838.28	c cleaning 535 clauses out of 1229 for limit 1.6771935047913042
840.82/838.37	c cleaning 505 clauses out of 1196 for limit 2.847926558493279
840.92/838.48	c cleaning 481 clauses out of 1189 for limit 4.7148184478485815
841.02/838.54	c cleaning 491 clauses out of 1208 for limit 7.653071688097663
841.12/838.62	c cleaning 493 clauses out of 1218 for limit 12.529848682944403
841.12/838.69	c cleaning 481 clauses out of 1225 for limit 20.545320138821513
841.22/838.75	c cleaning 496 clauses out of 1243 for limit 33.35794191737155
841.32/838.83	c cleaning 469 clauses out of 1247 for limit 54.83524779298315
841.42/838.90	c cleaning 495 clauses out of 1278 for limit 88.23711439399867
841.42/838.96	c cleaning 523 clauses out of 1283 for limit 144.94771768831075
841.52/839.03	c cleaning 473 clauses out of 1261 for limit 243.4520018686108
841.52/839.08	c cleaning 486 clauses out of 1287 for limit 392.9807389397281
841.62/839.13	c cleaning 506 clauses out of 1301 for limit 641.1038756015874
841.62/839.19	c cleaning 501 clauses out of 1296 for limit 1062.4074221814656
841.72/839.25	c cleaning 490 clauses out of 1294 for limit 1753.005168423479
841.82/839.31	c cleaning 520 clauses out of 1304 for limit 2868.7702500173355
841.82/839.39	c cleaning 487 clauses out of 1284 for limit 4804.677288959147
842.02/839.50	c cleaning 491 clauses out of 1297 for limit 7844.136777420953
842.02/839.56	c cleaning 497 clauses out of 1307 for limit 12849.90583376583
842.12/839.63	c cleaning 489 clauses out of 1311 for limit 21147.704814373938
842.12/839.69	c cleaning 487 clauses out of 1321 for limit 34576.77541434969
842.22/839.76	c cleaning 483 clauses out of 1333 for limit 56451.895966870965
842.32/839.84	c cleaning 501 clauses out of 1350 for limit 91924.39927584179
842.42/839.90	c cleaning 485 clauses out of 1350 for limit 151747.37921119962
842.42/839.96	c cleaning 500 clauses out of 1366 for limit 247568.09061816963
842.52/840.01	c cleaning 459 clauses out of 1364 for limit 408054.2069018791
842.52/840.08	c cleaning 506 clauses out of 1405 for limit 653298.6981137714
842.62/840.16	c cleaning 522 clauses out of 1403 for limit 1083239.230632867
842.72/840.22	c cleaning 503 clauses out of 1377 for limit 1812867.0302608742
842.82/840.31	c cleaning 492 clauses out of 1375 for limit 2997005.856502087
842.92/840.41	c cleaning 554 clauses out of 1382 for limit 4912511.974184248
842.92/840.49	c cleaning 472 clauses out of 1328 for limit 8430813.397291055
843.02/840.57	c cleaning 482 clauses out of 1356 for limit 1.3616445417489123E7
843.12/840.64	c cleaning 484 clauses out of 1374 for limit 2.216116530819004E7
843.24/840.70	c cleaning 490 clauses out of 1390 for limit 3.61260445197281E7
843.24/840.75	c cleaning 507 clauses out of 1400 for limit 5.9151132552598484E7
843.33/840.82	c cleaning 495 clauses out of 1395 for limit 9.809385516963659E7
843.33/840.88	c cleaning 440 clauses out of 1398 for limit 1.6110006018358767E8
843.43/840.94	c cleaning 552 clauses out of 1460 for limit 2.5490298946694002E8
843.53/841.00	c cleaning 445 clauses out of 1406 for limit 4.3564158292748076E8
843.53/841.06	c cleaning 455 clauses out of 1461 for limit 6.91385582865181E8
843.63/841.11	c cleaning 454 clauses out of 1506 for limit 1.106117975880307E9
843.63/841.15	c cleaning 525 clauses out of 1552 for limit 1.7700706141490827E9
843.73/841.21	c cleaning 476 clauses out of 1528 for limit 2.967900614107185E9
843.73/841.26	c cleaning 480 clauses out of 1552 for limit 4.818777545871063E9
843.83/841.32	c cleaning 461 clauses out of 1571 for limit 7.842847764313303E9
843.83/841.40	c cleaning 802 clauses out of 1610 for limit 1.2620599383569647E10
843.94/841.48	c cleaning 560 clauses out of 1309 for limit 2.5624571360289635E10
844.04/841.55	c cleaning 531 clauses out of 1248 for limit 4.427953442099231E10
844.13/841.62	c cleaning 414 clauses out of 1217 for limit 7.48829491258845E10
844.23/841.70	c cleaning 604 clauses out of 1303 for limit 1.1534133916918524E11
844.23/841.78	c cleaning 453 clauses out of 1199 for limit 2.0671219998907904E11
844.33/841.86	c cleaning 418 clauses out of 1246 for limit 3.2803723067672034E11
844.43/841.93	c cleaning 419 clauses out of 1328 for limit 5.0757355999036786E11
844.43/841.99	c cleaning 470 clauses out of 1409 for limit 7.8893633838709E11
844.53/842.07	c cleaning 476 clauses out of 1440 for limit 1.274326926716826E12
844.63/842.14	c cleaning 468 clauses out of 1463 for limit 2.0664285863955361E12
844.73/842.20	c cleaning 486 clauses out of 1496 for limit 3.3359807237479517E12
844.73/842.27	c cleaning 728 clauses out of 1509 for limit 5.448629299979195E12
844.83/842.34	c cleaning 377 clauses out of 1282 for limit 1.0587145334071602E13
844.83/842.39	c cleaning 685 clauses out of 1405 for limit 1.5931125644756527E13
844.93/842.47	c cleaning 581 clauses out of 1221 for limit 3.026199268028768E13
845.04/842.53	c cleaning 378 clauses out of 1138 for limit 5.343893412161457E13
845.04/842.59	c cleaning 365 clauses out of 1260 for limit 7.959492744329053E13
845.14/842.64	c cleaning 397 clauses out of 1397 for limit 1.1862724398515516E14
845.23/842.71	c cleaning 432 clauses out of 1498 for limit 1.820773386921007E14
845.23/842.78	c cleaning 511 clauses out of 1566 for limit 2.8723135011625144E14
845.33/842.84	c cleaning 497 clauses out of 1555 for limit 4.77033733127356E14
845.43/842.90	c cleaning 505 clauses out of 1561 for limit 7.860243563115869E14
845.43/842.95	c cleaning 472 clauses out of 1553 for limit 1.29903185980769E15
845.53/843.00	c cleaning 747 clauses out of 1581 for limit 2.1043369229338468E-5
845.53/843.06	c cleaning 645 clauses out of 1334 for limit 4.1128910267148173E-5
845.63/843.11	c cleaning 535 clauses out of 1193 for limit 7.6147653109306E-5
845.63/843.17	c cleaning 538 clauses out of 1154 for limit 1.293031180117565E-4
845.73/843.22	c cleaning 456 clauses out of 1116 for limit 2.2049893632647993E-4
845.73/843.29	c cleaning 348 clauses out of 1164 for limit 3.5003514150213337E-4
845.83/843.35	c cleaning 401 clauses out of 1312 for limit 5.10092140975878E-4
845.93/843.42	c cleaning 382 clauses out of 1411 for limit 7.821883453862491E-4
846.03/843.50	c cleaning 439 clauses out of 1530 for limit 0.0011907958773063733
846.03/843.57	c cleaning 459 clauses out of 1590 for limit 0.001887787056823671
846.14/843.67	c cleaning 478 clauses out of 1631 for limit 0.0030349535907633644
846.24/843.75	c cleaning 499 clauses out of 1653 for limit 0.004938431667800413
846.33/843.84	c cleaning 497 clauses out of 1654 for limit 0.008139210569431024
846.43/843.94	c cleaning 518 clauses out of 1657 for limit 0.01339834535842484
846.53/844.02	c cleaning 534 clauses out of 1639 for limit 0.022338325243063378
846.53/844.08	c cleaning 477 clauses out of 1605 for limit 0.03761927432438887
846.63/844.15	c cleaning 521 clauses out of 1631 for limit 0.061233757758143575
846.73/844.21	c cleaning 504 clauses out of 1607 for limit 0.10218363497219779
846.73/844.28	c cleaning 501 clauses out of 1603 for limit 0.16893498172782395
846.83/844.34	c cleaning 489 clauses out of 1607 for limit 0.2792966204275034
846.93/844.40	c cleaning 494 clauses out of 1613 for limit 0.45659433425299145
846.93/844.45	c cleaning 599 clauses out of 1620 for limit 0.7504819817714701
847.03/844.52	c cleaning 543 clauses out of 1520 for limit 1.3177501417835267
847.13/844.61	c cleaning 516 clauses out of 1477 for limit 2.2364132222592534
847.13/844.68	c cleaning 506 clauses out of 1461 for limit 3.7285349437398296
847.24/844.75	c cleaning 481 clauses out of 1455 for limit 6.174209011209845
847.34/844.82	c cleaning 530 clauses out of 1474 for limit 10.050848437731698
847.43/844.90	c cleaning 491 clauses out of 1444 for limit 16.919553631193356
847.43/844.96	c cleaning 501 clauses out of 1453 for limit 27.729776379015057
847.53/845.01	c cleaning 482 clauses out of 1452 for limit 45.76160543882837
847.53/845.09	c cleaning 512 clauses out of 1470 for limit 74.54292341916856
847.63/845.15	c cleaning 474 clauses out of 1458 for limit 123.94303275128907
847.73/845.21	c cleaning 487 clauses out of 1485 for limit 200.88318605322308
847.73/845.26	c cleaning 456 clauses out of 1497 for limit 328.29904266920914
847.83/845.34	c cleaning 496 clauses out of 1541 for limit 525.9502488717081
847.93/845.41	c cleaning 501 clauses out of 1545 for limit 865.1167225135081
847.93/845.47	c cleaning 503 clauses out of 1544 for limit 1427.617232768242
848.03/845.53	c cleaning 464 clauses out of 1542 for limit 2359.745153246227
848.03/845.59	c cleaning 497 clauses out of 1577 for limit 3801.3613816894303
848.13/845.66	c cleaning 503 clauses out of 1581 for limit 6259.352077706112
848.23/845.73	c cleaning 471 clauses out of 1578 for limit 10342.133478983204
848.23/845.78	c cleaning 476 clauses out of 1606 for limit 16741.446209018948
848.34/845.85	c cleaning 503 clauses out of 1631 for limit 27212.907814877835
848.44/845.93	c cleaning 490 clauses out of 1627 for limit 44943.06986000043
848.53/846.00	c cleaning 490 clauses out of 1638 for limit 73693.09355403925
848.53/846.08	c cleaning 511 clauses out of 1647 for limit 120744.80698114404
848.63/846.17	c cleaning 553 clauses out of 1637 for limit 200541.27886303197
848.73/846.23	c cleaning 504 clauses out of 1584 for limit 341785.1341696298
848.73/846.29	c cleaning 770 clauses out of 1579 for limit 564868.8055054292
848.83/846.35	c cleaning 521 clauses out of 1310 for limit 1123954.7444787654
848.93/846.43	c cleaning 562 clauses out of 1288 for limit 1883326.566981884
848.93/846.50	c cleaning 486 clauses out of 1226 for limit 3262923.656741755
849.03/846.57	c cleaning 604 clauses out of 1245 for limit 5325452.032621411
849.13/846.65	c cleaning 546 clauses out of 1136 for limit 9577029.506303202
849.23/846.73	c cleaning 522 clauses out of 1090 for limit 1.6460330307619441E7
849.33/846.83	c cleaning 461 clauses out of 1068 for limit 2.7704459273346797E7
849.33/846.87	c cleaning 524 clauses out of 1107 for limit 4.407874257390011E7
849.44/846.94	c cleaning 480 clauses out of 1082 for limit 7.43713121821827E7
849.54/847.01	c cleaning 482 clauses out of 1103 for limit 1.2043357857489277E8
849.54/847.08	c cleaning 463 clauses out of 1120 for limit 1.9540085343551168E8
849.63/847.16	c cleaning 499 clauses out of 1156 for limit 3.122069249848648E8
849.73/847.24	c cleaning 484 clauses out of 1157 for limit 5.144259804218624E8
849.83/847.34	c cleaning 491 clauses out of 1173 for limit 8.367854648539284E8
849.93/847.43	c cleaning 545 clauses out of 1182 for limit 1.3694637799696517E9
850.03/847.50	c cleaning 451 clauses out of 1137 for limit 2.347812709346116E9
850.03/847.59	c cleaning 470 clauses out of 1186 for limit 3.711890122003479E9
850.13/847.67	c cleaning 602 clauses out of 1216 for limit 5.970381914018844E9
850.23/847.72	c cleaning 475 clauses out of 1114 for limit 1.0747473528921083E10
850.33/847.80	c cleaning 530 clauses out of 1139 for limit 1.733499568499664E10
850.33/847.88	c cleaning 469 clauses out of 1109 for limit 2.9361064887741413E10
850.43/847.95	c cleaning 439 clauses out of 1140 for limit 4.7103630835822296E10
850.53/848.01	c cleaning 453 clauses out of 1201 for limit 7.373473361495819E10
850.53/848.08	c cleaning 487 clauses out of 1248 for limit 1.1701901136577892E11
850.63/848.15	c cleaning 496 clauses out of 1262 for limit 1.9103021033971265E11
850.73/848.21	c cleaning 525 clauses out of 1265 for limit 3.139729680704623E11
850.73/848.27	c cleaning 609 clauses out of 1240 for limit 5.2822260889436523E11
850.83/848.35	c cleaning 499 clauses out of 1131 for limit 9.550628519582275E11
850.93/848.44	c cleaning 511 clauses out of 1132 for limit 1.5736350428160234E12
850.93/848.50	c cleaning 458 clauses out of 1127 for limit 2.6223429412767837E12
851.03/848.55	c cleaning 429 clauses out of 1163 for limit 4.165647379837729E12
851.13/848.64	c cleaning 475 clauses out of 1234 for limit 6.474450970047195E12
851.23/848.72	c cleaning 528 clauses out of 1259 for limit 1.046521760137006E13
851.33/848.82	c cleaning 483 clauses out of 1233 for limit 1.7657768836966133E13
851.43/848.90	c cleaning 461 clauses out of 1248 for limit 2.8712511473976934E13
851.43/848.97	c cleaning 465 clauses out of 1289 for limit 4.5936484981144586E13
851.53/849.04	c cleaning 500 clauses out of 1322 for limit 7.371673405009723E13
851.63/849.10	c cleaning 501 clauses out of 1324 for limit 1.2162825236896947E14
851.63/849.17	c cleaning 493 clauses out of 1322 for limit 2.0068382580675944E14
851.73/849.23	c cleaning 496 clauses out of 1329 for limit 3.292112994364825E14
851.73/849.29	c cleaning 479 clauses out of 1335 for limit 5.4155598372521744E14
851.83/849.36	c cleaning 663 clauses out of 1355 for limit 8.790360870058681E14
851.93/849.43	c cleaning 562 clauses out of 1190 for limit 1.6473500817066755E15
851.93/849.49	c cleaning 498 clauses out of 1128 for limit 2.86602286286326E15
852.03/849.57	c cleaning 499 clauses out of 1130 for limit 4.71808970326534E15
852.13/849.63	c cleaning 538 clauses out of 1131 for limit 7.773881554234448E-5
852.23/849.70	c cleaning 518 clauses out of 1093 for limit 1.3265885644923541E-4
852.23/849.78	c cleaning 499 clauses out of 1076 for limit 2.2245109028036316E-4
852.33/849.86	c cleaning 485 clauses out of 1076 for limit 3.6648475523992055E-4
852.43/849.92	c cleaning 424 clauses out of 1092 for limit 5.961230923196062E-4
852.43/849.99	c cleaning 435 clauses out of 1167 for limit 9.18986439886745E-4
852.53/850.07	c cleaning 434 clauses out of 1232 for limit 0.0014355725267067372
852.63/850.15	c cleaning 462 clauses out of 1299 for limit 0.002247590014497391
852.73/850.21	c cleaning 469 clauses out of 1336 for limit 0.003600320490139033
852.73/850.27	c cleaning 494 clauses out of 1367 for limit 0.005802765131195807
852.83/850.33	c cleaning 490 clauses out of 1374 for limit 0.009530313200053625
852.83/850.39	c cleaning 490 clauses out of 1383 for limit 0.015598868652429406
852.93/850.45	c cleaning 474 clauses out of 1393 for limit 0.025539950539739186
853.03/850.51	c cleaning 471 clauses out of 1419 for limit 0.04134706243346474
853.03/850.57	c cleaning 519 clauses out of 1449 for limit 0.06684194344612675
853.13/850.64	c cleaning 493 clauses out of 1429 for limit 0.11166230807685207
853.23/850.70	c cleaning 496 clauses out of 1436 for limit 0.18324843589358725
853.23/850.76	c cleaning 489 clauses out of 1443 for limit 0.30163921895053636
853.33/850.81	c cleaning 488 clauses out of 1451 for limit 0.4932181818466109
853.33/850.88	c cleaning 473 clauses out of 1463 for limit 0.806711134458116
853.43/850.93	c cleaning 479 clauses out of 1490 for limit 1.306267121763038
853.43/850.98	c cleaning 520 clauses out of 1511 for limit 2.124269859221616
853.53/851.04	c cleaning 514 clauses out of 1491 for limit 3.55019652806478
853.53/851.09	c cleaning 489 clauses out of 1480 for limit 5.915994278780267
853.63/851.15	c cleaning 489 clauses out of 1488 for limit 9.674730613173702
853.73/851.22	c cleaning 479 clauses out of 1499 for limit 15.83784420588606
853.83/851.31	c cleaning 493 clauses out of 1522 for limit 25.77555097867488
853.83/851.39	c cleaning 504 clauses out of 1531 for limit 42.34209379300956
853.93/851.47	c cleaning 490 clauses out of 1523 for limit 69.91421039150244
1643.19/1639.90	c cleaning 276702 clauses out of 554531 for limit 0.6116112612592021
1645.09/1641.82	c cleaning 139104 clauses out of 278331 for limit 2.013560269735377
1645.99/1642.78	c cleaning 69198 clauses out of 139723 for limit 6.588342245713674
1646.70/1643.43	c cleaning 34808 clauses out of 71028 for limit 21.437487768278405
1647.09/1643.89	c cleaning 17625 clauses out of 36717 for limit 68.1849674934637
1647.39/1644.17	c cleaning 9062 clauses out of 19593 for limit 210.9333682194184
1647.59/1644.36	c cleaning 4758 clauses out of 11030 for limit 617.2940471307647
1647.70/1644.48	c cleaning 2635 clauses out of 6772 for limit 1658.084039595746
1647.80/1644.57	c cleaning 1551 clauses out of 4640 for limit 4002.8095761149943
1647.89/1644.65	c cleaning 1032 clauses out of 3588 for limit 8528.091503046364
1647.99/1644.73	c cleaning 744 clauses out of 3054 for limit 16490.05547308802
1648.09/1644.81	c cleaning 610 clauses out of 2810 for limit 29555.663711563706
1648.19/1644.91	c cleaning 573 clauses out of 2700 for limit 50726.997704875925
1648.19/1645.00	c cleaning 519 clauses out of 2629 for limit 86086.9354254325
1648.29/1645.06	c cleaning 560 clauses out of 2608 for limit 142825.94634712386
1648.39/1645.14	c cleaning 528 clauses out of 2553 for limit 241820.06215450983
1648.49/1645.20	c cleaning 469 clauses out of 2523 for limit 402728.863204446
1648.49/1645.27	c cleaning 1227 clauses out of 2551 for limit 654895.3394635819
1648.59/1645.32	c cleaning 430 clauses out of 1824 for limit 1510474.5471747823
1648.59/1645.37	c cleaning 438 clauses out of 1894 for limit 2398911.1209254838
1648.69/1645.43	c cleaning 320 clauses out of 1956 for limit 3830726.7024209364
1648.69/1645.49	c cleaning 317 clauses out of 2136 for limit 5785017.247370478
1648.80/1645.55	c cleaning 485 clauses out of 2319 for limit 8787413.131737351
1648.90/1645.63	c cleaning 398 clauses out of 2334 for limit 1.4398486009904483E7
1648.90/1645.69	c cleaning 450 clauses out of 2436 for limit 2.2750779616387494E7
1648.99/1645.76	c cleaning 476 clauses out of 2486 for limit 3.676447174827306E7
1649.09/1645.83	c cleaning 468 clauses out of 2510 for limit 6.004980756549428E7
1649.09/1645.89	c cleaning 479 clauses out of 2542 for limit 9.778352346480577E7
1649.19/1645.95	c cleaning 779 clauses out of 2563 for limit 1.599368393595197E8
1649.29/1646.01	c cleaning 454 clauses out of 2286 for limit 2.9630965307307714E8
1649.29/1646.06	c cleaning 365 clauses out of 2330 for limit 4.7846807831529003E8
1649.39/1646.12	c cleaning 428 clauses out of 2465 for limit 7.45843746788286E8
1649.39/1646.18	c cleaning 458 clauses out of 2538 for limit 1.1958137905697362E9
1649.49/1646.25	c cleaning 481 clauses out of 2582 for limit 1.9423337115780761E9
1649.59/1646.31	c cleaning 495 clauses out of 2598 for limit 3.173900376346647E9
1649.59/1646.37	c cleaning 511 clauses out of 2603 for limit 5.224132175406629E9
1649.69/1646.43	c cleaning 482 clauses out of 2595 for limit 8.667829993912401E9
1649.69/1646.49	c cleaning 477 clauses out of 2610 for limit 1.4169665277150787E10
1649.79/1646.56	c cleaning 1301 clauses out of 2633 for limit 2.3163550384988594E10
1649.90/1646.62	c cleaning 568 clauses out of 1832 for limit 5.490177723165096E10
1649.90/1646.68	c cleaning 345 clauses out of 1764 for limit 9.403059383168762E10
1650.00/1646.77	c cleaning 545 clauses out of 1919 for limit 1.4254391147798663E11
1650.09/1646.81	c cleaning 381 clauses out of 1874 for limit 2.4071876526413037E11
1650.09/1646.87	c cleaning 420 clauses out of 1994 for limit 3.734605895350556E11
1650.19/1646.93	c cleaning 298 clauses out of 2073 for limit 5.918232267972328E11
1650.19/1646.98	c cleaning 379 clauses out of 2275 for limit 8.893358380421172E11
1650.29/1647.02	c cleaning 427 clauses out of 2399 for limit 1.3950069427022095E12
1650.29/1647.07	c cleaning 476 clauses out of 2469 for limit 2.228629519703295E12
1650.39/1647.12	c cleaning 475 clauses out of 2493 for limit 3.639926190134251E12
1650.39/1647.18	c cleaning 504 clauses out of 2518 for limit 5.943127082512483E12
1650.49/1647.23	c cleaning 505 clauses out of 2515 for limit 9.8225252091236E12
1650.49/1647.29	c cleaning 1237 clauses out of 2509 for limit 1.6221158033408195E13
1650.59/1647.36	c cleaning 530 clauses out of 1772 for limit 3.787692257257009E13
1650.69/1647.42	c cleaning 184 clauses out of 1742 for limit 6.353984338910155E13
1650.69/1647.49	c cleaning 517 clauses out of 2059 for limit 8.874182235112689E13
1650.79/1647.56	c cleaning 380 clauses out of 2043 for limit 1.4764091282571397E14
1650.89/1647.63	c cleaning 390 clauses out of 2162 for limit 2.2984802370019375E14
1650.89/1647.68	c cleaning 347 clauses out of 2271 for limit 3.60496211102438E14
1651.00/1647.74	c cleaning 419 clauses out of 2424 for limit 5.5698193585417894E14
1651.00/1647.80	c cleaning 477 clauses out of 2505 for limit 8.888365041180286E14
1651.10/1647.85	c cleaning 495 clauses out of 2528 for limit 1.4524742111493768E15
1651.19/1647.90	c cleaning 1228 clauses out of 2534 for limit 2.3920446834712732E-5
1651.19/1647.95	c cleaning 738 clauses out of 1805 for limit 5.5324827382072225E-5
1651.29/1648.00	c cleaning 528 clauses out of 1567 for limit 1.0509551055822335E-4
1651.29/1648.06	c cleaning 460 clauses out of 1539 for limit 1.7646981402151193E-4
1651.39/1648.12	c cleaning 397 clauses out of 1584 for limit 2.841726756638729E-4
1651.39/1648.16	c cleaning 250 clauses out of 1682 for limit 4.3913174179586073E-4
1651.49/1648.21	c cleaning 193 clauses out of 1932 for limit 6.304774918101802E-4
1651.49/1648.28	c cleaning 356 clauses out of 2239 for limit 8.971777659855879E-4
1651.59/1648.36	c cleaning 406 clauses out of 2383 for limit 0.0013901588873972447
1651.69/1648.43	c cleaning 474 clauses out of 2477 for limit 0.002205557392109736
1651.69/1648.49	c cleaning 471 clauses out of 2505 for limit 0.0036038072134094053
1651.79/1648.55	c cleaning 503 clauses out of 2533 for limit 0.005871586535233979
1651.89/1648.61	c cleaning 489 clauses out of 2529 for limit 0.009688648530954741
1651.99/1648.70	c cleaning 498 clauses out of 2540 for limit 0.01590868201905182
1651.99/1648.78	c cleaning 497 clauses out of 2542 for limit 0.02621490321874375
1652.10/1648.88	c cleaning 514 clauses out of 2548 for limit 0.04325972990769237
1652.20/1648.95	c cleaning 497 clauses out of 2531 for limit 0.07160501396637578
1652.29/1649.01	c cleaning 504 clauses out of 2534 for limit 0.11794644499107235
1652.29/1649.07	c cleaning 480 clauses out of 2530 for limit 0.19481699123143606
1652.39/1649.13	c cleaning 511 clauses out of 2550 for limit 0.318759443195835
1652.49/1649.20	c cleaning 489 clauses out of 2539 for limit 0.5279544151235117
1652.49/1649.28	c cleaning 509 clauses out of 2550 for limit 0.8669116386052872
1652.59/1649.36	c cleaning 484 clauses out of 2544 for limit 1.4373327769332973
1652.69/1649.44	c cleaning 461 clauses out of 2557 for limit 2.3512351193609065
1652.79/1649.54	c cleaning 504 clauses out of 2596 for limit 3.819249116943454
1652.89/1649.63	c cleaning 530 clauses out of 2592 for limit 6.308172558296098
1652.99/1649.73	c cleaning 499 clauses out of 2562 for limit 10.52483566850197
1653.09/1649.84	c cleaning 525 clauses out of 2565 for limit 17.371286783568635
1653.09/1649.89	c cleaning 500 clauses out of 2539 for limit 28.91199325835539
1653.20/1649.96	c cleaning 521 clauses out of 2538 for limit 47.65083247469694
1653.30/1650.03	c cleaning 496 clauses out of 2517 for limit 79.23823286158786
1653.30/1650.10	c cleaning 504 clauses out of 2521 for limit 130.46710881066568
1653.39/1650.17	c cleaning 488 clauses out of 2518 for limit 215.62968928102154
1653.49/1650.22	c cleaning 495 clauses out of 2532 for limit 354.34433345102445
1653.49/1650.28	c cleaning 495 clauses out of 2534 for limit 582.1500439113555
1653.59/1650.35	c cleaning 499 clauses out of 2540 for limit 958.7342164444633
1653.69/1650.41	c cleaning 471 clauses out of 2540 for limit 1579.4998991057003
1653.69/1650.48	c cleaning 513 clauses out of 2570 for limit 2576.9773095147057
1653.79/1650.54	c cleaning 511 clauses out of 2556 for limit 4268.784624588302
1653.79/1650.59	c cleaning 494 clauses out of 2545 for limit 7070.224326723069
1653.89/1650.66	c cleaning 481 clauses out of 2551 for limit 11632.321811053738
1653.99/1650.72	c cleaning 489 clauses out of 2570 for limit 19041.433082427222
1653.99/1650.78	c cleaning 516 clauses out of 2584 for limit 31325.619409827665
1654.09/1650.86	c cleaning 486 clauses out of 2565 for limit 51886.832417325844
1654.19/1650.93	c cleaning 473 clauses out of 2579 for limit 85103.823651793
1654.19/1651.00	c cleaning 510 clauses out of 2606 for limit 138893.49005907404
1654.30/1651.07	c cleaning 502 clauses out of 2596 for limit 229936.2800984232
1654.40/1651.13	c cleaning 490 clauses out of 2595 for limit 379721.53324605525
1654.40/1651.19	c cleaning 1280 clauses out of 2604 for limit 623423.2334507864
1654.49/1651.25	c cleaning 582 clauses out of 1825 for limit 1468424.0648988925
1654.59/1651.32	c cleaning 504 clauses out of 1744 for limit 2536636.7506423877
1654.59/1651.39	c cleaning 348 clauses out of 1738 for limit 4189303.765875809
1654.69/1651.45	c cleaning 158 clauses out of 1890 for limit 6353100.230445085
1654.79/1651.50	c cleaning 351 clauses out of 2235 for limit 8886472.599488419
1654.79/1651.56	c cleaning 426 clauses out of 2381 for limit 1.3715128781564059E7
1654.89/1651.62	c cleaning 413 clauses out of 2456 for limit 2.19493327082558E7
1654.89/1651.68	c cleaning 432 clauses out of 2545 for limit 3.500151219982709E7
1654.99/1651.74	c cleaning 482 clauses out of 2610 for limit 5.611596542513824E7
1655.09/1651.80	c cleaning 629 clauses out of 2628 for limit 9.19088797028228E7
1655.09/1651.87	c cleaning 376 clauses out of 2499 for limit 1.593941815971192E8
1655.19/1651.94	c cleaning 447 clauses out of 2626 for limit 2.5090159426937124E8
1655.29/1652.02	c cleaning 477 clauses out of 2676 for limit 4.0482226015395224E8
1655.29/1652.08	c cleaning 502 clauses out of 2699 for limit 6.619169414528372E8
1655.40/1652.15	c cleaning 494 clauses out of 2697 for limit 1.0923990704255507E9
1655.50/1652.21	c cleaning 1349 clauses out of 2703 for limit 1.7975132884491704E9
1655.50/1652.26	c cleaning 572 clauses out of 1856 for limit 4.32578663043243E9
1655.59/1652.32	c cleaning 392 clauses out of 1782 for limit 7.415189081682356E9
1800.05/1796.41	c starts		: 23
1800.05/1796.41	c conflicts		: 1522070
1800.05/1796.41	c decisions		: 4663385
1800.05/1796.41	c propagations		: 491640207
1800.05/1796.41	c inspects		: 9995433050
1800.05/1796.41	c learnt literals	: 50
1800.05/1796.41	c learnt binary clauses	: 74684
1800.05/1796.41	c learnt ternary clauses	: 53967
1800.05/1796.41	c learnt clauses	: 1522020
1800.05/1796.41	c root simplifications	: 0
1800.05/1796.41	c removed literals (reason simplification)	: 0
1800.05/1796.41	c reason swapping (by a shorter reason)	: 0
1800.05/1796.41	c Calls to reduceDB	: 355
1800.05/1796.41	c speed (decisions/second)	: 2596.637845976351
1800.05/1796.41	c non guided choices	5529
1800.05/1796.41	s UNKNOWN
1800.05/1796.41	c Total wall clock time (ms): 1796.284

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-3742192-1338764135/watcher-3742192-1338764135 -o /tmp/evaluation-result-3742192-1338764135/solver-3742192-1338764135 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742192-1338764135.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 2/194 18114
/proc/meminfo: memFree=23872532/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/18114/stat : 18114 (java) R 18112 18114 16961 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 342537830 278528 33 33554432000 1073741824 1073778376 140735390636160 140735390633336 251035479335 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 68 33 25 9 0 25 0

[startup+0.081918 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 18114
/proc/meminfo: memFree=23872532/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=2623916 CPUtime=0.05 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 3965 0 1 0 4 1 0 0 20 0 13 0 342537830 2686889984 5685 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 655979 5685 1715 9 0 646680 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2623916

[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 18114
/proc/meminfo: memFree=23872532/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=2956804 CPUtime=0.06 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 4114 0 1 0 5 1 0 0 20 0 18 0 342537830 3027767296 5834 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 739201 5834 1781 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2956804

[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 18114
/proc/meminfo: memFree=23872532/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 8389 0 1 0 46 2 0 0 20 0 18 0 342537830 3028844544 10781 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 739464 10781 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700168 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 18114
/proc/meminfo: memFree=23872532/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=3024420 CPUtime=1.29 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 9653 0 1 0 126 3 0 0 20 0 19 0 342537830 3097006080 18114 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 756105 18114 2271 9 0 746526 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 3024420

[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18133
/proc/meminfo: memFree=23805708/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=3024420 CPUtime=2.13 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 9660 0 1 0 210 3 0 0 20 0 19 0 342537830 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 756105 18631 2275 9 0 746526 0
[pid=18114/tid=18116] ppid=18112 vsize=3024420 CPUtime=1.44 cores=0,2,4,6
/proc/18114/task/18116/stat : 18116 (java) R 18112 18114 16961 0 -1 4202560 3071 0 1 0 142 2 0 0 20 0 19 0 342537832 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602719781320 140602549475222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18117] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18117/stat : 18117 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602703207208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18118] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18118/stat : 18118 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602702154408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18119] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18119/stat : 18119 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602701102120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18114/tid=18120] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18120/stat : 18120 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602700049320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18121] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18121/stat : 18121 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602698996008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18122] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18122/stat : 18122 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602697943208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18123] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18123/stat : 18123 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602696890920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18124] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18124/stat : 18124 (java) S 18112 18114 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602695838120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18125] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18125/stat : 18125 (java) S 18112 18114 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602683427560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18126] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18126/stat : 18126 (java) S 18112 18114 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602682373624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18127] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18127/stat : 18127 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602681321224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18128] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18128/stat : 18128 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602680269712 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18129] ppid=18112 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18114/task/18129/stat : 18129 (java) S 18112 18114 16961 0 -1 4202560 3390 0 0 0 36 0 0 0 20 0 19 0 342537838 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602679216312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18130] ppid=18112 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/18114/task/18130/stat : 18130 (java) S 18112 18114 16961 0 -1 4202560 2005 0 0 0 29 0 0 0 20 0 19 0 342537838 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602678163512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18131] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18131/stat : 18131 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602677111416 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18132] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18132/stat : 18132 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602676058824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18133] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18133/stat : 18133 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537878 3097006080 18631 33554432000 1073741824 1073778376 140736752814496 140602673857960 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 3024420

[startup+3.10064 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18133
/proc/meminfo: memFree=23801232/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=3024420 CPUtime=3.78 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 9815 0 1 0 375 3 0 0 20 0 19 0 342537830 3097006080 20167 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 756105 20167 2275 9 0 746526 0
[pid=18114/tid=18116] ppid=18112 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/18114/task/18116/stat : 18116 (java) R 18112 18114 16961 0 -1 4202560 3075 0 1 0 302 2 0 0 20 0 19 0 342537832 3097006080 20167 33554432000 1073741824 1073778376 140736752814496 140602719781328 140602549963210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18117] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18117/stat : 18117 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602703207208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18118] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18118/stat : 18118 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602702154408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18119] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18119/stat : 18119 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602701102120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18114/tid=18120] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18120/stat : 18120 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602700049320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18121] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18121/stat : 18121 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602698996008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18122] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18122/stat : 18122 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602697943208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18123] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18123/stat : 18123 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602696890920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18124] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18124/stat : 18124 (java) S 18112 18114 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602695838120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18125] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18125/stat : 18125 (java) S 18112 18114 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602683427560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18126] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18126/stat : 18126 (java) S 18112 18114 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602682373624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18127] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18127/stat : 18127 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602681321224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18128] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18128/stat : 18128 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602680269712 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18129] ppid=18112 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18114/task/18129/stat : 18129 (java) S 18112 18114 16961 0 -1 4202560 3390 0 0 0 39 0 0 0 20 0 19 0 342537838 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602679216312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18130] ppid=18112 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/18114/task/18130/stat : 18130 (java) S 18112 18114 16961 0 -1 4202560 2156 0 0 0 31 0 0 0 20 0 19 0 342537838 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602678163512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18131] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18131/stat : 18131 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602677111416 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18132] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18132/stat : 18132 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602676058824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18133] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18133/stat : 18133 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537878 3097006080 20679 33554432000 1073741824 1073778376 140736752814496 140602673857960 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 3024420

[startup+6.30074 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18133
/proc/meminfo: memFree=23791240/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=3024420 CPUtime=6.98 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 9824 0 1 0 695 3 0 0 20 0 19 0 342537830 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 756105 23484 2276 9 0 746526 0
[pid=18114/tid=18116] ppid=18112 vsize=3024420 CPUtime=6.22 cores=0,2,4,6
/proc/18114/task/18116/stat : 18116 (java) R 18112 18114 16961 0 -1 4202560 3083 0 1 0 620 2 0 0 20 0 19 0 342537832 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602719781328 140602549272469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18117] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18117/stat : 18117 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602703207208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18118] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18118/stat : 18118 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602702154408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18119] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18119/stat : 18119 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602701102120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18114/tid=18120] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18120/stat : 18120 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602700049320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18121] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18121/stat : 18121 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602698996008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18122] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18122/stat : 18122 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602697943208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18123] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18123/stat : 18123 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602696890920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18124] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18124/stat : 18124 (java) S 18112 18114 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342537833 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602695838120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18125] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18125/stat : 18125 (java) S 18112 18114 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602683427560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18126] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18126/stat : 18126 (java) S 18112 18114 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602682373624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18127] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18127/stat : 18127 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602681321224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18128] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18128/stat : 18128 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602680269712 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18129] ppid=18112 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18114/task/18129/stat : 18129 (java) S 18112 18114 16961 0 -1 4202560 3390 0 0 0 40 0 0 0 20 0 19 0 342537838 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602679216312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18130] ppid=18112 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/18114/task/18130/stat : 18130 (java) S 18112 18114 16961 0 -1 4202560 2156 0 0 0 31 0 0 0 20 0 19 0 342537838 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602678163512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18131] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18131/stat : 18131 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602677111416 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18132] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18132/stat : 18132 (java) S 18112 18114 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602676058824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18133] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18133/stat : 18133 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537878 3097006080 23484 33554432000 1073741824 1073778376 140736752814496 140602673857960 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=18114/tid=18129] ppid=18112 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18114/task/18129/stat : 18129 (java) S 18112 18114 16961 0 -1 4202560 3397 0 0 0 44 1 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602679216312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18130] ppid=18112 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18114/task/18130/stat : 18130 (java) S 18112 18114 16961 0 -1 4202560 2421 0 0 0 36 0 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602678163512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18131] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18131/stat : 18131 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602677111416 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18132] ppid=18112 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/18114/task/18132/stat : 18132 (java) S 18112 18114 16961 0 -1 4202560 96 0 0 0 38 35 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602676058824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18133] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18133/stat : 18133 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537878 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602673857960 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.59
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18231
/proc/meminfo: memFree=22201720/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=3024420 CPUtime=1725.6 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 12422 0 1 0 172412 148 0 0 20 0 19 0 342537830 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 756105 417868 2304 9 0 746526 0
[pid=18114/tid=18116] ppid=18112 vsize=3024420 CPUtime=1714.96 cores=0,2,4,6
/proc/18114/task/18116/stat : 18116 (java) R 18112 18114 16961 0 -1 4202560 3266 0 1 0 171462 34 0 0 20 0 19 0 342537832 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602719780144 140602549843294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18117] ppid=18112 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/18114/task/18117/stat : 18117 (java) S 18112 18114 16961 0 -1 4202560 206 0 0 0 23 12 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602703207208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18114/tid=18118] ppid=18112 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18114/task/18118/stat : 18118 (java) S 18112 18114 16961 0 -1 4202560 286 0 0 0 23 18 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602702154408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18119] ppid=18112 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/18114/task/18119/stat : 18119 (java) S 18112 18114 16961 0 -1 4202560 317 0 0 0 25 19 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602701102120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18120] ppid=18112 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18114/task/18120/stat : 18120 (java) S 18112 18114 16961 0 -1 4202560 297 0 0 0 32 18 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602700049320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18121] ppid=18112 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18114/task/18121/stat : 18121 (java) S 18112 18114 16961 0 -1 4202560 172 0 0 0 26 10 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602698996008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18122] ppid=18112 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/18114/task/18122/stat : 18122 (java) S 18112 18114 16961 0 -1 4202560 156 0 0 0 19 10 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602697943208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18123] ppid=18112 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18114/task/18123/stat : 18123 (java) S 18112 18114 16961 0 -1 4202560 204 0 0 0 22 12 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602696890920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18124] ppid=18112 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18114/task/18124/stat : 18124 (java) S 18112 18114 16961 0 -1 4202560 202 0 0 0 24 12 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602695838120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18125] ppid=18112 vsize=3024420 CPUtime=2.03 cores=0,2,4,6
/proc/18114/task/18125/stat : 18125 (java) S 18112 18114 16961 0 -1 4202560 218 0 0 0 195 8 0 0 20 0 19 0 342537835 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602683427560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18126] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18126/stat : 18126 (java) S 18112 18114 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602682373624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18127] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18127/stat : 18127 (java) S 18112 18114 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602681321224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18128] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18128/stat : 18128 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602680269712 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18129] ppid=18112 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18114/task/18129/stat : 18129 (java) S 18112 18114 16961 0 -1 4202560 3397 0 0 0 44 1 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602679216312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18130] ppid=18112 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18114/task/18130/stat : 18130 (java) S 18112 18114 16961 0 -1 4202560 2421 0 0 0 36 0 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602678163512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18131] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18131/stat : 18131 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602677111416 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18132] ppid=18112 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/18114/task/18132/stat : 18132 (java) S 18112 18114 16961 0 -1 4202560 100 0 0 0 41 35 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602676058824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18133] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18133/stat : 18133 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537878 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602673857960 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.6
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18231
/proc/meminfo: memFree=22201720/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=3024420 CPUtime=1785.6 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 12426 0 1 0 178412 148 0 0 20 0 19 0 342537830 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 756105 417868 2304 9 0 746526 0
[pid=18114/tid=18116] ppid=18112 vsize=3024420 CPUtime=1774.8 cores=0,2,4,6
/proc/18114/task/18116/stat : 18116 (java) R 18112 18114 16961 0 -1 4202560 3266 0 1 0 177446 34 0 0 20 0 19 0 342537832 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602719780144 140602549911711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18117] ppid=18112 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/18114/task/18117/stat : 18117 (java) S 18112 18114 16961 0 -1 4202560 206 0 0 0 23 12 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602703207208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18114/tid=18118] ppid=18112 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18114/task/18118/stat : 18118 (java) S 18112 18114 16961 0 -1 4202560 286 0 0 0 23 18 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602702154408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18119] ppid=18112 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/18114/task/18119/stat : 18119 (java) S 18112 18114 16961 0 -1 4202560 317 0 0 0 25 19 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602701102120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18120] ppid=18112 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18114/task/18120/stat : 18120 (java) S 18112 18114 16961 0 -1 4202560 297 0 0 0 32 18 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602700049320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18121] ppid=18112 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18114/task/18121/stat : 18121 (java) S 18112 18114 16961 0 -1 4202560 172 0 0 0 26 10 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602698996008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18122] ppid=18112 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/18114/task/18122/stat : 18122 (java) S 18112 18114 16961 0 -1 4202560 156 0 0 0 19 10 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602697943208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18123] ppid=18112 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18114/task/18123/stat : 18123 (java) S 18112 18114 16961 0 -1 4202560 204 0 0 0 22 12 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602696890920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18124] ppid=18112 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18114/task/18124/stat : 18124 (java) S 18112 18114 16961 0 -1 4202560 202 0 0 0 24 12 0 0 20 0 19 0 342537833 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602695838120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18125] ppid=18112 vsize=3024420 CPUtime=2.04 cores=0,2,4,6
/proc/18114/task/18125/stat : 18125 (java) S 18112 18114 16961 0 -1 4202560 218 0 0 0 196 8 0 0 20 0 19 0 342537835 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602683427560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18126] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18126/stat : 18126 (java) S 18112 18114 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602682373624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18127] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18127/stat : 18127 (java) S 18112 18114 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602681321224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18128] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18128/stat : 18128 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602680269712 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18129] ppid=18112 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18114/task/18129/stat : 18129 (java) S 18112 18114 16961 0 -1 4202560 3397 0 0 0 44 1 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602679216312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18130] ppid=18112 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18114/task/18130/stat : 18130 (java) S 18112 18114 16961 0 -1 4202560 2421 0 0 0 36 0 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602678163512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18131] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18131/stat : 18131 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602677111416 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18132] ppid=18112 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/18114/task/18132/stat : 18132 (java) S 18112 18114 16961 0 -1 4202560 104 0 0 0 42 37 0 0 20 0 19 0 342537838 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602676058824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18133] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18133/stat : 18133 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537878 3097006080 417868 33554432000 1073741824 1073778376 140736752814496 140602673857960 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18231
/proc/meminfo: memFree=22201596/32873844 swapFree=7628/7628
[pid=18114] ppid=18112 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/18114/stat : 18114 (java) S 18112 18114 16961 0 -1 4202496 12468 0 1 0 179856 149 0 0 20 0 19 0 342537830 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140736752805632 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18114/statm: 756105 417907 2304 9 0 746526 0
[pid=18114/tid=18116] ppid=18112 vsize=3024420 CPUtime=1788.75 cores=0,2,4,6
/proc/18114/task/18116/stat : 18116 (java) R 18112 18114 16961 0 -1 4202560 3267 0 1 0 178840 35 0 0 20 0 19 0 342537832 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602719780144 140602549911711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18117] ppid=18112 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18114/task/18117/stat : 18117 (java) S 18112 18114 16961 0 -1 4202560 206 0 0 0 29 12 0 0 20 0 19 0 342537833 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602703207208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18114/tid=18118] ppid=18112 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18114/task/18118/stat : 18118 (java) S 18112 18114 16961 0 -1 4202560 288 0 0 0 27 18 0 0 20 0 19 0 342537833 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602702154408 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18119] ppid=18112 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/18114/task/18119/stat : 18119 (java) S 18112 18114 16961 0 -1 4202560 317 0 0 0 29 19 0 0 20 0 19 0 342537833 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602701102120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18120] ppid=18112 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18114/task/18120/stat : 18120 (java) S 18112 18114 16961 0 -1 4202560 297 0 0 0 40 18 0 0 20 0 19 0 342537833 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602700049320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18121] ppid=18112 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18114/task/18121/stat : 18121 (java) S 18112 18114 16961 0 -1 4202560 172 0 0 0 28 11 0 0 20 0 19 0 342537833 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602698996008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18122] ppid=18112 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18114/task/18122/stat : 18122 (java) S 18112 18114 16961 0 -1 4202560 157 0 0 0 30 10 0 0 20 0 19 0 342537833 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602697943208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18123] ppid=18112 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18114/task/18123/stat : 18123 (java) S 18112 18114 16961 0 -1 4202560 204 0 0 0 28 12 0 0 20 0 19 0 342537833 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602696890920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18114/tid=18124] ppid=18112 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18114/task/18124/stat : 18124 (java) S 18112 18114 16961 0 -1 4202560 238 0 0 0 30 12 0 0 20 0 19 0 342537833 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602695838120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18125] ppid=18112 vsize=3024420 CPUtime=2.04 cores=0,2,4,6
/proc/18114/task/18125/stat : 18125 (java) S 18112 18114 16961 0 -1 4202560 220 0 0 0 196 8 0 0 20 0 19 0 342537835 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602683427560 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18126] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18126/stat : 18126 (java) S 18112 18114 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602682373624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18127] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18127/stat : 18127 (java) S 18112 18114 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342537835 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602681321224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18128] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18128/stat : 18128 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602680269712 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18129] ppid=18112 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18114/task/18129/stat : 18129 (java) S 18112 18114 16961 0 -1 4202560 3397 0 0 0 44 1 0 0 20 0 19 0 342537838 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602679216312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18114/tid=18130] ppid=18112 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18114/task/18130/stat : 18130 (java) S 18112 18114 16961 0 -1 4202560 2421 0 0 0 36 0 0 0 20 0 19 0 342537838 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602678163512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18131] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18131/stat : 18131 (java) S 18112 18114 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342537838 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602677111416 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18114/tid=18132] ppid=18112 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/18114/task/18132/stat : 18132 (java) S 18112 18114 16961 0 -1 4202560 104 0 0 0 42 37 0 0 20 0 19 0 342537838 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602676058824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18114/tid=18133] ppid=18112 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18114/task/18133/stat : 18133 (java) S 18112 18114 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342537878 3097006080 417907 33554432000 1073741824 1073778376 140736752814496 140602673857960 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18114 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=130250
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=63686
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.42
CPU time (s): 1800.05
CPU user time (s): 1798.56
CPU system time (s): 1.49
CPU usage (%): 100.202
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 2.06369
maximum resident set size= 1672220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12499
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38114
involuntary context switches= 4454

runsolver used 5.76012 second user time and 15.5746 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 00:55:35
IDJOB=3742192
IDBENCH=90139
IDSOLVER=2319
FILE ID=node143/3742192-1338764135
RUNJOBID= node143-1338750755-16977
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= a3de6c6ee42f8b511357d3857e721bb4
RANDOM SEED=1844475845

node143.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.787
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	: 5333.57
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.787
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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:       32873844 kB
MemFree:        23872416 kB
Buffers:         2378048 kB
Cached:          3975768 kB
SwapCached:          188 kB
Active:          5824200 kB
Inactive:        2190336 kB
Active(anon):    1648276 kB
Inactive(anon):    10988 kB
Active(file):    4175924 kB
Inactive(file):  2179348 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3968 kB
Writeback:             0 kB
AnonPages:       1684108 kB
Mapped:            18748 kB
Shmem:               160 kB
Slab:             822204 kB
SReclaimable:     263728 kB
SUnreclaim:       558476 kB
KernelStack:        1608 kB
PageTables:         7512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68460 MiB
End job on node143 at 2012-06-04 01:25:33