Trace number 3738530

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 NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.32 1746.83

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__32.opb
MD5SUM88a1b10031770f0260ca582c16661bcb
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark121608
Best CPU time to get the best result obtained on this benchmark1801.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables321998
Total number of constraints12000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10002
Number of constraints which are nor clauses,nor cardinality constraints1998
Minimum length of a constraint32
Maximum length of a constraint1409
Number of terms in the objective function 320000
Biggest coefficient in the objective function 130539
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 11088799392
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 130539
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 11088799392
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.01/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.06	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.06	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.06	c no version file found!!!
0.01/0.06	c sun.arch.data.model	64
0.01/0.06	c java.version	1.6.0_24
0.01/0.06	c os.name	Linux
0.01/0.06	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.06	c os.arch	amd64
0.01/0.06	c Free memory 1599470296
0.01/0.06	c Max memory 1607860224
0.01/0.06	c Total memory 1607860224
0.01/0.06	c Number of processors 8
0.01/0.08	--- Begin Solver configuration ---
0.01/0.08	c Stops conflict analysis at the first Unique Implication Point
0.01/0.08	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.01/0.08	c Learn all clauses as in MiniSAT
0.01/0.08	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.01/0.08	c VSIDS like heuristics from MiniSAT using a heap
0.01/0.08	c No reason simplification
0.01/0.08	c --- End Solver configuration ---
0.01/0.08	c solving HOME/instance-3738530-1338726153.opb
0.01/0.08	c reading problem ... 
4.48/3.00	c ... done. Wall clock time 2.919s.
4.48/3.00	c CPU time (experimental) 2.73s.
4.48/3.00	c #vars     321998
4.48/3.00	c #constraints  14000
401.48/387.74	c cleaning 201549 clauses out of 403500 for limit 5.243934725213339E9
408.16/394.21	c cleaning 107375 clauses out of 214951 for limit 4.383433359978203E-5
418.50/404.37	c cleaning 63212 clauses out of 126576 for limit 13413.009048088508
418.70/404.56	c cleaning 31834 clauses out of 63864 for limit 43840.687442164424
418.80/404.69	c cleaning 16172 clauses out of 32531 for limit 142077.8762865509
419.00/404.84	c cleaning 8328 clauses out of 16859 for limit 452113.99106114055
419.10/404.94	c cleaning 4405 clauses out of 9031 for limit 1391873.615078582
419.20/405.02	c cleaning 2439 clauses out of 5125 for limit 4040760.8713271134
419.30/405.11	c cleaning 1497 clauses out of 3186 for limit 1.0719317515913557E7
419.40/405.20	c cleaning 984 clauses out of 2189 for limit 2.572900742009564E7
419.40/405.28	c cleaning 853 clauses out of 1706 for limit 5.4497949951409765E7
419.50/405.36	c cleaning 675 clauses out of 1352 for limit 1.1329320846499813E8
419.60/405.44	c cleaning 488 clauses out of 1177 for limit 2.146149601234772E8
419.70/405.51	c cleaning 592 clauses out of 1191 for limit 3.504689955532157E8
419.70/405.57	c cleaning 545 clauses out of 1099 for limit 6.263535741198109E8
419.80/405.65	c cleaning 508 clauses out of 1052 for limit 1.0769322336456716E9
419.90/405.72	c cleaning 423 clauses out of 1044 for limit 1.7896145588876858E9
426.13/411.67	c cleaning 1801 clauses out of 3621 for limit 1.0379269773229427E10
437.32/422.23	c cleaning 3167 clauses out of 6336 for limit 5.437951473679102E11
439.40/424.24	c cleaning 2331 clauses out of 4664 for limit 3.2967579091827314E12
439.60/424.43	c cleaning 1376 clauses out of 2837 for limit 8.973878740374723E12
439.71/424.53	c cleaning 855 clauses out of 1946 for limit 2.125371766449684E13
439.81/424.65	c cleaning 667 clauses out of 1591 for limit 4.287098385962279E13
440.00/424.83	c cleaning 575 clauses out of 1424 for limit 7.899134846302839E13
440.20/425.03	c cleaning 552 clauses out of 1349 for limit 1.375097379288679E14
766.72/742.74	c cleaning 172346 clauses out of 345297 for limit 26.269919866273895
782.54/758.15	c cleaning 98854 clauses out of 197951 for limit 3.3410902233585347E12
782.74/758.34	c cleaning 49518 clauses out of 99597 for limit 1.095104424289177E13
783.04/758.69	c cleaning 25095 clauses out of 50579 for limit 3.5562103286076234E13
786.25/761.79	c cleaning 16188 clauses out of 32492 for limit 6.141009162697666E-4
786.55/762.05	c cleaning 8165 clauses out of 16797 for limit 0.0019453545823706591
789.22/764.65	c cleaning 6438 clauses out of 13152 for limit 0.22868196371536526
791.73/767.10	c cleaning 4927 clauses out of 10193 for limit 9.584912457910379
795.41/770.68	c cleaning 5742 clauses out of 11770 for limit 5561.325186602068
795.61/770.80	c cleaning 3116 clauses out of 6536 for limit 16648.48391213486
1051.07/1019.55	c cleaning 151250 clauses out of 303408 for limit 7.997933165304566E-8
1053.96/1022.37	c cleaning 79273 clauses out of 158658 for limit 1.0206324074309826E-4
1054.06/1022.48	c cleaning 39934 clauses out of 79885 for limit 3.342889159836583E-4
1054.16/1022.59	c cleaning 20023 clauses out of 40451 for limit 0.0010887140838255426
1054.36/1022.71	c cleaning 10430 clauses out of 20929 for limit 0.0034736417364034473
1057.55/1025.81	c cleaning 7776 clauses out of 15998 for limit 1.113904748000657
1060.10/1028.30	c cleaning 4764 clauses out of 9722 for limit 8.221021648966857
1062.28/1030.48	c cleaning 3141 clauses out of 6458 for limit 55.507418373253316
1069.73/1037.69	c cleaning 5007 clauses out of 10317 for limit 38236.493412862015
1072.42/1040.22	c cleaning 4795 clauses out of 9835 for limit 3710418.536336251
1074.95/1042.60	c cleaning 3441 clauses out of 7015 for limit 3.752583317231379E7
1077.53/1045.11	c cleaning 2979 clauses out of 6074 for limit 5.286432196371077E8
1082.86/1050.34	c cleaning 5986 clauses out of 12095 for limit 2.1609143193762817E12
1083.06/1050.59	c cleaning 3310 clauses out of 6621 for limit 6.588550218068172E12
1085.68/1053.03	c cleaning 2606 clauses out of 5327 for limit 6.154694319116981E13
1088.14/1055.47	c cleaning 2348 clauses out of 4700 for limit 5.052311599136286E14
1093.10/1060.23	c cleaning 3169 clauses out of 6357 for limit 2.053787134939312E-4
1095.88/1062.96	c cleaning 3207 clauses out of 6676 for limit 0.006410152774569544
1103.46/1070.21	c cleaning 6612 clauses out of 13472 for limit 70.53000418730522
1103.66/1070.45	c cleaning 3567 clauses out of 7381 for limit 216.80605780895468
1106.32/1073.03	c cleaning 4055 clauses out of 8300 for limit 17152.536174228324
1108.87/1075.55	c cleaning 3320 clauses out of 6738 for limit 255925.3360794041
1111.29/1077.89	c cleaning 2625 clauses out of 5415 for limit 2348366.306590886
1111.49/1078.02	c cleaning 1551 clauses out of 3291 for limit 6378621.290477521
1111.49/1078.09	c cleaning 1013 clauses out of 2239 for limit 1.54462116732571E7
1111.59/1078.16	c cleaning 750 clauses out of 1728 for limit 3.3071755462895352E7
1111.69/1078.25	c cleaning 738 clauses out of 1476 for limit 6.372377450964158E7
1111.79/1078.33	c cleaning 504 clauses out of 1238 for limit 1.2529192792821178E8
1111.89/1078.43	c cleaning 512 clauses out of 1234 for limit 2.0729291750805598E8
1111.99/1078.52	c cleaning 605 clauses out of 1223 for limit 3.452737529987129E8
1112.09/1078.62	c cleaning 553 clauses out of 1117 for limit 6.228137967025169E8
1112.09/1078.69	c cleaning 425 clauses out of 1064 for limit 1.0782653682423177E9
1112.19/1078.79	c cleaning 472 clauses out of 1143 for limit 1.6619386520469742E9
1117.02/1083.50	c cleaning 5023 clauses out of 10172 for limit 2.5092921747321265E12
1357.20/1316.89	c cleaning 136045 clauses out of 272146 for limit 9671542.747975381
1359.92/1319.48	c cleaning 69528 clauses out of 139118 for limit 3.871117983349651E8
1362.81/1322.23	c cleaning 37421 clauses out of 75071 for limit 1.7270565802134787E11
1366.75/1326.10	c cleaning 24043 clauses out of 48150 for limit 9.830058502552705E-5
1368.92/1328.25	c cleaning 12294 clauses out of 24607 for limit 3.1721200261002384E-4
1371.46/1330.63	c cleaning 6648 clauses out of 13313 for limit 0.0015945719602681319
1375.92/1334.82	c cleaning 4298 clauses out of 8665 for limit 0.018120702735987565
1385.75/1344.21	c cleaning 4902 clauses out of 9869 for limit 3.91159817374775
1388.23/1346.70	c cleaning 4445 clauses out of 8986 for limit 239.53213705365587
1393.21/1351.44	c cleaning 3479 clauses out of 7024 for limit 3674.8400040728793
1395.81/1353.95	c cleaning 2498 clauses out of 5041 for limit 22873.67018960033
1400.69/1358.69	c cleaning 3471 clauses out of 7043 for limit 1477059.0126696092
1616.12/1568.19	c cleaning 130856 clauses out of 262072 for limit 8.318183484299533E-4
1616.32/1568.34	c cleaning 65819 clauses out of 131716 for limit 0.0027293955082972436
1616.42/1568.47	c cleaning 33133 clauses out of 66397 for limit 0.008929197639042595
1616.53/1568.59	c cleaning 16701 clauses out of 33764 for limit 0.02895762157499517
1616.72/1568.73	c cleaning 8509 clauses out of 17563 for limit 0.09180661305639959
1621.13/1573.08	c cleaning 10285 clauses out of 21058 for limit 12587.366598597693
1623.93/1575.76	c cleaning 6925 clauses out of 14291 for limit 626472.2004359722
1626.33/1578.02	c cleaning 4696 clauses out of 9844 for limit 1.0852080189589305E7
1626.53/1578.21	c cleaning 2580 clauses out of 5648 for limit 3.1192185019085396E7
1634.19/1585.67	c cleaning 6340 clauses out of 13071 for limit 2.9926294616025726E11
1638.22/1589.53	c cleaning 8860 clauses out of 17736 for limit 1.3344679714252415E-4
1640.83/1592.08	c cleaning 5718 clauses out of 11868 for limit 0.003979655923261313
1641.03/1592.24	c cleaning 3094 clauses out of 6650 for limit 0.011712707677413245
1643.58/1594.78	c cleaning 4546 clauses out of 9559 for limit 3.3070492871570734
1800.09/1746.82	c starts		: 23
1800.09/1746.82	c conflicts		: 2034892
1800.09/1746.82	c decisions		: 41949593
1800.09/1746.82	c propagations		: 800248355
1800.09/1746.82	c inspects		: 2453274016
1800.09/1746.82	c learnt literals	: 0
1800.09/1746.82	c learnt binary clauses	: 0
1800.09/1746.82	c learnt ternary clauses	: 0
1800.09/1746.82	c learnt clauses	: 2034892
1800.09/1746.82	c root simplifications	: 0
1800.09/1746.82	c removed literals (reason simplification)	: 0
1800.09/1746.82	c reason swapping (by a shorter reason)	: 0
1800.09/1746.82	c Calls to reduceDB	: 95
1800.09/1746.82	c speed (decisions/second)	: 24060.771386045766
1800.09/1746.82	c non guided choices	20995536
1800.09/1746.82	s UNKNOWN
1800.09/1746.82	c Total wall clock time (ms): 1746.733

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-3738530-1338726153/watcher-3738530-1338726153 -o /tmp/evaluation-result-3738530-1338726153/solver-3738530-1338726153 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3738530-1338726153.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.11 2.03 2.01 3/195 9809
/proc/meminfo: memFree=27979792/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 338740773 95129600 927 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 23225 927 703 9 0 16769 0
[pid=9809/tid=9810] ppid=9807 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 338740773 96370688 931 33554432000 1073741824 1073778376 140733572930912 140267291967016 214528257319 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.033085 s]
/proc/loadavg: 2.11 2.03 2.01 3/195 9809
/proc/meminfo: memFree=27979792/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=2623916 CPUtime=0.01 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 3923 0 1 0 1 0 0 0 20 0 13 0 338740773 2686889984 5131 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 655979 5131 1693 9 0 646680 0
[pid=9809/tid=9810] ppid=9807 vsize=2623916 CPUtime=0.01 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 2740 0 1 0 1 0 0 0 20 0 13 0 338740773 2686889984 5131 33554432000 1073741824 1073778376 140733572930912 140267291967728 214540805389 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2623916

