Trace number 3288615

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06UNSAT 1064.44 1063

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_pcb_unknown.cnf
MD5SUMe669f2d68684ca746cc80f142ad8d0dc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark108.579
Satisfiable
(Un)Satisfiability was proved
Number of variables33320
Number of clauses766757
Sum of the clauses size2858079
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 253534
Number of clauses of size 3101881
Number of clauses of size 4611342
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c no version file found!!!
0.02/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.07	c java.vm.version	19.1-b02
0.02/0.07	c java.vm.vendor	Sun Microsystems Inc.
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.18-164.el5
0.02/0.07	c os.arch		amd64
0.02/0.07	c Free memory 		6997539544
0.02/0.07	c Max memory 		7034241024
0.02/0.07	c Total memory 		7034241024
0.02/0.07	c Number of processors 	8
0.02/0.09	c --- Begin Solver configuration ---
0.02/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.02/0.09	c Learn all clauses as in MiniSAT
0.02/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.02/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.02/0.09	c Expensive reason simplification
0.02/0.09	c Armin Biere (Picosat) restarts strategy
0.02/0.09	c Glucose learned constraints deletion strategy
0.02/0.09	c timeout=2147483647s
0.02/0.09	c DB Simplification allowed=true
0.02/0.09	c --- End Solver configuration ---
0.02/0.09	c solving HOME/instance-3288615-1303782458.cnf
0.02/0.09	c reading problem ... 
1.05/0.98	c ... done. Wall clock time 0.892s.
1.05/0.98	c #vars     33320
1.05/0.98	c #constraints  766757
1.05/0.98	c constraints type 
1.05/0.98	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 713223
1.05/0.98	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 53534
9.72/9.19	c cleaning 2478 clauses out of 4955 with flag 5000/5000
20.49/19.35	c cleaning 4239 clauses out of 8478 with flag 11001/11001
30.80/29.66	c cleaning 5618 clauses out of 11239 with flag 18001/18001
42.40/41.24	c cleaning 6804 clauses out of 13620 with flag 26000/26000
54.12/52.92	c cleaning 7904 clauses out of 15816 with flag 35000/35000
67.33/66.10	c cleaning 8954 clauses out of 17913 with flag 45001/45001
82.33/81.20	c cleaning 9977 clauses out of 19959 with flag 56001/56001
96.73/95.59	c cleaning 10988 clauses out of 21982 with flag 68001/68001
112.83/111.69	c cleaning 11990 clauses out of 23994 with flag 81001/81001
129.54/128.33	c cleaning 12997 clauses out of 26004 with flag 95001/95001
151.44/150.27	c cleaning 13999 clauses out of 28007 with flag 110001/110001
170.34/169.19	c cleaning 15001 clauses out of 30008 with flag 126001/126001
190.65/189.49	c cleaning 13694 clauses out of 27408 with flag 143000/143000
210.26/209.08	c cleaning 12015 clauses out of 24043 with flag 161001/161001
229.87/228.66	c cleaning 15512 clauses out of 31027 with flag 180000/180000
252.67/251.47	c cleaning 17748 clauses out of 35515 with flag 200000/200000
278.40/277.12	c cleaning 14832 clauses out of 29668 with flag 221001/221001
305.90/304.62	c cleaning 18408 clauses out of 36835 with flag 243000/243000
331.91/330.60	c cleaning 19656 clauses out of 39313 with flag 266001/266001
361.91/360.67	c cleaning 20681 clauses out of 41368 with flag 290000/290000
393.12/391.89	c cleaning 22309 clauses out of 44626 with flag 315000/315000
425.53/424.27	c cleaning 21690 clauses out of 43393 with flag 341000/341000
461.04/459.71	c cleaning 24349 clauses out of 48704 with flag 368001/368001
494.74/493.44	c cleaning 19642 clauses out of 39311 with flag 396001/396001
529.74/528.46	c cleaning 23522 clauses out of 47066 with flag 425002/425002
559.15/557.89	c cleaning 24500 clauses out of 49011 with flag 455000/455000
592.66/591.35	c cleaning 23307 clauses out of 46629 with flag 486000/486000
628.86/627.55	c cleaning 24952 clauses out of 49919 with flag 518000/518000
665.37/664.10	c cleaning 24953 clauses out of 49932 with flag 551001/551001
705.78/704.43	c cleaning 27939 clauses out of 55902 with flag 585000/585000
747.38/746.08	c cleaning 26471 clauses out of 52961 with flag 620000/620000
785.70/784.39	c cleaning 25949 clauses out of 51921 with flag 656001/656001
823.00/821.64	c cleaning 25430 clauses out of 50886 with flag 693007/693007
864.40/863.00	c cleaning 26076 clauses out of 52160 with flag 731000/731000
906.80/905.41	c cleaning 25114 clauses out of 50228 with flag 770001/770001
946.81/945.44	c cleaning 28536 clauses out of 57093 with flag 810000/810000
978.92/977.57	c cleaning 31710 clauses out of 63434 with flag 851000/851000
1016.42/1015.02	c cleaning 32375 clauses out of 64763 with flag 893000/893000
1051.83/1050.49	c cleaning 26560 clauses out of 53130 with flag 936001/936001
1064.33/1062.98	c starts		: 1127
1064.33/1062.98	c conflicts		: 955033
1064.33/1062.98	c decisions		: 1142400
1064.33/1062.98	c propagations		: 217386048
1064.33/1062.98	c inspects		: 13800676134
1064.33/1062.98	c shortcuts		: 0
1064.33/1062.98	c learnt literals	: 76
1064.33/1062.98	c learnt binary clauses	: 867
1064.33/1062.98	c learnt ternary clauses	: 3730
1064.33/1062.98	c learnt constraints	: 954956
1064.33/1062.98	c ignored constraints	: 0
1064.33/1062.98	c root simplifications	: 1202
1064.33/1062.98	c removed literals (reason simplification)	: 18336004
1064.33/1062.98	c reason swapping (by a shorter reason)	: 0
1064.33/1062.98	c Calls to reduceDB	: 39
1064.33/1062.98	c speed (assignments/second)	: 204696.1169272143
1064.33/1062.98	c non guided choices	231
1064.33/1062.98	c learnt constraints type 
1064.33/1062.98	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 9
1064.33/1062.98	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 2751
1064.33/1062.98	c constraints type 
1064.33/1062.98	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 713223
1064.33/1062.98	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 53534
1064.33/1062.98	s UNSATISFIABLE
1064.33/1062.98	c Total wall clock time (in seconds) : 1062.887

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3288615-1303782458/watcher-3288615-1303782458 -o /tmp/evaluation-result-3288615-1303782458/solver-3288615-1303782458 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3288615-1303782458.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.57 2.32 2.92 8/240 30843
/proc/meminfo: memFree=13595704/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=31604 CPUtime=0 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 1269 0 0 0 0 0 0 0 21 0 2 0 489842994 32362496 987 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 7901 994 765 9 0 386 0
[pid=30843/tid=30844] ppid=30841 vsize=31604 CPUtime=0 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 170 0 0 0 0 0 0 0 23 0 2 0 489842995 32362496 1001 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239471771271 0 0 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.0287809 s]
/proc/loadavg: 1.57 2.32 2.92 8/240 30843
/proc/meminfo: memFree=13595704/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7562296 CPUtime=0.02 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 8411 0 1 0 1 1 0 0 21 0 11 0 489842994 7743791104 8109 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1890574 8109 1569 9 0 1881322 0
[pid=30843/tid=30844] ppid=30841 vsize=7562296 CPUtime=0.01 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 7286 0 1 0 1 0 0 0 25 0 11 0 489842995 7743791104 8109 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 47947114514163 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7562296

