Trace number 3741893

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.94 1796.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K91.opb
MD5SUM8c2203c9ba90488459f210b4f3d3e3ed
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 variables6188
Total number of constraints6372
Number of constraints which are clauses6281
Number of constraints which are cardinality constraints (but not clauses)91
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint91
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 92
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3741893-1338757672.opb
0.09/0.10	c reading problem ... 
0.79/0.42	c ... done. Wall clock time 0.321s.
0.79/0.42	c CPU time (experimental) 0.39s.
0.79/0.42	c #vars     6188
0.79/0.42	c #constraints  6370
835.03/832.66	c cleaning 307698 clauses out of 615918 for limit 74.08493403672824
836.34/834.00	c cleaning 154224 clauses out of 308723 for limit 244.47994063192115
837.04/834.62	c cleaning 76931 clauses out of 154996 for limit 800.6525266612456
837.44/835.02	c cleaning 38704 clauses out of 78567 for limit 2610.0528970315854
837.74/835.34	c cleaning 19467 clauses out of 40362 for limit 8370.245125926249
837.94/835.53	c cleaning 9982 clauses out of 21397 for limit 26090.528631053647
838.04/835.66	c cleaning 5219 clauses out of 11913 for limit 77126.12056779761
838.14/835.76	c cleaning 2811 clauses out of 7193 for limit 210442.73802944872
838.24/835.85	c cleaning 1677 clauses out of 4882 for limit 511330.9915340483
838.35/835.92	c cleaning 1069 clauses out of 3706 for limit 1111949.0158365811
838.35/836.00	c cleaning 865 clauses out of 3138 for limit 2167842.615004549
838.45/836.07	c cleaning 653 clauses out of 2772 for limit 4043047.445570579
838.54/836.14	c cleaning 610 clauses out of 2619 for limit 7057037.941383633
838.64/836.20	c cleaning 549 clauses out of 2508 for limit 1.2140925491807463E7
838.64/836.26	c cleaning 658 clauses out of 2459 for limit 2.0420984905417673E7
838.74/836.31	c cleaning 427 clauses out of 2301 for limit 3.59893896452142E7
838.74/836.39	c cleaning 485 clauses out of 2374 for limit 5.752627756809086E7
838.84/836.45	c cleaning 486 clauses out of 2391 for limit 9.438268358869943E7
838.94/836.51	c cleaning 768 clauses out of 2403 for limit 1.5456280484846172E8
838.94/836.56	c cleaning 1041 clauses out of 2135 for limit 2.868908972346782E8
839.04/836.61	c cleaning 482 clauses out of 1596 for limit 6.341714283381487E8
839.04/836.65	c cleaning 378 clauses out of 1613 for limit 1.0337762881764234E9
839.14/836.71	c cleaning 510 clauses out of 1734 for limit 1.5842846558012552E9
839.14/836.75	c cleaning 322 clauses out of 1724 for limit 2.6278521961817994E9
839.24/836.81	c cleaning 257 clauses out of 1902 for limit 3.9281093630077276E9
839.24/836.86	c cleaning 372 clauses out of 2145 for limit 5.744109015261631E9
839.34/836.91	c cleaning 464 clauses out of 2274 for limit 8.94437313634969E9
839.34/836.96	c cleaning 565 clauses out of 2309 for limit 1.4512352250631664E10
839.45/837.01	c cleaning 396 clauses out of 2244 for limit 2.4626051228787167E10
839.45/837.06	c cleaning 411 clauses out of 2349 for limit 3.883515234527905E10
839.55/837.13	c cleaning 481 clauses out of 2437 for limit 6.166998971581796E10
839.55/837.18	c cleaning 492 clauses out of 2456 for limit 1.0091528004352841E11
839.64/837.24	c cleaning 735 clauses out of 2464 for limit 1.6588246323993246E11
839.64/837.29	c cleaning 379 clauses out of 2230 for limit 3.025705919673973E11
839.74/837.34	c cleaning 1139 clauses out of 2351 for limit 4.73298181544969E11
839.74/837.39	c cleaning 259 clauses out of 1711 for limit 1.0714177344814475E12
839.84/837.44	c cleaning 570 clauses out of 1952 for limit 1.5487628185946052E12
839.84/837.49	c cleaning 203 clauses out of 1882 for limit 2.6491161187907593E12
839.94/837.55	c cleaning 569 clauses out of 2180 for limit 3.77532652545601E12
840.04/837.60	c cleaning 366 clauses out of 2111 for limit 6.429521704538036E12
840.04/837.65	c cleaning 365 clauses out of 2246 for limit 9.975795711509783E12
840.14/837.72	c cleaning 460 clauses out of 2382 for limit 1.5527657406622096E13
840.14/837.78	c cleaning 461 clauses out of 2419 for limit 2.5139936763289535E13
840.24/837.83	c cleaning 459 clauses out of 2458 for limit 4.0801305361491484E13
840.24/837.87	c cleaning 800 clauses out of 2499 for limit 6.618286556615729E13
840.34/837.92	c cleaning 649 clauses out of 2200 for limit 1.241022173813663E14
840.34/837.97	c cleaning 569 clauses out of 2050 for limit 2.1941672891807303E14
840.44/838.01	c cleaning 548 clauses out of 1981 for limit 3.744510121216752E14
840.44/838.06	c cleaning 954 clauses out of 1934 for limit 6.331599168283364E14
840.55/838.11	c cleaning 724 clauses out of 1479 for limit 1.3640273686824495E15
840.55/838.15	c cleaning 595 clauses out of 1255 for limit 2.650961494150126E-5
840.55/838.20	c cleaning 449 clauses out of 1160 for limit 4.729824680722031E-5
840.65/838.25	c cleaning 467 clauses out of 1211 for limit 7.471620004985921E-5
840.65/838.29	c cleaning 334 clauses out of 1244 for limit 1.1994839082441058E-4
840.74/838.34	c cleaning 613 clauses out of 1410 for limit 1.7452256236904327E-4
840.74/838.39	c cleaning 362 clauses out of 1299 for limit 3.130303543802693E-4
840.84/838.45	c cleaning 267 clauses out of 1435 for limit 4.6636995746365866E-4
840.94/838.50	c cleaning 377 clauses out of 1668 for limit 6.616713161510759E-4
840.94/838.57	c cleaning 839 clauses out of 1790 for limit 0.001016813281891881
841.04/838.64	c cleaning 655 clauses out of 1451 for limit 0.002068629510923244
841.14/838.71	c cleaning 590 clauses out of 1296 for limit 0.0038194516254128315
841.14/838.78	c cleaning 553 clauses out of 1206 for limit 0.006768845395417954
841.24/838.86	c cleaning 498 clauses out of 1153 for limit 0.011675849333771778
841.34/838.93	c cleaning 479 clauses out of 1155 for limit 0.019221695462259627
841.34/838.97	c cleaning 473 clauses out of 1176 for limit 0.031133091048793134
841.44/839.02	c cleaning 490 clauses out of 1203 for limit 0.050190303649745534
841.44/839.07	c cleaning 494 clauses out of 1213 for limit 0.08208816293794355
841.56/839.11	c cleaning 492 clauses out of 1219 for limit 0.13470804052528404
841.56/839.15	c cleaning 502 clauses out of 1230 for limit 0.22082667606957693
841.67/839.21	c cleaning 503 clauses out of 1225 for limit 0.36456326897346775
841.67/839.26	c cleaning 494 clauses out of 1224 for limit 0.6029100056225399
841.77/839.31	c cleaning 497 clauses out of 1228 for limit 0.9890594704066011
841.77/839.37	c cleaning 495 clauses out of 1231 for limit 1.6271163407887503
841.86/839.42	c cleaning 489 clauses out of 1236 for limit 2.6724776126835788
841.86/839.50	c cleaning 510 clauses out of 1249 for limit 4.370136666048813
841.96/839.56	c cleaning 507 clauses out of 1238 for limit 7.263704828665745
842.06/839.63	c cleaning 490 clauses out of 1234 for limit 12.053775401887924
842.16/839.70	c cleaning 505 clauses out of 1240 for limit 19.703093099550934
842.16/839.75	c cleaning 483 clauses out of 1236 for limit 32.630822633886936
842.26/839.82	c cleaning 490 clauses out of 1252 for limit 53.07176605205961
842.26/839.87	c cleaning 503 clauses out of 1264 for limit 86.86517626122087
842.36/839.93	c cleaning 501 clauses out of 1259 for limit 143.53371068417727
842.36/839.99	c cleaning 487 clauses out of 1258 for limit 236.89445131776364
842.46/840.04	c cleaning 491 clauses out of 1271 for limit 386.6747969125138
842.56/840.10	c cleaning 502 clauses out of 1280 for limit 633.1947918057033
842.56/840.16	c cleaning 492 clauses out of 1278 for limit 1045.8570706442622
842.66/840.21	c cleaning 490 clauses out of 1289 for limit 1715.1799673684313
842.66/840.28	c cleaning 501 clauses out of 1297 for limit 2805.4950087167877
842.77/840.37	c cleaning 546 clauses out of 1295 for limit 4629.148184497466
842.87/840.42	c cleaning 499 clauses out of 1249 for limit 7915.243874474365
842.87/840.46	c cleaning 505 clauses out of 1250 for limit 13042.853394564498
842.96/840.51	c cleaning 503 clauses out of 1245 for limit 21595.793262397077
842.96/840.57	c cleaning 476 clauses out of 1245 for limit 35721.40922238948
843.06/840.63	c cleaning 475 clauses out of 1268 for limit 57782.99611318969
843.16/840.70	c cleaning 519 clauses out of 1292 for limit 93428.24089900624
843.16/840.76	c cleaning 487 clauses out of 1273 for limit 156375.30468248596
843.26/840.82	c cleaning 494 clauses out of 1285 for limit 255220.06803524055
843.26/840.87	c cleaning 492 clauses out of 1291 for limit 418935.9139211217
843.36/840.94	c cleaning 622 clauses out of 1299 for limit 686626.5156990543
843.46/841.00	c cleaning 587 clauses out of 1175 for limit 1251836.880469713
843.46/841.07	c cleaning 517 clauses out of 1088 for limit 2229526.303559433
843.56/841.13	c cleaning 505 clauses out of 1072 for limit 3735399.9551467393
843.56/841.19	c cleaning 520 clauses out of 1066 for limit 6188652.042513744
843.66/841.28	c cleaning 478 clauses out of 1046 for limit 1.0401056901683012E7
843.76/841.33	c cleaning 472 clauses out of 1068 for limit 1.679940078212095E7
843.76/841.40	c cleaning 489 clauses out of 1099 for limit 2.700391757775183E7
843.87/841.46	c cleaning 488 clauses out of 1107 for limit 4.407874257390007E7
843.97/841.52	c cleaning 513 clauses out of 1119 for limit 7.19122071323696E7
844.06/841.60	c cleaning 546 clauses out of 1107 for limit 1.1999840755926523E8
844.06/841.66	c cleaning 519 clauses out of 1059 for limit 2.0665623781659392E8
844.16/841.73	c cleaning 472 clauses out of 1040 for limit 3.470300050793303E8
844.16/841.79	c cleaning 479 clauses out of 1071 for limit 5.574043034847283E8
844.26/841.84	c cleaning 501 clauses out of 1089 for limit 9.013309001594652E8
844.36/841.90	c cleaning 461 clauses out of 1090 for limit 1.4880261127536404E9
844.36/841.95	c cleaning 546 clauses out of 1127 for limit 2.368645120254245E9
844.46/842.00	c cleaning 528 clauses out of 1081 for limit 4.0724344909307346E9
844.46/842.06	c cleaning 484 clauses out of 1054 for limit 6.894925672776109E9
844.56/842.11	c cleaning 447 clauses out of 1069 for limit 1.1199892901045916E10
844.56/842.16	c cleaning 495 clauses out of 1122 for limit 1.7597647134769314E10
844.66/842.21	c cleaning 562 clauses out of 1127 for limit 2.889212152662398E10
844.66/842.27	c cleaning 529 clauses out of 1065 for limit 5.042078793693655E10
844.76/842.33	c cleaning 516 clauses out of 1036 for limit 8.547819987602779E10
844.76/842.39	c cleaning 439 clauses out of 1020 for limit 1.431762021416589E11
844.86/842.45	c cleaning 499 clauses out of 1081 for limit 2.2279282638600244E11
844.97/842.51	c cleaning 461 clauses out of 1082 for limit 3.670756049992004E11
844.97/842.56	c cleaning 471 clauses out of 1124 for limit 5.844883982830154E11
845.07/842.62	c cleaning 509 clauses out of 1150 for limit 9.392835526650046E11
845.07/842.67	c cleaning 463 clauses out of 1141 for limit 1.5612224964660286E12
845.16/842.71	c cleaning 505 clauses out of 1178 for limit 2.4937966752921436E12
845.16/842.77	c cleaning 561 clauses out of 1174 for limit 4.1307473595838423E12
845.26/842.82	c cleaning 525 clauses out of 1112 for limit 7.1847774253941E12
845.26/842.88	c cleaning 466 clauses out of 1088 for limit 1.212214876652839E13
845.36/842.93	c cleaning 455 clauses out of 1121 for limit 1.9383146021459645E13
845.36/842.99	c cleaning 573 clauses out of 1166 for limit 3.0731744699419562E13
845.46/843.04	c cleaning 527 clauses out of 1093 for limit 5.406565790900559E13
845.56/843.10	c cleaning 429 clauses out of 1066 for limit 9.141981464749394E13
845.56/843.15	c cleaning 439 clauses out of 1137 for limit 1.4134907261217997E14
845.66/843.21	c cleaning 476 clauses out of 1199 for limit 2.2127107399210672E14
845.66/843.28	c cleaning 601 clauses out of 1222 for limit 3.576794559199134E14
845.76/843.35	c cleaning 530 clauses out of 1121 for limit 6.430066679456585E14
845.86/843.41	c cleaning 424 clauses out of 1096 for limit 1.0900313303639126E15
845.86/843.48	c cleaning 490 clauses out of 1167 for limit 1.6798171355877838E15
845.96/843.54	c cleaning 500 clauses out of 1177 for limit 2.74670670289699E15
846.07/843.61	c cleaning 577 clauses out of 1177 for limit 4.529686800925946E-5
846.07/843.68	c cleaning 534 clauses out of 1100 for limit 7.992963670762879E-5
846.17/843.75	c cleaning 524 clauses out of 1066 for limit 1.3601888377018245E-4
846.26/843.81	c cleaning 499 clauses out of 1042 for limit 2.29479861582082E-4
846.26/843.87	c cleaning 483 clauses out of 1043 for limit 3.7808015018039794E-4
846.36/843.93	c cleaning 424 clauses out of 1064 for limit 6.136496507343922E-4
846.36/843.98	c cleaning 481 clauses out of 1136 for limit 9.44064414918867E-4
846.46/844.04	c cleaning 490 clauses out of 1160 for limit 0.0015323233371322628
846.56/844.10	c cleaning 487 clauses out of 1166 for limit 0.002503961774298555
846.56/844.17	c cleaning 497 clauses out of 1178 for limit 0.004083215768103356
846.66/844.23	c cleaning 498 clauses out of 1183 for limit 0.0067187392418617065
846.66/844.29	c cleaning 488 clauses out of 1183 for limit 0.011057950707131711
846.76/844.35	c cleaning 485 clauses out of 1195 for limit 0.018052916607790695
846.86/844.42	c cleaning 508 clauses out of 1210 for limit 0.029402604216410496
846.86/844.48	c cleaning 508 clauses out of 1203 for limit 0.04881979368652651
846.96/844.53	c cleaning 492 clauses out of 1197 for limit 0.08107600246898372
846.96/844.59	c cleaning 495 clauses out of 1206 for limit 0.13284021463190204
847.06/844.65	c cleaning 496 clauses out of 1210 for limit 0.21812873529664864
847.17/844.72	c cleaning 526 clauses out of 1211 for limit 0.3583492172813381
847.17/844.79	c cleaning 489 clauses out of 1185 for limit 0.6039321365902385
1482.90/1479.86	c cleaning 278168 clauses out of 557192 for limit 0.08221259764307862
1484.20/1481.19	c cleaning 139711 clauses out of 279523 for limit 0.26998962114731917
1484.90/1481.83	c cleaning 69640 clauses out of 140312 for limit 0.8870042284309423
1485.30/1482.22	c cleaning 34997 clauses out of 71172 for limit 2.8838138426875046
1485.50/1482.42	c cleaning 17747 clauses out of 36675 for limit 9.229159609164176
1485.60/1482.58	c cleaning 9086 clauses out of 19429 for limit 28.758897290323954
1485.70/1482.69	c cleaning 4826 clauses out of 10843 for limit 84.98242257731786
1485.81/1482.78	c cleaning 2626 clauses out of 6516 for limit 232.98012001605957
1485.91/1482.87	c cleaning 1549 clauses out of 4390 for limit 570.2841575074048
1486.00/1482.94	c cleaning 1062 clauses out of 3343 for limit 1237.4975883820002
1486.10/1483.00	c cleaning 791 clauses out of 2780 for limit 2451.6434923601064
1486.10/1483.08	c cleaning 628 clauses out of 2488 for limit 4513.0808344623765
1486.20/1483.15	c cleaning 551 clauses out of 2361 for limit 7850.872059866013
1486.30/1483.22	c cleaning 494 clauses out of 2309 for limit 13225.476538370203
1486.40/1483.32	c cleaning 514 clauses out of 2317 for limit 21778.809649211613
1486.50/1483.40	c cleaning 515 clauses out of 2303 for limit 36134.50601234022
1486.50/1483.48	c cleaning 506 clauses out of 2287 for limit 59947.52680234454
1486.60/1483.56	c cleaning 486 clauses out of 2280 for limit 99065.84844278435
1486.70/1483.65	c cleaning 499 clauses out of 2294 for limit 162375.79253413208
1486.80/1483.73	c cleaning 500 clauses out of 2295 for limit 267662.72465475724
1486.80/1483.79	c cleaning 495 clauses out of 2295 for limit 441411.6402343805
1486.91/1483.86	c cleaning 501 clauses out of 2302 for limit 727186.9268455644
1487.01/1483.92	c cleaning 531 clauses out of 2299 for limit 1198393.0291634637
1487.01/1483.97	c cleaning 546 clauses out of 2272 for limit 2007815.7306741467
1487.10/1484.01	c cleaning 1089 clauses out of 2222 for limit 3372142.8577566836
1487.10/1484.07	c cleaning 645 clauses out of 1638 for limit 7581664.597003843
1487.20/1484.11	c cleaning 273 clauses out of 1488 for limit 1.3694899900872927E7
1487.20/1484.16	c cleaning 515 clauses out of 1715 for limit 1.9595373963333566E7
1487.30/1484.21	c cleaning 829 clauses out of 1700 for limit 3.2600528909129374E7
1487.30/1484.26	c cleaning 370 clauses out of 1373 for limit 6.67003235799075E7
1487.40/1484.31	c cleaning 369 clauses out of 1501 for limit 1.0041640039266531E8
1487.40/1484.36	c cleaning 337 clauses out of 1632 for limit 1.5230742441638252E8
1487.50/1484.42	c cleaning 272 clauses out of 1795 for limit 2.283666402665454E8
1487.50/1484.47	c cleaning 670 clauses out of 2023 for limit 3.341620447627637E8
1487.60/1484.53	c cleaning 406 clauses out of 1853 for limit 6.01635522112588E8
1487.60/1484.59	c cleaning 427 clauses out of 1947 for limit 9.44275724618965E8
1487.70/1484.65	c cleaning 385 clauses out of 2020 for limit 1.5009606064680815E9
1487.80/1484.72	c cleaning 388 clauses out of 2136 for limit 2.3432024565138793E9
1487.80/1484.78	c cleaning 558 clauses out of 2247 for limit 3.6696898877385798E9
1487.90/1484.82	c cleaning 493 clauses out of 2189 for limit 6.21215900072337E9
1487.90/1484.88	c cleaning 488 clauses out of 2196 for limit 1.0212025152214731E10
1488.01/1484.92	c cleaning 1095 clauses out of 2208 for limit 1.6749468466197262E10
1488.01/1484.97	c cleaning 752 clauses out of 1613 for limit 3.781130078343147E10
1488.11/1485.01	c cleaning 333 clauses out of 1361 for limit 7.390158404730681E10
1488.11/1485.07	c cleaning 337 clauses out of 1529 for limit 1.0859123840589902E11
1488.20/1485.13	c cleaning 219 clauses out of 1692 for limit 1.618295400165274E11
1488.20/1485.18	c cleaning 490 clauses out of 1973 for limit 2.2886899373016217E11
1488.30/1485.24	c cleaning 349 clauses out of 1983 for limit 3.755322317362082E11
1488.40/1485.32	c cleaning 589 clauses out of 2133 for limit 5.751755973514597E11
1488.40/1485.37	c cleaning 384 clauses out of 2046 for limit 9.908561033377749E11
1488.50/1485.43	c cleaning 428 clauses out of 2162 for limit 1.5463806817238933E12
1488.50/1485.48	c cleaning 479 clauses out of 2235 for limit 2.4693632273042954E12
1488.60/1485.55	c cleaning 475 clauses out of 2253 for limit 4.027667994675849E12
1488.70/1485.61	c cleaning 499 clauses out of 2278 for limit 6.569268653979997E12
1488.70/1485.66	c cleaning 491 clauses out of 2279 for limit 1.0828849166320713E13
1488.80/1485.71	c cleaning 501 clauses out of 2288 for limit 1.7787974434362395E13
1488.80/1485.77	c cleaning 508 clauses out of 2287 for limit 2.934757621276528E13
1488.90/1485.82	c cleaning 1127 clauses out of 2282 for limit 4.864992621925337E13
1488.90/1485.88	c cleaning 387 clauses out of 1652 for limit 1.104943661069911E14
1489.00/1485.92	c cleaning 243 clauses out of 1768 for limit 1.707761975227114E14
1489.00/1485.99	c cleaning 352 clauses out of 2024 for limit 2.4576524510667728E14
1489.11/1486.04	c cleaning 705 clauses out of 2170 for limit 3.772750670108925E14
1489.11/1486.09	c cleaning 410 clauses out of 1965 for limit 6.870861132369109E14
1489.21/1486.14	c cleaning 387 clauses out of 2056 for limit 1.0840292835713446E15
1489.30/1486.20	c cleaning 439 clauses out of 2170 for limit 1.6954882698928175E15
1489.30/1486.25	c cleaning 1080 clauses out of 2229 for limit 2.716635166751134E-5
1489.40/1486.30	c cleaning 704 clauses out of 1650 for limit 6.058259072687247E-5
1489.40/1486.34	c cleaning 501 clauses out of 1445 for limit 1.1396862632853688E-4
1489.40/1486.39	c cleaning 522 clauses out of 1444 for limit 1.8807967020713744E-4
1489.50/1486.44	c cleaning 474 clauses out of 1422 for limit 3.1496720636881405E-4
1489.50/1486.49	c cleaning 93 clauses out of 1448 for limit 5.10096401726959E-4
1489.60/1486.56	c cleaning 300 clauses out of 1855 for limit 6.566482556211674E-4
1489.70/1486.62	c cleaning 385 clauses out of 2055 for limit 9.775090112125186E-4
1489.70/1486.67	c cleaning 424 clauses out of 2170 for limit 0.0015266122712754042
1489.80/1486.73	c cleaning 467 clauses out of 2249 for limit 0.0024364553094460874
1489.80/1486.79	c cleaning 466 clauses out of 2279 for limit 0.003953265038608346
1489.90/1486.85	c cleaning 471 clauses out of 2313 for limit 0.0064236299027470335
1490.00/1486.93	c cleaning 520 clauses out of 2343 for limit 0.010468254056354468
1490.00/1486.98	c cleaning 486 clauses out of 2322 for limit 0.017402261984664737
1490.10/1487.05	c cleaning 498 clauses out of 2336 for limit 0.02852666266354728
1490.21/1487.11	c cleaning 499 clauses out of 2339 for limit 0.04703097496664479
1490.21/1487.17	c cleaning 495 clauses out of 2343 for limit 0.07766070655748827
1490.31/1487.23	c cleaning 491 clauses out of 2344 for limit 0.12750695034444395
1490.40/1487.31	c cleaning 495 clauses out of 2354 for limit 0.2095923399251129
1490.40/1487.39	c cleaning 487 clauses out of 2358 for limit 0.3447144105807367
1490.50/1487.47	c cleaning 484 clauses out of 2371 for limit 0.5653632475742691
1490.60/1487.56	c cleaning 489 clauses out of 2387 for limit 0.9261100454308657
1490.70/1487.64	c cleaning 507 clauses out of 2399 for limit 1.5211609386927234
1490.80/1487.73	c cleaning 506 clauses out of 2391 for limit 2.5144743622776327
1490.90/1487.81	c cleaning 506 clauses out of 2386 for limit 4.159553815166876
1491.00/1487.90	c cleaning 545 clauses out of 2379 for limit 6.8729648050035435
1491.00/1487.95	c cleaning 508 clauses out of 2334 for limit 11.552968715810609
1491.10/1488.01	c cleaning 486 clauses out of 2326 for limit 19.117919370595146
1491.10/1488.08	c cleaning 500 clauses out of 2341 for limit 31.357347664657865
1491.20/1488.15	c cleaning 500 clauses out of 2341 for limit 51.71246120994142
1491.31/1488.22	c cleaning 501 clauses out of 2340 for limit 85.23189406522049
1491.31/1488.28	c cleaning 507 clauses out of 2339 for limit 140.61888897464166
1491.41/1488.35	c cleaning 488 clauses out of 2332 for limit 232.59545542538615
1491.50/1488.42	c cleaning 486 clauses out of 2344 for limit 381.617296690893
1491.50/1488.49	c cleaning 502 clauses out of 2358 for limit 625.6014466799693
1491.60/1488.56	c cleaning 491 clauses out of 2357 for limit 1033.1713660453652
1491.70/1488.63	c cleaning 540 clauses out of 2366 for limit 1697.3565889340139
1491.70/1488.69	c cleaning 500 clauses out of 2325 for limit 2845.681227426797
1491.80/1488.74	c cleaning 507 clauses out of 2325 for limit 4692.9090324506
1491.90/1488.81	c cleaning 490 clauses out of 2318 for limit 7762.606087795552
1491.90/1488.87	c cleaning 488 clauses out of 2328 for limit 12746.58631443209
1492.00/1488.93	c cleaning 514 clauses out of 2340 for limit 20913.026932409255
1492.00/1488.99	c cleaning 491 clauses out of 2329 for limit 34755.4317539692
1492.10/1489.07	c cleaning 497 clauses out of 2335 for limit 56997.74096378588
1492.20/1489.14	c cleaning 493 clauses out of 2339 for limit 93930.08279676546
1492.30/1489.20	c cleaning 486 clauses out of 2345 for limit 154352.42434709799
1492.30/1489.25	c cleaning 490 clauses out of 2359 for limit 253037.1272299718
1492.41/1489.31	c cleaning 494 clauses out of 2369 for limit 415530.6042189678
1492.41/1489.37	c cleaning 476 clauses out of 2375 for limit 683534.3578550908
1492.51/1489.43	c cleaning 492 clauses out of 2400 for limit 1116614.132683527
1492.51/1489.49	c cleaning 694 clauses out of 2411 for limit 1838554.778725735
1492.60/1489.56	c cleaning 412 clauses out of 2213 for limit 3290108.4252562686
1492.70/1489.61	c cleaning 484 clauses out of 2301 for limit 5218322.223181729
1492.70/1489.68	c cleaning 1154 clauses out of 2318 for limit 8551149.08912989
1492.80/1489.74	c cleaning 487 clauses out of 1671 for limit 1.969966902298188E7
1492.80/1489.80	c cleaning 147 clauses out of 1678 for limit 3.215823757695485E7
1492.90/1489.85	c cleaning 744 clauses out of 2029 for limit 4.377125635799939E7
1493.00/1489.91	c cleaning 372 clauses out of 1785 for limit 8.205191583171442E7
1493.00/1489.96	c cleaning 354 clauses out of 1913 for limit 1.2626060421276383E8
1493.10/1490.01	c cleaning 354 clauses out of 2059 for limit 1.9345607567323908E8
1493.10/1490.07	c cleaning 427 clauses out of 2208 for limit 2.9840017506855357E8
1493.20/1490.13	c cleaning 417 clauses out of 2278 for limit 4.755506445004265E8
1493.30/1490.20	c cleaning 1176 clauses out of 2361 for limit 7.566767577218126E8
1493.30/1490.26	c cleaning 567 clauses out of 1687 for limit 1.7499119999549525E9
1493.40/1490.32	c cleaning 307 clauses out of 1619 for limit 3.004040741592791E9
1493.40/1490.37	c cleaning 224 clauses out of 1812 for limit 4.426396979081942E9
1493.51/1490.42	c cleaning 511 clauses out of 2087 for limit 6.331512670607529E9
1493.51/1490.48	c cleaning 362 clauses out of 2076 for limit 1.0496837335944572E10
1493.61/1490.53	c cleaning 776 clauses out of 2214 for limit 1.623170297297286E10
1493.61/1490.58	c cleaning 275 clauses out of 1938 for limit 3.0580446184080322E10
1493.70/1490.64	c cleaning 372 clauses out of 2163 for limit 4.518527793584703E10
1493.80/1490.70	c cleaning 429 clauses out of 2291 for limit 7.035326791292398E10
1493.80/1490.75	c cleaning 1182 clauses out of 2367 for limit 1.1285987174022105E11
1493.90/1490.81	c cleaning 564 clauses out of 1680 for limit 2.609226956835288E11
1493.90/1490.87	c cleaning 358 clauses out of 1616 for limit 4.473378735996785E11
1494.00/1490.91	c cleaning 389 clauses out of 1760 for limit 6.787178454544368E11
1494.00/1490.97	c cleaning 846 clauses out of 1871 for limit 1.0528925082575164E12
1494.10/1491.02	c cleaning 298 clauses out of 1524 for limit 2.1295813327351118E12
1494.10/1491.07	c cleaning 377 clauses out of 1725 for limit 3.09964155144477E12
1494.20/1491.12	c cleaning 241 clauses out of 1848 for limit 4.771495225734297E12
1494.20/1491.18	c cleaning 372 clauses out of 2107 for limit 6.90156864405997E12
1494.30/1491.23	c cleaning 390 clauses out of 2235 for limit 1.0729777273156523E13
1494.30/1491.29	c cleaning 451 clauses out of 2345 for limit 1.686480307660805E13
1494.40/1491.35	c cleaning 922 clauses out of 2394 for limit 2.7243058468177414E13
1494.50/1491.41	c cleaning 329 clauses out of 1972 for limit 5.454173951972074E13
1494.61/1491.52	c cleaning 355 clauses out of 2143 for limit 8.276936274601386E13
1494.61/1491.58	c cleaning 765 clauses out of 2289 for limit 1.2791939262380733E14
1494.71/1491.63	c cleaning 378 clauses out of 2024 for limit 2.385764434914457E14
1494.71/1491.67	c cleaning 373 clauses out of 2145 for limit 3.708789178143364E14
1494.80/1491.72	c cleaning 431 clauses out of 2272 for limit 5.774401845956204E14
1494.80/1491.78	c cleaning 1170 clauses out of 2341 for limit 9.242081711466479E14
1494.90/1491.82	c cleaning 504 clauses out of 1671 for limit 2.135259460409967E-5
1494.90/1491.87	c cleaning 514 clauses out of 1667 for limit 3.529777998616751E-5
1495.00/1491.91	c cleaning 706 clauses out of 1654 for limit 5.87270093571664E-5
1495.00/1491.96	c cleaning 578 clauses out of 1448 for limit 1.106268930804892E-4
1495.10/1492.00	c cleaning 421 clauses out of 1369 for limit 1.927734431881739E-4
1495.10/1492.04	c cleaning 326 clauses out of 1448 for limit 3.005647031269387E-4
1495.10/1492.09	c cleaning 89 clauses out of 1622 for limit 4.4249826966812533E-4
1495.20/1492.16	c cleaning 286 clauses out of 2033 for limit 5.822117085166892E-4
1495.30/1492.23	c cleaning 423 clauses out of 2247 for limit 8.687026138297979E-4
1495.30/1492.29	c cleaning 453 clauses out of 2324 for limit 0.0013851409344426645
1495.40/1492.35	c cleaning 480 clauses out of 2371 for limit 0.0022390016865593138
1495.50/1492.42	c cleaning 481 clauses out of 2391 for limit 0.0036615273762619503
1495.50/1492.48	c cleaning 504 clauses out of 2411 for limit 0.005994252735072458
1495.60/1492.54	c cleaning 486 clauses out of 2408 for limit 0.009907547808535864
1495.60/1492.60	c cleaning 493 clauses out of 2422 for limit 0.016244427398966147
1495.71/1492.66	c cleaning 494 clauses out of 2428 for limit 0.026696310145530453
1495.81/1492.73	c cleaning 488 clauses out of 2433 for limit 0.0438913751485023
1800.05/1796.61	c starts		: 23
1800.05/1796.61	c conflicts		: 1643622
1800.05/1796.61	c decisions		: 4736965
1800.05/1796.61	c propagations		: 512346135
1800.05/1796.61	c inspects		: 11065872610
1800.05/1796.61	c learnt literals	: 99
1800.05/1796.61	c learnt binary clauses	: 69344
1800.05/1796.61	c learnt ternary clauses	: 51071
1800.05/1796.61	c learnt clauses	: 1643523
1800.05/1796.61	c root simplifications	: 0
1800.05/1796.61	c removed literals (reason simplification)	: 0
1800.05/1796.61	c reason swapping (by a shorter reason)	: 0
1800.05/1796.61	c Calls to reduceDB	: 336
1800.05/1796.61	c speed (decisions/second)	: 2637.2411036298104
1800.05/1796.61	c non guided choices	2790
1800.05/1796.61	s UNKNOWN
1800.05/1796.61	c Total wall clock time (ms): 1796.509

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 12006
/proc/meminfo: memFree=25392272/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12006/stat : 12006 (java) D 12004 12006 11123 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341894538 9515008 182 33554432000 1073741824 1073778376 140736442284272 140736442275304 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/12006/statm: 2323 182 140 9 0 71 0