[startup+0.100342 s]
/proc/loadavg: 2.11 2.03 2.01 3/195 9809
/proc/meminfo: memFree=27979792/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 4934 0 1 0 9 1 0 0 20 0 18 0 338740773 3028844544 9700 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 739464 9700 2130 9 0 729885 0
[pid=9809/tid=9810] ppid=9807 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 3028 0 1 0 7 1 0 0 20 0 18 0 338740773 3028844544 9700 33554432000 1073741824 1073778376 140733572930912 140267291960440 140267139228211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300263 s]
/proc/loadavg: 2.11 2.03 2.01 3/195 9809
/proc/meminfo: memFree=27979792/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 5799 0 1 0 42 2 0 0 20 0 18 0 338740773 3028844544 18939 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 739464 18939 2233 9 0 729885 0
[pid=9809/tid=9810] ppid=9807 vsize=2957856 CPUtime=0.28 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 3053 0 1 0 26 2 0 0 20 0 18 0 338740773 3028844544 18939 33554432000 1073741824 1073778376 140733572930912 140267291960440 140267139558280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856

[startup+0.700283 s]
/proc/loadavg: 2.11 2.03 2.01 3/195 9809
/proc/meminfo: memFree=27979792/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=2957856 CPUtime=0.86 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 5864 0 1 0 82 4 0 0 20 0 18 0 338740773 3028844544 51197 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 739464 51709 2233 9 0 729885 0
[pid=9809/tid=9810] ppid=9807 vsize=2957856 CPUtime=0.68 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 3119 0 1 0 64 4 0 0 20 0 18 0 338740773 3028844544 51709 33554432000 1073741824 1073778376 140733572930912 140267291960440 140267139219880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 2957856

