Trace number 2662124

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
SAT4J PB RES // CP 2.2.0 2010-05-31? (TO) 1800.36 914.561

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-4.opb
MD5SUM172d8bfe30610a29dfe3bb9d98ed3f4c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13489
Number of constraints which are clauses13489
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.16	c version 2.2.0.v20100531
0.08/0.16	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.16	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.16	c java.vm.version	11.2-b01
0.08/0.16	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.16	c sun.arch.data.model	32
0.08/0.16	c java.version		1.6.0_12
0.08/0.16	c os.name		Linux
0.08/0.16	c os.version		2.6.18-164.el5
0.08/0.16	c os.arch		i386
0.08/0.16	c Free memory 		1393557488
0.08/0.16	c Max memory 		1395916800
0.08/0.16	c Total memory 		1395916800
0.08/0.16	c Number of processors 	2
0.21/0.23	c Pseudo Boolean Optimization
0.21/0.23	c ManyCore solver with 2 solvers running in parallel
0.21/0.23	c --- Begin Solver configuration ---
0.21/0.23	c Stops conflict analysis at the first Unique Implication Point
0.21/0.23	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.21/0.23	c Learn all clauses as in MiniSAT
0.21/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.21/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.21/0.23	c Expensive reason simplification
0.21/0.23	c Armin Biere (Picosat) restarts strategy
0.21/0.23	c Glucose learned constraints deletion strategy
0.21/0.23	c timeout=2147483s
0.21/0.23	c DB Simplification allowed=false
0.21/0.23	c --- End Solver configuration ---
0.21/0.23	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.21/0.23	c --- Begin Solver configuration ---
0.21/0.23	c Stops conflict analysis at the first Unique Implication Point
0.21/0.23	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.21/0.23	c Learn all clauses as in MiniSAT
0.21/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.21/0.23	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.21/0.23	c No reason simplification
0.21/0.23	c Armin Biere (Picosat) restarts strategy
0.21/0.23	c Glucose learned constraints deletion strategy
0.21/0.23	c timeout=2147483s
0.21/0.23	c DB Simplification allowed=false
0.21/0.23	c --- End Solver configuration ---
0.21/0.23	
0.21/0.23	c solving HOME/instance-2662124-1276446501.opb
0.21/0.23	c reading problem ... 
1.73/1.24	c ... done. Wall clock time 1.014s.
1.73/1.24	c #vars     6352
1.73/1.24	c #constraints  13357
1.73/1.24	c constraints type 
1.73/1.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7054
1.73/1.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6021
1.73/1.24	c constraints type 
1.73/1.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6021
1.73/1.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7054
17.35/9.15	c cleaning 2500 clauses out of 5001 with flag 5001/5001
37.91/19.53	c cleaning 4250 clauses out of 8501 with flag 11001/11001
39.44/20.34	c cleaning 0 clauses out of 5000 with flag 0/5000
63.56/32.57	c cleaning 5624 clauses out of 11251 with flag 18001/18001
75.19/38.48	c cleaning 0 clauses out of 11000 with flag 0/11000
92.77/47.33	c cleaning 6810 clauses out of 13626 with flag 26000/26000
122.04/62.11	c cleaning 0 clauses out of 18000 with flag 0/18000
127.92/65.14	c cleaning 7908 clauses out of 15817 with flag 35001/35001
167.67/85.24	c cleaning 8952 clauses out of 17908 with flag 45000/45000
180.89/91.94	c cleaning 0 clauses out of 26001 with flag 0/26001
210.92/107.16	c cleaning 9974 clauses out of 19956 with flag 56000/56000
247.73/125.78	c cleaning 10988 clauses out of 21983 with flag 68001/68001
249.61/126.78	c cleaning 0 clauses out of 35000 with flag 0/35000
278.86/141.58	c cleaning 11996 clauses out of 23994 with flag 81000/81000
309.68/157.13	c cleaning 13000 clauses out of 25999 with flag 95001/95001
327.84/166.30	c cleaning 0 clauses out of 45003 with flag 0/45003
342.58/173.86	c cleaning 13494 clauses out of 26998 with flag 109000/109000
377.37/191.43	c cleaning 13750 clauses out of 27504 with flag 123000/123000
416.91/211.47	c cleaning 13869 clauses out of 27754 with flag 137000/137000
417.19/211.66	c cleaning 0 clauses out of 56001 with flag 0/56001
457.30/231.99	c cleaning 13941 clauses out of 27885 with flag 151000/151000
497.64/252.32	c cleaning 13969 clauses out of 27946 with flag 165002/165002
515.16/261.28	c cleaning 0 clauses out of 68000 with flag 0/68000
537.43/272.59	c cleaning 13982 clauses out of 27977 with flag 179002/179002
577.52/292.82	c cleaning 13990 clauses out of 27994 with flag 193001/193001
617.64/313.11	c cleaning 13997 clauses out of 28004 with flag 207001/207001
628.60/318.76	c cleaning 0 clauses out of 81000 with flag 0/81000
657.61/333.43	c cleaning 14000 clauses out of 28006 with flag 221000/221000
696.10/352.93	c cleaning 13999 clauses out of 28008 with flag 235002/235002
736.99/373.68	c cleaning 13997 clauses out of 28007 with flag 249000/249000
753.29/381.93	c cleaning 0 clauses out of 95001 with flag 0/95001
779.69/395.35	c cleaning 13997 clauses out of 28010 with flag 263000/263000
821.30/416.47	c cleaning 14001 clauses out of 28013 with flag 277000/277000
864.34/438.22	c cleaning 14001 clauses out of 28013 with flag 291001/291001
876.47/444.43	c cleaning 0 clauses out of 109001 with flag 0/109001
908.41/460.60	c cleaning 14001 clauses out of 28011 with flag 305000/305000
951.23/482.39	c cleaning 13999 clauses out of 28012 with flag 319002/319002
991.50/502.75	c cleaning 0 clauses out of 123000 with flag 0/123000
995.06/504.67	c cleaning 14001 clauses out of 28013 with flag 333002/333002
1038.91/526.83	c cleaning 14003 clauses out of 28011 with flag 347001/347001
1084.22/549.82	c cleaning 14000 clauses out of 28008 with flag 361001/361001
1100.87/558.34	c cleaning 0 clauses out of 137000 with flag 0/137000
1129.62/572.98	c cleaning 13997 clauses out of 28008 with flag 375001/375001
1174.00/595.42	c cleaning 14003 clauses out of 28011 with flag 389001/389001
1204.05/610.78	c cleaning 0 clauses out of 151001 with flag 0/151001
1213.14/615.48	c cleaning 13997 clauses out of 28007 with flag 403000/403000
1251.36/634.81	c cleaning 13997 clauses out of 28010 with flag 417000/417000
1292.15/655.52	c cleaning 14002 clauses out of 28013 with flag 431000/431000
1310.08/664.79	c cleaning 0 clauses out of 165000 with flag 0/165000
1335.02/677.43	c cleaning 14000 clauses out of 28013 with flag 445002/445002
1376.61/698.57	c cleaning 13996 clauses out of 28011 with flag 459000/459000
1411.64/716.36	c cleaning 0 clauses out of 179000 with flag 0/179000
1419.66/720.51	c cleaning 13999 clauses out of 28015 with flag 473000/473000
1462.81/742.44	c cleaning 14000 clauses out of 28016 with flag 487000/487000
1503.38/763.06	c cleaning 14002 clauses out of 28016 with flag 501000/501000
1519.19/771.19	c cleaning 0 clauses out of 193000 with flag 0/193000
1544.22/783.96	c cleaning 14004 clauses out of 28014 with flag 515000/515000
1584.57/804.41	c cleaning 13999 clauses out of 28010 with flag 529000/529000
1626.09/825.52	c cleaning 13997 clauses out of 28013 with flag 543002/543002
1629.97/827.65	c cleaning 0 clauses out of 207000 with flag 0/207000
1668.66/847.30	c cleaning 13996 clauses out of 28014 with flag 557000/557000
1710.19/868.49	c cleaning 14001 clauses out of 28018 with flag 571000/571000
1741.82/884.57	c cleaning 0 clauses out of 221002 with flag 0/221002
1752.62/890.19	c cleaning 14002 clauses out of 28018 with flag 585001/585001
1793.64/911.10	c cleaning 14001 clauses out of 28016 with flag 599001/599001
1800.09/914.42	c starts		: 164
1800.09/914.42	c conflicts		: 601301
1800.09/914.42	c decisions		: 646978
1800.09/914.42	c propagations		: 771459356
1800.09/914.42	c inspects		: 2893545438
1800.09/914.42	c learnt literals	: 0
1800.09/914.42	c learnt binary clauses	: 47
1800.09/914.42	c learnt ternary clauses	: 41
1800.09/914.42	c learnt clauses	: 601301
1800.09/914.42	c ignored clauses	: 0
1800.09/914.42	c root simplifications	: 0
1800.09/914.42	c removed literals (reason simplification)	: 7364599
1800.09/914.42	c reason swapping (by a shorter reason)	: 0
1800.09/914.42	c Calls to reduceDB	: 46
1800.09/914.42	c number of reductions to clauses (during analyze)	: 0
1800.09/914.42	c number of learned constraints concerned by reduction	: 0
1800.09/914.42	c number of learning phase by resolution	: 0
1800.09/914.42	c number of learning phase by cutting planes	: 0
1800.09/914.42	c speed (assignments/second)	: 844809.9827524845
1800.09/914.42	c non guided choices	0
1800.09/914.50	c learnt constraints type 
1800.09/914.50	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16296
1800.09/914.50	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 47
1800.09/914.50	c constraints type 
1800.09/914.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7054
1800.09/914.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6021
1800.09/914.50	c constraints type 
1800.09/914.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6021
1800.09/914.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7054
1800.09/914.50	s UNKNOWN
1800.09/914.50	c Total wall clock time (in seconds): 914.279

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662124-1276446501/watcher-2662124-1276446501 -o /tmp/evaluation-result-2662124-1276446501/solver-2662124-1276446501 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662124-1276446501.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 23523
/proc/meminfo: memFree=1805456/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=444 CPUtime=0
/proc/23523/stat : 23523 (java6) R 23521 23523 22948 0 -1 4194304 129 0 0 0 0 0 0 0 19 0 1 0 20253935 454656 48 1992294400 134512640 134550932 4291332720 18446744073709551615 3887700 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23523/statm: 111 50 40 10 0 25 0

