Trace number 3744176

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.02 1762.72

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_8_mh.opb
MD5SUMe48ee9240e6d9b52ec3ebd9cb27e0b8c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7759662
Best CPU time to get the best result obtained on this benchmark1800.54
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 17168297281
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 17168297281
Number of bits of the biggest sum of numbers34
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-3744176-1338795189.opb
0.09/0.10	c reading problem ... 
1.78/0.90	c ... done. Wall clock time 0.795s.
1.78/0.90	c CPU time (experimental) 0.86s.
1.78/0.90	c #vars     31350
1.78/0.90	c #constraints  74533
323.64/315.09	c cleaning 179431 clauses out of 359000 for limit 2.7203978553017544E10
332.27/323.49	c cleaning 93226 clauses out of 186569 for limit 5.760627678216904E-7
337.49/328.57	c cleaning 49632 clauses out of 99347 for limit 4.3950439721296343E-4
339.35/330.32	c cleaning 25814 clauses out of 51712 for limit 0.006226538240062197
341.00/331.95	c cleaning 13883 clauses out of 27897 for limit 0.08528438621778969
343.36/334.28	c cleaning 8194 clauses out of 16514 for limit 1.7573334894620105
614.28/600.08	c cleaning 143385 clauses out of 286820 for limit 1.0390252414676355
616.51/602.24	c cleaning 72697 clauses out of 145435 for limit 15.15619353934174
631.52/616.82	c cleaning 47847 clauses out of 95741 for limit 2.276331226828425E11
634.10/619.38	c cleaning 26411 clauses out of 52893 for limit 6.124343955641429E-7
636.74/621.90	c cleaning 15706 clauses out of 31480 for limit 1.5279632067426117E-4
640.77/625.82	c cleaning 11609 clauses out of 23274 for limit 0.3750722169053845
643.42/628.49	c cleaning 8538 clauses out of 17165 for limit 124.78341723010685
645.06/630.00	c cleaning 5773 clauses out of 11629 for limit 3712.467475872072
646.50/631.45	c cleaning 4632 clauses out of 9354 for limit 152802.28476410685
647.76/632.66	c cleaning 3817 clauses out of 7722 for limit 3723340.363301188
649.10/633.93	c cleaning 3452 clauses out of 6906 for limit 8.383122173094374E7
650.43/635.24	c cleaning 3186 clauses out of 6456 for limit 1.8074787219454126E9
651.65/636.47	c cleaning 2836 clauses out of 5772 for limit 2.470920947975341E10
652.80/637.56	c cleaning 2663 clauses out of 5432 for limit 3.1898245805596027E11
654.33/639.02	c cleaning 2832 clauses out of 5768 for limit 6.036735118836196E12
655.57/640.24	c cleaning 2967 clauses out of 5937 for limit 1.1809463190265558E14
657.09/641.78	c cleaning 3216 clauses out of 6471 for limit 3.597920200552485E-5
658.31/642.96	c cleaning 2840 clauses out of 5753 for limit 4.926505410083444E-4
659.75/644.35	c cleaning 2917 clauses out of 5915 for limit 0.009657905123778633
661.19/645.75	c cleaning 2962 clauses out of 5997 for limit 0.19142755180343288
662.41/646.98	c cleaning 2722 clauses out of 5534 for limit 2.527809038694795
663.78/648.25	c cleaning 2609 clauses out of 5312 for limit 32.12216332309887
665.11/649.57	c cleaning 2304 clauses out of 4703 for limit 268.35606903083055
667.79/652.14	c cleaning 3402 clauses out of 6902 for limit 16546.95034899526
669.05/653.39	c cleaning 2707 clauses out of 5500 for limit 153586.75945070662
670.58/654.84	c cleaning 2836 clauses out of 5790 for limit 2925968.7924124417
887.51/868.05	c cleaning 177202 clauses out of 354459 for limit 0.002584897768712606
893.08/873.50	c cleaning 92616 clauses out of 185253 for limit 14.743489163598621
896.11/876.56	c cleaning 48266 clauses out of 96636 for limit 1544.6822773778779
898.45/878.85	c cleaning 25899 clauses out of 51871 for limit 95560.6750733481
900.71/881.06	c cleaning 14629 clauses out of 29472 for limit 5579373.4350158665
902.62/882.98	c cleaning 9105 clauses out of 18347 for limit 2.985102402711582E8
902.93/883.22	c cleaning 4789 clauses out of 9738 for limit 9.237881025555357E8
904.24/884.53	c cleaning 3901 clauses out of 7951 for limit 2.280471909469332E10
904.44/884.74	c cleaning 2250 clauses out of 4547 for limit 6.5565273620691345E10
905.87/886.16	c cleaning 2641 clauses out of 5298 for limit 1.1330699244570933E12
906.07/886.37	c cleaning 1513 clauses out of 3157 for limit 3.135811663521056E12
907.51/887.75	c cleaning 2255 clauses out of 4643 for limit 4.2847617619989555E13
907.70/887.93	c cleaning 1366 clauses out of 2890 for limit 1.137502686671533E14
909.15/889.30	c cleaning 2488 clauses out of 5022 for limit 2.167183826747116E-5
909.25/889.48	c cleaning 1504 clauses out of 3034 for limit 5.915790286083923E-5
910.88/891.06	c cleaning 2469 clauses out of 5033 for limit 0.0011865776404726834
912.60/892.70	c cleaning 2985 clauses out of 6064 for limit 0.03267044930353072
914.45/894.51	c cleaning 3244 clauses out of 6579 for limit 0.9989543042228085
916.30/896.34	c cleaning 3626 clauses out of 7334 for limit 48.97530931368483
1155.30/1132.47	c cleaning 145063 clauses out of 290206 for limit 37963.473218163
1161.98/1139.07	c cleaning 76270 clauses out of 152647 for limit 1.315104925936448E8
1166.96/1143.97	c cleaning 41888 clauses out of 83873 for limit 4.326400884119798E11
1169.40/1146.31	c cleaning 22918 clauses out of 45985 for limit 4.316978057606181E13
1171.45/1148.39	c cleaning 13762 clauses out of 27567 for limit 6.496949766562866E-5
1173.17/1150.04	c cleaning 8642 clauses out of 17305 for limit 0.0034333542875989746
1174.71/1151.56	c cleaning 6027 clauses out of 12166 for limit 0.16249393523868785
1176.23/1153.00	c cleaning 4744 clauses out of 9641 for limit 6.815898560832005
1177.67/1154.47	c cleaning 4134 clauses out of 8392 for limit 258.46299719066315
1177.87/1154.64	c cleaning 2303 clauses out of 4758 for limit 751.7878466852761
1179.42/1156.16	c cleaning 2907 clauses out of 5956 for limit 19943.012898325178
1179.61/1156.35	c cleaning 1696 clauses out of 3552 for limit 55313.59995789226
1181.04/1157.70	c cleaning 2575 clauses out of 5353 for limit 1213934.661189908
1181.14/1157.87	c cleaning 1551 clauses out of 3279 for limit 3271459.4187328126
1182.48/1159.18	c cleaning 1109 clauses out of 2226 for limit 7931305.11778397
1183.93/1160.59	c cleaning 1781 clauses out of 3624 for limit 5.9841524096440904E7
1185.25/1161.85	c cleaning 2106 clauses out of 4336 for limit 6.058141516182654E8
1186.60/1163.18	c cleaning 2331 clauses out of 4735 for limit 6.800810883726457E9
1188.16/1164.65	c cleaning 2678 clauses out of 5400 for limit 1.1947696904780835E11
1189.71/1166.11	c cleaning 2857 clauses out of 5721 for limit 2.2662447917008574E12
1191.15/1167.50	c cleaning 2611 clauses out of 5364 for limit 2.948284794646401E13
1426.29/1397.85	c cleaning 236852 clauses out of 473755 for limit 1.5115376915785403E-4
1431.83/1403.39	c cleaning 120435 clauses out of 240901 for limit 0.01622976597045187
1433.98/1405.48	c cleaning 63457 clauses out of 126967 for limit 20.569372591150994
1437.55/1408.93	c cleaning 35972 clauses out of 72010 for limit 179006.65258547835
1442.21/1413.42	c cleaning 22731 clauses out of 45537 for limit 3.7959886741913943E9
1443.45/1414.65	c cleaning 12620 clauses out of 25306 for limit 8.331923139643181E10
1444.90/1416.00	c cleaning 7563 clauses out of 15186 for limit 1.6935764197409778E12
1446.04/1417.12	c cleaning 4783 clauses out of 9625 for limit 1.980341219702675E13
1447.37/1418.40	c cleaning 3641 clauses out of 7340 for limit 3.1612228825508413E-6
1449.93/1420.95	c cleaning 4563 clauses out of 9199 for limit 6.189068865282338E-4
1451.39/1422.36	c cleaning 4043 clauses out of 8136 for limit 0.023213798110842097
1452.85/1423.74	c cleaning 3517 clauses out of 7093 for limit 0.5356270546416116
1454.00/1424.88	c cleaning 3007 clauses out of 6076 for limit 7.627006823088721
1456.67/1427.48	c cleaning 4502 clauses out of 9069 for limit 2067.6791207633273
1458.01/1428.75	c cleaning 3749 clauses out of 7567 for limit 49848.73390893505
1459.44/1430.10	c cleaning 3408 clauses out of 6818 for limit 1112900.1255775555
1460.76/1431.42	c cleaning 3185 clauses out of 6411 for limit 2.383182193319058E7
1461.90/1432.57	c cleaning 2838 clauses out of 5725 for limit 3.252014358089868E8
1463.15/1433.72	c cleaning 2654 clauses out of 5387 for limit 4.2156097947972374E9
1464.57/1435.10	c cleaning 2863 clauses out of 5733 for limit 7.968209806466507E10
1465.71/1436.29	c cleaning 2878 clauses out of 5870 for limit 1.56545260384797E12
1467.16/1437.64	c cleaning 2955 clauses out of 5992 for limit 3.0849032063797406E13
1468.41/1438.82	c cleaning 2768 clauses out of 5538 for limit 4.075438482877499E14
1469.63/1440.09	c cleaning 2869 clauses out of 5770 for limit 7.86840675088782E-5
1470.97/1441.39	c cleaning 2922 clauses out of 5900 for limit 0.001546362873199125
1472.19/1442.53	c cleaning 2702 clauses out of 5479 for limit 0.02033181138397354
1473.42/1443.79	c cleaning 2852 clauses out of 5776 for limit 0.38757075439721467
1474.77/1445.04	c cleaning 2918 clauses out of 5924 for limit 7.601485213829518
1474.97/1445.20	c cleaning 1722 clauses out of 3506 for limit 21.181537461105975
1476.21/1446.46	c cleaning 2360 clauses out of 4786 for limit 312.75268242266174
1477.46/1447.61	c cleaning 2674 clauses out of 5424 for limit 5540.135096717227
1477.56/1447.80	c cleaning 1599 clauses out of 3254 for limit 15290.314612987959
1478.81/1448.98	c cleaning 2290 clauses out of 4653 for limit 214667.9535328076
1479.01/1449.14	c cleaning 1399 clauses out of 2862 for limit 574979.0413591139
1480.25/1450.33	c cleaning 2184 clauses out of 4462 for limit 7411274.315183343
1481.58/1451.63	c cleaning 2605 clauses out of 5280 for limit 1.2623880571143606E8
1482.84/1452.84	c cleaning 2816 clauses out of 5674 for limit 2.3606862941267753E9
1484.17/1454.17	c cleaning 2653 clauses out of 5357 for limit 3.0468486881356926E10
1485.42/1455.38	c cleaning 2599 clauses out of 5205 for limit 3.828827021608232E11
1486.76/1456.67	c cleaning 2804 clauses out of 5608 for limit 7.162799931141434E12
1488.10/1457.90	c cleaning 2884 clauses out of 5801 for limit 1.3887361700711545E14
1489.33/1459.11	c cleaning 2687 clauses out of 5417 for limit 1.8140247657273723E-5
1490.57/1460.33	c cleaning 2836 clauses out of 5732 for limit 3.4554149775534247E-4
1490.77/1460.52	c cleaning 1667 clauses out of 3399 for limit 9.638615387737941E-4
1491.90/1461.69	c cleaning 2324 clauses out of 4727 for limit 0.013872124450190402
1492.10/1461.86	c cleaning 1415 clauses out of 2905 for limit 0.037299872942884525
1493.25/1462.92	c cleaning 1950 clauses out of 3990 for limit 0.3312531589302414
1493.44/1463.15	c cleaning 1221 clauses out of 2539 for limit 0.857613479836206
1494.78/1464.42	c cleaning 2116 clauses out of 4320 for limit 10.159559970151983
1496.02/1465.64	c cleaning 2578 clauses out of 5203 for limit 169.5140224221757
1496.22/1465.84	c cleaning 1537 clauses out of 3123 for limit 464.80879230843027
1497.48/1467.06	c cleaning 2255 clauses out of 4589 for limit 6382.151634845446
1498.73/1468.27	c cleaning 2630 clauses out of 5332 for limit 110271.005308835
1499.03/1468.51	c cleaning 1599 clauses out of 3201 for limit 302612.7176239376
1500.07/1469.60	c cleaning 2265 clauses out of 4602 for limit 4234104.355584201
1501.39/1470.85	c cleaning 2625 clauses out of 5337 for limit 7.344230371328169E7
1501.59/1471.06	c cleaning 1569 clauses out of 3212 for limit 2.012444186552948E8
1503.02/1472.42	c cleaning 2276 clauses out of 4643 for limit 2.800502852792306E9
1504.14/1473.55	c cleaning 2398 clauses out of 4868 for limit 3.261355043560386E10
1504.44/1473.83	c cleaning 1487 clauses out of 2974 for limit 8.838969184519537E10
1505.48/1474.86	c cleaning 1964 clauses out of 3983 for limit 8.018140564895099E11
1505.68/1475.09	c cleaning 1218 clauses out of 2518 for limit 2.0895348622800798E12
1506.93/1476.25	c cleaning 1871 clauses out of 3800 for limit 1.6888893053921738E13
1775.04/1738.39	c cleaning 291924 clauses out of 583929 for limit 8450.399014656676
1789.54/1752.66	c cleaning 157183 clauses out of 314505 for limit 9.378310808733783E-7
1793.64/1756.64	c cleaning 81893 clauses out of 163823 for limit 0.001202647476019491
1797.19/1760.00	c cleaning 44433 clauses out of 88931 for limit 2.440489665247873
1800.02/1762.71	c starts		: 24
1800.02/1762.71	c conflicts		: 2780270
1800.02/1762.71	c decisions		: 5727012
1800.02/1762.71	c propagations		: 698425236
1800.02/1762.71	c inspects		: 6933778753
1800.02/1762.71	c learnt literals	: 0
1800.02/1762.71	c learnt binary clauses	: 84
1800.02/1762.71	c learnt ternary clauses	: 44
1800.02/1762.71	c learnt clauses	: 2780270
1800.02/1762.71	c root simplifications	: 0
1800.02/1762.71	c removed literals (reason simplification)	: 0
1800.02/1762.71	c reason swapping (by a shorter reason)	: 0
1800.02/1762.71	c Calls to reduceDB	: 139
1800.02/1762.71	c speed (decisions/second)	: 3250.869905306621
1800.02/1762.71	c non guided choices	6
1800.02/1762.71	s UNKNOWN
1800.02/1762.71	c Total wall clock time (ms): 1762.609

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-3744176-1338795189/watcher-3744176-1338795189 -o /tmp/evaluation-result-3744176-1338795189/solver-3744176-1338795189 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744176-1338795189.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: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9969/stat : 9969 (java) D 9967 9969 8924 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 345644592 9515008 183 33554432000 1073741824 1073778376 140734212600304 140734212591336 272886480565 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/9969/statm: 2323 183 140 9 0 71 0