[startup+1.50071 s]
/proc/loadavg: 2.11 2.03 2.01 3/213 9827
/proc/meminfo: memFree=27681140/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=2957856 CPUtime=2.27 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 11869 0 1 0 208 19 0 0 20 0 18 0 338740773 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 739464 136278 2262 9 0 729885 0
[pid=9809/tid=9810] ppid=9807 vsize=2957856 CPUtime=1.39 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 3239 0 1 0 132 7 0 0 20 0 18 0 338740773 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267291971176 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9812] ppid=9807 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/9809/task/9812/stat : 9812 (java) S 9807 9809 7854 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 18 0 338740774 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267275398056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9813] ppid=9807 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9809/task/9813/stat : 9813 (java) S 9807 9809 7854 0 -1 4202560 21 0 0 0 1 2 0 0 20 0 18 0 338740774 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267274345512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9814] ppid=9807 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9809/task/9814/stat : 9814 (java) S 9807 9809 7854 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 18 0 338740774 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267273292456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9815] ppid=9807 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9809/task/9815/stat : 9815 (java) S 9807 9809 7854 0 -1 4202560 38 0 0 0 2 1 0 0 20 0 18 0 338740774 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267272239912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9816] ppid=9807 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9809/task/9816/stat : 9816 (java) S 9807 9809 7854 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 18 0 338740774 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267271186856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9817] ppid=9807 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9809/task/9817/stat : 9817 (java) S 9807 9809 7854 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 18 0 338740774 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267270134312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9818] ppid=9807 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/9809/task/9818/stat : 9818 (java) S 9807 9809 7854 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 338740774 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267269081256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9819] ppid=9807 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/9809/task/9819/stat : 9819 (java) S 9807 9809 7854 0 -1 4202560 40 0 0 0 3 3 0 0 20 0 18 0 338740774 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267268028712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9820] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9820/stat : 9820 (java) S 9807 9809 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338740775 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267138046824 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9821] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9821/stat : 9821 (java) S 9807 9809 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 338740775 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267136993144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9822] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9822/stat : 9822 (java) S 9807 9809 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 338740775 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267135939976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9823] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9823/stat : 9823 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338740778 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267134888720 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9824] ppid=9807 vsize=2957856 CPUtime=0.24 cores=1,3,5,7
/proc/9809/task/9824/stat : 9824 (java) S 9807 9809 7854 0 -1 4202560 2609 0 0 0 24 0 0 0 20 0 18 0 338740778 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267133835576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9825] ppid=9807 vsize=2957856 CPUtime=0.23 cores=1,3,5,7
/proc/9809/task/9825/stat : 9825 (java) S 9807 9809 7854 0 -1 4202560 4628 0 0 0 23 0 0 0 20 0 18 0 338740778 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267132783032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9826] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9826/stat : 9826 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338740778 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267131730168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9827] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9827/stat : 9827 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338740778 3028844544 136278 33554432000 1073741824 1073778376 140733572930912 140267130677832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 2957856

