Trace number 3744170

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.06 1756.83

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_5_mh.opb
MD5SUMdea82fb627e6a79192851c69f83767e0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6311552
Best CPU time to get the best result obtained on this benchmark1800.63
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 122763473
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 15648073763
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 122763473
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 15648073763
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.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.09	c no version file found!!!
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version	1.6.0_24
0.06/0.09	c os.name	Linux
0.06/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch	amd64
0.06/0.09	c Free memory 1599470296
0.06/0.09	c Max memory 1607860224
0.06/0.09	c Total memory 1607860224
0.06/0.09	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3744170-1338795187.opb
0.08/0.11	c reading problem ... 
1.81/0.93	c ... done. Wall clock time 0.817s.
1.81/0.93	c CPU time (experimental) 0.89s.
1.81/0.93	c #vars     31350
1.81/0.93	c #constraints  74533
387.12/375.08	c cleaning 279702 clauses out of 559501 for limit 0.0023012892439498575
389.59/377.40	c cleaning 141371 clauses out of 282798 for limit 0.09149482930480132
391.31/379.16	c cleaning 72164 clauses out of 144427 for limit 3.6037928287514394
393.27/381.07	c cleaning 37590 clauses out of 75266 for limit 139.52377824768803
394.82/382.53	c cleaning 19975 clauses out of 40173 for limit 3178.9866151748465
397.80/385.48	c cleaning 12470 clauses out of 25198 for limit 754077.1180377224
399.45/387.04	c cleaning 7761 clauses out of 15730 for limit 2.4347672822659962E7
402.17/389.64	c cleaning 6628 clauses out of 13467 for limit 6.9640367334808445E9
403.51/390.94	c cleaning 4555 clauses out of 9339 for limit 1.2249291590417207E11
404.85/392.29	c cleaning 3632 clauses out of 7284 for limit 1.9156706538255283E12
406.20/393.60	c cleaning 3313 clauses out of 6652 for limit 4.219625079959265E13
407.45/394.79	c cleaning 2913 clauses out of 5839 for limit 5.863636847271904E14
408.79/396.02	c cleaning 2693 clauses out of 5426 for limit 7.696711113622695E-5
409.82/397.04	c cleaning 2266 clauses out of 4733 for limit 6.526374921822129E-4
410.95/398.19	c cleaning 2381 clauses out of 4969 for limit 0.007597802243121247
412.09/399.27	c cleaning 2431 clauses out of 5086 for limit 0.09036308261600864
413.35/400.42	c cleaning 2472 clauses out of 5155 for limit 1.087472189038199
414.61/401.64	c cleaning 2726 clauses out of 5683 for limit 19.84287034938052
415.84/402.86	c cleaning 2875 clauses out of 5957 for limit 380.793803582333
417.00/403.90	c cleaning 2681 clauses out of 5582 for limit 4956.864825199136
417.10/404.09	c cleaning 1585 clauses out of 3405 for limit 13454.690924020457
418.33/405.22	c cleaning 2303 clauses out of 4816 for limit 190590.67085752424
418.43/405.38	c cleaning 1400 clauses out of 3013 for limit 502394.4954018597
419.57/406.44	c cleaning 2198 clauses out of 4613 for limit 6600789.320063439
420.91/407.74	c cleaning 2350 clauses out of 4915 for limit 7.556753205510628E7
422.08/408.86	c cleaning 2780 clauses out of 5568 for limit 1.345855370487575E9
422.28/409.07	c cleaning 1641 clauses out of 3285 for limit 3.7507195853077683E9
423.40/410.17	c cleaning 2320 clauses out of 4644 for limit 5.3369493494165E10
424.64/411.33	c cleaning 2662 clauses out of 5326 for limit 9.379689796305583E11
425.87/412.56	c cleaning 2828 clauses out of 5664 for limit 1.7741964877504832E13
426.07/412.78	c cleaning 1653 clauses out of 3335 for limit 4.964214020612037E13
427.01/413.69	c cleaning 1730 clauses out of 3681 for limit 3.3233000485379806E14
427.20/413.89	c cleaning 1131 clauses out of 2455 for limit 8.25045327322957E14
428.25/414.90	c cleaning 1900 clauses out of 3820 for limit 6.441801385872934E-5
428.44/415.07	c cleaning 1205 clauses out of 2422 for limit 1.6788869956232903E-4
429.56/416.18	c cleaning 1752 clauses out of 3716 for limit 0.0013334134205612836
430.79/417.31	c cleaning 2379 clauses out of 4963 for limit 0.02006305493526563
431.95/418.43	c cleaning 2693 clauses out of 5584 for limit 0.35869989532788527
432.05/418.59	c cleaning 1593 clauses out of 3392 for limit 0.9747903355232715
433.08/419.59	c cleaning 2300 clauses out of 4798 for limit 13.848655918544669
433.28/419.74	c cleaning 1399 clauses out of 3000 for limit 36.59919426472697
434.62/421.07	c cleaning 2702 clauses out of 5600 for limit 1071.562079744767
435.76/422.15	c cleaning 2596 clauses out of 5397 for limit 13548.707552755102
435.96/422.37	c cleaning 1552 clauses out of 3301 for limit 36530.92334270595
437.42/423.78	c cleaning 1835 clauses out of 3749 for limit 237910.86793626464
438.97/425.27	c cleaning 2405 clauses out of 4915 for limit 3654063.022392649
712.87/695.44	c cleaning 115717 clauses out of 231509 for limit 24688.426699376472
716.81/699.37	c cleaning 59603 clauses out of 119293 for limit 1591006.8676793084
719.37/701.82	c cleaning 31300 clauses out of 62690 for limit 6.09009499530432E7
721.32/703.74	c cleaning 16892 clauses out of 33889 for limit 1.3728039061564617E9
721.62/704.09	c cleaning 8683 clauses out of 17498 for limit 4.389037046962616E9
723.18/705.54	c cleaning 5585 clauses out of 11315 for limit 8.279088701215756E10
724.91/707.29	c cleaning 4295 clauses out of 8729 for limit 2.1566189186324077E12
962.44/938.53	c cleaning 187410 clauses out of 374935 for limit 4.873362375370938E11
966.98/942.94	c cleaning 96738 clauses out of 193525 for limit 3.820482876368878E-6
974.03/949.74	c cleaning 53881 clauses out of 107789 for limit 0.41378946416059115
976.38/952.01	c cleaning 28405 clauses out of 56908 for limit 15.76579483197431
978.25/953.89	c cleaning 15447 clauses out of 31001 for limit 352.30913312098266
980.24/955.78	c cleaning 8977 clauses out of 18056 for limit 7393.098925406483
982.30/957.71	c cleaning 5977 clauses out of 12076 for limit 221695.43263680342
983.75/959.14	c cleaning 4258 clauses out of 8601 for limit 3804340.3290446554
985.20/960.59	c cleaning 3359 clauses out of 6841 for limit 5.8226291450255945E7
1220.93/1190.83	c cleaning 177705 clauses out of 355484 for limit 0.09963963771476865
1223.97/1193.87	c cleaning 90880 clauses out of 181778 for limit 10.649358848696773
1226.33/1196.12	c cleaning 47143 clauses out of 94398 for limit 680.2886080418346
1230.57/1200.21	c cleaning 26545 clauses out of 53254 for limit 487461.01658061554
1232.84/1202.41	c cleaning 14763 clauses out of 29712 for limit 1.7627839789894883E7
1234.77/1204.39	c cleaning 9115 clauses out of 18446 for limit 9.391099686731646E8
1236.84/1206.33	c cleaning 6067 clauses out of 12331 for limit 2.8258927760391228E10
1238.51/1207.94	c cleaning 4272 clauses out of 8766 for limit 4.8584861523983997E11
1240.15/1209.54	c cleaning 3402 clauses out of 6992 for limit 7.415004645233481E12
1241.70/1211.08	c cleaning 3035 clauses out of 6090 for limit 1.038424651585454E14
1243.27/1212.53	c cleaning 2763 clauses out of 5558 for limit 1.3920560111860774E-5
1244.63/1213.83	c cleaning 2594 clauses out of 5292 for limit 1.777998198822697E-4
1246.17/1215.36	c cleaning 2502 clauses out of 5198 for limit 0.002207975815111738
1247.42/1216.60	c cleaning 2540 clauses out of 5196 for limit 0.026942685390233534
1248.75/1217.86	c cleaning 2771 clauses out of 5657 for limit 0.49830320142256873
1250.10/1219.17	c cleaning 2885 clauses out of 5885 for limit 9.625741604652882
1250.40/1219.40	c cleaning 1695 clauses out of 3507 for limit 26.825163021494298
1251.63/1220.60	c cleaning 2101 clauses out of 4307 for limit 265.10025179290705
1253.20/1222.17	c cleaning 2800 clauses out of 5706 for limit 6638.11013622961
1254.56/1223.46	c cleaning 2889 clauses out of 5907 for limit 129115.70889312627
1255.89/1224.76	c cleaning 2942 clauses out of 6016 for limit 2545098.094503735
1256.09/1224.98	c cleaning 1763 clauses out of 3573 for limit 7059935.160045933
1257.34/1226.19	c cleaning 2399 clauses out of 4810 for limit 1.054930804916178E8
1257.54/1226.39	c cleaning 1389 clauses out of 2912 for limit 2.8765245096312976E8
1258.98/1227.71	c cleaning 2230 clauses out of 4522 for limit 3.7224571031040797E9
1260.32/1229.03	c cleaning 2587 clauses out of 5292 for limit 6.3984642279726364E10
1261.66/1230.35	c cleaning 2785 clauses out of 5705 for limit 1.1939200762211392E12
1262.91/1231.54	c cleaning 2706 clauses out of 5420 for limit 1.5328902163418867E13
1263.11/1231.75	c cleaning 1605 clauses out of 3216 for limit 4.268931728722273E13
1264.25/1232.88	c cleaning 2052 clauses out of 4109 for limit 4.0673310270127094E14
1265.49/1234.07	c cleaning 2266 clauses out of 4560 for limit 4.483981257623837E-5
1265.69/1234.30	c cleaning 1389 clauses out of 2794 for limit 1.2068633991577451E-4
1266.92/1235.46	c cleaning 1876 clauses out of 3902 for limit 0.0010509284593511583
1268.37/1236.82	c cleaning 2444 clauses out of 5027 for limit 0.016425604691900207
1269.62/1238.06	c cleaning 2470 clauses out of 5083 for limit 0.1981479470969153
1269.82/1238.28	c cleaning 1498 clauses out of 3113 for limit 0.5335639183501135
1271.16/1239.55	c cleaning 2252 clauses out of 4614 for limit 7.2341713946198265
1272.69/1241.08	c cleaning 2607 clauses out of 5364 for limit 125.42437934271273
1274.03/1242.31	c cleaning 2810 clauses out of 5755 for limit 2346.8844116945857
1274.23/1242.52	c cleaning 1653 clauses out of 3446 for limit 6470.117295384553
1275.46/1243.71	c cleaning 2329 clauses out of 4793 for limit 93574.02704530732
1276.81/1245.03	c cleaning 2655 clauses out of 5463 for limit 1649804.0253499153
1278.27/1246.46	c cleaning 3086 clauses out of 6308 for limit 4.739833474864379E7
1279.50/1247.70	c cleaning 3045 clauses out of 6222 for limit 9.666295863040816E8
1279.70/1247.88	c cleaning 1836 clauses out of 3678 for limit 2.6994094530953026E9
1280.83/1248.97	c cleaning 2168 clauses out of 4341 for limit 2.7869913882050877E10
1281.03/1249.14	c cleaning 1330 clauses out of 2673 for limit 7.464184071339752E10
1282.37/1250.47	c cleaning 2096 clauses out of 4344 for limit 9.248287387412168E11
1283.81/1251.85	c cleaning 2554 clauses out of 5250 for limit 1.542397013391398E13
1563.59/1527.10	c cleaning 136742 clauses out of 273693 for limit 1.6690871458337555E9
1570.74/1533.98	c cleaning 71671 clauses out of 143451 for limit 2.1250328770867866E12
1575.21/1538.22	c cleaning 41132 clauses out of 82280 for limit 0.0013525352039159791
1579.51/1542.31	c cleaning 25813 clauses out of 51650 for limit 78.81614437269295
1580.94/1543.75	c cleaning 14122 clauses out of 28335 for limit 1748.9311221029884
1582.40/1545.13	c cleaning 8303 clauses out of 16713 for limit 36167.70443054844
1583.85/1546.53	c cleaning 5402 clauses out of 10910 for limit 675818.4478168858
1586.89/1549.42	c cleaning 5211 clauses out of 10512 for limit 1.0477709617222004E8
1588.26/1550.74	c cleaning 4135 clauses out of 8302 for limit 2.6713993446514397E9
1589.81/1552.22	c cleaning 3324 clauses out of 6662 for limit 4.040394692631531E10
1592.62/1554.93	c cleaning 4164 clauses out of 8341 for limit 4.815847262179156E12
1800.06/1756.82	c starts		: 24
1800.06/1756.82	c conflicts		: 2403780
1800.06/1756.82	c decisions		: 4937752
1800.06/1756.82	c propagations		: 690730350
1800.06/1756.82	c inspects		: 6582765159
1800.06/1756.82	c learnt literals	: 0
1800.06/1756.82	c learnt binary clauses	: 115
1800.06/1756.82	c learnt ternary clauses	: 48
1800.06/1756.82	c learnt clauses	: 2403780
1800.06/1756.82	c root simplifications	: 0
1800.06/1756.82	c removed literals (reason simplification)	: 0
1800.06/1756.82	c reason swapping (by a shorter reason)	: 0
1800.06/1756.82	c Calls to reduceDB	: 122
1800.06/1756.82	c speed (decisions/second)	: 2812.3176358486558
1800.06/1756.82	c non guided choices	0
1800.06/1756.82	s UNKNOWN
1800.06/1756.82	c Total wall clock time (ms): 1756.704

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-3744170-1338795187/watcher-3744170-1338795187 -o /tmp/evaluation-result-3744170-1338795187/solver-3744170-1338795187 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744170-1338795187.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: 2.00 2.02 2.04 3/194 17333
/proc/meminfo: memFree=25756460/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17333/stat : 17333 (java) D 17331 17333 14240 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 345643112 9515008 175 33554432000 1073741824 1073778376 140734743078832 140734743061560 254750311312 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17333/statm: 2323 175 133 9 0 71 0