[startup+0.100715 s]
/proc/loadavg: 1.57 2.32 2.92 8/240 30843
/proc/meminfo: memFree=13595704/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7636036 CPUtime=0.09 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 11089 0 1 0 8 1 0 0 21 0 18 0 489842994 7819300864 10785 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1909009 10785 2021 9 0 1899747 0
[pid=30843/tid=30844] ppid=30841 vsize=7636036 CPUtime=0.09 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 9504 0 1 0 8 1 0 0 25 0 18 0 489842995 7819300864 10785 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 47947117709331 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636036

[startup+0.300785 s]
/proc/loadavg: 1.57 2.32 2.92 8/240 30843
/proc/meminfo: memFree=13595704/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7638328 CPUtime=0.44 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 15325 0 1 0 43 1 0 0 21 0 18 0 489842994 7821647872 14964 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1909582 14966 2204 9 0 1900320 0
[pid=30843/tid=30844] ppid=30841 vsize=7638328 CPUtime=0.28 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 12881 0 1 0 27 1 0 0 25 0 18 0 489842995 7821647872 14968 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 46912505577090 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 7638328

[startup+0.700707 s]
/proc/loadavg: 1.57 2.32 2.92 8/240 30843
/proc/meminfo: memFree=13595704/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7638328 CPUtime=0.84 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 23727 0 1 0 81 3 0 0 21 0 18 0 489842994 7821647872 23366 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1909582 23367 2204 9 0 1900320 0
[pid=30843/tid=30844] ppid=30841 vsize=7638328 CPUtime=0.69 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 21280 0 1 0 66 3 0 0 25 0 18 0 489842995 7821647872 23367 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 46912505575074 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 7638328