[startup+3.10747 s]
/proc/loadavg: 2.11 2.03 2.01 10/213 9827
/proc/meminfo: memFree=27383188/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=2957856 CPUtime=4.73 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 13925 0 1 0 436 37 0 0 20 0 18 0 338740773 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 739464 173301 2295 9 0 729885 0
[pid=9809/tid=9810] ppid=9807 vsize=2957856 CPUtime=2.81 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) S 9807 9809 7854 0 -1 4202560 3250 0 1 0 274 7 0 0 20 0 18 0 338740773 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267291971560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9812] ppid=9807 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/9809/task/9812/stat : 9812 (java) R 9807 9809 7854 0 -1 4202560 73 0 0 0 10 3 0 0 20 0 18 0 338740774 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267275398056 140267296147738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9813] ppid=9807 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/9809/task/9813/stat : 9813 (java) R 9807 9809 7854 0 -1 4202560 44 0 0 0 5 3 0 0 20 0 18 0 338740774 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267274345688 140267295728780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9814] ppid=9807 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/9809/task/9814/stat : 9814 (java) R 9807 9809 7854 0 -1 4202560 46 0 0 0 6 3 0 0 20 0 18 0 338740774 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267273292632 140267296147634 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9815] ppid=9807 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/9809/task/9815/stat : 9815 (java) R 9807 9809 7854 0 -1 4202560 81 0 0 0 9 4 0 0 20 0 18 0 338740774 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267272240088 140267295728780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9816] ppid=9807 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/9809/task/9816/stat : 9816 (java) R 9807 9809 7854 0 -1 4202560 50 0 0 0 5 3 0 0 20 0 18 0 338740774 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267271187032 140267295250338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9817] ppid=9807 vsize=2957856 CPUtime=0.19 cores=1,3,5,7
/proc/9809/task/9817/stat : 9817 (java) R 9807 9809 7854 0 -1 4202560 96 0 0 0 14 5 0 0 20 0 18 0 338740774 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267270134488 140267296147607 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9818] ppid=9807 vsize=2957856 CPUtime=0.14 cores=1,3,5,7
/proc/9809/task/9818/stat : 9818 (java) R 9807 9809 7854 0 -1 4202560 70 0 0 0 10 4 0 0 20 0 18 0 338740774 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267269081432 140267296147631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9819] ppid=9807 vsize=2957856 CPUtime=0.14 cores=1,3,5,7
/proc/9809/task/9819/stat : 9819 (java) R 9807 9809 7854 0 -1 4202560 83 0 0 0 9 5 0 0 20 0 18 0 338740774 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267268028712 214540804533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9820] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9820/stat : 9820 (java) S 9807 9809 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338740775 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267138045704 214540792892 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9821] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9821/stat : 9821 (java) S 9807 9809 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 338740775 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267136993144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9822] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9822/stat : 9822 (java) S 9807 9809 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 338740775 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267135939976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9823] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9823/stat : 9823 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338740778 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267134888720 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9824] ppid=9807 vsize=2957856 CPUtime=0.39 cores=1,3,5,7
/proc/9809/task/9824/stat : 9824 (java) S 9807 9809 7854 0 -1 4202560 4295 0 0 0 37 2 0 0 20 0 18 0 338740778 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267133828296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9825] ppid=9807 vsize=2957856 CPUtime=0.42 cores=1,3,5,7
/proc/9809/task/9825/stat : 9825 (java) S 9807 9809 7854 0 -1 4202560 4655 0 0 0 42 0 0 0 20 0 18 0 338740778 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267132768824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9826] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9826/stat : 9826 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338740778 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267131730168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9827] ppid=9807 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9827/stat : 9827 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338740778 3028844544 173301 33554432000 1073741824 1073778376 140733572930912 140267130677832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 2957856