[startup+0.087796 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 12006
/proc/meminfo: memFree=25392272/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 4141 0 1 0 5 1 0 0 20 0 18 0 341894538 3028844544 5859 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 739464 5859 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.100288 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 12006
/proc/meminfo: memFree=25392272/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 4914 0 1 0 8 1 0 0 20 0 18 0 341894538 3028844544 6617 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 739464 6617 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300168 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 12006
/proc/meminfo: memFree=25392272/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=2957856 CPUtime=0.53 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 8278 0 1 0 52 1 0 0 20 0 18 0 341894538 3028844544 11285 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 739464 11286 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856

[startup+0.700295 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 12006
/proc/meminfo: memFree=25392272/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 10613 0 1 0 132 2 0 0 20 0 19 0 341894538 3097006080 17546 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 756105 17546 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420

[startup+1.50066 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 12025
/proc/meminfo: memFree=25330068/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=3024420 CPUtime=2.2 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 10620 0 1 0 218 2 0 0 20 0 19 0 341894538 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 756105 18063 2272 9 0 746526 0
[pid=12006/tid=12008] ppid=12004 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12004 12006 11123 0 -1 4202560 3042 0 1 0 145 2 0 0 20 0 19 0 341894539 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461727396040 140461554193639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12009] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461710821672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12010] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12004 12006 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461709768872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12011] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461708716584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12006/tid=12012] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461707663784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12013] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461706611496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12014] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461705558696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12015] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461704506408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12016] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12004 12006 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461703453608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12004 12006 11123 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 341894541 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461691042024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12018] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12004 12006 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461689988088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12019] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12004 12006 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461688935688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461687884176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12021] ppid=12004 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12004 12006 11123 0 -1 4202560 3536 0 0 0 31 0 0 0 20 0 19 0 341894544 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461686831800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12022] ppid=12004 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12006/task/12022/stat : 12022 (java) S 12004 12006 11123 0 -1 4202560 2842 0 0 0 39 0 0 0 20 0 19 0 341894544 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461685779000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461684726904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12024] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12024/stat : 12024 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461683674312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12025] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12025/stat : 12025 (java) S 12004 12006 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341894581 3097006080 18063 33554432000 1073741824 1073778376 140734634480832 140461681472424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 3024420