[startup+0.09935 s]
/proc/loadavg: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 4911 0 1 0 8 1 0 0 20 0 18 0 345644592 3028844544 6609 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 739464 6609 2118 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.100298 s]
/proc/loadavg: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 4922 0 1 0 8 1 0 0 20 0 18 0 345644592 3028844544 6620 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 739464 6620 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300258 s]
/proc/loadavg: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 6005 0 1 0 46 2 0 0 20 0 18 0 345644592 3028844544 11910 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 739464 11910 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700176 s]
/proc/loadavg: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=2957856 CPUtime=1.31 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 10482 0 1 0 126 5 0 0 20 0 18 0 345644592 3028844544 46264 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 739464 46264 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 2957856

[startup+1.50072 s]
/proc/loadavg: 2.07 2.04 2.02 4/212 9987
/proc/meminfo: memFree=26424744/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=2.99 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 17193 0 1 0 290 9 0 0 20 0 19 0 345644592 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 93210 2279 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 3193 0 1 0 140 6 0 0 20 0 19 0 345644593 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217232241096 140217076996149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5239 0 0 0 65 2 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=0.82 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7564 0 0 0 81 1 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 3024420

[startup+3.10071 s]
/proc/loadavg: 2.07 2.04 2.02 3/213 9988
/proc/meminfo: memFree=26226268/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=4.78 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 17340 0 1 0 464 14 0 0 20 0 19 0 345644592 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 126008 2292 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=2.99 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 3239 0 1 0 292 7 0 0 20 0 19 0 345644593 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217232239840 140217076711446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5239 0 0 0 65 2 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=0.87 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7564 0 0 0 85 2 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 3024420