[startup+6.30075 s]
/proc/loadavg: 2.10 2.03 2.01 3/214 9828
/proc/meminfo: memFree=27260656/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=3024420 CPUtime=8.75 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 16175 0 1 0 834 41 0 0 20 0 19 0 338740773 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 756105 181467 2297 9 0 746526 0
[pid=9809/tid=9810] ppid=9807 vsize=3024420 CPUtime=5.86 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 3255 0 1 0 579 7 0 0 20 0 19 0 338740773 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267291969936 140267140157128 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9812] ppid=9807 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/9809/task/9812/stat : 9812 (java) S 9807 9809 7854 0 -1 4202560 89 0 0 0 16 4 0 0 20 0 19 0 338740774 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267275398056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9813] ppid=9807 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/9809/task/9813/stat : 9813 (java) S 9807 9809 7854 0 -1 4202560 52 0 0 0 13 3 0 0 20 0 19 0 338740774 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267274345512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9814] ppid=9807 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/9809/task/9814/stat : 9814 (java) S 9807 9809 7854 0 -1 4202560 59 0 0 0 10 3 0 0 20 0 19 0 338740774 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267273292456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9815] ppid=9807 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/9809/task/9815/stat : 9815 (java) S 9807 9809 7854 0 -1 4202560 87 0 0 0 11 4 0 0 20 0 19 0 338740774 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267272239912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9816] ppid=9807 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9809/task/9816/stat : 9816 (java) S 9807 9809 7854 0 -1 4202560 67 0 0 0 14 4 0 0 20 0 19 0 338740774 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267271186856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9817] ppid=9807 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/9809/task/9817/stat : 9817 (java) S 9807 9809 7854 0 -1 4202560 105 0 0 0 18 5 0 0 20 0 19 0 338740774 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267270134312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9818] ppid=9807 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/9809/task/9818/stat : 9818 (java) S 9807 9809 7854 0 -1 4202560 78 0 0 0 20 4 0 0 20 0 19 0 338740774 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267269081256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9819] ppid=9807 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9809/task/9819/stat : 9819 (java) S 9807 9809 7854 0 -1 4202560 91 0 0 0 13 6 0 0 20 0 19 0 338740774 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267268028712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9820] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9820/stat : 9820 (java) S 9807 9809 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267138046824 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9821] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9821/stat : 9821 (java) S 9807 9809 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267136993144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9822] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9822/stat : 9822 (java) S 9807 9809 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267135939976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9823] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9823/stat : 9823 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267134888720 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9824] ppid=9807 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/9809/task/9824/stat : 9824 (java) S 9807 9809 7854 0 -1 4202560 6446 0 0 0 59 2 0 0 20 0 19 0 338740778 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267133835576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9825] ppid=9807 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/9809/task/9825/stat : 9825 (java) S 9807 9809 7854 0 -1 4202560 4656 0 0 0 62 0 0 0 20 0 19 0 338740778 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267132783032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9826] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9826/stat : 9826 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267131730168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9827] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9827/stat : 9827 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 181467 33554432000 1073741824 1073778376 140733572930912 140267130677832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