[startup+3.10071 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 12025
/proc/meminfo: memFree=25323420/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=3024420 CPUtime=3.82 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 10625 0 1 0 379 3 0 0 20 0 19 0 341894538 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 756105 20111 2272 9 0 746526 0
[pid=12006/tid=12008] ppid=12004 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12004 12006 11123 0 -1 4202560 3047 0 1 0 304 2 0 0 20 0 19 0 341894539 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461727396264 140461554119984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12009] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461710821672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12010] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12004 12006 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461709768872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12011] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461708716584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12006/tid=12012] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461707663784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12013] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461706611496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12014] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461705558696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12015] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461704506408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12016] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12004 12006 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461703453608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12004 12006 11123 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 341894541 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461691042024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12018] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12004 12006 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461689988088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12019] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12004 12006 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461688935688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461687884176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12021] ppid=12004 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12004 12006 11123 0 -1 4202560 3536 0 0 0 33 0 0 0 20 0 19 0 341894544 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461686831800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12022] ppid=12004 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12006/task/12022/stat : 12022 (java) S 12004 12006 11123 0 -1 4202560 2842 0 0 0 39 0 0 0 20 0 19 0 341894544 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461685779000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461684726904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12024] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12024/stat : 12024 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461683674312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12025] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12025/stat : 12025 (java) S 12004 12006 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341894581 3097006080 20111 33554432000 1073741824 1073778376 140734634480832 140461681472424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 3024420