[startup+0.0831011 s]
/proc/loadavg: 2.00 2.02 2.04 3/194 17333
/proc/meminfo: memFree=25756460/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=2956804 CPUtime=0.06 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 4079 0 1 0 5 1 0 0 20 0 18 0 345643112 3027767296 5798 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 739201 5798 1769 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2956804

[startup+0.100339 s]
/proc/loadavg: 2.00 2.02 2.04 3/194 17333
/proc/meminfo: memFree=25756460/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 4142 0 1 0 7 1 0 0 20 0 18 0 345643112 3028844544 5860 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 739464 5860 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300306 s]
/proc/loadavg: 2.00 2.02 2.04 3/194 17333
/proc/meminfo: memFree=25756460/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 5958 0 1 0 45 2 0 0 20 0 18 0 345643112 3028844544 11385 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 739464 11385 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856

[startup+0.70032 s]
/proc/loadavg: 2.00 2.02 2.04 3/194 17333
/proc/meminfo: memFree=25756460/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=2957856 CPUtime=1.27 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 9177 0 1 0 123 4 0 0 20 0 18 0 345643112 3028844544 42598 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 739464 42598 2259 9 0 729885 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2957856

[startup+1.5008 s]
/proc/loadavg: 2.00 2.02 2.04 5/212 17351
/proc/meminfo: memFree=25485552/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=3024420 CPUtime=3.01 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 18014 0 1 0 293 8 0 0 20 0 19 0 345643112 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 756105 82514 2279 9 0 746526 0
[pid=17333/tid=17335] ppid=17331 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/17333/task/17335/stat : 17335 (java) R 17331 17333 14240 0 -1 4202560 3196 0 1 0 140 6 0 0 20 0 19 0 345643113 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593312719304 140593154971156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17336] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17336/stat : 17336 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593296153000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17337] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17337/stat : 17337 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593295100456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17338] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17338/stat : 17338 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593294047400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17333/tid=17339] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17339/stat : 17339 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593292994856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17340] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17340/stat : 17340 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593291942824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17341] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17341/stat : 17341 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593290890280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17342] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17342/stat : 17342 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593289837224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17343] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17343/stat : 17343 (java) S 17331 17333 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593288784680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17344] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17344/stat : 17344 (java) S 17331 17333 14240 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345643115 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593276373352 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17345] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17345/stat : 17345 (java) S 17331 17333 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593275319672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17346] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17346/stat : 17346 (java) S 17331 17333 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593274266504 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17347] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17347/stat : 17347 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593273215248 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17348] ppid=17331 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/17333/task/17348/stat : 17348 (java) S 17331 17333 14240 0 -1 4202560 6115 0 0 0 64 1 0 0 20 0 19 0 345643119 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593153960760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17349] ppid=17331 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/17333/task/17349/stat : 17349 (java) S 17331 17333 14240 0 -1 4202560 7509 0 0 0 85 0 0 0 20 0 19 0 345643119 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593152908216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17350] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17350/stat : 17350 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593151855352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17351] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17351/stat : 17351 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 82514 33554432000 1073741824 1073778376 140736110763040 140593150803016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 3024420