[startup+6.30075 s]
/proc/loadavg: 2.06 2.04 2.02 3/213 9988
/proc/meminfo: memFree=26199272/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=8.09 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 17356 0 1 0 794 15 0 0 20 0 19 0 345644592 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 126524 2292 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=6.14 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 3242 0 1 0 607 7 0 0 20 0 19 0 345644593 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217232239760 140217077000362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5239 0 0 0 65 2 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=0.88 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7564 0 0 0 86 2 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.06 2.04 2.02 3/213 9988
/proc/meminfo: memFree=26102660/32873844 swapFree=7112/7112

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

[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5245 0 0 0 67 2 0 0 20 0 19 0 345644599 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=1 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7575 0 0 0 98 2 0 0 20 0 19 0 345644599 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 96 0 0 0 28 33 0 0 20 0 19 0 345644599 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1697.5
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/214 10174
/proc/meminfo: memFree=25002904/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=1758.89 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 22347 0 1 0 175708 181 0 0 20 0 19 0 345644592 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 424024 2308 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=1701.86 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 4183 0 1 0 170148 38 0 0 20 0 19 0 345644593 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217232239840 140217077011215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=6.33 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 485 0 0 0 615 18 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 526 0 0 0 609 19 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=6.46 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 502 0 0 0 628 18 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=6.07 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 436 0 0 0 593 14 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=6.12 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 503 0 0 0 594 18 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=6.16 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 507 0 0 0 597 19 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=6.2 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 471 0 0 0 604 16 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 506 0 0 0 605 19 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0.91 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 128 0 0 0 86 5 0 0 20 0 19 0 345644596 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5245 0 0 0 67 2 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=1 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7575 0 0 0 98 2 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 98 0 0 0 29 34 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1758.89
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1762.7 s]
/proc/loadavg: 1.99 1.97 1.98 3/213 10175
/proc/meminfo: memFree=25003036/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 22377 0 1 0 179820 182 0 0 20 0 19 0 345644592 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 424037 2308 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=1741.89 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 4196 0 1 0 174150 39 0 0 20 0 19 0 345644593 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217232239744 140217076994013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=6.47 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 498 0 0 0 629 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=6.41 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 526 0 0 0 622 19 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=6.6 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 502 0 0 0 642 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=6.21 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 436 0 0 0 607 14 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 503 0 0 0 606 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 507 0 0 0 608 20 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=6.32 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 471 0 0 0 616 16 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=6.35 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 506 0 0 0 616 19 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0.91 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 130 0 0 0 86 5 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5245 0 0 0 67 2 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=1 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7575 0 0 0 98 2 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 100 0 0 0 29 35 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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+1762.7 s]
/proc/loadavg: 1.99 1.97 1.98 3/213 10175
/proc/meminfo: memFree=25003036/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 22377 0 1 0 179820 182 0 0 20 0 19 0 345644592 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 424037 2308 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=1741.89 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 4196 0 1 0 174150 39 0 0 20 0 19 0 345644593 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217232239744 140217076994013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=6.47 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 498 0 0 0 629 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=6.41 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 526 0 0 0 622 19 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=6.6 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 502 0 0 0 642 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=6.21 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 436 0 0 0 607 14 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 503 0 0 0 606 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 507 0 0 0 608 20 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=6.32 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 471 0 0 0 616 16 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=6.35 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 506 0 0 0 616 19 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0.91 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 130 0 0 0 86 5 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5245 0 0 0 67 2 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=1 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7575 0 0 0 98 2 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 100 0 0 0 29 35 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1762.72
CPU time (s): 1800.02
CPU user time (s): 1798.2
CPU system time (s): 1.82
CPU usage (%): 102.116
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 2.38164
maximum resident set size= 1696264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22406
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66417
involuntary context switches= 107198

