Trace number 3742257

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.64 1796.34

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K199.opb
MD5SUM2cd10947adfbc402d943437a9cfa9f95
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 variables23681
Total number of constraints24081
Number of constraints which are clauses23882
Number of constraints which are cardinality constraints (but not clauses)199
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint199
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 200
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.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.12	--- Begin Solver configuration ---
0.06/0.12	c Stops conflict analysis at the first Unique Implication Point
0.06/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.12	c Learn all clauses as in MiniSAT
0.06/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.12	c No reason simplification
0.06/0.12	c --- End Solver configuration ---
0.06/0.12	c solving HOME/instance-3742257-1338765348.opb
0.06/0.12	c reading problem ... 
1.14/0.68	c ... done. Wall clock time 0.551s.
1.14/0.68	c CPU time (experimental) 0.63s.
1.14/0.68	c #vars     23681
1.14/0.68	c #constraints  24079
1516.86/1513.28	c cleaning 364700 clauses out of 731464 for limit 9.57568249122937E11
1518.56/1514.97	c cleaning 182551 clauses out of 367264 for limit 3.145141730845285E12
1519.67/1516.01	c cleaning 91712 clauses out of 185213 for limit 1.028496934705047E13
1520.17/1516.55	c cleaning 46199 clauses out of 94001 for limit 3.341934096382842E13
1520.67/1517.01	c cleaning 23384 clauses out of 48303 for limit 1.0736102497527673E14
1520.97/1517.33	c cleaning 12130 clauses out of 25418 for limit 3.3612495233922075E14
1521.27/1517.67	c cleaning 6438 clauses out of 13788 for limit 1.0218725692746179E15
1521.57/1517.91	c cleaning 3664 clauses out of 7850 for limit 2.9599491231441E-5
1521.77/1518.18	c cleaning 2272 clauses out of 4686 for limit 8.17725433630947E-5
1522.07/1518.49	c cleaning 1081 clauses out of 2914 for limit 2.1685834029353866E-4
1522.37/1518.77	c cleaning 950 clauses out of 2333 for limit 4.466906121744753E-4
1522.67/1519.05	c cleaning 787 clauses out of 1883 for limit 9.126980676509608E-4
1522.97/1519.35	c cleaning 692 clauses out of 1595 for limit 0.0017769395375680278
1523.27/1519.68	c cleaning 526 clauses out of 1403 for limit 0.0033314366104120986
1523.67/1520.04	c cleaning 519 clauses out of 1377 for limit 0.005597720009431254
1523.97/1520.35	c cleaning 525 clauses out of 1358 for limit 0.009360547019774984
1524.27/1520.66	c cleaning 528 clauses out of 1333 for limit 0.01572630653776329
1524.67/1521.00	c cleaning 512 clauses out of 1305 for limit 0.02649123842921503
1524.87/1521.29	c cleaning 482 clauses out of 1293 for limit 0.0440930494323628
1525.17/1521.60	c cleaning 509 clauses out of 1311 for limit 0.07171695726112004
1525.57/1521.93	c cleaning 529 clauses out of 1301 for limit 0.11917993317720212
1525.97/1522.31	c cleaning 475 clauses out of 1272 for limit 0.2010246014885747
1526.27/1522.70	c cleaning 512 clauses out of 1297 for limit 0.32512639759883044
1526.77/1523.11	c cleaning 510 clauses out of 1285 for limit 0.5411840239537069
1527.07/1523.48	c cleaning 485 clauses out of 1275 for limit 0.8994847350094287
1527.47/1523.84	c cleaning 463 clauses out of 1290 for limit 1.4661221629113388
1527.77/1524.17	c cleaning 468 clauses out of 1331 for limit 2.352749814354752
1528.17/1524.58	c cleaning 486 clauses out of 1359 for limit 3.784880625492515
1528.46/1524.88	c cleaning 512 clauses out of 1373 for limit 6.178129295965013
1528.86/1525.22	c cleaning 485 clauses out of 1361 for limit 10.278394724567962
1529.17/1525.51	c cleaning 503 clauses out of 1376 for limit 16.76566832770911
1529.47/1525.82	c cleaning 476 clauses out of 1373 for limit 27.709242536113265
1529.57/1525.94	c cleaning 482 clauses out of 1397 for limit 44.911201327406324
1529.88/1526.28	c cleaning 492 clauses out of 1415 for limit 73.12241484479017
1530.18/1526.57	c cleaning 509 clauses out of 1427 for limit 120.05408062126594
1530.48/1526.89	c cleaning 521 clauses out of 1414 for limit 199.00744768594177
1530.88/1527.22	c cleaning 478 clauses out of 1393 for limit 333.13749046624287
1531.18/1527.53	c cleaning 507 clauses out of 1415 for limit 540.8465620806878
1531.48/1527.83	c cleaning 510 clauses out of 1408 for limit 896.3626368267018
1531.78/1528.11	c cleaning 474 clauses out of 1398 for limit 1488.7957347186205
1532.08/1528.46	c cleaning 494 clauses out of 1424 for limit 2410.3948181498927
1532.48/1528.82	c cleaning 517 clauses out of 1430 for limit 3958.3849238168073
1532.78/1529.14	c cleaning 506 clauses out of 1413 for limit 6606.444433240068
1533.08/1529.42	c cleaning 510 clauses out of 1407 for limit 10941.370838147848
1533.38/1529.71	c cleaning 466 clauses out of 1397 for limit 18172.945168984385
1533.58/1529.95	c cleaning 481 clauses out of 1431 for limit 29257.551327967147
1533.78/1530.16	c cleaning 505 clauses out of 1450 for limit 47617.37979552377
1534.08/1530.40	c cleaning 507 clauses out of 1446 for limit 78823.47953886515
1534.38/1530.74	c cleaning 506 clauses out of 1438 for limit 130582.92258417982
1534.68/1531.10	c cleaning 481 clauses out of 1432 for limit 216251.00746975478
1534.98/1531.38	c cleaning 491 clauses out of 1451 for limit 351957.0200629111
1535.38/1531.72	c cleaning 521 clauses out of 1460 for limit 576846.2525922968
1535.58/1531.96	c cleaning 476 clauses out of 1439 for limit 965179.35640598
1535.88/1532.24	c cleaning 489 clauses out of 1463 for limit 1565598.4378555187
1536.18/1532.59	c cleaning 540 clauses out of 1474 for limit 2562613.4953936446
1536.48/1532.87	c cleaning 552 clauses out of 1434 for limit 4343975.109467955
1536.88/1533.22	c cleaning 507 clauses out of 1382 for limit 7433345.572894391
1537.18/1533.50	c cleaning 512 clauses out of 1375 for limit 1.2320988587685846E7
1537.38/1533.76	c cleaning 499 clauses out of 1363 for limit 2.0497848769996595E7
1537.58/1533.98	c cleaning 505 clauses out of 1365 for limit 3.378795350526565E7
1537.78/1534.15	c cleaning 666 clauses out of 1359 for limit 5.5910896729761556E7
1538.08/1534.44	c cleaning 569 clauses out of 1193 for limit 1.0503435137048574E8
1538.48/1534.82	c cleaning 490 clauses out of 1124 for limit 1.8384904458034325E8
1538.78/1535.14	c cleaning 523 clauses out of 1134 for limit 3.0051802151985914E8
1539.08/1535.47	c cleaning 480 clauses out of 1111 for limit 5.058542505463678E8
1539.38/1535.79	c cleaning 493 clauses out of 1131 for limit 8.194694066104597E8
1539.78/1536.12	c cleaning 459 clauses out of 1138 for limit 1.3431019340905755E9
1540.08/1536.41	c cleaning 452 clauses out of 1182 for limit 2.1389133067268314E9
1540.40/1536.71	c cleaning 564 clauses out of 1227 for limit 3.3878053369426923E9
1540.50/1536.81	c cleaning 562 clauses out of 1164 for limit 5.895225594566853E9
1540.70/1537.07	c cleaning 452 clauses out of 1101 for limit 1.0268037961621794E10
1540.99/1537.38	c cleaning 468 clauses out of 1149 for limit 1.622596903717632E10
1541.29/1537.70	c cleaning 509 clauses out of 1181 for limit 2.603374586116347E10
1541.69/1538.02	c cleaning 479 clauses out of 1172 for limit 4.32628209259705E10
1542.00/1538.30	c cleaning 468 clauses out of 1193 for limit 7.009029517500215E10
1542.19/1538.50	c cleaning 421 clauses out of 1225 for limit 1.1256882448475812E11
1542.39/1538.76	c cleaning 630 clauses out of 1306 for limit 1.7447610329329016E11
1542.60/1538.93	c cleaning 523 clauses out of 1174 for limit 3.194463253594962E11
1542.89/1539.22	c cleaning 528 clauses out of 1151 for limit 5.373367658400028E11
1543.09/1539.42	c cleaning 374 clauses out of 1123 for limit 9.082345345339658E11
1543.29/1539.68	c cleaning 512 clauses out of 1249 for limit 1.3467011044852812E12
1543.50/1539.89	c cleaning 446 clauses out of 1237 for limit 2.2424348903830063E12
1543.70/1540.06	c cleaning 428 clauses out of 1291 for limit 3.543391886664754E12
1543.99/1540.32	c cleaning 562 clauses out of 1363 for limit 5.534844957187496E12
1544.19/1540.57	c cleaning 438 clauses out of 1302 for limit 9.564906527271219E12
1544.49/1540.80	c cleaning 553 clauses out of 1363 for limit 1.505279800703426E13
1544.80/1541.12	c cleaning 564 clauses out of 1309 for limit 2.58481419591542E13
1545.10/1541.47	c cleaning 497 clauses out of 1245 for limit 4.481831372459021E13
1545.39/1541.80	c cleaning 481 clauses out of 1248 for limit 7.373372339595139E13
1545.69/1542.09	c cleaning 476 clauses out of 1267 for limit 1.1977330205493844E14
1546.10/1542.46	c cleaning 528 clauses out of 1291 for limit 1.9385021298227116E14
1546.40/1542.77	c cleaning 447 clauses out of 1264 for limit 3.268404875022688E14
1546.70/1543.08	c cleaning 519 clauses out of 1316 for limit 5.1718796409950844E14
1547.10/1543.47	c cleaning 503 clauses out of 1296 for limit 8.660743653657571E14
1547.50/1543.82	c cleaning 463 clauses out of 1293 for limit 1.4315863471289102E15
1547.79/1544.16	c cleaning 504 clauses out of 1330 for limit 2.2951988563832465E15
1548.10/1544.45	c cleaning 542 clauses out of 1326 for limit 3.796508029647804E15
1548.49/1544.82	c cleaning 473 clauses out of 1284 for limit 6.465747046406444E15
1548.79/1545.16	c cleaning 485 clauses out of 1311 for limit 1.0443280165956386E16
1549.20/1545.50	c cleaning 536 clauses out of 1326 for limit 1.7027542925091946E16
1549.50/1545.83	c cleaning 625 clauses out of 1290 for limit 2.886434352287855E-4
1549.80/1546.14	c cleaning 531 clauses out of 1165 for limit 5.270858488833109E-4
1550.10/1546.45	c cleaning 492 clauses out of 1134 for limit 8.929972352840353E-4
1550.40/1546.72	c cleaning 525 clauses out of 1142 for limit 0.0014623554633576249
1550.70/1547.03	c cleaning 506 clauses out of 1117 for limit 0.0024655951652625932
1551.10/1547.41	c cleaning 471 clauses out of 1109 for limit 0.004095427892158591
1551.40/1547.78	c cleaning 495 clauses out of 1138 for limit 0.006581796567678854
1551.80/1548.13	c cleaning 446 clauses out of 1143 for limit 0.010806781571490474
1552.10/1548.45	c cleaning 458 clauses out of 1197 for limit 0.017017836252847657
1552.50/1548.82	c cleaning 487 clauses out of 1239 for limit 0.027113343210541114
1552.80/1549.10	c cleaning 475 clauses out of 1252 for limit 0.04424925224376594
1553.00/1549.40	c cleaning 448 clauses out of 1277 for limit 0.07154433555936232
1553.40/1549.70	c cleaning 523 clauses out of 1329 for limit 0.1133697158232713
1553.60/1549.99	c cleaning 499 clauses out of 1307 for limit 0.1902991507515931
1554.00/1550.31	c cleaning 527 clauses out of 1307 for limit 0.31351492859695285
1554.10/1550.48	c cleaning 533 clauses out of 1282 for limit 0.5281663134331315
1554.30/1550.64	c cleaning 505 clauses out of 1249 for limit 0.8940301646447804
1554.40/1550.79	c cleaning 504 clauses out of 1242 for limit 1.4797211392428615
1554.60/1550.94	c cleaning 478 clauses out of 1239 for limit 2.4486153427904362
1554.70/1551.05	c cleaning 467 clauses out of 1260 for limit 3.966821906293179
1554.90/1551.26	c cleaning 531 clauses out of 1293 for limit 6.374859392286653
1555.10/1551.47	c cleaning 503 clauses out of 1262 for limit 10.771239116519315
1555.40/1551.74	c cleaning 507 clauses out of 1259 for limit 17.805541213825993
1555.60/1551.97	c cleaning 517 clauses out of 1252 for limit 29.527893594534895
1555.90/1552.27	c cleaning 495 clauses out of 1235 for limit 49.36574840390183
1556.20/1552.55	c cleaning 488 clauses out of 1240 for limit 81.08245410474622
1556.50/1552.85	c cleaning 486 clauses out of 1252 for limit 132.4341926165063
1556.80/1553.12	c cleaning 466 clauses out of 1267 for limit 216.03207694129443
1557.00/1553.35	c cleaning 473 clauses out of 1300 for limit 346.87490282137594
1557.30/1553.61	c cleaning 494 clauses out of 1327 for limit 560.4039596840764
1557.50/1553.89	c cleaning 487 clauses out of 1333 for limit 920.0212441101957
1557.70/1554.08	c cleaning 487 clauses out of 1346 for limit 1502.5842498765196
1558.00/1554.40	c cleaning 507 clauses out of 1359 for limit 2454.258605202555
1558.30/1554.65	c cleaning 497 clauses out of 1352 for limit 4068.356242153909
1558.60/1554.92	c cleaning 472 clauses out of 1355 for limit 6694.409239900204
1558.90/1555.21	c cleaning 476 clauses out of 1383 for limit 10816.462776687616
1559.10/1555.48	c cleaning 501 clauses out of 1407 for limit 17533.52470997651
1559.40/1555.72	c cleaning 491 clauses out of 1406 for limit 28935.69336450194
1559.60/1555.98	c cleaning 487 clauses out of 1415 for limit 47415.31731735007
1559.90/1556.25	c cleaning 515 clauses out of 1428 for limit 77482.34939077683
1560.10/1556.49	c cleaning 519 clauses out of 1415 for limit 129210.99145422757
1560.30/1556.69	c cleaning 536 clauses out of 1394 for limit 215863.8847355785
1560.60/1556.96	c cleaning 470 clauses out of 1358 for limit 365425.5247524731
1560.89/1557.22	c cleaning 494 clauses out of 1388 for limit 589610.3114564863
1561.09/1557.42	c cleaning 490 clauses out of 1394 for limit 968161.14561284
1561.30/1557.69	c cleaning 472 clauses out of 1404 for limit 1585255.2584548886
1561.49/1557.86	c cleaning 487 clauses out of 1432 for limit 2563180.4343271307
1561.69/1558.02	c cleaning 511 clauses out of 1445 for limit 4188998.811850648
1561.89/1558.22	c cleaning 497 clauses out of 1434 for limit 6961211.355328882
1562.09/1558.44	c cleaning 477 clauses out of 1437 for limit 1.145600224723365E7
1562.30/1558.63	c cleaning 531 clauses out of 1460 for limit 1.8594858997845095E7
1562.60/1558.90	c cleaning 592 clauses out of 1429 for limit 3.1330649889601856E7
1562.90/1559.23	c cleaning 650 clauses out of 1337 for limit 5.522377768694504E7
1563.10/1559.49	c cleaning 544 clauses out of 1187 for limit 1.0257999826187484E8
1563.41/1559.75	c cleaning 531 clauses out of 1143 for limit 1.756802994121238E8
1563.70/1560.01	c cleaning 493 clauses out of 1113 for limit 2.978273160698173E8
1564.00/1560.32	c cleaning 492 clauses out of 1119 for limit 4.8803501322449535E8
1564.30/1560.62	c cleaning 490 clauses out of 1127 for limit 7.991219103228327E8
1564.51/1560.88	c cleaning 453 clauses out of 1137 for limit 1.3062682668872082E9
1564.80/1561.18	c cleaning 498 clauses out of 1184 for limit 2.0686976733025749E9
1565.11/1561.47	c cleaning 555 clauses out of 1186 for limit 3.405806157757349E9
1565.40/1561.75	c cleaning 472 clauses out of 1131 for limit 5.889764058390448E9
1565.71/1562.04	c cleaning 483 clauses out of 1159 for limit 9.478354624920834E9
1566.00/1562.39	c cleaning 469 clauses out of 1176 for limit 1.540511535392632E10
1566.40/1562.70	c cleaning 526 clauses out of 1207 for limit 2.4752603966718704E10
1566.60/1562.93	c cleaning 437 clauses out of 1181 for limit 4.171902525764539E10
1566.81/1563.18	c cleaning 462 clauses out of 1246 for limit 6.534177361858181E10
1567.10/1563.46	c cleaning 450 clauses out of 1282 for limit 1.045220211851687E11
1567.40/1563.74	c cleaning 437 clauses out of 1333 for limit 1.6594190590493463E11
1567.70/1564.01	c cleaning 518 clauses out of 1395 for limit 2.6123621989071695E11
1568.00/1564.32	c cleaning 464 clauses out of 1377 for limit 4.364450228378307E11
1568.31/1564.60	c cleaning 475 clauses out of 1413 for limit 7.01418490905826E11
1568.51/1564.85	c cleaning 501 clauses out of 1438 for limit 1.136622826049796E12
1568.71/1565.06	c cleaning 487 clauses out of 1437 for limit 1.875747508960472E12
1569.01/1565.34	c cleaning 467 clauses out of 1450 for limit 3.065625015647683E12
1569.21/1565.57	c cleaning 527 clauses out of 1483 for limit 4.943127010135955E12
1569.51/1565.87	c cleaning 502 clauses out of 1456 for limit 8.303045781519375E12
1569.71/1566.08	c cleaning 518 clauses out of 1454 for limit 1.3711667964059639E13
1570.01/1566.31	c cleaning 482 clauses out of 1436 for limit 2.2895816810648062E13
1570.31/1566.60	c cleaning 519 clauses out of 1454 for limit 3.729083105290683E13
1570.51/1566.80	c cleaning 707 clauses out of 1435 for limit 6.231182261231695E13
1570.71/1567.09	c cleaning 580 clauses out of 1228 for limit 1.2008254281708702E14
1571.01/1567.34	c cleaning 465 clauses out of 1148 for limit 2.118323291999632E14
1571.21/1567.57	c cleaning 459 clauses out of 1183 for limit 3.3900435077355156E14
1571.51/1567.82	c cleaning 511 clauses out of 1224 for limit 5.4033672451310894E14
1571.81/1568.13	c cleaning 492 clauses out of 1213 for limit 8.991683045830928E14
1572.11/1568.42	c cleaning 471 clauses out of 1222 for limit 1.4734010787435965E15
1572.31/1568.68	c cleaning 559 clauses out of 1250 for limit 2.373031764839124E15
1572.51/1568.87	c cleaning 511 clauses out of 1191 for limit 4.1073119634022375E15
1572.81/1569.14	c cleaning 516 clauses out of 1180 for limit 6.836649754890827E15
1573.01/1569.36	c cleaning 570 clauses out of 1164 for limit 1.1429526669260015E-4
1573.31/1569.61	c cleaning 477 clauses out of 1094 for limit 2.0054867207563922E-4
1573.51/1569.86	c cleaning 521 clauses out of 1117 for limit 3.2392153854651296E-4
1573.81/1570.13	c cleaning 462 clauses out of 1098 for limit 5.445221744361607E-4
1574.01/1570.34	c cleaning 370 clauses out of 1135 for limit 8.678475143854985E-4
1574.21/1570.60	c cleaning 425 clauses out of 1264 for limit 0.001283847934579552
1574.51/1570.89	c cleaning 448 clauses out of 1339 for limit 0.0019986464232271896
1574.81/1571.17	c cleaning 438 clauses out of 1391 for limit 0.0031728190521660947
1575.11/1571.48	c cleaning 461 clauses out of 1453 for limit 0.005009134665659227
1575.41/1571.76	c cleaning 504 clauses out of 1492 for limit 0.008044802480840165
1575.71/1572.01	c cleaning 454 clauses out of 1488 for limit 0.013302619364212368
1575.91/1572.28	c cleaning 494 clauses out of 1534 for limit 0.021279950977288048
1576.21/1572.55	c cleaning 510 clauses out of 1540 for limit 0.03495675807515055
1576.51/1572.81	c cleaning 475 clauses out of 1530 for limit 0.05802515723263067
1576.81/1573.13	c cleaning 503 clauses out of 1555 for limit 0.09415280226186352
1577.11/1573.41	c cleaning 504 clauses out of 1552 for limit 0.15557070287060848
1577.41/1573.72	c cleaning 494 clauses out of 1548 for limit 0.257219838638373
1577.61/1573.97	c cleaning 490 clauses out of 1555 for limit 0.4227030906235586
1577.91/1574.23	c cleaning 493 clauses out of 1564 for limit 0.6923894519441453
1578.21/1574.50	c cleaning 485 clauses out of 1571 for limit 1.1367550540845692
1578.41/1574.76	c cleaning 510 clauses out of 1586 for limit 1.8569310699554402
1578.71/1575.04	c cleaning 513 clauses out of 1576 for limit 3.081758763793818
1579.01/1575.38	c cleaning 491 clauses out of 1563 for limit 5.124503119365832
1579.31/1575.65	c cleaning 512 clauses out of 1572 for limit 8.402607650263107
1579.51/1575.88	c cleaning 497 clauses out of 1560 for limit 13.963616589071044
1579.92/1576.21	c cleaning 523 clauses out of 1563 for limit 22.98367240457645
1580.21/1576.54	c cleaning 495 clauses out of 1540 for limit 38.46923650973101
1580.41/1576.77	c cleaning 465 clauses out of 1545 for limit 63.23560691487411
1580.71/1577.02	c cleaning 483 clauses out of 1580 for limit 101.97388725009195
1580.91/1577.28	c cleaning 476 clauses out of 1598 for limit 166.44075827943215
1581.21/1577.52	c cleaning 509 clauses out of 1621 for limit 270.3179100613508
1581.41/1577.79	c cleaning 478 clauses out of 1612 for limit 448.2793003712045
1581.71/1578.00	c cleaning 501 clauses out of 1634 for limit 729.3190502466088
1582.01/1578.30	c cleaning 515 clauses out of 1633 for limit 1203.4812050189378
1582.21/1578.56	c cleaning 501 clauses out of 1618 for limit 2003.1010872394313
1582.51/1578.81	c cleaning 514 clauses out of 1617 for limit 3305.4245705726917
1582.71/1579.06	c cleaning 535 clauses out of 1603 for limit 5498.695058082918
1583.01/1579.32	c cleaning 499 clauses out of 1568 for limit 9270.496336816443
1583.31/1579.62	c cleaning 499 clauses out of 1569 for limit 15278.544674404575
1583.61/1579.91	c cleaning 526 clauses out of 1570 for limit 25180.315455681295
1583.81/1580.15	c cleaning 500 clauses out of 1544 for limit 42224.97586498967
1584.01/1580.38	c cleaning 504 clauses out of 1544 for limit 69634.63395757899
1584.31/1580.63	c cleaning 496 clauses out of 1544 for limit 115297.32492755125
1584.51/1580.87	c cleaning 503 clauses out of 1544 for limit 189381.29023759326
1584.81/1581.17	c cleaning 507 clauses out of 1541 for limit 312923.0937700967
1585.11/1581.44	c cleaning 509 clauses out of 1534 for limit 518406.9096395401
1585.41/1581.75	c cleaning 476 clauses out of 1525 for limit 859967.7885801365
1585.71/1582.01	c cleaning 488 clauses out of 1549 for limit 1396228.4957371142
1586.01/1582.30	c cleaning 542 clauses out of 1561 for limit 2284866.861928708
1586.21/1582.52	c cleaning 490 clauses out of 1519 for limit 3872236.864575909
1586.41/1582.79	c cleaning 482 clauses out of 1529 for limit 6344071.816844734
1586.71/1583.03	c cleaning 483 clauses out of 1547 for limit 1.0340490725004675E7
1586.91/1583.28	c cleaning 509 clauses out of 1564 for limit 1.6867495438898034E7
1587.21/1583.50	c cleaning 488 clauses out of 1555 for limit 2.7977753776251417E7
1587.41/1583.78	c cleaning 509 clauses out of 1569 for limit 4.581895754772168E7
1587.71/1584.08	c cleaning 564 clauses out of 1558 for limit 7.594296652935044E7
1588.01/1584.35	c cleaning 515 clauses out of 1496 for limit 1.3069179659575576E8
1588.31/1584.63	c cleaning 720 clauses out of 1479 for limit 2.1756979932116187E8
1588.41/1584.78	c cleaning 482 clauses out of 1259 for limit 4.2149938186293393E8
1588.71/1585.07	c cleaning 550 clauses out of 1277 for limit 6.853109355120834E8
1589.01/1585.31	c cleaning 522 clauses out of 1227 for limit 1.1762235851808896E9
1589.21/1585.53	c cleaning 426 clauses out of 1205 for limit 1.9751645679704576E9
1589.51/1585.83	c cleaning 422 clauses out of 1279 for limit 3.068850101229948E9
1589.81/1586.16	c cleaning 535 clauses out of 1357 for limit 4.770042621140316E9
1590.01/1586.37	c cleaning 414 clauses out of 1322 for limit 8.074702661495279E9
1590.21/1586.59	c cleaning 424 clauses out of 1408 for limit 1.2502913495762072E10
1590.51/1586.83	c cleaning 476 clauses out of 1484 for limit 1.9563018575344826E10
1590.71/1587.04	c cleaning 532 clauses out of 1508 for limit 3.1748580590999756E10
1590.91/1587.27	c cleaning 448 clauses out of 1476 for limit 5.3492781990972244E10
1591.21/1587.55	c cleaning 499 clauses out of 1528 for limit 8.521461280879733E10
1591.41/1587.79	c cleaning 476 clauses out of 1529 for limit 1.4043838638992096E11
1591.61/1588.00	c cleaning 499 clauses out of 1553 for limit 2.2802252344859076E11
1591.91/1588.29	c cleaning 501 clauses out of 1554 for limit 3.757976637203241E11
1592.21/1588.52	c cleaning 471 clauses out of 1553 for limit 6.201396810706708E11
1592.41/1588.74	c cleaning 519 clauses out of 1582 for limit 1.0039460726680234E12
1592.61/1588.99	c cleaning 501 clauses out of 1563 for limit 1.6757675381342156E12
1592.91/1589.22	c cleaning 491 clauses out of 1562 for limit 2.7653340982174336E12
1593.11/1589.41	c cleaning 495 clauses out of 1571 for limit 4.534280054364306E12
1593.21/1589.57	c cleaning 493 clauses out of 1578 for limit 7.459374937013438E12
1593.51/1589.89	c cleaning 501 clauses out of 1585 for limit 1.2247178745635129E13
1593.81/1590.15	c cleaning 614 clauses out of 1582 for limit 2.019508601231209E13
1594.11/1590.44	c cleaning 713 clauses out of 1468 for limit 3.5890707358717625E13
1594.31/1590.65	c cleaning 554 clauses out of 1255 for limit 6.9234129260036016E13
1594.61/1590.92	c cleaning 512 clauses out of 1201 for limit 1.1930999842882202E14
1594.81/1591.16	c cleaning 514 clauses out of 1189 for limit 1.9874393292397925E14
1800.05/1796.32	c starts		: 22
1800.05/1796.32	c conflicts		: 1106417
1800.05/1796.32	c decisions		: 11292752
1800.05/1796.32	c propagations		: 1713424961
1800.05/1796.32	c inspects		: 8013099999
1800.05/1796.32	c learnt literals	: 44
1800.05/1796.32	c learnt binary clauses	: 133886
1800.05/1796.32	c learnt ternary clauses	: 83421
1800.05/1796.32	c learnt clauses	: 1106373
1800.05/1796.32	c root simplifications	: 0
1800.05/1796.32	c removed literals (reason simplification)	: 0
1800.05/1796.32	c reason swapping (by a shorter reason)	: 0
1800.05/1796.32	c Calls to reduceDB	: 275
1800.05/1796.32	c speed (decisions/second)	: 6289.040467269317
1800.05/1796.32	c non guided choices	27113
1800.05/1796.32	s UNKNOWN
1800.05/1796.32	c Total wall clock time (ms): 1796.191

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-3742257-1338765348/watcher-3742257-1338765348 -o /tmp/evaluation-result-3742257-1338765348/solver-3742257-1338765348 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742257-1338765348.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: 0.92 1.05 1.41 3/173 17927
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/17927/stat : 17927 (java) D 17924 17927 17886 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 342659710 9515008 175 33554432000 1073741824 1073778376 140733468856176 140733468838904 223651644304 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/17927/statm: 2323 175 133 9 0 71 0