[startup+3.10079 s]
/proc/loadavg: 2.00 2.02 2.04 3/213 17352
/proc/meminfo: memFree=25312636/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=3024420 CPUtime=4.72 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 18137 0 1 0 459 13 0 0 20 0 19 0 345643112 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 756105 119403 2292 9 0 746526 0
[pid=17333/tid=17335] ppid=17331 vsize=3024420 CPUtime=3.01 cores=1,3,5,7
/proc/17333/task/17335/stat : 17335 (java) R 17331 17333 14240 0 -1 4202560 3261 0 1 0 293 8 0 0 20 0 19 0 345643113 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593312727432 140593154708494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17336] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17336/stat : 17336 (java) S 17331 17333 14240 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593296153000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17337] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17337/stat : 17337 (java) S 17331 17333 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593295100456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17338] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17338/stat : 17338 (java) S 17331 17333 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593294047400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17333/tid=17339] ppid=17331 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/17333/task/17339/stat : 17339 (java) S 17331 17333 14240 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 345643114 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593292994856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17340] ppid=17331 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/17333/task/17340/stat : 17340 (java) S 17331 17333 14240 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 345643114 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593291942824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17341] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17341/stat : 17341 (java) S 17331 17333 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593290890280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17333/tid=17342] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17342/stat : 17342 (java) S 17331 17333 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593289837224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17343] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17343/stat : 17343 (java) S 17331 17333 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345643114 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593288784680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17344] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17344/stat : 17344 (java) S 17331 17333 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345643115 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593276373352 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17345] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17345/stat : 17345 (java) S 17331 17333 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593275319672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17346] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17346/stat : 17346 (java) S 17331 17333 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593274266504 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17347] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17347/stat : 17347 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593273215248 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17348] ppid=17331 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/17333/task/17348/stat : 17348 (java) S 17331 17333 14240 0 -1 4202560 6115 0 0 0 64 1 0 0 20 0 19 0 345643119 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593153960760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17349] ppid=17331 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/17333/task/17349/stat : 17349 (java) S 17331 17333 14240 0 -1 4202560 7509 0 0 0 85 0 0 0 20 0 19 0 345643119 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593152908216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17350] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17350/stat : 17350 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593151855352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17351] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17351/stat : 17351 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593150803016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17352] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17352/stat : 17352 (java) S 17331 17333 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345643218 3097006080 119403 33554432000 1073741824 1073778376 140736110763040 140593148671016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 3024420