[startup+0.096635 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 23523
/proc/meminfo: memFree=1805456/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1521796 CPUtime=0.07
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 3868 0 1 0 6 1 0 0 15 0 7 0 20253935 1558319104 3309 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 380449 3309 1048 10 0 377759 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1521796

[startup+0.101632 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 23523
/proc/meminfo: memFree=1805456/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1524020 CPUtime=0.08
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 3936 0 1 0 6 2 0 0 15 0 12 0 20253935 1560596480 3375 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 381005 3375 1072 10 0 378308 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524020

[startup+0.300654 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 23523
/proc/meminfo: memFree=1805456/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1526280 CPUtime=0.34
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 5397 0 1 0 32 2 0 0 15 0 12 0 20253935 1562910720 4834 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 381570 4834 1361 10 0 378873 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1526280

[startup+0.700692 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 23523
/proc/meminfo: memFree=1805456/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1530064 CPUtime=0.98
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 7984 0 1 0 95 3 0 0 15 0 12 0 20253935 1566785536 6983 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 382516 6984 1401 10 0 379819 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 1530064

[startup+1.50177 s]
/proc/loadavg: 1.00 1.00 1.00 4/118 23535
/proc/meminfo: memFree=1771944/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1533548 CPUtime=2.29
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 16640 0 1 0 221 8 0 0 15 0 14 0 20253935 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 383387 15106 1427 10 0 380690 0
[pid=23523/tid=23525] ppid=23521 vsize=1533548 CPUtime=0.9
/proc/23523/task/23525/stat : 23525 (java) S 23521 23523 22948 0 -1 4202560 10963 0 1 0 85 5 0 0 25 0 14 0 20253936 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23526] ppid=23521 vsize=1533548 CPUtime=0
/proc/23523/task/23526/stat : 23526 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 14 0 20253938 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23527] ppid=23521 vsize=1533548 CPUtime=0
/proc/23523/task/23527/stat : 23527 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 14 0 20253938 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23528] ppid=23521 vsize=1533548 CPUtime=0
/proc/23523/task/23528/stat : 23528 (java) S 23521 23523 22948 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 14 0 20253940 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23529] ppid=23521 vsize=1533548 CPUtime=0
/proc/23523/task/23529/stat : 23529 (java) S 23521 23523 22948 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 14 0 20253940 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23530] ppid=23521 vsize=1533548 CPUtime=0
/proc/23523/task/23530/stat : 23530 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 20253940 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23531] ppid=23521 vsize=1533548 CPUtime=0
/proc/23523/task/23531/stat : 23531 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 20253944 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23532] ppid=23521 vsize=1533548 CPUtime=0.53
/proc/23523/task/23532/stat : 23532 (java) R 23521 23523 22948 0 -1 4202560 1829 0 0 0 52 1 0 0 16 0 14 0 20253944 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 104151952 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23523/tid=23533] ppid=23521 vsize=1533548 CPUtime=0.6
/proc/23523/task/23533/stat : 23533 (java) R 23521 23523 22948 0 -1 4202560 1523 0 0 0 60 0 0 0 16 0 14 0 20253944 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 104147034 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23523/tid=23534] ppid=23521 vsize=1533548 CPUtime=0
/proc/23523/task/23534/stat : 23534 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 20253945 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23535] ppid=23521 vsize=1533548 CPUtime=0
/proc/23523/task/23535/stat : 23535 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 20253945 1570353152 15106 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 1533548

