Trace number 3742010

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K82.opb
MD5SUM007cb74ee15cb0b4c01d23d6abd9d82b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5576
Total number of constraints5742
Number of constraints which are clauses5660
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint82
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 83
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.02/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.02/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.02/0.07	c no version file found!!!
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version	1.6.0_24
0.02/0.07	c os.name	Linux
0.02/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.02/0.07	c os.arch	amd64
0.02/0.07	c Free memory 1599470296
0.02/0.07	c Max memory 1607860224
0.02/0.07	c Total memory 1607860224
0.02/0.07	c Number of processors 8
0.02/0.09	--- Begin Solver configuration ---
0.02/0.09	c Stops conflict analysis at the first Unique Implication Point
0.02/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.02/0.09	c Learn all clauses as in MiniSAT
0.02/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.02/0.09	c No reason simplification
0.02/0.09	c --- End Solver configuration ---
0.02/0.09	c solving HOME/instance-3742010-1338759932.opb
0.02/0.09	c reading problem ... 
0.59/0.40	c ... done. Wall clock time 0.309s.
0.59/0.45	c CPU time (experimental) 0.38s.
0.59/0.45	c #vars     5576
0.59/0.45	c #constraints  5740
1064.31/1061.79	c cleaning 294686 clauses out of 590447 for limit 6.433631007736177E10
1065.82/1063.27	c cleaning 147892 clauses out of 296260 for limit 2.1124450757769473E11
1066.62/1064.05	c cleaning 73987 clauses out of 148868 for limit 6.932868738793975E11
1067.22/1064.64	c cleaning 37218 clauses out of 75381 for limit 2.2579188228043784E12
1067.62/1065.03	c cleaning 18696 clauses out of 38663 for limit 7.259898619323133E12
1067.82/1065.26	c cleaning 9676 clauses out of 20467 for limit 2.261662530073071E13
1068.02/1065.41	c cleaning 5027 clauses out of 11293 for limit 6.773257318585926E13
1068.12/1065.51	c cleaning 3323 clauses out of 6765 for limit 1.8627753288422047E14
1068.12/1065.59	c cleaning 1371 clauses out of 3941 for limit 5.2679690974733125E14
1068.22/1065.65	c cleaning 1449 clauses out of 3072 for limit 1.1167432927334715E15
1068.32/1065.72	c cleaning 649 clauses out of 2124 for limit 2.6663088271908987E-5
1068.32/1065.79	c cleaning 810 clauses out of 1972 for limit 4.7218306179616065E-5
1068.42/1065.85	c cleaning 773 clauses out of 1662 for limit 9.239366232393023E-5
1068.53/1065.90	c cleaning 455 clauses out of 1389 for limit 1.8231686434955994E-4
1068.53/1065.95	c cleaning 326 clauses out of 1434 for limit 2.91229808246283E-4
1068.63/1066.03	c cleaning 180 clauses out of 1610 for limit 4.2863142703309124E-4
1068.72/1066.10	c cleaning 315 clauses out of 1928 for limit 5.891009458667396E-4
1068.72/1066.15	c cleaning 415 clauses out of 2114 for limit 8.869153378467321E-4
1068.82/1066.21	c cleaning 462 clauses out of 2198 for limit 0.0014053381485434162
1068.82/1066.27	c cleaning 449 clauses out of 2241 for limit 0.0022845207811610434
1068.92/1066.34	c cleaning 481 clauses out of 2288 for limit 0.0036753507317764927
1069.02/1066.41	c cleaning 503 clauses out of 2310 for limit 0.006021466185681659
1069.12/1066.50	c cleaning 491 clauses out of 2304 for limit 0.009926224850580092
1069.12/1066.57	c cleaning 486 clauses out of 2312 for limit 0.016296717188951926
1069.22/1066.65	c cleaning 501 clauses out of 2326 for limit 0.026713705587399814
1069.32/1066.72	c cleaning 472 clauses out of 2325 for limit 0.04407342237016998
1069.42/1066.81	c cleaning 487 clauses out of 2355 for limit 0.07190080152666226
1069.42/1066.89	c cleaning 532 clauses out of 2367 for limit 0.11785493171029962
1069.52/1066.96	c cleaning 505 clauses out of 2334 for limit 0.19690944223865572
1069.63/1067.03	c cleaning 504 clauses out of 2329 for limit 0.3254271570492027
1069.73/1067.11	c cleaning 464 clauses out of 2325 for limit 0.5375962250843619
1069.73/1067.19	c cleaning 476 clauses out of 2361 for limit 0.873049901477556
1069.82/1067.28	c cleaning 522 clauses out of 2386 for limit 1.4261165313470234
1069.92/1067.35	c cleaning 503 clauses out of 2364 for limit 2.3737439361916715
1070.02/1067.42	c cleaning 489 clauses out of 2361 for limit 3.9195954104133626
1070.12/1067.51	c cleaning 480 clauses out of 2371 for limit 6.430238017769059
1070.22/1067.60	c cleaning 487 clauses out of 2391 for limit 10.51562072475377
1070.22/1067.69	c cleaning 488 clauses out of 2404 for limit 17.24788760536306
1070.32/1067.78	c cleaning 566 clauses out of 2417 for limit 28.319405047517503
1070.42/1067.85	c cleaning 529 clauses out of 2352 for limit 48.04120111082081
1070.52/1067.91	c cleaning 506 clauses out of 2321 for limit 80.12405075144446
1070.52/1067.96	c cleaning 511 clauses out of 2315 for limit 132.4777457373485
1070.62/1068.03	c cleaning 472 clauses out of 2305 for limit 219.64099067198651
1070.62/1068.10	c cleaning 511 clauses out of 2332 for limit 357.6655841156367
1070.73/1068.16	c cleaning 501 clauses out of 2322 for limit 592.9715844733759
1070.83/1068.24	c cleaning 503 clauses out of 2322 for limit 978.8683374534173
1070.92/1068.35	c cleaning 488 clauses out of 2317 for limit 1614.534486846182
1071.02/1068.42	c cleaning 522 clauses out of 2331 for limit 2651.8929998396447
1071.02/1068.49	c cleaning 500 clauses out of 2307 for limit 4409.989336937569
1071.12/1068.56	c cleaning 504 clauses out of 2307 for limit 7272.662374428783
1071.22/1068.63	c cleaning 510 clauses out of 2304 for limit 12021.231063642612
1071.32/1068.70	c cleaning 486 clauses out of 2293 for limit 19899.80130921656
1071.32/1068.79	c cleaning 497 clauses out of 2307 for limit 32618.282325027732
1071.42/1068.86	c cleaning 494 clauses out of 2311 for limit 53752.557846633485
1071.52/1068.95	c cleaning 490 clauses out of 2316 for limit 88365.32943574453
1071.62/1069.04	c cleaning 507 clauses out of 2328 for limit 145265.4689795617
1071.72/1069.12	c cleaning 455 clauses out of 2319 for limit 240011.18508588316
1071.83/1069.21	c cleaning 496 clauses out of 2364 for limit 388276.087499936
1071.93/1069.32	c cleaning 1036 clauses out of 2370 for limit 639977.4645913066
1071.93/1069.38	c cleaning 240 clauses out of 1832 for limit 1362618.9414133318
1072.02/1069.44	c cleaning 438 clauses out of 2094 for limit 1969917.8895659603
1072.12/1069.50	c cleaning 490 clauses out of 2156 for limit 3155236.607553003
1072.12/1069.55	c cleaning 406 clauses out of 2164 for limit 5173807.851942016
1072.22/1069.60	c cleaning 449 clauses out of 2258 for limit 8177103.625383193
1072.22/1069.66	c cleaning 479 clauses out of 2309 for limit 1.3187285029646218E7
1072.32/1069.72	c cleaning 477 clauses out of 2330 for limit 2.155158879073908E7
1072.42/1069.81	c cleaning 1165 clauses out of 2353 for limit 3.519404401769566E7
1072.42/1069.87	c cleaning 289 clauses out of 1688 for limit 8.090484771720836E7
1072.54/1069.95	c cleaning 453 clauses out of 1899 for limit 1.1859814857117197E8
1072.64/1070.04	c cleaning 948 clauses out of 1947 for limit 1.909533673636932E8
1072.74/1070.11	c cleaning 385 clauses out of 1498 for limit 4.0888655914288247E8
1072.74/1070.17	c cleaning 146 clauses out of 1613 for limit 6.262333146720579E8
1072.84/1070.22	c cleaning 525 clauses out of 1967 for limit 8.468803618076982E8
1072.84/1070.30	c cleaning 308 clauses out of 1946 for limit 1.4173513453582952E9
1072.94/1070.36	c cleaning 369 clauses out of 2134 for limit 2.1229696280306568E9
1073.04/1070.43	c cleaning 582 clauses out of 2268 for limit 3.3041105391864815E9
1073.14/1070.51	c cleaning 607 clauses out of 2184 for limit 5.647182822811914E9
1073.14/1070.56	c cleaning 373 clauses out of 2076 for limit 9.787651737739468E9
1073.24/1070.63	c cleaning 422 clauses out of 2205 for limit 1.5227274399396736E10
1073.24/1070.69	c cleaning 606 clauses out of 2281 for limit 2.4226593142217625E10
1073.34/1070.75	c cleaning 404 clauses out of 2175 for limit 4.190002256836848E10
1073.44/1070.80	c cleaning 449 clauses out of 2273 for limit 6.625199997295622E10
1073.44/1070.86	c cleaning 1099 clauses out of 2322 for limit 1.0673898698833151E11
1073.54/1070.91	c cleaning 641 clauses out of 1723 for limit 2.3722251272385E11
1073.54/1070.97	c cleaning 253 clauses out of 1583 for limit 4.262365256394794E11
1073.64/1071.03	c cleaning 318 clauses out of 1829 for limit 6.077699840281082E11
1073.64/1071.09	c cleaning 625 clauses out of 2011 for limit 9.115841589745186E11
1073.74/1071.15	c cleaning 257 clauses out of 1886 for limit 1.6029613053534834E12
1073.84/1071.20	c cleaning 1045 clauses out of 2129 for limit 2.3417738541870405E12
1073.84/1071.26	c cleaning 195 clauses out of 1585 for limit 5.192562665926878E12
1073.94/1071.31	c cleaning 270 clauses out of 1889 for limit 7.177950025389896E12
1073.94/1071.35	c cleaning 917 clauses out of 2119 for limit 1.0552547569302518E13
1074.04/1071.41	c cleaning 188 clauses out of 1704 for limit 2.1684209543797684E13
1074.04/1071.47	c cleaning 389 clauses out of 2014 for limit 3.019538581449721E13
1074.14/1071.54	c cleaning 369 clauses out of 2125 for limit 4.71951099193158E13
1074.24/1071.61	c cleaning 445 clauses out of 2256 for limit 7.331160507527795E13
1800.09/1796.61	c starts		: 22
1800.09/1796.61	c conflicts		: 1132367
1800.09/1796.61	c decisions		: 3079499
1800.09/1796.61	c propagations		: 351851087
1800.09/1796.61	c inspects		: 11206604945
1800.09/1796.61	c learnt literals	: 63
1800.09/1796.61	c learnt binary clauses	: 36951
1800.09/1796.61	c learnt ternary clauses	: 28721
1800.09/1796.61	c learnt clauses	: 1132304
1800.09/1796.61	c root simplifications	: 0
1800.09/1796.61	c removed literals (reason simplification)	: 0
1800.09/1796.61	c reason swapping (by a shorter reason)	: 0
1800.09/1796.61	c Calls to reduceDB	: 96
1800.09/1796.61	c speed (decisions/second)	: 1714.4483588723776
1800.09/1796.61	c non guided choices	603
1800.09/1796.61	s UNKNOWN
1800.09/1796.61	c Total wall clock time (ms): 1796.518

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.49 2.10 2.07 3/193 5199
/proc/meminfo: memFree=27885628/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/5199/stat : 5199 (java) R 5197 5199 32179 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 342118637 23793664 709 33554432000 1073741824 1073778376 140734019716816 140734019705880 260181112168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 5809 710 525 9 0 128 0