[startup+0.0622439 s]
/proc/loadavg: 0.92 1.05 1.41 3/173 17927
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 3949 0 1 0 2 1 0 0 20 0 13 0 342659710 2686889984 5156 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 655979 5156 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.10032 s]
/proc/loadavg: 0.92 1.05 1.41 3/173 17927
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 4125 0 4 0 5 1 0 0 20 0 18 0 342659710 3028844544 5845 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 739464 5845 1790 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.300277 s]
/proc/loadavg: 0.92 1.05 1.41 3/173 17927
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=2957856 CPUtime=0.49 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 7698 0 4 0 47 2 0 0 20 0 18 0 342659710 3028844544 10840 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 739464 10840 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700168 s]
/proc/loadavg: 0.92 1.05 1.41 3/173 17927
/proc/meminfo: memFree=26525352/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=3024420 CPUtime=1.3 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 8817 0 4 0 126 4 0 0 20 0 19 0 342659710 3097006080 40584 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 756105 40584 2263 9 0 746526 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 3024420

[startup+1.50075 s]
/proc/loadavg: 0.92 1.05 1.41 4/213 17967
/proc/meminfo: memFree=26262448/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=3024420 CPUtime=2.37 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 8992 0 4 0 233 4 0 0 20 0 19 0 342659710 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 756105 40617 2271 9 0 746526 0
[pid=17927/tid=17932] ppid=17924 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/17927/task/17932/stat : 17932 (java) R 17924 17927 17886 0 -1 4202560 3099 0 4 0 141 4 0 0 20 0 19 0 342659711 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420228980896 140420081087228 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17934] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17934/stat : 17934 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420212406440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17935] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17935/stat : 17935 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420211353896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17937] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17937/stat : 17937 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420210301352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17938] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17938/stat : 17938 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420209248808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17940] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420208196264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17941] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17941/stat : 17941 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420207143720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17944] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17944/stat : 17944 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420206091176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17945] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17924 17927 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420205038632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17950] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17950/stat : 17950 (java) S 17924 17927 17886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342659714 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420074936424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17952] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17952/stat : 17952 (java) S 17924 17927 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420073882744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17953] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17953/stat : 17953 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420072830088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17956] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17956/stat : 17956 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420071778832 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17959] ppid=17924 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17927/task/17959/stat : 17959 (java) S 17924 17927 17886 0 -1 4202560 2462 0 0 0 45 0 0 0 20 0 19 0 342659717 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420070726200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17961] ppid=17924 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17924 17927 17886 0 -1 4202560 2235 0 0 0 43 0 0 0 20 0 19 0 342659717 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420069673656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17963] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420068621304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17965] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17965/stat : 17965 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420067568968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17967] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17967/stat : 17967 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659780 3097006080 40617 33554432000 1073741824 1073778376 140734898836080 140420065436456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 3024420