[startup+6.30087 s]
/proc/loadavg: 2.00 2.02 2.04 3/213 17352
/proc/meminfo: memFree=25261124/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=3024420 CPUtime=8.12 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 18211 0 1 0 794 18 0 0 20 0 19 0 345643112 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 756105 125270 2292 9 0 746526 0
[pid=17333/tid=17335] ppid=17331 vsize=3024420 CPUtime=6.12 cores=1,3,5,7
/proc/17333/task/17335/stat : 17335 (java) R 17331 17333 14240 0 -1 4202560 3265 0 1 0 604 8 0 0 20 0 19 0 345643113 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593312726272 140593154971535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17336] ppid=17331 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/17333/task/17336/stat : 17336 (java) S 17331 17333 14240 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 345643114 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593296153000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17337] ppid=17331 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/17333/task/17337/stat : 17337 (java) S 17331 17333 14240 0 -1 4202560 19 0 0 0 3 2 0 0 20 0 19 0 345643114 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593295100456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17338] ppid=17331 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/17333/task/17338/stat : 17338 (java) S 17331 17333 14240 0 -1 4202560 17 0 0 0 3 2 0 0 20 0 19 0 345643114 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593294047400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17333/tid=17339] ppid=17331 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/17333/task/17339/stat : 17339 (java) S 17331 17333 14240 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 345643114 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593292994856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17340] ppid=17331 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/17333/task/17340/stat : 17340 (java) S 17331 17333 14240 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 345643114 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593291942824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17341] ppid=17331 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/17333/task/17341/stat : 17341 (java) S 17331 17333 14240 0 -1 4202560 12 0 0 0 4 0 0 0 20 0 19 0 345643114 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593290890280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17342] ppid=17331 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/17333/task/17342/stat : 17342 (java) S 17331 17333 14240 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 345643114 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593289837224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17343] ppid=17331 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/17333/task/17343/stat : 17343 (java) S 17331 17333 14240 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 345643114 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593288784680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17344] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17344/stat : 17344 (java) S 17331 17333 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345643115 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593276373352 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17345] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17345/stat : 17345 (java) S 17331 17333 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593275319672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17346] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17346/stat : 17346 (java) S 17331 17333 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593274266504 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17347] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17347/stat : 17347 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593273215248 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17348] ppid=17331 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/17333/task/17348/stat : 17348 (java) S 17331 17333 14240 0 -1 4202560 6115 0 0 0 64 1 0 0 20 0 19 0 345643119 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593153960760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17349] ppid=17331 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/17333/task/17349/stat : 17349 (java) S 17331 17333 14240 0 -1 4202560 7509 0 0 0 86 0 0 0 20 0 19 0 345643119 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593152908216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17350] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17350/stat : 17350 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593151855352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17351] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17351/stat : 17351 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593150803016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17352] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17352/stat : 17352 (java) S 17331 17333 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345643218 3097006080 125270 33554432000 1073741824 1073778376 140736110763040 140593148671016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 3024420