[startup+1.5015 s]
/proc/loadavg: 1.57 2.32 2.92 10/261 30864
/proc/meminfo: memFree=13306992/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7646496 CPUtime=2.01 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 35846 0 1 0 196 5 0 0 21 0 19 0 489842994 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1911624 34215 2222 9 0 1902362 0
[pid=30843/tid=30844] ppid=30841 vsize=7646496 CPUtime=1.48 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 30292 0 1 0 144 4 0 0 25 0 19 0 489842995 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 46912505708142 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30843/tid=30846] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30846/stat : 30846 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 489842996 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30847] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30847/stat : 30847 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30848] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30848/stat : 30848 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30849] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30849/stat : 30849 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30850] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30850/stat : 30850 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30851] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30851/stat : 30851 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30852] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30852/stat : 30852 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30853] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30853/stat : 30853 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30854] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30854/stat : 30854 (java) S 30841 30843 28463 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 489842997 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 0 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30855] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30855/stat : 30855 (java) S 30841 30843 28463 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 489842997 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30856] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30856/stat : 30856 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 489842997 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30857] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30857/stat : 30857 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488518577 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30858] ppid=30841 vsize=7646496 CPUtime=0.24 cores=0,2
/proc/30843/task/30858/stat : 30858 (java) R 30841 30843 28463 0 -1 4202560 1682 0 0 0 24 0 0 0 16 0 19 0 489843000 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 47947119777365 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30843/tid=30859] ppid=30841 vsize=7646496 CPUtime=0.26 cores=0,2
/proc/30843/task/30859/stat : 30859 (java) R 30841 30843 28463 0 -1 4202560 2710 0 0 0 26 0 0 0 17 0 19 0 489843000 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 47947114909776 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30843/tid=30860] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30860/stat : 30860 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30861] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30861/stat : 30861 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 489843000 7830011904 34215 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 7646496

[startup+3.10125 s]
/proc/loadavg: 1.57 2.32 2.92 5/262 30865
/proc/meminfo: memFree=13278804/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7646496 CPUtime=3.67 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 36945 0 1 0 362 5 0 0 21 0 19 0 489842994 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1911624 35313 2223 9 0 1902362 0
[pid=30843/tid=30844] ppid=30841 vsize=7646496 CPUtime=3.08 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 31382 0 1 0 304 4 0 0 25 0 19 0 489842995 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30843/tid=30846] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30846/stat : 30846 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 489842996 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30847] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30847/stat : 30847 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30848] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30848/stat : 30848 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30849] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30849/stat : 30849 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30850] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30850/stat : 30850 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30851] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30851/stat : 30851 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30852] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30852/stat : 30852 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30853] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30853/stat : 30853 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30854] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30854/stat : 30854 (java) S 30841 30843 28463 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 489842997 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 0 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30855] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30855/stat : 30855 (java) S 30841 30843 28463 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 489842997 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30856] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30856/stat : 30856 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 489842997 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30857] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30857/stat : 30857 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488518577 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30858] ppid=30841 vsize=7646496 CPUtime=0.28 cores=0,2
/proc/30843/task/30858/stat : 30858 (java) S 30841 30843 28463 0 -1 4202560 1687 0 0 0 28 0 0 0 15 0 19 0 489843000 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30859] ppid=30841 vsize=7646496 CPUtime=0.29 cores=0,2
/proc/30843/task/30859/stat : 30859 (java) S 30841 30843 28463 0 -1 4202560 2714 0 0 0 29 0 0 0 15 0 19 0 489843000 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30860] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30860/stat : 30860 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30861] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30861/stat : 30861 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 489843000 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30865] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30865/stat : 30865 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 489843097 7830011904 35313 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 7646496