[startup+3.10075 s]
/proc/loadavg: 0.92 1.05 1.41 3/213 17967
/proc/meminfo: memFree=26257584/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=3024420 CPUtime=3.97 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 8995 0 4 0 393 4 0 0 20 0 19 0 342659710 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 756105 41130 2271 9 0 746526 0
[pid=17927/tid=17932] ppid=17924 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/17927/task/17932/stat : 17932 (java) R 17924 17927 17886 0 -1 4202560 3101 0 4 0 301 4 0 0 20 0 19 0 342659711 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420228980936 140420081035309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17934] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17934/stat : 17934 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420212406440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17935] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17935/stat : 17935 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420211353896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17937] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17937/stat : 17937 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420210301352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17938] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17938/stat : 17938 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420209248808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17940] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420208196264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17941] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17941/stat : 17941 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420207143720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17944] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17944/stat : 17944 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420206091176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17945] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17924 17927 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420205038632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17950] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17950/stat : 17950 (java) S 17924 17927 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342659714 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420074936424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17952] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17952/stat : 17952 (java) S 17924 17927 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420073882744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17953] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17953/stat : 17953 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420072830088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17956] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17956/stat : 17956 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420071778832 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17959] ppid=17924 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17927/task/17959/stat : 17959 (java) S 17924 17927 17886 0 -1 4202560 2462 0 0 0 45 0 0 0 20 0 19 0 342659717 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420070726200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17961] ppid=17924 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17924 17927 17886 0 -1 4202560 2235 0 0 0 43 0 0 0 20 0 19 0 342659717 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420069673656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17963] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420068621304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17965] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17965/stat : 17965 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420067568968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17967] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17967/stat : 17967 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659780 3097006080 41130 33554432000 1073741824 1073778376 140734898836080 140420065436456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 3024420