[pid=9809/tid=9817] ppid=9807 vsize=3024420 CPUtime=8.11 cores=1,3,5,7
/proc/9809/task/9817/stat : 9817 (java) S 9807 9809 7854 0 -1 4202560 454 0 0 0 793 18 0 0 20 0 19 0 338740774 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267270134312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9818] ppid=9807 vsize=3024420 CPUtime=8.03 cores=1,3,5,7
/proc/9809/task/9818/stat : 9818 (java) S 9807 9809 7854 0 -1 4202560 417 0 0 0 787 16 0 0 20 0 19 0 338740774 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267269081256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9819] ppid=9807 vsize=3024420 CPUtime=8.05 cores=1,3,5,7
/proc/9809/task/9819/stat : 9819 (java) S 9807 9809 7854 0 -1 4202560 461 0 0 0 788 17 0 0 20 0 19 0 338740774 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267268028712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9820] ppid=9807 vsize=3024420 CPUtime=4.09 cores=1,3,5,7
/proc/9809/task/9820/stat : 9820 (java) S 9807 9809 7854 0 -1 4202560 32577 0 0 0 397 12 0 0 20 0 19 0 338740775 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267138046824 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9821] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9821/stat : 9821 (java) S 9807 9809 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267136993144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9822] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9822/stat : 9822 (java) S 9807 9809 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267135939976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9823] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9823/stat : 9823 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267134888720 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9824] ppid=9807 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/9809/task/9824/stat : 9824 (java) S 9807 9809 7854 0 -1 4202560 6451 0 0 0 65 2 0 0 20 0 19 0 338740778 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267133835576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9825] ppid=9807 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9809/task/9825/stat : 9825 (java) S 9807 9809 7854 0 -1 4202560 4660 0 0 0 75 0 0 0 20 0 19 0 338740778 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267132783032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9826] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9826/stat : 9826 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267131730168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9827] ppid=9807 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/9809/task/9827/stat : 9827 (java) S 9807 9809 7854 0 -1 4202560 93 0 0 0 27 36 0 0 20 0 19 0 338740778 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267130677832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9828] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9828/stat : 9828 (java) S 9807 9809 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338741107 3097006080 422296 33554432000 1073741824 1073778376 140733572930912 140267128546856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1651.45
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 10049
/proc/meminfo: memFree=27133616/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=3024420 CPUtime=1713.37 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 52270 0 1 0 171148 189 0 0 20 0 19 0 338740773 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 756105 422336 2309 9 0 746526 0
[pid=9809/tid=9810] ppid=9807 vsize=3024420 CPUtime=1640.02 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 3839 0 1 0 163968 34 0 0 20 0 19 0 338740773 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267291970880 140267140016910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9812] ppid=9807 vsize=3024420 CPUtime=8.54 cores=1,3,5,7
/proc/9809/task/9812/stat : 9812 (java) S 9807 9809 7854 0 -1 4202560 453 0 0 0 840 14 0 0 20 0 19 0 338740774 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267275398056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9813] ppid=9807 vsize=3024420 CPUtime=8.2 cores=1,3,5,7
/proc/9809/task/9813/stat : 9813 (java) S 9807 9809 7854 0 -1 4202560 383 0 0 0 806 14 0 0 20 0 19 0 338740774 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267274345512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9814] ppid=9807 vsize=3024420 CPUtime=8.6 cores=1,3,5,7
/proc/9809/task/9814/stat : 9814 (java) S 9807 9809 7854 0 -1 4202560 412 0 0 0 843 17 0 0 20 0 19 0 338740774 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267273292456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9815] ppid=9807 vsize=3024420 CPUtime=8.33 cores=1,3,5,7
/proc/9809/task/9815/stat : 9815 (java) S 9807 9809 7854 0 -1 4202560 451 0 0 0 817 16 0 0 20 0 19 0 338740774 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267272239912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9816] ppid=9807 vsize=3024420 CPUtime=8.33 cores=1,3,5,7
/proc/9809/task/9816/stat : 9816 (java) S 9807 9809 7854 0 -1 4202560 419 0 0 0 817 16 0 0 20 0 19 0 338740774 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267271186856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9817] ppid=9807 vsize=3024420 CPUtime=8.37 cores=1,3,5,7
/proc/9809/task/9817/stat : 9817 (java) S 9807 9809 7854 0 -1 4202560 457 0 0 0 819 18 0 0 20 0 19 0 338740774 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267270134312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9818] ppid=9807 vsize=3024420 CPUtime=8.35 cores=1,3,5,7
/proc/9809/task/9818/stat : 9818 (java) S 9807 9809 7854 0 -1 4202560 423 0 0 0 819 16 0 0 20 0 19 0 338740774 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267269081256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9819] ppid=9807 vsize=3024420 CPUtime=8.39 cores=1,3,5,7
/proc/9809/task/9819/stat : 9819 (java) S 9807 9809 7854 0 -1 4202560 467 0 0 0 822 17 0 0 20 0 19 0 338740774 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267268028712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9820] ppid=9807 vsize=3024420 CPUtime=4.1 cores=1,3,5,7
/proc/9809/task/9820/stat : 9820 (java) S 9807 9809 7854 0 -1 4202560 32579 0 0 0 398 12 0 0 20 0 19 0 338740775 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267138046824 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9821] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9821/stat : 9821 (java) S 9807 9809 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267136993144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9822] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9822/stat : 9822 (java) S 9807 9809 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267135939976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9823] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9823/stat : 9823 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267134888720 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9824] ppid=9807 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/9809/task/9824/stat : 9824 (java) S 9807 9809 7854 0 -1 4202560 6451 0 0 0 65 2 0 0 20 0 19 0 338740778 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267133835576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9825] ppid=9807 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9809/task/9825/stat : 9825 (java) S 9807 9809 7854 0 -1 4202560 4660 0 0 0 75 0 0 0 20 0 19 0 338740778 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267132783032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9826] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9826/stat : 9826 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267131730168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9827] ppid=9807 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/9809/task/9827/stat : 9827 (java) S 9807 9809 7854 0 -1 4202560 95 0 0 0 27 37 0 0 20 0 19 0 338740778 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267130677832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9828] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9828/stat : 9828 (java) S 9807 9809 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338741107 3097006080 422336 33554432000 1073741824 1073778376 140733572930912 140267128546856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1713.37
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/213 10050
/proc/meminfo: memFree=27106892/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=3024420 CPUtime=1774.99 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 52336 0 1 0 177307 192 0 0 20 0 19 0 338740773 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 756105 422376 2309 9 0 746526 0
[pid=9809/tid=9810] ppid=9807 vsize=3024420 CPUtime=1699.42 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 3857 0 1 0 169907 35 0 0 20 0 19 0 338740773 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267291970864 140267140016037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9812] ppid=9807 vsize=3024420 CPUtime=8.78 cores=1,3,5,7
/proc/9809/task/9812/stat : 9812 (java) S 9807 9809 7854 0 -1 4202560 457 0 0 0 863 15 0 0 20 0 19 0 338740774 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267275398056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9813] ppid=9807 vsize=3024420 CPUtime=8.51 cores=1,3,5,7
/proc/9809/task/9813/stat : 9813 (java) S 9807 9809 7854 0 -1 4202560 388 0 0 0 837 14 0 0 20 0 19 0 338740774 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267274345512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9814] ppid=9807 vsize=3024420 CPUtime=8.91 cores=1,3,5,7
/proc/9809/task/9814/stat : 9814 (java) S 9807 9809 7854 0 -1 4202560 418 0 0 0 874 17 0 0 20 0 19 0 338740774 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267273292456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9815] ppid=9807 vsize=3024420 CPUtime=8.62 cores=1,3,5,7
/proc/9809/task/9815/stat : 9815 (java) S 9807 9809 7854 0 -1 4202560 458 0 0 0 846 16 0 0 20 0 19 0 338740774 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267272239912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9816] ppid=9807 vsize=3024420 CPUtime=8.59 cores=1,3,5,7
/proc/9809/task/9816/stat : 9816 (java) S 9807 9809 7854 0 -1 4202560 425 0 0 0 843 16 0 0 20 0 19 0 338740774 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267271186856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9817] ppid=9807 vsize=3024420 CPUtime=8.68 cores=1,3,5,7
/proc/9809/task/9817/stat : 9817 (java) S 9807 9809 7854 0 -1 4202560 462 0 0 0 850 18 0 0 20 0 19 0 338740774 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267270134312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9818] ppid=9807 vsize=3024420 CPUtime=8.67 cores=1,3,5,7
/proc/9809/task/9818/stat : 9818 (java) S 9807 9809 7854 0 -1 4202560 426 0 0 0 850 17 0 0 20 0 19 0 338740774 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267269081256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9819] ppid=9807 vsize=3024420 CPUtime=8.57 cores=1,3,5,7
/proc/9809/task/9819/stat : 9819 (java) S 9807 9809 7854 0 -1 4202560 471 0 0 0 840 17 0 0 20 0 19 0 338740774 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267268028712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9820] ppid=9807 vsize=3024420 CPUtime=4.1 cores=1,3,5,7
/proc/9809/task/9820/stat : 9820 (java) S 9807 9809 7854 0 -1 4202560 32583 0 0 0 398 12 0 0 20 0 19 0 338740775 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267138046824 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9821] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9821/stat : 9821 (java) S 9807 9809 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267136993144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9822] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9822/stat : 9822 (java) S 9807 9809 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267135939976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9823] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9823/stat : 9823 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267134888720 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9824] ppid=9807 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/9809/task/9824/stat : 9824 (java) S 9807 9809 7854 0 -1 4202560 6451 0 0 0 65 2 0 0 20 0 19 0 338740778 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267133835576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9825] ppid=9807 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9809/task/9825/stat : 9825 (java) S 9807 9809 7854 0 -1 4202560 4660 0 0 0 75 0 0 0 20 0 19 0 338740778 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267132783032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9826] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9826/stat : 9826 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267131730168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9827] ppid=9807 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/9809/task/9827/stat : 9827 (java) S 9807 9809 7854 0 -1 4202560 99 0 0 0 29 38 0 0 20 0 19 0 338740778 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267130677832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9828] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9828/stat : 9828 (java) S 9807 9809 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338741107 3097006080 422376 33554432000 1073741824 1073778376 140733572930912 140267128546856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1774.99
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1746.81 s]
/proc/loadavg: 2.07 2.04 2.01 3/213 10050
/proc/meminfo: memFree=27106772/32873648 swapFree=7116/7116
[pid=9809] ppid=9807 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/9809/stat : 9809 (java) S 9807 9809 7854 0 -1 4202496 52359 0 1 0 179817 192 0 0 20 0 19 0 338740773 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140733572922048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9809/statm: 756105 422389 2309 9 0 746526 0
[pid=9809/tid=9810] ppid=9807 vsize=3024420 CPUtime=1723.71 cores=1,3,5,7
/proc/9809/task/9810/stat : 9810 (java) R 9807 9809 7854 0 -1 4202560 3863 0 1 0 172335 36 0 0 20 0 19 0 338740773 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267291970752 140267140013714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9812] ppid=9807 vsize=3024420 CPUtime=8.89 cores=1,3,5,7
/proc/9809/task/9812/stat : 9812 (java) S 9807 9809 7854 0 -1 4202560 461 0 0 0 874 15 0 0 20 0 19 0 338740774 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267275398056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9813] ppid=9807 vsize=3024420 CPUtime=8.6 cores=1,3,5,7
/proc/9809/task/9813/stat : 9813 (java) S 9807 9809 7854 0 -1 4202560 390 0 0 0 846 14 0 0 20 0 19 0 338740774 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267274345512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9814] ppid=9807 vsize=3024420 CPUtime=8.99 cores=1,3,5,7
/proc/9809/task/9814/stat : 9814 (java) S 9807 9809 7854 0 -1 4202560 421 0 0 0 882 17 0 0 20 0 19 0 338740774 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267273292456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9815] ppid=9807 vsize=3024420 CPUtime=8.76 cores=1,3,5,7
/proc/9809/task/9815/stat : 9815 (java) S 9807 9809 7854 0 -1 4202560 459 0 0 0 860 16 0 0 20 0 19 0 338740774 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267272239912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9816] ppid=9807 vsize=3024420 CPUtime=8.67 cores=1,3,5,7
/proc/9809/task/9816/stat : 9816 (java) S 9807 9809 7854 0 -1 4202560 425 0 0 0 851 16 0 0 20 0 19 0 338740774 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267271186856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9817] ppid=9807 vsize=3024420 CPUtime=8.81 cores=1,3,5,7
/proc/9809/task/9817/stat : 9817 (java) S 9807 9809 7854 0 -1 4202560 463 0 0 0 863 18 0 0 20 0 19 0 338740774 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267270134312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9818] ppid=9807 vsize=3024420 CPUtime=8.77 cores=1,3,5,7
/proc/9809/task/9818/stat : 9818 (java) S 9807 9809 7854 0 -1 4202560 427 0 0 0 860 17 0 0 20 0 19 0 338740774 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267269081256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9819] ppid=9807 vsize=3024420 CPUtime=8.65 cores=1,3,5,7
/proc/9809/task/9819/stat : 9819 (java) S 9807 9809 7854 0 -1 4202560 472 0 0 0 848 17 0 0 20 0 19 0 338740774 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267268028712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9820] ppid=9807 vsize=3024420 CPUtime=4.11 cores=1,3,5,7
/proc/9809/task/9820/stat : 9820 (java) S 9807 9809 7854 0 -1 4202560 32585 0 0 0 399 12 0 0 20 0 19 0 338740775 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267138046824 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9821] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9821/stat : 9821 (java) S 9807 9809 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267136993144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9822] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9822/stat : 9822 (java) S 9807 9809 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338740775 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267135939976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9823] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9823/stat : 9823 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267134888720 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9809/tid=9824] ppid=9807 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/9809/task/9824/stat : 9824 (java) S 9807 9809 7854 0 -1 4202560 6451 0 0 0 65 2 0 0 20 0 19 0 338740778 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267133835576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9825] ppid=9807 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9809/task/9825/stat : 9825 (java) S 9807 9809 7854 0 -1 4202560 4660 0 0 0 75 0 0 0 20 0 19 0 338740778 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267132783032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9809/tid=9826] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9826/stat : 9826 (java) S 9807 9809 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338740778 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267131730168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9809/tid=9827] ppid=9807 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/9809/task/9827/stat : 9827 (java) S 9807 9809 7854 0 -1 4202560 101 0 0 0 29 39 0 0 20 0 19 0 338740778 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267130677832 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9809/tid=9828] ppid=9807 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9809/task/9828/stat : 9828 (java) S 9807 9809 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338741107 3097006080 422389 33554432000 1073741824 1073778376 140733572930912 140267128546856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 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