[startup+6.30164 s]
/proc/loadavg: 1.85 2.37 2.93 5/262 30865
/proc/meminfo: memFree=13212588/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7646496 CPUtime=6.89 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 37082 0 1 0 684 5 0 0 21 0 19 0 489842994 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1911624 35449 2223 9 0 1902362 0
[pid=30843/tid=30844] ppid=30841 vsize=7646496 CPUtime=6.28 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 31517 0 1 0 624 4 0 0 25 0 19 0 489842995 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 46912505661036 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30843/tid=30846] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30846/stat : 30846 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 489842996 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30847] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30847/stat : 30847 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30848] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30848/stat : 30848 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30849] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30849/stat : 30849 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30850] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30850/stat : 30850 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30851] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30851/stat : 30851 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30852] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30852/stat : 30852 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30853] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30853/stat : 30853 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489842996 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30854] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30854/stat : 30854 (java) S 30841 30843 28463 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 489842997 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 0 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30855] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30855/stat : 30855 (java) S 30841 30843 28463 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 489842997 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30856] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30856/stat : 30856 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 489842997 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30857] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30857/stat : 30857 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488518577 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30858] ppid=30841 vsize=7646496 CPUtime=0.3 cores=0,2
/proc/30843/task/30858/stat : 30858 (java) S 30841 30843 28463 0 -1 4202560 1689 0 0 0 30 0 0 0 15 0 19 0 489843000 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30859] ppid=30841 vsize=7646496 CPUtime=0.29 cores=0,2
/proc/30843/task/30859/stat : 30859 (java) S 30841 30843 28463 0 -1 4202560 2714 0 0 0 29 0 0 0 15 0 19 0 489843000 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30860] ppid=30841 vsize=7646496 CPUtime=0 cores=0,2
/proc/30843/task/30860/stat : 30860 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7830011904 35449 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0

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

/proc/30843/task/30847/stat : 30847 (java) S 30841 30843 28463 0 -1 4202560 6 0 0 0 5 0 0 0 16 0 19 0 489842996 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30848] ppid=30841 vsize=7654364 CPUtime=0.04 cores=0,2
/proc/30843/task/30848/stat : 30848 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 4 0 0 0 16 0 19 0 489842996 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30849] ppid=30841 vsize=7654364 CPUtime=0.05 cores=0,2
/proc/30843/task/30849/stat : 30849 (java) S 30841 30843 28463 0 -1 4202560 43 0 0 0 5 0 0 0 15 0 19 0 489842996 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30850] ppid=30841 vsize=7654364 CPUtime=0.04 cores=0,2
/proc/30843/task/30850/stat : 30850 (java) S 30841 30843 28463 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 489842996 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30851] ppid=30841 vsize=7654364 CPUtime=0.06 cores=0,2
/proc/30843/task/30851/stat : 30851 (java) S 30841 30843 28463 0 -1 4202560 8 0 0 0 6 0 0 0 15 0 19 0 489842996 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30852] ppid=30841 vsize=7654364 CPUtime=0.06 cores=0,2
/proc/30843/task/30852/stat : 30852 (java) S 30841 30843 28463 0 -1 4202560 4050 0 0 0 6 0 0 0 16 0 19 0 489842996 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30853] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30853/stat : 30853 (java) S 30841 30843 28463 0 -1 4202560 5550 0 0 0 7 0 0 0 15 0 19 0 489842996 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30854] ppid=30841 vsize=7654364 CPUtime=9.74 cores=0,2
/proc/30843/task/30854/stat : 30854 (java) S 30841 30843 28463 0 -1 4202560 23071 0 0 0 971 3 0 0 15 0 19 0 489842997 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 0 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30855] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30855/stat : 30855 (java) S 30841 30843 28463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 489842997 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30856] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30856/stat : 30856 (java) S 30841 30843 28463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 489842997 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30857] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30857/stat : 30857 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488518577 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30858] ppid=30841 vsize=7654364 CPUtime=0.33 cores=0,2
/proc/30843/task/30858/stat : 30858 (java) S 30841 30843 28463 0 -1 4202560 1693 0 0 0 33 0 0 0 15 0 19 0 489843000 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30859] ppid=30841 vsize=7654364 CPUtime=0.79 cores=0,2
/proc/30843/task/30859/stat : 30859 (java) S 30841 30843 28463 0 -1 4202560 7665 0 0 0 79 0 0 0 16 0 19 0 489843000 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30860] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30860/stat : 30860 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30861] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30861/stat : 30861 (java) S 30841 30843 28463 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 489843000 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30865] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30865/stat : 30865 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 489843097 7838068736 78720 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1003.72
Current children cumulated vsize (KiB) 7654364