[startup+6.30077 s]
/proc/loadavg: 1.01 1.07 1.42 3/213 17967
/proc/meminfo: memFree=26248408/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=3024420 CPUtime=7.18 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 8998 0 4 0 714 4 0 0 20 0 19 0 342659710 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 756105 41617 2272 9 0 746526 0
[pid=17927/tid=17932] ppid=17924 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/17927/task/17932/stat : 17932 (java) R 17924 17927 17886 0 -1 4202560 3103 0 4 0 621 4 0 0 20 0 19 0 342659711 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420228981216 140420080988394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17934] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17934/stat : 17934 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420212406440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17935] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17935/stat : 17935 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420211353896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17937] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17937/stat : 17937 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420210301352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17938] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17938/stat : 17938 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420209248808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17940] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420208196264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17941] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17941/stat : 17941 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420207143720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17944] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17944/stat : 17944 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420206091176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17945] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17924 17927 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342659713 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420205038632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17950] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17950/stat : 17950 (java) S 17924 17927 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342659714 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420074936424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17952] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17952/stat : 17952 (java) S 17924 17927 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420073882744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17953] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17953/stat : 17953 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420072830088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17956] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17956/stat : 17956 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420071778832 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17959] ppid=17924 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17927/task/17959/stat : 17959 (java) S 17924 17927 17886 0 -1 4202560 2462 0 0 0 45 0 0 0 20 0 19 0 342659717 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420070726200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17961] ppid=17924 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17924 17927 17886 0 -1 4202560 2236 0 0 0 45 0 0 0 20 0 19 0 342659717 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420069673656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17963] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420068621304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17965] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17965/stat : 17965 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420067568968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17967] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17967/stat : 17967 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659780 3097006080 41617 33554432000 1073741824 1073778376 140734898836080 140420065436456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=17927/tid=17941] ppid=17924 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17927/task/17941/stat : 17941 (java) S 17924 17927 17886 0 -1 4202560 259 0 0 0 22 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420207143720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17944] ppid=17924 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17927/task/17944/stat : 17944 (java) S 17924 17927 17886 0 -1 4202560 236 0 0 0 16 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420206091176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17945] ppid=17924 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17924 17927 17886 0 -1 4202560 241 0 0 0 17 13 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420205038632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17950] ppid=17924 vsize=3024420 CPUtime=1.18 cores=0,2,4,6
/proc/17927/task/17950/stat : 17950 (java) S 17924 17927 17886 0 -1 4202560 72 0 0 0 115 3 0 0 20 0 19 0 342659714 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420074936424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17952] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17952/stat : 17952 (java) S 17924 17927 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420073882744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17953] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17953/stat : 17953 (java) S 17924 17927 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420072830088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17956] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17956/stat : 17956 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420071778832 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17959] ppid=17924 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17927/task/17959/stat : 17959 (java) S 17924 17927 17886 0 -1 4202560 2473 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420070726200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17961] ppid=17924 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17924 17927 17886 0 -1 4202560 2242 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420069673656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17963] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420068621304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17965] ppid=17924 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/17927/task/17965/stat : 17965 (java) S 17924 17927 17886 0 -1 4202560 99 0 0 0 38 37 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420067568968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17967] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17967/stat : 17967 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659780 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420065436456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/212 17982
/proc/meminfo: memFree=23217108/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=3024420 CPUtime=1786.02 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 11581 0 4 0 178424 178 0 0 20 0 19 0 342659710 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 756105 410307 2302 9 0 746526 0
[pid=17927/tid=17932] ppid=17924 vsize=3024420 CPUtime=1780.35 cores=0,2,4,6
/proc/17927/task/17932/stat : 17932 (java) R 17924 17927 17886 0 -1 4202560 3247 0 4 0 177999 36 0 0 20 0 19 0 342659711 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420228980000 140420081027629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17934] ppid=17924 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17927/task/17934/stat : 17934 (java) S 17924 17927 17886 0 -1 4202560 328 0 0 0 23 21 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420212406440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17935] ppid=17924 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17927/task/17935/stat : 17935 (java) S 17924 17927 17886 0 -1 4202560 254 0 0 0 16 17 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420211353896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17937] ppid=17924 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/17927/task/17937/stat : 17937 (java) S 17924 17927 17886 0 -1 4202560 230 0 0 0 15 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420210301352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17938] ppid=17924 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/17927/task/17938/stat : 17938 (java) S 17924 17927 17886 0 -1 4202560 470 0 0 0 35 28 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420209248808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17940] ppid=17924 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17924 17927 17886 0 -1 4202560 244 0 0 0 21 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420208196264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17941] ppid=17924 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17927/task/17941/stat : 17941 (java) S 17924 17927 17886 0 -1 4202560 259 0 0 0 22 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420207143720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17944] ppid=17924 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17927/task/17944/stat : 17944 (java) S 17924 17927 17886 0 -1 4202560 236 0 0 0 16 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420206091176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17945] ppid=17924 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17924 17927 17886 0 -1 4202560 241 0 0 0 17 13 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420205038632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17950] ppid=17924 vsize=3024420 CPUtime=1.18 cores=0,2,4,6
/proc/17927/task/17950/stat : 17950 (java) S 17924 17927 17886 0 -1 4202560 72 0 0 0 115 3 0 0 20 0 19 0 342659714 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420074936424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17952] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17952/stat : 17952 (java) S 17924 17927 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420073882744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17953] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17953/stat : 17953 (java) S 17924 17927 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420072830088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17956] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17956/stat : 17956 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420071778832 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17959] ppid=17924 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17927/task/17959/stat : 17959 (java) S 17924 17927 17886 0 -1 4202560 2473 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420070726200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17961] ppid=17924 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17924 17927 17886 0 -1 4202560 2242 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420069673656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17963] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420068621304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17965] ppid=17924 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/17927/task/17965/stat : 17965 (java) S 17924 17927 17886 0 -1 4202560 103 0 0 0 40 38 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420067568968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17967] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17967/stat : 17967 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659780 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420065436456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.02
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 2.00 2.00 1.88 2/193 17986
/proc/meminfo: memFree=24885504/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 11581 0 4 0 179826 179 0 0 20 0 19 0 342659710 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 756105 410307 2302 9 0 746526 0
[pid=17927/tid=17932] ppid=17924 vsize=3024420 CPUtime=1794.36 cores=0,2,4,6
/proc/17927/task/17932/stat : 17932 (java) R 17924 17927 17886 0 -1 4202560 3247 0 4 0 179400 36 0 0 20 0 19 0 342659711 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420228980000 140420080987945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17934] ppid=17924 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17927/task/17934/stat : 17934 (java) S 17924 17927 17886 0 -1 4202560 328 0 0 0 23 21 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420212406440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17935] ppid=17924 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17927/task/17935/stat : 17935 (java) S 17924 17927 17886 0 -1 4202560 254 0 0 0 16 17 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420211353896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17937] ppid=17924 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/17927/task/17937/stat : 17937 (java) S 17924 17927 17886 0 -1 4202560 230 0 0 0 15 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420210301352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17938] ppid=17924 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/17927/task/17938/stat : 17938 (java) S 17924 17927 17886 0 -1 4202560 470 0 0 0 35 28 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420209248808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17940] ppid=17924 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17924 17927 17886 0 -1 4202560 244 0 0 0 21 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420208196264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17941] ppid=17924 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17927/task/17941/stat : 17941 (java) S 17924 17927 17886 0 -1 4202560 259 0 0 0 22 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420207143720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17944] ppid=17924 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17927/task/17944/stat : 17944 (java) S 17924 17927 17886 0 -1 4202560 236 0 0 0 16 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420206091176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17945] ppid=17924 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17924 17927 17886 0 -1 4202560 241 0 0 0 17 13 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420205038632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17950] ppid=17924 vsize=3024420 CPUtime=1.18 cores=0,2,4,6
/proc/17927/task/17950/stat : 17950 (java) S 17924 17927 17886 0 -1 4202560 72 0 0 0 115 3 0 0 20 0 19 0 342659714 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420074936424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17952] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17952/stat : 17952 (java) S 17924 17927 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420073882744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17953] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17953/stat : 17953 (java) S 17924 17927 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420072830088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17956] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17956/stat : 17956 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420071778832 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17959] ppid=17924 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17927/task/17959/stat : 17959 (java) S 17924 17927 17886 0 -1 4202560 2473 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420070726200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17961] ppid=17924 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17924 17927 17886 0 -1 4202560 2242 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420069673656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17963] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420068621304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17965] ppid=17924 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/17927/task/17965/stat : 17965 (java) S 17924 17927 17886 0 -1 4202560 103 0 0 0 40 39 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420067568968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17967] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17967/stat : 17967 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659780 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420065436456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 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