[startup+3.10192 s]
/proc/loadavg: 1.00 1.00 1.00 5/122 23539
/proc/meminfo: memFree=1736820/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1534196 CPUtime=5.47
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 32668 0 1 0 532 15 0 0 15 0 16 0 20253935 1571016704 30134 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 383549 30136 1433 10 0 380852 0
[pid=23523/tid=23525] ppid=23521 vsize=1534196 CPUtime=0.9
/proc/23523/task/23525/stat : 23525 (java) S 23521 23523 22948 0 -1 4202560 10963 0 1 0 85 5 0 0 18 0 16 0 20253936 1571016704 30138 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23526] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23526/stat : 23526 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 16 0 20253938 1571016704 30139 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23527] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23527/stat : 23527 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 20253938 1571016704 30140 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23528] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23528/stat : 23528 (java) S 23521 23523 22948 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 16 0 20253940 1571016704 30142 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23529] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23529/stat : 23529 (java) S 23521 23523 22948 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 16 0 20253940 1571016704 30143 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23530] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23530/stat : 23530 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 20253940 1571016704 30144 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23531] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23531/stat : 23531 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 20253944 1571016704 30146 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23532] ppid=23521 vsize=1534196 CPUtime=1.14
/proc/23523/task/23532/stat : 23532 (java) S 23521 23523 22948 0 -1 4202560 1870 0 0 0 113 1 0 0 16 0 16 0 20253944 1571016704 30147 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23533] ppid=23521 vsize=1534196 CPUtime=1.33
/proc/23523/task/23533/stat : 23533 (java) S 23521 23523 22948 0 -1 4202560 2562 0 0 0 132 1 0 0 15 0 16 0 20253944 1571016704 30148 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23534] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23534/stat : 23534 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 20253945 1571016704 30150 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23535] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23535/stat : 23535 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 20253945 1571016704 30151 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23536] ppid=23521 vsize=1534196 CPUtime=1.08
/proc/23523/task/23536/stat : 23536 (java) R 23521 23523 22948 0 -1 4202560 1633 0 0 0 107 1 0 0 20 0 16 0 20254059 1571016704 30152 1992294400 134512640 134550932 4289333536 18446744073709551615 4109544160 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23523/tid=23537] ppid=23521 vsize=1534196 CPUtime=0.97
/proc/23523/task/23537/stat : 23537 (java) R 23521 23523 22948 0 -1 4202560 14584 0 0 0 93 4 0 0 25 0 16 0 20254059 1571016704 30153 1992294400 134512640 134550932 4289333536 18446744073709551615 4110189872 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23523/tid=23538] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23538/stat : 23538 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 20254096 1571016704 30154 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23539] ppid=23521 vsize=1534196 CPUtime=0
/proc/23523/task/23539/stat : 23539 (java) S 23521 23523 22948 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 20254097 1571016704 30156 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 1534196