[startup+1062.3 s]
/proc/loadavg: 3.13 3.63 3.53 4/238 31396
/proc/meminfo: memFree=14106224/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7654364 CPUtime=1063.73 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 83454 0 1 0 106360 13 0 0 21 0 19 0 489842994 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1913591 78722 2254 9 0 1904329 0
[pid=30843/tid=30844] ppid=30841 vsize=7654364 CPUtime=1051.77 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 31610 0 1 0 105171 6 0 0 25 0 19 0 489842995 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 46912505661322 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30843/tid=30846] ppid=30841 vsize=7654364 CPUtime=0.16 cores=0,2
/proc/30843/task/30846/stat : 30846 (java) S 30841 30843 28463 0 -1 4202560 8521 0 0 0 16 0 0 0 15 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30847] ppid=30841 vsize=7654364 CPUtime=0.05 cores=0,2
/proc/30843/task/30847/stat : 30847 (java) S 30841 30843 28463 0 -1 4202560 6 0 0 0 5 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30848] ppid=30841 vsize=7654364 CPUtime=0.04 cores=0,2
/proc/30843/task/30848/stat : 30848 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 4 0 0 0 15 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30849] ppid=30841 vsize=7654364 CPUtime=0.06 cores=0,2
/proc/30843/task/30849/stat : 30849 (java) S 30841 30843 28463 0 -1 4202560 43 0 0 0 6 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30850] ppid=30841 vsize=7654364 CPUtime=0.04 cores=0,2
/proc/30843/task/30850/stat : 30850 (java) S 30841 30843 28463 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30851] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30851/stat : 30851 (java) S 30841 30843 28463 0 -1 4202560 8 0 0 0 7 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30852] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30852/stat : 30852 (java) S 30841 30843 28463 0 -1 4202560 4050 0 0 0 7 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30853] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30853/stat : 30853 (java) S 30841 30843 28463 0 -1 4202560 5552 0 0 0 7 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30854] ppid=30841 vsize=7654364 CPUtime=10.19 cores=0,2
/proc/30843/task/30854/stat : 30854 (java) S 30841 30843 28463 0 -1 4202560 23075 0 0 0 1016 3 0 0 15 0 19 0 489842997 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 0 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30855] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30855/stat : 30855 (java) S 30841 30843 28463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 489842997 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30856] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30856/stat : 30856 (java) S 30841 30843 28463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 489842997 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30857] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30857/stat : 30857 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488518577 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30858] ppid=30841 vsize=7654364 CPUtime=0.33 cores=0,2
/proc/30843/task/30858/stat : 30858 (java) S 30841 30843 28463 0 -1 4202560 1693 0 0 0 33 0 0 0 15 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30859] ppid=30841 vsize=7654364 CPUtime=0.79 cores=0,2
/proc/30843/task/30859/stat : 30859 (java) S 30841 30843 28463 0 -1 4202560 7665 0 0 0 79 0 0 0 16 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30860] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30860/stat : 30860 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30861] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30861/stat : 30861 (java) S 30841 30843 28463 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30865] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30865/stat : 30865 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 489843097 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1063.73
Current children cumulated vsize (KiB) 7654364

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