[startup+1796.31 s]
/proc/loadavg: 2.00 2.00 1.88 2/193 17986
/proc/meminfo: memFree=24885504/32873844 swapFree=7628/7628
[pid=17927] ppid=17924 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/17927/stat : 17927 (java) S 17924 17927 17886 0 -1 4202496 11581 0 4 0 179826 179 0 0 20 0 19 0 342659710 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140734898827216 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17927/statm: 756105 410307 2302 9 0 746526 0
[pid=17927/tid=17932] ppid=17924 vsize=3024420 CPUtime=1794.36 cores=0,2,4,6
/proc/17927/task/17932/stat : 17932 (java) R 17924 17927 17886 0 -1 4202560 3247 0 4 0 179400 36 0 0 20 0 19 0 342659711 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420228980000 140420080987945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17934] ppid=17924 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17927/task/17934/stat : 17934 (java) S 17924 17927 17886 0 -1 4202560 328 0 0 0 23 21 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420212406440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17935] ppid=17924 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17927/task/17935/stat : 17935 (java) S 17924 17927 17886 0 -1 4202560 254 0 0 0 16 17 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420211353896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17937] ppid=17924 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/17927/task/17937/stat : 17937 (java) S 17924 17927 17886 0 -1 4202560 230 0 0 0 15 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420210301352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17938] ppid=17924 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/17927/task/17938/stat : 17938 (java) S 17924 17927 17886 0 -1 4202560 470 0 0 0 35 28 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420209248808 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17940] ppid=17924 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17927/task/17940/stat : 17940 (java) S 17924 17927 17886 0 -1 4202560 244 0 0 0 21 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420208196264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17927/tid=17941] ppid=17924 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17927/task/17941/stat : 17941 (java) S 17924 17927 17886 0 -1 4202560 259 0 0 0 22 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420207143720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17944] ppid=17924 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17927/task/17944/stat : 17944 (java) S 17924 17927 17886 0 -1 4202560 236 0 0 0 16 14 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420206091176 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17945] ppid=17924 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17927/task/17945/stat : 17945 (java) S 17924 17927 17886 0 -1 4202560 241 0 0 0 17 13 0 0 20 0 19 0 342659713 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420205038632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17950] ppid=17924 vsize=3024420 CPUtime=1.18 cores=0,2,4,6
/proc/17927/task/17950/stat : 17950 (java) S 17924 17927 17886 0 -1 4202560 72 0 0 0 115 3 0 0 20 0 19 0 342659714 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420074936424 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17952] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17952/stat : 17952 (java) S 17924 17927 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420073882744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17953] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17953/stat : 17953 (java) S 17924 17927 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342659715 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420072830088 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17956] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17956/stat : 17956 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420071778832 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17959] ppid=17924 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17927/task/17959/stat : 17959 (java) S 17924 17927 17886 0 -1 4202560 2473 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420070726200 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17927/tid=17961] ppid=17924 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17927/task/17961/stat : 17961 (java) S 17924 17927 17886 0 -1 4202560 2242 0 0 0 52 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420069673656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17963] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17963/stat : 17963 (java) S 17924 17927 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420068621304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17927/tid=17965] ppid=17924 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/17927/task/17965/stat : 17965 (java) S 17924 17927 17886 0 -1 4202560 103 0 0 0 40 39 0 0 20 0 19 0 342659717 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420067568968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17927/tid=17967] ppid=17924 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17927/task/17967/stat : 17967 (java) S 17924 17927 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342659780 3097006080 410307 33554432000 1073741824 1073778376 140734898836080 140420065436456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1796.34
CPU time (s): 1800.64
CPU user time (s): 1798.38
CPU system time (s): 2.26366
CPU usage (%): 100.24
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 2.26365
maximum resident set size= 1641344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11614
page faults= 4
swaps= 0
block input operations= 208
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38048
involuntary context switches= 4528

runsolver used 6.24005 second user time and 15.9736 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-04 01:15:49
IDJOB=3742257
IDBENCH=90145
IDSOLVER=2319
FILE ID=node144/3742257-1338765348
RUNJOBID= node144-1338765348-17902
PBS_JOBID= 14636814
Free space on /tmp= 70832 MiB

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

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

MD5SUM BENCH= 2cd10947adfbc402d943437a9cfa9f95
RANDOM SEED=1600079116

node144.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.196
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.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.196
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.92
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.196
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.196
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:        26525856 kB
Buffers:         1721436 kB
Cached:          3722264 kB
SwapCached:          464 kB
Active:          3540744 kB
Inactive:        1924040 kB
Active(anon):       2196 kB
Inactive(anon):    11188 kB
Active(file):    3538548 kB
Inactive(file):  1912852 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:              9348 kB
Writeback:             0 kB
AnonPages:         17960 kB
Mapped:            13504 kB
Shmem:               172 kB
Slab:             742168 kB
SReclaimable:     183908 kB
SUnreclaim:       558260 kB
KernelStack:        1392 kB
PageTables:         4352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70828 MiB
End job on node144 at 2012-06-04 01:45:47