[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.00 3/122 23539
/proc/meminfo: memFree=1659320/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1533564 CPUtime=11.81
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 40356 0 1 0 1163 18 0 0 15 0 16 0 20253935 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 383391 37670 1442 10 0 380694 0
[pid=23523/tid=23525] ppid=23521 vsize=1533564 CPUtime=0.9
/proc/23523/task/23525/stat : 23525 (java) S 23521 23523 22948 0 -1 4202560 10963 0 1 0 85 5 0 0 18 0 16 0 20253936 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23526] ppid=23521 vsize=1533564 CPUtime=0.05
/proc/23523/task/23526/stat : 23526 (java) S 23521 23523 22948 0 -1 4202560 1402 0 0 0 5 0 0 0 15 0 16 0 20253938 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23527] ppid=23521 vsize=1533564 CPUtime=0.05
/proc/23523/task/23527/stat : 23527 (java) S 23521 23523 22948 0 -1 4202560 1331 0 0 0 5 0 0 0 18 0 16 0 20253938 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23528] ppid=23521 vsize=1533564 CPUtime=0
/proc/23523/task/23528/stat : 23528 (java) S 23521 23523 22948 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 16 0 20253940 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23529] ppid=23521 vsize=1533564 CPUtime=0
/proc/23523/task/23529/stat : 23529 (java) S 23521 23523 22948 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 20253940 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23530] ppid=23521 vsize=1533564 CPUtime=0
/proc/23523/task/23530/stat : 23530 (java) S 23521 23523 22948 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 20253940 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23531] ppid=23521 vsize=1533564 CPUtime=0
/proc/23523/task/23531/stat : 23531 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 20253944 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23532] ppid=23521 vsize=1533564 CPUtime=1.14
/proc/23523/task/23532/stat : 23532 (java) S 23521 23523 22948 0 -1 4202560 1870 0 0 0 113 1 0 0 16 0 16 0 20253944 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23533] ppid=23521 vsize=1533564 CPUtime=1.37
/proc/23523/task/23533/stat : 23533 (java) S 23521 23523 22948 0 -1 4202560 2565 0 0 0 136 1 0 0 15 0 16 0 20253944 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23534] ppid=23521 vsize=1533564 CPUtime=0
/proc/23523/task/23534/stat : 23534 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 20253945 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23535] ppid=23521 vsize=1533564 CPUtime=0
/proc/23523/task/23535/stat : 23535 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 20253945 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23536] ppid=23521 vsize=1533564 CPUtime=4.19
/proc/23523/task/23536/stat : 23536 (java) R 23521 23523 22948 0 -1 4202560 1646 0 0 0 418 1 0 0 25 0 16 0 20254059 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4110069823 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23523/tid=23537] ppid=23521 vsize=1533564 CPUtime=4.03
/proc/23523/task/23537/stat : 23537 (java) R 23521 23523 22948 0 -1 4202560 19491 0 0 0 397 6 0 0 25 0 16 0 20254059 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4110074446 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23523/tid=23538] ppid=23521 vsize=1533564 CPUtime=0
/proc/23523/task/23538/stat : 23538 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 20254096 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23539] ppid=23521 vsize=1533564 CPUtime=0
/proc/23523/task/23539/stat : 23539 (java) S 23521 23523 22948 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 20254097 1570369536 37670 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 1533564