[startup+1062.7 s]
/proc/loadavg: 3.13 3.63 3.53 4/238 31396
/proc/meminfo: memFree=14106100/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7654364 CPUtime=1064.13 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 83454 0 1 0 106400 13 0 0 21 0 19 0 489842994 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1913591 78722 2254 9 0 1904329 0
[pid=30843/tid=30844] ppid=30841 vsize=7654364 CPUtime=1052.17 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 31610 0 1 0 105211 6 0 0 25 0 19 0 489842995 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 46912505720026 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30843/tid=30846] ppid=30841 vsize=7654364 CPUtime=0.16 cores=0,2
/proc/30843/task/30846/stat : 30846 (java) S 30841 30843 28463 0 -1 4202560 8521 0 0 0 16 0 0 0 15 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30847] ppid=30841 vsize=7654364 CPUtime=0.05 cores=0,2
/proc/30843/task/30847/stat : 30847 (java) S 30841 30843 28463 0 -1 4202560 6 0 0 0 5 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30848] ppid=30841 vsize=7654364 CPUtime=0.04 cores=0,2
/proc/30843/task/30848/stat : 30848 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 4 0 0 0 15 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30849] ppid=30841 vsize=7654364 CPUtime=0.06 cores=0,2
/proc/30843/task/30849/stat : 30849 (java) S 30841 30843 28463 0 -1 4202560 43 0 0 0 6 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30850] ppid=30841 vsize=7654364 CPUtime=0.04 cores=0,2
/proc/30843/task/30850/stat : 30850 (java) S 30841 30843 28463 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30851] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30851/stat : 30851 (java) S 30841 30843 28463 0 -1 4202560 8 0 0 0 7 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30852] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30852/stat : 30852 (java) S 30841 30843 28463 0 -1 4202560 4050 0 0 0 7 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30853] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30853/stat : 30853 (java) S 30841 30843 28463 0 -1 4202560 5552 0 0 0 7 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30854] ppid=30841 vsize=7654364 CPUtime=10.19 cores=0,2
/proc/30843/task/30854/stat : 30854 (java) S 30841 30843 28463 0 -1 4202560 23075 0 0 0 1016 3 0 0 15 0 19 0 489842997 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 0 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30855] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30855/stat : 30855 (java) S 30841 30843 28463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 489842997 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30856] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30856/stat : 30856 (java) S 30841 30843 28463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 489842997 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30857] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30857/stat : 30857 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488518577 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30858] ppid=30841 vsize=7654364 CPUtime=0.33 cores=0,2
/proc/30843/task/30858/stat : 30858 (java) S 30841 30843 28463 0 -1 4202560 1693 0 0 0 33 0 0 0 15 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30859] ppid=30841 vsize=7654364 CPUtime=0.79 cores=0,2
/proc/30843/task/30859/stat : 30859 (java) S 30841 30843 28463 0 -1 4202560 7665 0 0 0 79 0 0 0 16 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30860] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30860/stat : 30860 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30861] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30861/stat : 30861 (java) S 30841 30843 28463 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30865] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30865/stat : 30865 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 489843097 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1064.13
Current children cumulated vsize (KiB) 7654364