[startup+0.036321 s]
/proc/loadavg: 2.49 2.10 2.07 3/193 5199
/proc/meminfo: memFree=27885628/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 3922 0 1 0 2 0 0 0 20 0 13 0 342118637 2686889984 5129 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 655979 5129 1692 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916

[startup+0.100199 s]
/proc/loadavg: 2.49 2.10 2.07 3/193 5199
/proc/meminfo: memFree=27885628/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 4924 0 1 0 9 1 0 0 20 0 18 0 342118637 3028844544 7144 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 739464 7144 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300166 s]
/proc/loadavg: 2.49 2.10 2.07 3/193 5199
/proc/meminfo: memFree=27885628/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=2957856 CPUtime=0.59 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 9059 0 1 0 57 2 0 0 20 0 18 0 342118637 3028844544 11432 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 739464 11432 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 2957856

[startup+0.700164 s]
/proc/loadavg: 2.49 2.10 2.07 3/193 5199
/proc/meminfo: memFree=27885628/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=3024420 CPUtime=1.43 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 11500 0 1 0 140 3 0 0 20 0 19 0 342118637 3097006080 16684 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 756105 16684 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 3024420

[startup+1.50063 s]
/proc/loadavg: 2.49 2.10 2.07 3/213 5219
/proc/meminfo: memFree=27775796/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=3024420 CPUtime=2.27 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 11508 0 1 0 224 3 0 0 20 0 19 0 342118637 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 756105 17713 2272 9 0 746526 0
[pid=5199/tid=5201] ppid=5197 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/5199/task/5201/stat : 5201 (java) R 5197 5199 32179 0 -1 4202560 3065 0 1 0 145 2 0 0 20 0 19 0 342118637 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175105782184 140174932165303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5202] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5202/stat : 5202 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175089207464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5203] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5203/stat : 5203 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175088154920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5204] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5204/stat : 5204 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175087102376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5205] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5205/stat : 5205 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175086049832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5206] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5206/stat : 5206 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175084997288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5199/tid=5207] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5207/stat : 5207 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175083944744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5208] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5208/stat : 5208 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175082892200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5209] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5209/stat : 5209 (java) S 5197 5199 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175081839656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5210] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5210/stat : 5210 (java) S 5197 5199 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342118639 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175069427816 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5211] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5211/stat : 5211 (java) S 5197 5199 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175068374136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5212] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5212/stat : 5212 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175067321480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5213] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5213/stat : 5213 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175066270224 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5214] ppid=5197 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/5199/task/5214/stat : 5214 (java) S 5197 5199 32179 0 -1 4202560 3200 0 0 0 40 0 0 0 20 0 19 0 342118642 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175065217592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5215] ppid=5197 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/5199/task/5215/stat : 5215 (java) S 5197 5199 32179 0 -1 4202560 4047 0 0 0 35 0 0 0 20 0 19 0 342118642 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175064165048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5216] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5216/stat : 5216 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175063112696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5217] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5217/stat : 5217 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175062060360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5219] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5219/stat : 5219 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118678 3097006080 17713 33554432000 1073741824 1073778376 140734019716816 140175059858216 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 3024420