[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.04 3/213 17352
/proc/meminfo: memFree=25156584/32873844 swapFree=7628/7628

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

[pid=17333/tid=17348] ppid=17331 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/17333/task/17348/stat : 17348 (java) S 17331 17333 14240 0 -1 4202560 6122 0 0 0 74 1 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593153960760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17349] ppid=17331 vsize=3024420 CPUtime=0.96 cores=1,3,5,7
/proc/17333/task/17349/stat : 17349 (java) S 17331 17333 14240 0 -1 4202560 7517 0 0 0 96 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593152908216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17350] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17350/stat : 17350 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593151855352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17351] ppid=17331 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/17333/task/17351/stat : 17351 (java) S 17331 17333 14240 0 -1 4202560 94 0 0 0 49 44 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593150803016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17352] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17352/stat : 17352 (java) S 17331 17333 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345643218 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593148671016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1702.63
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.13 2.08 2.03 3/214 17446
/proc/meminfo: memFree=23902228/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=3024420 CPUtime=1764.47 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 24206 0 1 0 176210 237 0 0 20 0 19 0 345643112 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 756105 423751 2308 9 0 746526 0
[pid=17333/tid=17335] ppid=17331 vsize=3024420 CPUtime=1699.91 cores=1,3,5,7
/proc/17333/task/17335/stat : 17335 (java) R 17331 17333 14240 0 -1 4202560 4165 0 1 0 169952 39 0 0 20 0 19 0 345643113 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593312726272 140593154481325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17336] ppid=17331 vsize=3024420 CPUtime=7.13 cores=1,3,5,7
/proc/17333/task/17336/stat : 17336 (java) S 17331 17333 14240 0 -1 4202560 522 0 0 0 690 23 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593296153000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17337] ppid=17331 vsize=3024420 CPUtime=7.24 cores=1,3,5,7
/proc/17333/task/17337/stat : 17337 (java) S 17331 17333 14240 0 -1 4202560 498 0 0 0 701 23 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593295100456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17338] ppid=17331 vsize=3024420 CPUtime=6.97 cores=1,3,5,7
/proc/17333/task/17338/stat : 17338 (java) S 17331 17333 14240 0 -1 4202560 474 0 0 0 677 20 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593294047400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17339] ppid=17331 vsize=3024420 CPUtime=6.74 cores=1,3,5,7
/proc/17333/task/17339/stat : 17339 (java) S 17331 17333 14240 0 -1 4202560 495 0 0 0 653 21 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593292994856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17340] ppid=17331 vsize=3024420 CPUtime=6.97 cores=1,3,5,7
/proc/17333/task/17340/stat : 17340 (java) S 17331 17333 14240 0 -1 4202560 503 0 0 0 675 22 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593291942824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17341] ppid=17331 vsize=3024420 CPUtime=6.83 cores=1,3,5,7
/proc/17333/task/17341/stat : 17341 (java) S 17331 17333 14240 0 -1 4202560 482 0 0 0 663 20 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593290890280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17333/tid=17342] ppid=17331 vsize=3024420 CPUtime=7.18 cores=1,3,5,7
/proc/17333/task/17342/stat : 17342 (java) S 17331 17333 14240 0 -1 4202560 499 0 0 0 696 22 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593289837224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17333/tid=17343] ppid=17331 vsize=3024420 CPUtime=7.18 cores=1,3,5,7
/proc/17333/task/17343/stat : 17343 (java) S 17331 17333 14240 0 -1 4202560 495 0 0 0 699 19 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593288784680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17344] ppid=17331 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/17333/task/17344/stat : 17344 (java) S 17331 17333 14240 0 -1 4202560 1154 0 0 0 140 5 0 0 20 0 19 0 345643115 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593276373352 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17345] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17345/stat : 17345 (java) S 17331 17333 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593275319672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17346] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17346/stat : 17346 (java) S 17331 17333 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593274266504 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17347] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17347/stat : 17347 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593273215248 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17348] ppid=17331 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/17333/task/17348/stat : 17348 (java) S 17331 17333 14240 0 -1 4202560 6122 0 0 0 74 1 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593153960760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17349] ppid=17331 vsize=3024420 CPUtime=0.96 cores=1,3,5,7
/proc/17333/task/17349/stat : 17349 (java) S 17331 17333 14240 0 -1 4202560 7517 0 0 0 96 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593152908216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17350] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17350/stat : 17350 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593151855352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17351] ppid=17331 vsize=3024420 CPUtime=0.96 cores=1,3,5,7
/proc/17333/task/17351/stat : 17351 (java) S 17331 17333 14240 0 -1 4202560 98 0 0 0 51 45 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593150803016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17352] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17352/stat : 17352 (java) S 17331 17333 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345643218 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593148671016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1764.47
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1756.81 s]
/proc/loadavg: 2.07 2.07 2.03 3/213 17447
/proc/meminfo: memFree=23893920/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 24234 0 1 0 179766 240 0 0 20 0 19 0 345643112 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 756105 423751 2308 9 0 746526 0
[pid=17333/tid=17335] ppid=17331 vsize=3024420 CPUtime=1733.86 cores=1,3,5,7
/proc/17333/task/17335/stat : 17335 (java) R 17331 17333 14240 0 -1 4202560 4189 0 1 0 173346 40 0 0 20 0 19 0 345643113 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593312726224 140593155076080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17336] ppid=17331 vsize=3024420 CPUtime=7.31 cores=1,3,5,7
/proc/17333/task/17336/stat : 17336 (java) S 17331 17333 14240 0 -1 4202560 522 0 0 0 708 23 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593296153000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17337] ppid=17331 vsize=3024420 CPUtime=7.44 cores=1,3,5,7
/proc/17333/task/17337/stat : 17337 (java) S 17331 17333 14240 0 -1 4202560 498 0 0 0 720 24 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593295100456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17333/tid=17338] ppid=17331 vsize=3024420 CPUtime=7.15 cores=1,3,5,7
/proc/17333/task/17338/stat : 17338 (java) S 17331 17333 14240 0 -1 4202560 474 0 0 0 695 20 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593294047400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17339] ppid=17331 vsize=3024420 CPUtime=6.97 cores=1,3,5,7
/proc/17333/task/17339/stat : 17339 (java) S 17331 17333 14240 0 -1 4202560 495 0 0 0 675 22 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593292994856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17340] ppid=17331 vsize=3024420 CPUtime=7.15 cores=1,3,5,7
/proc/17333/task/17340/stat : 17340 (java) S 17331 17333 14240 0 -1 4202560 503 0 0 0 693 22 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593291942824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17341] ppid=17331 vsize=3024420 CPUtime=7 cores=1,3,5,7
/proc/17333/task/17341/stat : 17341 (java) S 17331 17333 14240 0 -1 4202560 482 0 0 0 680 20 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593290890280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17342] ppid=17331 vsize=3024420 CPUtime=7.36 cores=1,3,5,7
/proc/17333/task/17342/stat : 17342 (java) S 17331 17333 14240 0 -1 4202560 499 0 0 0 714 22 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593289837224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17343] ppid=17331 vsize=3024420 CPUtime=7.41 cores=1,3,5,7
/proc/17333/task/17343/stat : 17343 (java) S 17331 17333 14240 0 -1 4202560 495 0 0 0 722 19 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593288784680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17344] ppid=17331 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/17333/task/17344/stat : 17344 (java) S 17331 17333 14240 0 -1 4202560 1156 0 0 0 140 5 0 0 20 0 19 0 345643115 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593276373352 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17345] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17345/stat : 17345 (java) S 17331 17333 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593275319672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17346] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17346/stat : 17346 (java) S 17331 17333 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593274266504 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17347] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17347/stat : 17347 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593273215248 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17348] ppid=17331 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/17333/task/17348/stat : 17348 (java) S 17331 17333 14240 0 -1 4202560 6122 0 0 0 74 1 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593153960760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17349] ppid=17331 vsize=3024420 CPUtime=0.96 cores=1,3,5,7
/proc/17333/task/17349/stat : 17349 (java) S 17331 17333 14240 0 -1 4202560 7517 0 0 0 96 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593152908216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17350] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17350/stat : 17350 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593151855352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17351] ppid=17331 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/17333/task/17351/stat : 17351 (java) S 17331 17333 14240 0 -1 4202560 100 0 0 0 52 46 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593150803016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17352] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17352/stat : 17352 (java) S 17331 17333 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345643218 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593148671016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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+1756.81 s]
/proc/loadavg: 2.07 2.07 2.03 3/213 17447
/proc/meminfo: memFree=23893920/32873844 swapFree=7628/7628
[pid=17333] ppid=17331 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/17333/stat : 17333 (java) S 17331 17333 14240 0 -1 4202496 24234 0 1 0 179766 240 0 0 20 0 19 0 345643112 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140736110754176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17333/statm: 756105 423751 2308 9 0 746526 0
[pid=17333/tid=17335] ppid=17331 vsize=3024420 CPUtime=1733.86 cores=1,3,5,7
/proc/17333/task/17335/stat : 17335 (java) R 17331 17333 14240 0 -1 4202560 4189 0 1 0 173346 40 0 0 20 0 19 0 345643113 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593312726224 140593155076080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17336] ppid=17331 vsize=3024420 CPUtime=7.31 cores=1,3,5,7
/proc/17333/task/17336/stat : 17336 (java) S 17331 17333 14240 0 -1 4202560 522 0 0 0 708 23 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593296153000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17337] ppid=17331 vsize=3024420 CPUtime=7.44 cores=1,3,5,7
/proc/17333/task/17337/stat : 17337 (java) S 17331 17333 14240 0 -1 4202560 498 0 0 0 720 24 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593295100456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17333/tid=17338] ppid=17331 vsize=3024420 CPUtime=7.15 cores=1,3,5,7
/proc/17333/task/17338/stat : 17338 (java) S 17331 17333 14240 0 -1 4202560 474 0 0 0 695 20 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593294047400 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17339] ppid=17331 vsize=3024420 CPUtime=6.97 cores=1,3,5,7
/proc/17333/task/17339/stat : 17339 (java) S 17331 17333 14240 0 -1 4202560 495 0 0 0 675 22 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593292994856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17340] ppid=17331 vsize=3024420 CPUtime=7.15 cores=1,3,5,7
/proc/17333/task/17340/stat : 17340 (java) S 17331 17333 14240 0 -1 4202560 503 0 0 0 693 22 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593291942824 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17341] ppid=17331 vsize=3024420 CPUtime=7 cores=1,3,5,7
/proc/17333/task/17341/stat : 17341 (java) S 17331 17333 14240 0 -1 4202560 482 0 0 0 680 20 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593290890280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17342] ppid=17331 vsize=3024420 CPUtime=7.36 cores=1,3,5,7
/proc/17333/task/17342/stat : 17342 (java) S 17331 17333 14240 0 -1 4202560 499 0 0 0 714 22 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593289837224 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17343] ppid=17331 vsize=3024420 CPUtime=7.41 cores=1,3,5,7
/proc/17333/task/17343/stat : 17343 (java) S 17331 17333 14240 0 -1 4202560 495 0 0 0 722 19 0 0 20 0 19 0 345643114 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593288784680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17344] ppid=17331 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/17333/task/17344/stat : 17344 (java) S 17331 17333 14240 0 -1 4202560 1156 0 0 0 140 5 0 0 20 0 19 0 345643115 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593276373352 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17345] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17345/stat : 17345 (java) S 17331 17333 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593275319672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17346] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17346/stat : 17346 (java) S 17331 17333 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345643116 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593274266504 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17347] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17347/stat : 17347 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593273215248 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17348] ppid=17331 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/17333/task/17348/stat : 17348 (java) S 17331 17333 14240 0 -1 4202560 6122 0 0 0 74 1 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593153960760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17333/tid=17349] ppid=17331 vsize=3024420 CPUtime=0.96 cores=1,3,5,7
/proc/17333/task/17349/stat : 17349 (java) S 17331 17333 14240 0 -1 4202560 7517 0 0 0 96 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593152908216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17350] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17350/stat : 17350 (java) S 17331 17333 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593151855352 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17333/tid=17351] ppid=17331 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/17333/task/17351/stat : 17351 (java) S 17331 17333 14240 0 -1 4202560 100 0 0 0 52 46 0 0 20 0 19 0 345643119 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593150803016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17333/tid=17352] ppid=17331 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17333/task/17352/stat : 17352 (java) S 17331 17333 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345643218 3097006080 423751 33554432000 1073741824 1073778376 140736110763040 140593148671016 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1756.83
CPU time (s): 1800.06
CPU user time (s): 1797.66
CPU system time (s): 2.4
CPU usage (%): 102.461
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.28
system time used= 2.78358
maximum resident set size= 1695124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24265
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= 65599
involuntary context switches= 110035