[startup+12.701 s]
/proc/loadavg: 1.15 1.03 1.01 3/122 23539
/proc/meminfo: memFree=1631420/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1534588 CPUtime=24.43
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 47526 0 1 0 2422 21 0 0 15 0 16 0 20253935 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 383647 44752 1447 10 0 380950 0
[pid=23523/tid=23525] ppid=23521 vsize=1534588 CPUtime=0.9
/proc/23523/task/23525/stat : 23525 (java) S 23521 23523 22948 0 -1 4202560 10963 0 1 0 85 5 0 0 18 0 16 0 20253936 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23526] ppid=23521 vsize=1534588 CPUtime=0.12
/proc/23523/task/23526/stat : 23526 (java) S 23521 23523 22948 0 -1 4202560 2384 0 0 0 11 1 0 0 16 0 16 0 20253938 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23527] ppid=23521 vsize=1534588 CPUtime=0.11
/proc/23523/task/23527/stat : 23527 (java) S 23521 23523 22948 0 -1 4202560 2151 0 0 0 11 0 0 0 18 0 16 0 20253938 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23528] ppid=23521 vsize=1534588 CPUtime=0.05
/proc/23523/task/23528/stat : 23528 (java) S 23521 23523 22948 0 -1 4202560 1601 0 0 0 5 0 0 0 15 0 16 0 20253940 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23529] ppid=23521 vsize=1534588 CPUtime=0
/proc/23523/task/23529/stat : 23529 (java) S 23521 23523 22948 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 20253940 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23530] ppid=23521 vsize=1534588 CPUtime=0
/proc/23523/task/23530/stat : 23530 (java) S 23521 23523 22948 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 20253940 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23531] ppid=23521 vsize=1534588 CPUtime=0
/proc/23523/task/23531/stat : 23531 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 20253944 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23532] ppid=23521 vsize=1534588 CPUtime=1.14
/proc/23523/task/23532/stat : 23532 (java) S 23521 23523 22948 0 -1 4202560 1870 0 0 0 113 1 0 0 16 0 16 0 20253944 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23533] ppid=23521 vsize=1534588 CPUtime=1.48
/proc/23523/task/23533/stat : 23533 (java) S 23521 23523 22948 0 -1 4202560 2762 0 0 0 147 1 0 0 15 0 16 0 20253944 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23534] ppid=23521 vsize=1534588 CPUtime=0
/proc/23523/task/23534/stat : 23534 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 20253945 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23535] ppid=23521 vsize=1534588 CPUtime=0
/proc/23523/task/23535/stat : 23535 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 20253945 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23536] ppid=23521 vsize=1534588 CPUtime=10.3
/proc/23523/task/23536/stat : 23536 (java) R 23521 23523 22948 0 -1 4202560 1648 0 0 0 1029 1 0 0 25 0 16 0 20254059 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4109544202 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23523/tid=23537] ppid=23521 vsize=1534588 CPUtime=10.26
/proc/23523/task/23537/stat : 23537 (java) R 23521 23523 22948 0 -1 4202560 23075 0 0 0 1018 8 0 0 25 0 16 0 20254059 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4110174572 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23523/tid=23538] ppid=23521 vsize=1534588 CPUtime=0
/proc/23523/task/23538/stat : 23538 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 20254096 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23539] ppid=23521 vsize=1534588 CPUtime=0
/proc/23523/task/23539/stat : 23539 (java) S 23521 23523 22948 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 20254097 1571418112 44752 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0

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

/proc/23523/task/23538/stat : 23538 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 20254096 1577709568 69497 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23539] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23539/stat : 23539 (java) S 23521 23523 22948 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 20254097 1577709568 69497 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1502
Current children cumulated vsize (KiB) 1540732