[startup+3.10068 s]
/proc/loadavg: 2.49 2.10 2.07 3/213 5219
/proc/meminfo: memFree=27765060/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=3024420 CPUtime=3.89 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 11514 0 1 0 385 4 0 0 20 0 19 0 342118637 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 756105 20273 2272 9 0 746526 0
[pid=5199/tid=5201] ppid=5197 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/5199/task/5201/stat : 5201 (java) R 5197 5199 32179 0 -1 4202560 3071 0 1 0 304 2 0 0 20 0 19 0 342118637 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175105782032 140174932165021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5202] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5202/stat : 5202 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175089207464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5203] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5203/stat : 5203 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175088154920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5204] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5204/stat : 5204 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175087102376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5205] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5205/stat : 5205 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175086049832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5206] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5206/stat : 5206 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175084997288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5199/tid=5207] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5207/stat : 5207 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175083944744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5208] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5208/stat : 5208 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175082892200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5209] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5209/stat : 5209 (java) S 5197 5199 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175081839656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5210] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5210/stat : 5210 (java) S 5197 5199 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342118639 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175069427816 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5211] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5211/stat : 5211 (java) S 5197 5199 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175068374136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5212] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5212/stat : 5212 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175067321480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5213] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5213/stat : 5213 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175066270224 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5214] ppid=5197 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/5199/task/5214/stat : 5214 (java) S 5197 5199 32179 0 -1 4202560 3200 0 0 0 42 0 0 0 20 0 19 0 342118642 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175065217592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5215] ppid=5197 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5199/task/5215/stat : 5215 (java) S 5197 5199 32179 0 -1 4202560 4047 0 0 0 36 0 0 0 20 0 19 0 342118642 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175064165048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5216] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5216/stat : 5216 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175063112696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5217] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5217/stat : 5217 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175062060360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5219] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5219/stat : 5219 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118678 3097006080 20273 33554432000 1073741824 1073778376 140734019716816 140175059858216 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 3024420