Child status: 143
Real time (s): 1746.83
CPU time (s): 1800.32
CPU user time (s): 1798
CPU system time (s): 2.32165
CPU usage (%): 103.062
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798
system time used= 2.32165
maximum resident set size= 1725468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52390
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= 56809
involuntary context switches= 140633

runsolver used 5.76112 second user time and 15.2317 second system time

The end

Launcher Data

Begin job on node127 at 2012-06-03 14:22:33
IDJOB=3738530
IDBENCH=71904
IDSOLVER=2319
FILE ID=node127/3738530-1338726153
RUNJOBID= node127-1338713637-7871
PBS_JOBID= 14636737
Free space on /tmp= 70464 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__32.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738530-1338726153/watcher-3738530-1338726153 -o /tmp/evaluation-result-3738530-1338726153/solver-3738530-1338726153 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3738530-1338726153.opb           

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

MD5SUM BENCH= 88a1b10031770f0260ca582c16661bcb
RANDOM SEED=852142626

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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:        27980320 kB
Buffers:          400608 kB
Cached:          1916768 kB
SwapCached:         1428 kB
Active:          2725444 kB
Inactive:        1282320 kB
Active(anon):    1684636 kB
Inactive(anon):     7952 kB
Active(file):    1040808 kB
Inactive(file):  1274368 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104508 kB
Dirty:             18180 kB
Writeback:             0 kB
AnonPages:       1696072 kB
Mapped:            19076 kB
Shmem:                92 kB
Slab:             746696 kB
SReclaimable:     190492 kB
SUnreclaim:       556204 kB
KernelStack:        1592 kB
PageTables:         7484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1827568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70460 MiB
End job on node127 at 2012-06-03 14:51:42