[startup+822.301 s]
/proc/loadavg: 2.06 2.00 1.61 3/122 23561
/proc/meminfo: memFree=1522548/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1540732 CPUtime=1619.76
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 77059 0 1 0 161900 76 0 0 15 0 16 0 20253935 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 385183 71461 1447 10 0 382486 0
[pid=23523/tid=23525] ppid=23521 vsize=1540732 CPUtime=0.9
/proc/23523/task/23525/stat : 23525 (java) S 23521 23523 22948 0 -1 4202560 10966 0 1 0 85 5 0 0 15 0 16 0 20253936 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23526] ppid=23521 vsize=1540732 CPUtime=2.85
/proc/23523/task/23526/stat : 23526 (java) S 23521 23523 22948 0 -1 4202560 14315 0 0 0 275 10 0 0 16 0 16 0 20253938 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23527] ppid=23521 vsize=1540732 CPUtime=2.83
/proc/23523/task/23527/stat : 23527 (java) S 23521 23523 22948 0 -1 4202560 14995 0 0 0 271 12 0 0 15 0 16 0 20253938 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23528] ppid=23521 vsize=1540732 CPUtime=9.71
/proc/23523/task/23528/stat : 23528 (java) S 23521 23523 22948 0 -1 4202560 3075 0 0 0 965 6 0 0 15 0 16 0 20253940 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23529] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23529/stat : 23529 (java) S 23521 23523 22948 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 20253940 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23530] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23530/stat : 23530 (java) S 23521 23523 22948 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 20253940 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23531] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23531/stat : 23531 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 20253944 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23532] ppid=23521 vsize=1540732 CPUtime=1.28
/proc/23523/task/23532/stat : 23532 (java) S 23521 23523 22948 0 -1 4202560 1873 0 0 0 127 1 0 0 15 0 16 0 20253944 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23533] ppid=23521 vsize=1540732 CPUtime=2.06
/proc/23523/task/23533/stat : 23533 (java) S 23521 23523 22948 0 -1 4202560 5083 0 0 0 204 2 0 0 15 0 16 0 20253944 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23534] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23534/stat : 23534 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 20253945 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23535] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23535/stat : 23535 (java) S 23521 23523 22948 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 16 0 20253945 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23536] ppid=23521 vsize=1540732 CPUtime=801.3
/proc/23523/task/23536/stat : 23536 (java) R 23521 23523 22948 0 -1 4202560 1965 0 0 0 80118 12 0 0 25 0 16 0 20254059 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4110179934 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23523/tid=23537] ppid=23521 vsize=1540732 CPUtime=798.75
/proc/23523/task/23537/stat : 23537 (java) R 23521 23523 22948 0 -1 4202560 23668 0 0 0 79851 24 0 0 25 0 16 0 20254059 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4109815160 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23523/tid=23538] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23538/stat : 23538 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 20254096 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23539] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23539/stat : 23539 (java) S 23521 23523 22948 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 20254097 1577709568 71461 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1619.76
Current children cumulated vsize (KiB) 1540732