[startup+6.30073 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 12025
/proc/meminfo: memFree=25304720/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=3024420 CPUtime=7.03 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 10636 0 1 0 700 3 0 0 20 0 19 0 341894538 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 756105 24701 2273 9 0 746526 0
[pid=12006/tid=12008] ppid=12004 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12004 12006 11123 0 -1 4202560 3057 0 1 0 624 2 0 0 20 0 19 0 341894539 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461727396304 140461554193485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12009] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461710821672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12010] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12004 12006 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461709768872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12011] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461708716584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12006/tid=12012] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461707663784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12013] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461706611496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12014] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461705558696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12015] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461704506408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12016] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12004 12006 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341894540 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461703453608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12004 12006 11123 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 341894541 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461691042024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12018] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12004 12006 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461689988088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12019] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12004 12006 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461688935688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461687884176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12021] ppid=12004 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12004 12006 11123 0 -1 4202560 3536 0 0 0 33 0 0 0 20 0 19 0 341894544 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461686831800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12022] ppid=12004 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12006/task/12022/stat : 12022 (java) S 12004 12006 11123 0 -1 4202560 2842 0 0 0 39 0 0 0 20 0 19 0 341894544 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461685779000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461684726904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12024] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12024/stat : 12024 (java) S 12004 12006 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461683674312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12025] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12025/stat : 12025 (java) S 12004 12006 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341894581 3097006080 24701 33554432000 1073741824 1073778376 140734634480832 140461681472424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=12006/tid=12014] ppid=12004 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12004 12006 11123 0 -1 4202560 224 0 0 0 20 15 0 0 20 0 19 0 341894540 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461705558696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12015] ppid=12004 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12004 12006 11123 0 -1 4202560 209 0 0 0 29 13 0 0 20 0 19 0 341894540 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461704506408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12016] ppid=12004 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12004 12006 11123 0 -1 4202560 230 0 0 0 20 15 0 0 20 0 19 0 341894540 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461703453608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=3024420 CPUtime=1.9 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12004 12006 11123 0 -1 4202560 214 0 0 0 183 7 0 0 20 0 19 0 341894541 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461691042024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12018] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12004 12006 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461689988088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12019] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12004 12006 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461688935688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461687884176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12021] ppid=12004 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12004 12006 11123 0 -1 4202560 3790 0 0 0 43 0 0 0 20 0 19 0 341894544 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461686831800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12022] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12022/stat : 12022 (java) S 12004 12006 11123 0 -1 4202560 2847 0 0 0 41 0 0 0 20 0 19 0 341894544 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461685779000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461684726904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12024] ppid=12004 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/12006/task/12024/stat : 12024 (java) S 12004 12006 11123 0 -1 4202560 98 0 0 0 28 44 0 0 20 0 19 0 341894544 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461683674312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12025] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12025/stat : 12025 (java) S 12004 12006 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341894581 3097006080 418433 33554432000 1073741824 1073778376 140734634480832 140461681472424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.38
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12099
/proc/meminfo: memFree=23722920/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=3024420 CPUtime=1725.75 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 13418 0 1 0 172417 158 0 0 20 0 19 0 341894538 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 756105 418466 2302 9 0 746526 0
[pid=12006/tid=12008] ppid=12004 vsize=3024420 CPUtime=1719.3 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12004 12006 11123 0 -1 4202560 3239 0 1 0 171893 37 0 0 20 0 19 0 341894539 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461727395120 140461554193635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12009] ppid=12004 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12004 12006 11123 0 -1 4202560 209 0 0 0 26 12 0 0 20 0 19 0 341894540 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461710821672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12010] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12004 12006 11123 0 -1 4202560 222 0 0 0 28 13 0 0 20 0 19 0 341894540 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461709768872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12011] ppid=12004 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12004 12006 11123 0 -1 4202560 290 0 0 0 31 18 0 0 20 0 19 0 341894540 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461708716584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12012] ppid=12004 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12004 12006 11123 0 -1 4202560 422 0 0 0 39 16 0 0 20 0 19 0 341894540 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461707663784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12013] ppid=12004 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12004 12006 11123 0 -1 4202560 213 0 0 0 24 12 0 0 20 0 19 0 341894540 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461706611496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12006/tid=12014] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12004 12006 11123 0 -1 4202560 228 0 0 0 26 15 0 0 20 0 19 0 341894540 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461705558696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12015] ppid=12004 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12004 12006 11123 0 -1 4202560 209 0 0 0 34 13 0 0 20 0 19 0 341894540 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461704506408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12016] ppid=12004 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12004 12006 11123 0 -1 4202560 247 0 0 0 32 15 0 0 20 0 19 0 341894540 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461703453608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12004 12006 11123 0 -1 4202560 216 0 0 0 184 7 0 0 20 0 19 0 341894541 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461691042024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12018] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12004 12006 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461689988088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12019] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12004 12006 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461688935688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461687884176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12021] ppid=12004 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12004 12006 11123 0 -1 4202560 3790 0 0 0 43 0 0 0 20 0 19 0 341894544 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461686831800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12022] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12022/stat : 12022 (java) S 12004 12006 11123 0 -1 4202560 2847 0 0 0 41 0 0 0 20 0 19 0 341894544 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461685779000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461684726904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12024] ppid=12004 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/12006/task/12024/stat : 12024 (java) S 12004 12006 11123 0 -1 4202560 100 0 0 0 29 45 0 0 20 0 19 0 341894544 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461683674312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12025] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12025/stat : 12025 (java) S 12004 12006 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341894581 3097006080 418466 33554432000 1073741824 1073778376 140734634480832 140461681472424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.75
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12100
/proc/meminfo: memFree=23717084/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=3024420 CPUtime=1785.75 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 13422 0 1 0 178417 158 0 0 20 0 19 0 341894538 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 756105 419749 2302 9 0 746526 0
[pid=12006/tid=12008] ppid=12004 vsize=3024420 CPUtime=1779.3 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12004 12006 11123 0 -1 4202560 3239 0 1 0 177892 38 0 0 20 0 19 0 341894539 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461727395120 140461554120494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12009] ppid=12004 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12004 12006 11123 0 -1 4202560 209 0 0 0 26 12 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461710821672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12010] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12004 12006 11123 0 -1 4202560 222 0 0 0 28 13 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461709768872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12011] ppid=12004 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12004 12006 11123 0 -1 4202560 290 0 0 0 31 18 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461708716584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12012] ppid=12004 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12004 12006 11123 0 -1 4202560 422 0 0 0 39 16 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461707663784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12013] ppid=12004 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12004 12006 11123 0 -1 4202560 213 0 0 0 24 12 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461706611496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12006/tid=12014] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12004 12006 11123 0 -1 4202560 228 0 0 0 26 15 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461705558696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12015] ppid=12004 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12004 12006 11123 0 -1 4202560 209 0 0 0 34 13 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461704506408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12016] ppid=12004 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12004 12006 11123 0 -1 4202560 247 0 0 0 32 15 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461703453608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12004 12006 11123 0 -1 4202560 216 0 0 0 184 7 0 0 20 0 19 0 341894541 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461691042024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12018] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12004 12006 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461689988088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12019] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12004 12006 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461688935688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461687884176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12021] ppid=12004 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12004 12006 11123 0 -1 4202560 3790 0 0 0 43 0 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461686831800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12022] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12022/stat : 12022 (java) S 12004 12006 11123 0 -1 4202560 2847 0 0 0 41 0 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461685779000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461684726904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12024] ppid=12004 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12006/task/12024/stat : 12024 (java) S 12004 12006 11123 0 -1 4202560 104 0 0 0 30 47 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461683674312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12025] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12025/stat : 12025 (java) S 12004 12006 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341894581 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461681472424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.75
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12100
/proc/meminfo: memFree=23717212/32873648 swapFree=7120/7120
[pid=12006] ppid=12004 vsize=3024420 CPUtime=1800.05 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12004 12006 11123 0 -1 4202496 13422 0 1 0 179847 158 0 0 20 0 19 0 341894538 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140734634471968 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12006/statm: 756105 419749 2302 9 0 746526 0
[pid=12006/tid=12008] ppid=12004 vsize=3024420 CPUtime=1793.61 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12004 12006 11123 0 -1 4202560 3239 0 1 0 179323 38 0 0 20 0 19 0 341894539 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461727395120 140461554120338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12009] ppid=12004 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12004 12006 11123 0 -1 4202560 209 0 0 0 26 12 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461710821672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12010] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12004 12006 11123 0 -1 4202560 222 0 0 0 28 13 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461709768872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12011] ppid=12004 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12004 12006 11123 0 -1 4202560 290 0 0 0 31 18 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461708716584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12012] ppid=12004 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12004 12006 11123 0 -1 4202560 422 0 0 0 39 16 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461707663784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12013] ppid=12004 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12004 12006 11123 0 -1 4202560 213 0 0 0 24 12 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461706611496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12006/tid=12014] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12004 12006 11123 0 -1 4202560 228 0 0 0 26 15 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461705558696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12015] ppid=12004 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12004 12006 11123 0 -1 4202560 209 0 0 0 34 13 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461704506408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12016] ppid=12004 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12004 12006 11123 0 -1 4202560 247 0 0 0 32 15 0 0 20 0 19 0 341894540 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461703453608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12004 12006 11123 0 -1 4202560 216 0 0 0 184 7 0 0 20 0 19 0 341894541 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461691042024 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12018] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12004 12006 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461689988088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12019] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12004 12006 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341894542 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461688935688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461687884176 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12021] ppid=12004 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12004 12006 11123 0 -1 4202560 3790 0 0 0 43 0 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461686831800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12006/tid=12022] ppid=12004 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12006/task/12022/stat : 12022 (java) S 12004 12006 11123 0 -1 4202560 2847 0 0 0 41 0 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461685779000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (java) S 12004 12006 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461684726904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12006/tid=12024] ppid=12004 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/12006/task/12024/stat : 12024 (java) S 12004 12006 11123 0 -1 4202560 104 0 0 0 30 48 0 0 20 0 19 0 341894544 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461683674312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12006/tid=12025] ppid=12004 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12025/stat : 12025 (java) S 12004 12006 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341894581 3097006080 419749 33554432000 1073741824 1073778376 140734634480832 140461681472424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 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
Real time (s): 1796.62
CPU time (s): 1800.94
CPU user time (s): 1798.74
CPU system time (s): 2.20267
CPU usage (%): 100.24
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 2.20267
maximum resident set size= 1679112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13453
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= 38134
involuntary context switches= 16544

runsolver used 6.91995 second user time and 14.4828 second system time

The end

Launcher Data

Begin job on node114 at 2012-06-03 23:07:52
IDJOB=3741893
IDBENCH=90116
IDSOLVER=2319
FILE ID=node114/3741893-1338757672
RUNJOBID= node114-1338749374-11140
PBS_JOBID= 14636799
Free space on /tmp= 70136 MiB

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

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

MD5SUM BENCH= 8c2203c9ba90488459f210b4f3d3e3ed
RANDOM SEED=319447984

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25392536 kB
Buffers:         1062456 kB
Cached:          3726704 kB
SwapCached:         2244 kB
Active:          4602004 kB
Inactive:        1872264 kB
Active(anon):    1672012 kB
Inactive(anon):     8360 kB
Active(file):    2929992 kB
Inactive(file):  1863904 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              3928 kB
Writeback:             0 kB
AnonPages:       1683440 kB
Mapped:            19160 kB
Shmem:               100 kB
Slab:             865428 kB
SReclaimable:     309264 kB
SUnreclaim:       556164 kB
KernelStack:        1608 kB
PageTables:         7532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70132 MiB
End job on node114 at 2012-06-03 23:37:50