[startup+1062.9 s]
/proc/loadavg: 3.13 3.63 3.53 4/238 31396
/proc/meminfo: memFree=14106100/32950928 swapFree=67087032/67111528
[pid=30843] ppid=30841 vsize=7654364 CPUtime=1064.33 cores=0,2
/proc/30843/stat : 30843 (java) S 30841 30843 28463 0 -1 4202496 83454 0 1 0 106420 13 0 0 21 0 19 0 489842994 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30843/statm: 1913591 78722 2254 9 0 1904329 0
[pid=30843/tid=30844] ppid=30841 vsize=7654364 CPUtime=1052.37 cores=0,2
/proc/30843/task/30844/stat : 30844 (java) R 30841 30843 28463 0 -1 4202560 31610 0 1 0 105231 6 0 0 25 0 19 0 489842995 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 46912505720082 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30843/tid=30846] ppid=30841 vsize=7654364 CPUtime=0.16 cores=0,2
/proc/30843/task/30846/stat : 30846 (java) S 30841 30843 28463 0 -1 4202560 8521 0 0 0 16 0 0 0 15 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30847] ppid=30841 vsize=7654364 CPUtime=0.05 cores=0,2
/proc/30843/task/30847/stat : 30847 (java) S 30841 30843 28463 0 -1 4202560 6 0 0 0 5 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30848] ppid=30841 vsize=7654364 CPUtime=0.04 cores=0,2
/proc/30843/task/30848/stat : 30848 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 4 0 0 0 15 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30849] ppid=30841 vsize=7654364 CPUtime=0.06 cores=0,2
/proc/30843/task/30849/stat : 30849 (java) S 30841 30843 28463 0 -1 4202560 43 0 0 0 6 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30850] ppid=30841 vsize=7654364 CPUtime=0.04 cores=0,2
/proc/30843/task/30850/stat : 30850 (java) S 30841 30843 28463 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30851] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30851/stat : 30851 (java) S 30841 30843 28463 0 -1 4202560 8 0 0 0 7 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30852] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30852/stat : 30852 (java) S 30841 30843 28463 0 -1 4202560 4050 0 0 0 7 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30853] ppid=30841 vsize=7654364 CPUtime=0.07 cores=0,2
/proc/30843/task/30853/stat : 30853 (java) S 30841 30843 28463 0 -1 4202560 5552 0 0 0 7 0 0 0 16 0 19 0 489842996 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30854] ppid=30841 vsize=7654364 CPUtime=10.19 cores=0,2
/proc/30843/task/30854/stat : 30854 (java) S 30841 30843 28463 0 -1 4202560 23075 0 0 0 1016 3 0 0 15 0 19 0 489842997 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 0 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30855] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30855/stat : 30855 (java) S 30841 30843 28463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 489842997 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30856] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30856/stat : 30856 (java) S 30841 30843 28463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 489842997 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30857] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30857/stat : 30857 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488518577 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30858] ppid=30841 vsize=7654364 CPUtime=0.33 cores=0,2
/proc/30843/task/30858/stat : 30858 (java) S 30841 30843 28463 0 -1 4202560 1693 0 0 0 33 0 0 0 15 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30859] ppid=30841 vsize=7654364 CPUtime=0.79 cores=0,2
/proc/30843/task/30859/stat : 30859 (java) S 30841 30843 28463 0 -1 4202560 7665 0 0 0 79 0 0 0 16 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30860] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30860/stat : 30860 (java) S 30841 30843 28463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488510873 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
[pid=30843/tid=30861] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30861/stat : 30861 (java) S 30841 30843 28463 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 489843000 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 2 0 0 0
[pid=30843/tid=30865] ppid=30841 vsize=7654364 CPUtime=0 cores=0,2
/proc/30843/task/30865/stat : 30865 (java) S 30841 30843 28463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 489843097 7838068736 78722 33554432000 1073741824 1073778376 140733978130384 18446744073709551615 239488511488 0 4 0 16800975 18446604453901138944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1064.33
Current children cumulated vsize (KiB) 7654364

Child status: 20
Real time (s): 1063
CPU time (s): 1064.44
CPU user time (s): 1064.29
CPU system time (s): 0.153976
CPU usage (%): 100.136
Max. virtual memory (cumulated for all children) (KiB): 7662664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1064.29
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83466
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22839
involuntary context switches= 4195

runsolver used 1.88471 second user time and 3.9294 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-26 03:47:39
IDJOB=3288615
IDBENCH=82500
IDSOLVER=1611
FILE ID=node148/3288615-1303782458
RUNJOBID= node148-1303782458-30750
PBS_JOBID= 13157174
Free space on /tmp= 70564 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288615-1303782458/watcher-3288615-1303782458 -o /tmp/evaluation-result-3288615-1303782458/solver-3288615-1303782458 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3288615-1303782458.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= e669f2d68684ca746cc80f142ad8d0dc
RANDOM SEED=1545722687

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13597348 kB
Buffers:       2064300 kB
Cached:       16552264 kB
SwapCached:       5264 kB
Active:        9257940 kB
Inactive:      9529696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13597348 kB
SwapTotal:    67111528 kB
SwapFree:     67087032 kB
Dirty:           55196 kB
Writeback:          12 kB
AnonPages:      167196 kB
Mapped:          21800 kB
Slab:           500748 kB
PageTables:       6092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 21988280 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71628 MiB
End job on node148 at 2011-04-26 04:05:22