[startup+882.302 s]
/proc/loadavg: 2.02 2.00 1.64 3/122 23563
/proc/meminfo: memFree=1517464/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1540732 CPUtime=1737.46
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 78420 0 1 0 173666 80 0 0 15 0 16 0 20253935 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 385183 72705 1447 10 0 382486 0
[pid=23523/tid=23525] ppid=23521 vsize=1540732 CPUtime=0.9
/proc/23523/task/23525/stat : 23525 (java) S 23521 23523 22948 0 -1 4202560 10966 0 1 0 85 5 0 0 15 0 16 0 20253936 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23526] ppid=23521 vsize=1540732 CPUtime=3.08
/proc/23523/task/23526/stat : 23526 (java) S 23521 23523 22948 0 -1 4202560 14934 0 0 0 298 10 0 0 15 0 16 0 20253938 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23527] ppid=23521 vsize=1540732 CPUtime=3.06
/proc/23523/task/23527/stat : 23527 (java) S 23521 23523 22948 0 -1 4202560 15565 0 0 0 293 13 0 0 16 0 16 0 20253938 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23528] ppid=23521 vsize=1540732 CPUtime=10.94
/proc/23523/task/23528/stat : 23528 (java) S 23521 23523 22948 0 -1 4202560 3213 0 0 0 1088 6 0 0 15 0 16 0 20253940 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23529] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23529/stat : 23529 (java) S 23521 23523 22948 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 20253940 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23530] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23530/stat : 23530 (java) S 23521 23523 22948 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 20253940 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23531] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23531/stat : 23531 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 20253944 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23532] ppid=23521 vsize=1540732 CPUtime=1.28
/proc/23523/task/23532/stat : 23532 (java) S 23521 23523 22948 0 -1 4202560 1873 0 0 0 127 1 0 0 15 0 16 0 20253944 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23533] ppid=23521 vsize=1540732 CPUtime=2.06
/proc/23523/task/23533/stat : 23533 (java) S 23521 23523 22948 0 -1 4202560 5083 0 0 0 204 2 0 0 15 0 16 0 20253944 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23534] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23534/stat : 23534 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 20253945 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23535] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23535/stat : 23535 (java) S 23521 23523 22948 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 20253945 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23536] ppid=23521 vsize=1540732 CPUtime=858.91
/proc/23523/task/23536/stat : 23536 (java) R 23521 23523 22948 0 -1 4202560 1987 0 0 0 85876 15 0 0 25 0 16 0 20254059 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4109544202 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23523/tid=23537] ppid=23521 vsize=1540732 CPUtime=857.15
/proc/23523/task/23537/stat : 23537 (java) R 23521 23523 22948 0 -1 4202560 23676 0 0 0 85690 25 0 0 25 0 16 0 20254059 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4110208684 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23523/tid=23538] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23538/stat : 23538 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 20254096 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23539] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23539/stat : 23539 (java) S 23521 23523 22948 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 20254097 1577709568 72705 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1737.46
Current children cumulated vsize (KiB) 1540732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+914.401 s]
/proc/loadavg: 1.93 1.98 1.64 3/122 23563
/proc/meminfo: memFree=1515356/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1540732 CPUtime=1800.09
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 78978 0 1 0 179926 83 0 0 15 0 16 0 20253935 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 385183 73194 1447 10 0 382486 0
[pid=23523/tid=23525] ppid=23521 vsize=1540732 CPUtime=0.9
/proc/23523/task/23525/stat : 23525 (java) S 23521 23523 22948 0 -1 4202560 10966 0 1 0 85 5 0 0 15 0 16 0 20253936 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23526] ppid=23521 vsize=1540732 CPUtime=3.23
/proc/23523/task/23526/stat : 23526 (java) S 23521 23523 22948 0 -1 4202560 15186 0 0 0 313 10 0 0 15 0 16 0 20253938 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23527] ppid=23521 vsize=1540732 CPUtime=3.19
/proc/23523/task/23527/stat : 23527 (java) S 23521 23523 22948 0 -1 4202560 15810 0 0 0 305 14 0 0 15 0 16 0 20253938 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23528] ppid=23521 vsize=1540732 CPUtime=11.92
/proc/23523/task/23528/stat : 23528 (java) S 23521 23523 22948 0 -1 4202560 3257 0 0 0 1186 6 0 0 15 0 16 0 20253940 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23529] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23529/stat : 23529 (java) S 23521 23523 22948 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 20253940 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23530] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23530/stat : 23530 (java) S 23521 23523 22948 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 20253940 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23531] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23531/stat : 23531 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 20253944 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23532] ppid=23521 vsize=1540732 CPUtime=1.28
/proc/23523/task/23532/stat : 23532 (java) S 23521 23523 22948 0 -1 4202560 1873 0 0 0 127 1 0 0 15 0 16 0 20253944 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23533] ppid=23521 vsize=1540732 CPUtime=2.08
/proc/23523/task/23533/stat : 23533 (java) S 23521 23523 22948 0 -1 4202560 5084 0 0 0 206 2 0 0 15 0 16 0 20253944 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23534] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23534/stat : 23534 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 20253945 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23535] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23535/stat : 23535 (java) S 23521 23523 22948 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 20253945 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23536] ppid=23521 vsize=1540732 CPUtime=889.6
/proc/23523/task/23536/stat : 23536 (java) R 23521 23523 22948 0 -1 4202560 1997 0 0 0 88944 16 0 0 25 0 16 0 20254059 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4110082884 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23523/tid=23537] ppid=23521 vsize=1540732 CPUtime=887.81
/proc/23523/task/23537/stat : 23537 (java) R 23521 23523 22948 0 -1 4202560 23680 0 0 0 88756 25 0 0 25 0 16 0 20254059 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4110208491 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23523/tid=23538] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23538/stat : 23538 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 20254096 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23539] ppid=23521 vsize=1540732 CPUtime=0
/proc/23523/task/23539/stat : 23539 (java) S 23521 23523 22948 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 20254097 1577709568 73194 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1540732

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

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