[startup+6.30064 s]
/proc/loadavg: 2.45 2.10 2.07 3/213 5219
/proc/meminfo: memFree=27737036/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=3024420 CPUtime=7.09 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 11525 0 1 0 705 4 0 0 20 0 19 0 342118637 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 756105 24663 2273 9 0 746526 0
[pid=5199/tid=5201] ppid=5197 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/5199/task/5201/stat : 5201 (java) R 5197 5199 32179 0 -1 4202560 3081 0 1 0 623 2 0 0 20 0 19 0 342118637 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175105780208 140174932164881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5202] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5202/stat : 5202 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175089207464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5203] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5203/stat : 5203 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175088154920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5204] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5204/stat : 5204 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175087102376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5205] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5205/stat : 5205 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175086049832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5206] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5206/stat : 5206 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175084997288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5199/tid=5207] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5207/stat : 5207 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175083944744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5208] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5208/stat : 5208 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175082892200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5209] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5209/stat : 5209 (java) S 5197 5199 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342118638 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175081839656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5210] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5210/stat : 5210 (java) S 5197 5199 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342118639 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175069427816 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5211] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5211/stat : 5211 (java) S 5197 5199 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175068374136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5212] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5212/stat : 5212 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175067321480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5213] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5213/stat : 5213 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175066270224 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5214] ppid=5197 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/5199/task/5214/stat : 5214 (java) S 5197 5199 32179 0 -1 4202560 3200 0 0 0 42 0 0 0 20 0 19 0 342118642 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175065217592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5215] ppid=5197 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5199/task/5215/stat : 5215 (java) S 5197 5199 32179 0 -1 4202560 4047 0 0 0 36 0 0 0 20 0 19 0 342118642 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175064165048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5216] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5216/stat : 5216 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175063112696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5217] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5217/stat : 5217 (java) S 5197 5199 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175062060360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5219] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5219/stat : 5219 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118678 3097006080 24663 33554432000 1073741824 1073778376 140734019716816 140175059858216 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]

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