runsolver used 6.51301 second user time and 16.1815 second system time

The end

Launcher Data

Begin job on node145 at 2012-06-04 09:33:07
IDJOB=3744170
IDBENCH=92700
IDSOLVER=2319
FILE ID=node145/3744170-1338795187
RUNJOBID= node145-1338762649-14257
PBS_JOBID= 14636810
Free space on /tmp= 70920 MiB

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

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

MD5SUM BENCH= dea82fb627e6a79192851c69f83767e0
RANDOM SEED=1977970689

node145.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		: 2667.149
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	: 5334.29
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		: 2667.149
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		: 2667.149
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	: 5313.38
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25757096 kB
Buffers:          455756 kB
Cached:          4939624 kB
SwapCached:            0 kB
Active:          2577216 kB
Inactive:        3669424 kB
Active(anon):     842052 kB
Inactive(anon):    10916 kB
Active(file):    1735164 kB
Inactive(file):  3658508 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              6296 kB
Writeback:             0 kB
AnonPages:        859812 kB
Mapped:            22348 kB
Shmem:               200 kB
Slab:             726644 kB
SReclaimable:     167968 kB
SUnreclaim:       558676 kB
KernelStack:        1600 kB
PageTables:         5868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    811008 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= 70892 MiB
End job on node145 at 2012-06-04 10:02:26