runsolver used 6.84096 second user time and 13.8019 second system time

The end

Launcher Data

Begin job on node119 at 2012-06-04 09:33:09
IDJOB=3744176
IDBENCH=92701
IDSOLVER=2319
FILE ID=node119/3744176-1338795189
RUNJOBID= node119-1338784193-8940
PBS_JOBID= 14636847
Free space on /tmp= 70892 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_8_mh.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744176-1338795189/watcher-3744176-1338795189 -o /tmp/evaluation-result-3744176-1338795189/solver-3744176-1338795189 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744176-1338795189.opb           

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

MD5SUM BENCH= e48ee9240e6d9b52ec3ebd9cb27e0b8c
RANDOM SEED=229760111

node119.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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
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.943
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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
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.943
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.943
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.93
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.943
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.943
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.90
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.943
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:        26697948 kB
Buffers:          433892 kB
Cached:          3200988 kB
SwapCached:         1936 kB
Active:          3231928 kB
Inactive:        2093760 kB
Active(anon):    1685936 kB
Inactive(anon):     6616 kB
Active(file):    1545992 kB
Inactive(file):  2087144 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6380 kB
Writeback:             4 kB
AnonPages:       1695852 kB
Mapped:            20048 kB
Shmem:                 0 kB
Slab:             706596 kB
SReclaimable:     148472 kB
SUnreclaim:       558124 kB
KernelStack:        1600 kB
PageTables:         7528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1829916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70888 MiB
End job on node119 at 2012-06-04 10:02:34