[pid=5199/tid=5214] ppid=5197 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/5199/task/5214/stat : 5214 (java) S 5197 5199 32179 0 -1 4202560 3214 0 0 0 44 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175065217592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5215] ppid=5197 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/5199/task/5215/stat : 5215 (java) S 5197 5199 32179 0 -1 4202560 4385 0 0 0 44 1 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175064165048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5216] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5216/stat : 5216 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175063112696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5217] ppid=5197 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/5199/task/5217/stat : 5217 (java) S 5197 5199 32179 0 -1 4202560 100 0 0 0 31 33 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175062060360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5219] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5219/stat : 5219 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118678 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175059858216 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.76
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 5268
/proc/meminfo: memFree=24563992/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=3024420 CPUtime=1785.78 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 14213 0 1 0 178418 160 0 0 20 0 19 0 342118637 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 756105 418033 2302 9 0 746526 0
[pid=5199/tid=5201] ppid=5197 vsize=3024420 CPUtime=1775.39 cores=0,2,4,6
/proc/5199/task/5201/stat : 5201 (java) R 5197 5199 32179 0 -1 4202560 3260 0 1 0 177504 35 0 0 20 0 19 0 342118637 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175105781040 140174932165021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5202] ppid=5197 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5199/task/5202/stat : 5202 (java) S 5197 5199 32179 0 -1 4202560 208 0 0 0 24 12 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175089207464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5203] ppid=5197 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/5199/task/5203/stat : 5203 (java) S 5197 5199 32179 0 -1 4202560 232 0 0 0 21 14 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175088154920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5204] ppid=5197 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/5199/task/5204/stat : 5204 (java) S 5197 5199 32179 0 -1 4202560 436 0 0 0 35 28 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175087102376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5205] ppid=5197 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/5199/task/5205/stat : 5205 (java) S 5197 5199 32179 0 -1 4202560 229 0 0 0 24 14 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175086049832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5206] ppid=5197 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/5199/task/5206/stat : 5206 (java) S 5197 5199 32179 0 -1 4202560 192 0 0 0 17 12 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175084997288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5207] ppid=5197 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/5199/task/5207/stat : 5207 (java) S 5197 5199 32179 0 -1 4202560 187 0 0 0 19 11 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175083944744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5199/tid=5208] ppid=5197 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/5199/task/5208/stat : 5208 (java) S 5197 5199 32179 0 -1 4202560 190 0 0 0 18 12 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175082892200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5209] ppid=5197 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/5199/task/5209/stat : 5209 (java) S 5197 5199 32179 0 -1 4202560 185 0 0 0 27 11 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175081839656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5199/tid=5210] ppid=5197 vsize=3024420 CPUtime=1.35 cores=0,2,4,6
/proc/5199/task/5210/stat : 5210 (java) S 5197 5199 32179 0 -1 4202560 209 0 0 0 127 8 0 0 20 0 19 0 342118639 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175069427816 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5211] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5211/stat : 5211 (java) S 5197 5199 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175068374136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5212] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5212/stat : 5212 (java) S 5197 5199 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175067321480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5213] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5213/stat : 5213 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175066270224 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5214] ppid=5197 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/5199/task/5214/stat : 5214 (java) S 5197 5199 32179 0 -1 4202560 3214 0 0 0 44 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175065217592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5215] ppid=5197 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/5199/task/5215/stat : 5215 (java) S 5197 5199 32179 0 -1 4202560 4385 0 0 0 44 1 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175064165048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5216] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5216/stat : 5216 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175063112696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5217] ppid=5197 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/5199/task/5217/stat : 5217 (java) S 5197 5199 32179 0 -1 4202560 104 0 0 0 32 35 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175062060360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5219] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5219/stat : 5219 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118678 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175059858216 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.78
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.03 2.02 2.00 2/193 5271
/proc/meminfo: memFree=26234360/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=3024420 CPUtime=1800.09 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 14213 0 1 0 179849 160 0 0 20 0 19 0 342118637 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 756105 418033 2302 9 0 746526 0
[pid=5199/tid=5201] ppid=5197 vsize=3024420 CPUtime=1789.66 cores=0,2,4,6
/proc/5199/task/5201/stat : 5201 (java) R 5197 5199 32179 0 -1 4202560 3260 0 1 0 178930 36 0 0 20 0 19 0 342118637 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175105781040 140174932164919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5202] ppid=5197 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5199/task/5202/stat : 5202 (java) S 5197 5199 32179 0 -1 4202560 208 0 0 0 24 12 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175089207464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5203] ppid=5197 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/5199/task/5203/stat : 5203 (java) S 5197 5199 32179 0 -1 4202560 232 0 0 0 21 14 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175088154920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5204] ppid=5197 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/5199/task/5204/stat : 5204 (java) S 5197 5199 32179 0 -1 4202560 436 0 0 0 35 28 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175087102376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5205] ppid=5197 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/5199/task/5205/stat : 5205 (java) S 5197 5199 32179 0 -1 4202560 229 0 0 0 24 14 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175086049832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5206] ppid=5197 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/5199/task/5206/stat : 5206 (java) S 5197 5199 32179 0 -1 4202560 192 0 0 0 17 12 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175084997288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5207] ppid=5197 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/5199/task/5207/stat : 5207 (java) S 5197 5199 32179 0 -1 4202560 187 0 0 0 19 11 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175083944744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5199/tid=5208] ppid=5197 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/5199/task/5208/stat : 5208 (java) S 5197 5199 32179 0 -1 4202560 190 0 0 0 18 12 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175082892200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5209] ppid=5197 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/5199/task/5209/stat : 5209 (java) S 5197 5199 32179 0 -1 4202560 185 0 0 0 27 11 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175081839656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5199/tid=5210] ppid=5197 vsize=3024420 CPUtime=1.35 cores=0,2,4,6
/proc/5199/task/5210/stat : 5210 (java) S 5197 5199 32179 0 -1 4202560 209 0 0 0 127 8 0 0 20 0 19 0 342118639 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175069427816 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5211] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5211/stat : 5211 (java) S 5197 5199 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175068374136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5212] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5212/stat : 5212 (java) S 5197 5199 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175067321480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5213] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5213/stat : 5213 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175066270224 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5214] ppid=5197 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/5199/task/5214/stat : 5214 (java) S 5197 5199 32179 0 -1 4202560 3214 0 0 0 44 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175065217592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5215] ppid=5197 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/5199/task/5215/stat : 5215 (java) S 5197 5199 32179 0 -1 4202560 4385 0 0 0 44 1 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175064165048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5216] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5216/stat : 5216 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175063112696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5217] ppid=5197 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/5199/task/5217/stat : 5217 (java) S 5197 5199 32179 0 -1 4202560 104 0 0 0 32 35 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175062060360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5219] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5219/stat : 5219 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118678 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175059858216 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1796.6 s]
/proc/loadavg: 2.03 2.02 2.00 2/193 5271
/proc/meminfo: memFree=26234360/32873648 swapFree=7116/7116
[pid=5199] ppid=5197 vsize=3024420 CPUtime=1800.09 cores=0,2,4,6
/proc/5199/stat : 5199 (java) S 5197 5199 32179 0 -1 4202496 14213 0 1 0 179849 160 0 0 20 0 19 0 342118637 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140734019707952 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5199/statm: 756105 418033 2302 9 0 746526 0
[pid=5199/tid=5201] ppid=5197 vsize=3024420 CPUtime=1789.66 cores=0,2,4,6
/proc/5199/task/5201/stat : 5201 (java) R 5197 5199 32179 0 -1 4202560 3260 0 1 0 178930 36 0 0 20 0 19 0 342118637 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175105781040 140174932164919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5202] ppid=5197 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5199/task/5202/stat : 5202 (java) S 5197 5199 32179 0 -1 4202560 208 0 0 0 24 12 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175089207464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5203] ppid=5197 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/5199/task/5203/stat : 5203 (java) S 5197 5199 32179 0 -1 4202560 232 0 0 0 21 14 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175088154920 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5204] ppid=5197 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/5199/task/5204/stat : 5204 (java) S 5197 5199 32179 0 -1 4202560 436 0 0 0 35 28 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175087102376 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5205] ppid=5197 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/5199/task/5205/stat : 5205 (java) S 5197 5199 32179 0 -1 4202560 229 0 0 0 24 14 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175086049832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5206] ppid=5197 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/5199/task/5206/stat : 5206 (java) S 5197 5199 32179 0 -1 4202560 192 0 0 0 17 12 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175084997288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5207] ppid=5197 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/5199/task/5207/stat : 5207 (java) S 5197 5199 32179 0 -1 4202560 187 0 0 0 19 11 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175083944744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5199/tid=5208] ppid=5197 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/5199/task/5208/stat : 5208 (java) S 5197 5199 32179 0 -1 4202560 190 0 0 0 18 12 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175082892200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5209] ppid=5197 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/5199/task/5209/stat : 5209 (java) S 5197 5199 32179 0 -1 4202560 185 0 0 0 27 11 0 0 20 0 19 0 342118638 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175081839656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5199/tid=5210] ppid=5197 vsize=3024420 CPUtime=1.35 cores=0,2,4,6
/proc/5199/task/5210/stat : 5210 (java) S 5197 5199 32179 0 -1 4202560 209 0 0 0 127 8 0 0 20 0 19 0 342118639 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175069427816 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5211] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5211/stat : 5211 (java) S 5197 5199 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175068374136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5212] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5212/stat : 5212 (java) S 5197 5199 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342118640 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175067321480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5213] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5213/stat : 5213 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175066270224 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5214] ppid=5197 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/5199/task/5214/stat : 5214 (java) S 5197 5199 32179 0 -1 4202560 3214 0 0 0 44 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175065217592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5199/tid=5215] ppid=5197 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/5199/task/5215/stat : 5215 (java) S 5197 5199 32179 0 -1 4202560 4385 0 0 0 44 1 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175064165048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5216] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5216/stat : 5216 (java) S 5197 5199 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175063112696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5199/tid=5217] ppid=5197 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/5199/task/5217/stat : 5217 (java) S 5197 5199 32179 0 -1 4202560 104 0 0 0 32 35 0 0 20 0 19 0 342118642 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175062060360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5199/tid=5219] ppid=5197 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5199/task/5219/stat : 5219 (java) S 5197 5199 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118678 3097006080 418033 33554432000 1073741824 1073778376 140734019716816 140175059858216 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1796.62
CPU time (s): 1800.09
CPU user time (s): 1798.49
CPU system time (s): 1.6
CPU usage (%): 100.193
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.76
system time used= 2.08268
maximum resident set size= 1673064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14244
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38063
involuntary context switches= 7943

runsolver used 6.44102 second user time and 14.4618 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-03 23:45:32
IDJOB=3742010
IDBENCH=90125
IDSOLVER=2319
FILE ID=node123/3742010-1338759932
RUNJOBID= node123-1338758132-5019
PBS_JOBID= 14636768
Free space on /tmp= 71300 MiB

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

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

MD5SUM BENCH= 007cb74ee15cb0b4c01d23d6abd9d82b
RANDOM SEED=1465850795

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27885892 kB
Buffers:         1808040 kB
Cached:          2259184 kB
SwapCached:         2268 kB
Active:          2185920 kB
Inactive:        1910704 kB
Active(anon):      22144 kB
Inactive(anon):     5504 kB
Active(file):    2163776 kB
Inactive(file):  1905200 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              7872 kB
Writeback:             0 kB
AnonPages:         22308 kB
Mapped:            17704 kB
Shmem:                 0 kB
Slab:             750356 kB
SReclaimable:     194424 kB
SUnreclaim:       555932 kB
KernelStack:        1448 kB
PageTables:         4336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1822484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71296 MiB
End job on node123 at 2012-06-04 00:15:30