[startup+914.516 s]
/proc/loadavg: 1.93 1.98 1.64 3/122 23563
/proc/meminfo: memFree=1515356/2059040 swapFree=4140388/4192956
[pid=23523] ppid=23521 vsize=1541380 CPUtime=1800.3
/proc/23523/stat : 23523 (java) S 23521 23523 22948 0 -1 4202496 78998 0 1 0 179947 83 0 0 15 0 17 0 20253935 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23523/statm: 385345 73214 1448 10 0 382648 0
[pid=23523/tid=23525] ppid=23521 vsize=1541380 CPUtime=0.9
/proc/23523/task/23525/stat : 23525 (java) S 23521 23523 22948 0 -1 4202560 10966 0 1 0 85 5 0 0 15 0 17 0 20253936 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23526] ppid=23521 vsize=1541380 CPUtime=3.23
/proc/23523/task/23526/stat : 23526 (java) S 23521 23523 22948 0 -1 4202560 15186 0 0 0 313 10 0 0 15 0 17 0 20253938 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23527] ppid=23521 vsize=1541380 CPUtime=3.19
/proc/23523/task/23527/stat : 23527 (java) S 23521 23523 22948 0 -1 4202560 15810 0 0 0 305 14 0 0 15 0 17 0 20253938 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23528] ppid=23521 vsize=1541380 CPUtime=11.92
/proc/23523/task/23528/stat : 23528 (java) S 23521 23523 22948 0 -1 4202560 3257 0 0 0 1186 6 0 0 15 0 17 0 20253940 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 0 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23529] ppid=23521 vsize=1541380 CPUtime=0
/proc/23523/task/23529/stat : 23529 (java) S 23521 23523 22948 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 17 0 20253940 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23530] ppid=23521 vsize=1541380 CPUtime=0
/proc/23523/task/23530/stat : 23530 (java) S 23521 23523 22948 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 17 0 20253940 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23531] ppid=23521 vsize=1541380 CPUtime=0
/proc/23523/task/23531/stat : 23531 (java) S 23521 23523 22948 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 17 0 20253944 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23532] ppid=23521 vsize=1541380 CPUtime=1.32
/proc/23523/task/23532/stat : 23532 (java) S 23521 23523 22948 0 -1 4202560 1873 0 0 0 131 1 0 0 15 0 17 0 20253944 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23533] ppid=23521 vsize=1541380 CPUtime=2.08
/proc/23523/task/23533/stat : 23533 (java) S 23521 23523 22948 0 -1 4202560 5084 0 0 0 206 2 0 0 15 0 17 0 20253944 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23534] ppid=23521 vsize=1541380 CPUtime=0
/proc/23523/task/23534/stat : 23534 (java) S 23521 23523 22948 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 17 0 20253945 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 0 0 0 0
[pid=23523/tid=23535] ppid=23521 vsize=1541380 CPUtime=0
/proc/23523/task/23535/stat : 23535 (java) S 23521 23523 22948 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 17 0 20253945 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23536] ppid=23521 vsize=1541380 CPUtime=889.65
/proc/23523/task/23536/stat : 23536 (java) R 23521 23523 22948 0 -1 4202560 1997 0 0 0 88949 16 0 0 25 0 17 0 20254059 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4110069823 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23523/tid=23537] ppid=23521 vsize=1541380 CPUtime=887.92
/proc/23523/task/23537/stat : 23537 (java) R 23521 23523 22948 0 -1 4202560 23680 0 0 0 88767 25 0 0 25 0 17 0 20254059 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4110174768 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23523/tid=23538] ppid=23521 vsize=1541380 CPUtime=0
/proc/23523/task/23538/stat : 23538 (java) S 23521 23523 22948 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 17 0 20254096 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
[pid=23523/tid=23539] ppid=23521 vsize=1541380 CPUtime=0
/proc/23523/task/23539/stat : 23539 (java) S 23521 23523 22948 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 17 0 20254097 1578373120 73214 1992294400 134512640 134550932 4289333536 18446744073709551615 4294960144 0 4 0 16800975 18446604437857594368 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 1541380

Child status: 143
Real time (s): 914.561
CPU time (s): 1800.36
CPU user time (s): 1799.5
CPU system time (s): 0.864868
CPU usage (%): 196.855
Max. virtual memory (cumulated for all children) (KiB): 1541756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.864868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78999
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= 25422
involuntary context switches= 51725

runsolver used 3.76943 second user time and 11.5043 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-13 18:28:21
IDJOB=2662124
IDBENCH=2122
IDSOLVER=1166
FILE ID=node004/2662124-1276446501
PBS_JOBID= 11173327
Free space on /tmp= 62536 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662124-1276446501/watcher-2662124-1276446501 -o /tmp/evaluation-result-2662124-1276446501/solver-2662124-1276446501 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662124-1276446501.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 172d8bfe30610a29dfe3bb9d98ed3f4c
RANDOM SEED=1133632091

node004.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1805852 kB
Buffers:         43872 kB
Cached:         129944 kB
SwapCached:       6588 kB
Active:          94228 kB
Inactive:        93168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1805852 kB
SwapTotal:     4192956 kB
SwapFree:      4140388 kB
Dirty:             776 kB
Writeback:           0 kB
AnonPages:       11532 kB
Mapped:          12984 kB
Slab:            43920 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181816 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node004 at 2010-06-13 18:43:37