Trace number 2661575

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

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
MD5SUM2b927be10d6e21370847ee6c94426772
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Solver Data 

0.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.09/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.14	c See www.sat4j.org for details.
0.09/0.15	c version 2.2.0.v20100531
0.09/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.09/0.15	c java.vm.version	11.2-b01
0.09/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version		1.6.0_12
0.09/0.15	c os.name		Linux
0.09/0.15	c os.version		2.6.18-164.el5
0.09/0.15	c os.arch		i386
0.09/0.15	c Free memory 		1393557488
0.09/0.15	c Max memory 		1395916800
0.09/0.15	c Total memory 		1395916800
0.09/0.15	c Number of processors 	2
0.24/0.21	c Pseudo Boolean Optimization
0.24/0.21	c ManyCore solver with 2 solvers running in parallel
0.24/0.21	c --- Begin Solver configuration ---
0.24/0.21	c Stops conflict analysis at the first Unique Implication Point
0.24/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.24/0.21	c Learn all clauses as in MiniSAT
0.24/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.21	c Expensive reason simplification
0.24/0.21	c Armin Biere (Picosat) restarts strategy
0.24/0.21	c Glucose learned constraints deletion strategy
0.24/0.21	c timeout=2147483s
0.24/0.21	c DB Simplification allowed=false
0.24/0.21	c --- End Solver configuration ---
0.24/0.21	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.24/0.21	c --- Begin Solver configuration ---
0.24/0.21	c Stops conflict analysis at the first Unique Implication Point
0.24/0.21	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.24/0.21	c Learn all clauses as in MiniSAT
0.24/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.21	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.24/0.21	c No reason simplification
0.24/0.21	c Armin Biere (Picosat) restarts strategy
0.24/0.21	c Glucose learned constraints deletion strategy
0.24/0.21	c timeout=2147483s
0.24/0.21	c DB Simplification allowed=false
0.24/0.21	c --- End Solver configuration ---
0.24/0.21	
0.24/0.21	c solving HOME/instance-2661575-1276679494.opb
0.24/0.21	c reading problem ... 
3.21/2.34	c ... done. Wall clock time 2.126s.
3.21/2.34	c #vars     3262
3.21/2.34	c #constraints  6427
3.21/2.34	c constraints type 
3.21/2.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
3.21/2.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
3.21/2.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
3.21/2.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
3.21/2.34	c constraints type 
3.21/2.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
3.21/2.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3062
3.21/2.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 203
3.21/2.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
16.65/9.18	c cleaning 2505 clauses out of 5009 with flag 5009/5009
28.46/15.19	c cleaning 4249 clauses out of 8498 with flag 11003/11003
41.25/21.69	c cleaning 5625 clauses out of 11250 with flag 18004/18004
59.19/30.75	c cleaning 6821 clauses out of 13641 with flag 26020/26020
82.82/42.76	c cleaning 7901 clauses out of 15801 with flag 35001/35001
107.28/55.17	c cleaning 8949 clauses out of 17899 with flag 45000/45000
134.51/68.99	c cleaning 9480 clauses out of 18959 with flag 55009/55009
157.76/80.71	c cleaning 9734 clauses out of 19471 with flag 65001/65001
177.80/91.00	c cleaning 9877 clauses out of 19754 with flag 75018/75018
198.87/101.70	c cleaning 9935 clauses out of 19872 with flag 85013/85013
219.14/111.93	c cleaning 9960 clauses out of 19924 with flag 95000/95000
239.40/122.28	c cleaning 9980 clauses out of 19964 with flag 105000/105000
261.20/133.37	c cleaning 9996 clauses out of 19991 with flag 115007/115007
282.41/144.12	c cleaning 9992 clauses out of 19988 with flag 125000/125000
305.00/155.92	c cleaning 10005 clauses out of 20012 with flag 135016/135016
323.33/165.58	c cleaning 9997 clauses out of 19998 with flag 145007/145007
344.48/176.43	c cleaning 10006 clauses out of 20015 with flag 155021/155021
357.40/183.09	c cleaning 10002 clauses out of 20005 with flag 165017/165017
373.68/191.36	c cleaning 9994 clauses out of 19991 with flag 175005/175005
394.10/201.75	c cleaning 10002 clauses out of 20007 with flag 185015/185015
412.10/210.98	c cleaning 9999 clauses out of 19999 with flag 195009/195009
427.79/218.92	c cleaning 9994 clauses out of 19992 with flag 205001/205001
445.81/228.10	c cleaning 10000 clauses out of 20004 with flag 215007/215007
460.49/235.62	c cleaning 9996 clauses out of 19999 with flag 225002/225002
473.92/242.57	c cleaning 10003 clauses out of 20009 with flag 235008/235008
481.47/246.42	c cleaning 0 clauses out of 5000 with flag 0/5000
487.00/249.39	c cleaning 9998 clauses out of 20002 with flag 245004/245004
501.87/256.97	c cleaning 10011 clauses out of 20026 with flag 255026/255026
518.86/265.61	c cleaning 10009 clauses out of 20022 with flag 265033/265033
536.10/274.45	c cleaning 9989 clauses out of 19982 with flag 275002/275002
551.96/282.54	c cleaning 10000 clauses out of 20001 with flag 285010/285010
562.06/287.75	c cleaning 9995 clauses out of 19996 with flag 295005/295005
574.49/294.17	c cleaning 9999 clauses out of 20003 with flag 305007/305007
585.18/299.67	c cleaning 10001 clauses out of 20005 with flag 315008/315008
596.27/305.37	c cleaning 10003 clauses out of 20006 with flag 325010/325010
606.57/310.69	c cleaning 9995 clauses out of 19998 with flag 335005/335005
617.21/316.13	c cleaning 10000 clauses out of 20004 with flag 345006/345006
630.46/322.92	c cleaning 9999 clauses out of 20003 with flag 355005/355005
642.92/329.34	c cleaning 9997 clauses out of 19999 with flag 365000/365000
655.96/336.04	c cleaning 10001 clauses out of 20008 with flag 375006/375006
669.74/343.15	c cleaning 9998 clauses out of 20001 with flag 385000/385000
687.74/352.36	c cleaning 10001 clauses out of 20006 with flag 395003/395003
705.94/361.64	c cleaning 10000 clauses out of 20003 with flag 405001/405001
723.13/370.48	c cleaning 10000 clauses out of 20004 with flag 415002/415002
740.87/379.52	c cleaning 10000 clauses out of 20003 with flag 425001/425001
757.25/387.97	c cleaning 10002 clauses out of 20008 with flag 435006/435006
777.02/398.05	c cleaning 10007 clauses out of 20018 with flag 445018/445018
787.46/403.47	c cleaning 9994 clauses out of 19994 with flag 455001/455001
799.41/409.67	c cleaning 10000 clauses out of 20004 with flag 465005/465005
812.62/416.41	c cleaning 10003 clauses out of 20010 with flag 475011/475011
828.01/424.36	c cleaning 9997 clauses out of 20002 with flag 485006/485006
840.43/430.70	c cleaning 10002 clauses out of 20011 with flag 495012/495012
853.15/437.37	c cleaning 10002 clauses out of 20011 with flag 505014/505014
866.34/444.15	c cleaning 9999 clauses out of 20004 with flag 515009/515009
880.54/451.43	c cleaning 9997 clauses out of 20001 with flag 525005/525005
894.54/458.62	c cleaning 9998 clauses out of 20002 with flag 535003/535003
907.84/465.50	c cleaning 9999 clauses out of 20003 with flag 545002/545002
919.84/471.77	c cleaning 9998 clauses out of 20002 with flag 555000/555000
932.45/478.25	c cleaning 9999 clauses out of 20004 with flag 565000/565000
947.83/486.16	c cleaning 10010 clauses out of 20023 with flag 575018/575018
962.13/493.52	c cleaning 9995 clauses out of 19995 with flag 585000/585000
978.90/502.17	c cleaning 9998 clauses out of 20002 with flag 595002/595002
993.27/509.56	c cleaning 10004 clauses out of 20010 with flag 605008/605008
1006.66/516.44	c cleaning 9999 clauses out of 20001 with flag 615003/615003
1021.33/524.06	c cleaning 10002 clauses out of 20007 with flag 625008/625008
1034.90/531.01	c cleaning 10000 clauses out of 20004 with flag 635007/635007
1046.90/537.29	c cleaning 10003 clauses out of 20011 with flag 645014/645014
1062.46/545.26	c cleaning 9994 clauses out of 19995 with flag 655001/655001
1074.95/551.71	c cleaning 9998 clauses out of 20003 with flag 665003/665003
1089.09/559.05	c cleaning 10001 clauses out of 20007 with flag 675005/675005
1103.47/566.42	c cleaning 10009 clauses out of 20023 with flag 685022/685022
1119.39/574.69	c cleaning 9996 clauses out of 19998 with flag 695006/695006
1135.22/582.90	c cleaning 9997 clauses out of 20000 with flag 705004/705004
1151.55/591.26	c cleaning 10001 clauses out of 20005 with flag 715006/715006
1166.69/599.09	c cleaning 10000 clauses out of 20003 with flag 725005/725005
1178.45/605.20	c cleaning 9995 clauses out of 19998 with flag 735000/735000
1191.89/612.12	c cleaning 9997 clauses out of 20006 with flag 745003/745003
1207.82/620.39	c cleaning 9999 clauses out of 20008 with flag 755002/755002
1223.30/628.33	c cleaning 10003 clauses out of 20011 with flag 765004/765004
1239.23/636.50	c cleaning 10003 clauses out of 20014 with flag 775010/775010
1255.03/644.73	c cleaning 9994 clauses out of 20003 with flag 785002/785002
1272.52/653.72	c cleaning 10024 clauses out of 20051 with flag 795044/795044
1293.20/664.39	c cleaning 9980 clauses out of 19983 with flag 805000/805000
1308.50/672.20	c cleaning 10003 clauses out of 20012 with flag 815009/815009
1324.51/680.54	c cleaning 10000 clauses out of 20006 with flag 825006/825006
1338.43/687.76	c cleaning 9996 clauses out of 20001 with flag 835001/835001
1353.33/695.45	c cleaning 10006 clauses out of 20016 with flag 845012/845012
1369.24/703.61	c cleaning 10010 clauses out of 20023 with flag 855025/855025
1386.44/712.52	c cleaning 9991 clauses out of 19989 with flag 865001/865001
1399.58/719.32	c cleaning 9998 clauses out of 20001 with flag 875004/875004
1415.87/727.74	c cleaning 9999 clauses out of 20002 with flag 885003/885003
1432.38/736.26	c cleaning 10004 clauses out of 20015 with flag 895015/895015
1449.39/745.02	c cleaning 9994 clauses out of 19996 with flag 905000/905000
1464.69/752.99	c cleaning 9997 clauses out of 20002 with flag 915000/915000
1484.15/762.95	c cleaning 10003 clauses out of 20014 with flag 925009/925009
1500.84/771.57	c cleaning 9999 clauses out of 20006 with flag 935004/935004
1516.22/779.55	c cleaning 9997 clauses out of 20004 with flag 945001/945001
1534.89/789.18	c cleaning 9998 clauses out of 20007 with flag 955001/955001
1554.94/799.44	c cleaning 10007 clauses out of 20025 with flag 965017/965017
1573.40/808.96	c cleaning 10000 clauses out of 20011 with flag 975010/975010
1589.18/817.10	c cleaning 10003 clauses out of 20017 with flag 985016/985016
1602.10/823.83	c cleaning 10002 clauses out of 20016 with flag 995018/995018
1616.19/831.16	c cleaning 9993 clauses out of 19997 with flag 1005001/1005001
1632.26/839.49	c cleaning 9998 clauses out of 20008 with flag 1015005/1015005
1647.25/847.24	c cleaning 9999 clauses out of 20010 with flag 1025005/1025005
1662.94/855.31	c cleaning 9998 clauses out of 20007 with flag 1035001/1035001
1677.44/862.81	c cleaning 10003 clauses out of 20018 with flag 1045010/1045010
1691.73/870.20	c cleaning 10007 clauses out of 20025 with flag 1055020/1055020
1707.71/878.54	c cleaning 9998 clauses out of 20007 with flag 1065009/1065009
1722.38/886.16	c cleaning 9996 clauses out of 20004 with flag 1075004/1075004
1736.48/893.49	c cleaning 10001 clauses out of 20007 with flag 1085003/1085003
1751.17/901.03	c cleaning 9998 clauses out of 20006 with flag 1095003/1095003
1766.53/909.02	c cleaning 10006 clauses out of 20021 with flag 1105016/1105016
1782.80/917.42	c cleaning 9999 clauses out of 20011 with flag 1115012/1115012
1799.46/926.06	c cleaning 9998 clauses out of 20005 with flag 1125005/1125005
1800.06/926.51	c starts		: 189
1800.06/926.51	c conflicts		: 1125088
1800.06/926.51	c decisions		: 2825102
1800.06/926.51	c propagations		: 20815519
1800.06/926.51	c inspects		: 1459081990
1800.06/926.51	c learnt literals	: 0
1800.06/926.51	c learnt binary clauses	: 0
1800.06/926.51	c learnt ternary clauses	: 382
1800.06/926.51	c learnt clauses	: 1125087
1800.06/926.51	c ignored clauses	: 0
1800.06/926.51	c root simplifications	: 0
1800.06/926.51	c removed literals (reason simplification)	: 42291511
1800.06/926.51	c reason swapping (by a shorter reason)	: 0
1800.06/926.51	c Calls to reduceDB	: 114
1800.06/926.51	c number of reductions to clauses (during analyze)	: 0
1800.06/926.51	c number of learned constraints concerned by reduction	: 0
1800.06/926.52	c number of learning phase by resolution	: 0
1800.06/926.52	c number of learning phase by cutting planes	: 0
1800.06/926.52	c speed (assignments/second)	: 22523.3765503033
1800.06/926.52	c non guided choices	3126
1800.27/926.63	c learnt constraints type 
1800.27/926.63	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 10336
1800.27/926.63	c constraints type 
1800.27/926.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
1800.27/926.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
1800.27/926.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
1800.27/926.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
1800.27/926.63	c constraints type 
1800.27/926.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
1800.27/926.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3062
1800.27/926.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 203
1800.27/926.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
1800.27/926.63	s UNKNOWN
1800.27/926.63	c Total wall clock time (in seconds): 926.414

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-2661575-1276679494/watcher-2661575-1276679494 -o /tmp/evaluation-result-2661575-1276679494/solver-2661575-1276679494 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2661575-1276679494.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 12426
/proc/meminfo: memFree=1756820/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1832 CPUtime=0
/proc/12426/stat : 12426 (java6) R 12424 12426 11699 0 -1 4194304 254 0 0 0 0 0 0 0 19 0 1 0 43550991 1875968 156 1992294400 134512640 134550932 4294883024 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12426/statm: 458 156 119 10 0 63 0

[startup+0.0893409 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12426
/proc/meminfo: memFree=1756820/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1521796 CPUtime=0.07
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 3844 0 1 0 4 3 0 0 18 0 7 0 43550991 1558319104 3285 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 380449 3285 1045 10 0 377759 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1521796

[startup+0.101343 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12426
/proc/meminfo: memFree=1756820/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1524180 CPUtime=0.09
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 3959 0 1 0 6 3 0 0 18 0 12 0 43550991 1560760320 3398 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 381045 3398 1075 10 0 378348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1524180

[startup+0.300596 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12426
/proc/meminfo: memFree=1756820/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1526264 CPUtime=0.37
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 5406 0 1 0 33 4 0 0 18 0 12 0 43550991 1562894336 4843 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 381566 4843 1356 10 0 378869 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 1526264

[startup+0.701588 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12426
/proc/meminfo: memFree=1756820/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1528432 CPUtime=1.12
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 7073 0 1 0 107 5 0 0 18 0 12 0 43550991 1565114368 6396 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 382108 6396 1407 10 0 379411 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 1528432

[startup+1.50157 s]
/proc/loadavg: 1.00 1.00 1.00 3/118 12438
/proc/meminfo: memFree=1732296/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1528652 CPUtime=2.32
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 9185 0 1 0 227 5 0 0 18 0 12 0 43550991 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 382163 8106 1411 10 0 379466 0
[pid=12426/tid=12428] ppid=12424 vsize=1528652 CPUtime=1.47
/proc/12426/task/12428/stat : 12428 (java) R 12424 12426 11699 0 -1 4202560 6378 0 1 0 143 4 0 0 19 0 12 0 43550993 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4109218751 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12426/tid=12429] ppid=12424 vsize=1528652 CPUtime=0
/proc/12426/task/12429/stat : 12429 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 43550994 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12430] ppid=12424 vsize=1528652 CPUtime=0
/proc/12426/task/12430/stat : 12430 (java) S 12424 12426 11699 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 43550994 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12431] ppid=12424 vsize=1528652 CPUtime=0
/proc/12426/task/12431/stat : 12431 (java) S 12424 12426 11699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 43550996 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12432] ppid=12424 vsize=1528652 CPUtime=0
/proc/12426/task/12432/stat : 12432 (java) S 12424 12426 11699 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 43550997 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12433] ppid=12424 vsize=1528652 CPUtime=0
/proc/12426/task/12433/stat : 12433 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 43550997 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12434] ppid=12424 vsize=1528652 CPUtime=0
/proc/12426/task/12434/stat : 12434 (java) S 12424 12426 11699 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 43551001 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12435] ppid=12424 vsize=1528652 CPUtime=0.5
/proc/12426/task/12435/stat : 12435 (java) S 12424 12426 11699 0 -1 4202560 609 0 0 0 50 0 0 0 24 0 12 0 43551001 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12436] ppid=12424 vsize=1528652 CPUtime=0.32
/proc/12426/task/12436/stat : 12436 (java) S 12424 12426 11699 0 -1 4202560 1132 0 0 0 32 0 0 0 22 0 12 0 43551001 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12437] ppid=12424 vsize=1528652 CPUtime=0
/proc/12426/task/12437/stat : 12437 (java) S 12424 12426 11699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 43551001 1565339648 8106 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12438] ppid=12424 vsize=1528652 CPUtime=0
/proc/12426/task/12438/stat : 12438 (java) S 12424 12426 11699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 43551001 1565339648 8107 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 1528652

[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 1.00 2/118 12438
/proc/meminfo: memFree=1725848/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1546724 CPUtime=4.76
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 17996 0 1 0 468 8 0 0 18 0 16 0 43550991 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 386681 14742 1425 10 0 383984 0
[pid=12426/tid=12428] ppid=12424 vsize=1546724 CPUtime=2.31
/proc/12426/task/12428/stat : 12428 (java) S 12424 12426 11699 0 -1 4202560 7631 0 1 0 227 4 0 0 22 0 16 0 43550993 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12429] ppid=12424 vsize=1546724 CPUtime=0
/proc/12426/task/12429/stat : 12429 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 43550994 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12430] ppid=12424 vsize=1546724 CPUtime=0
/proc/12426/task/12430/stat : 12430 (java) S 12424 12426 11699 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 16 0 43550994 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12431] ppid=12424 vsize=1546724 CPUtime=0
/proc/12426/task/12431/stat : 12431 (java) R 12424 12426 11699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 43550996 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=12426/tid=12432] ppid=12424 vsize=1546724 CPUtime=0
/proc/12426/task/12432/stat : 12432 (java) S 12424 12426 11699 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 16 0 43550997 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12433] ppid=12424 vsize=1546724 CPUtime=0
/proc/12426/task/12433/stat : 12433 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 43550997 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12434] ppid=12424 vsize=1546724 CPUtime=0
/proc/12426/task/12434/stat : 12434 (java) S 12424 12426 11699 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 43551001 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12435] ppid=12424 vsize=1546724 CPUtime=1.05
/proc/12426/task/12435/stat : 12435 (java) R 12424 12426 11699 0 -1 4202560 4814 0 0 0 104 1 0 0 17 0 16 0 43551001 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 104142885 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12426/tid=12436] ppid=12424 vsize=1546724 CPUtime=0.95
/proc/12426/task/12436/stat : 12436 (java) R 12424 12426 11699 0 -1 4202560 3265 0 0 0 94 1 0 0 16 0 16 0 43551001 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 104138296 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12426/tid=12437] ppid=12424 vsize=1546724 CPUtime=0
/proc/12426/task/12437/stat : 12437 (java) S 12424 12426 11699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 43551001 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12438] ppid=12424 vsize=1546724 CPUtime=0
/proc/12426/task/12438/stat : 12438 (java) S 12424 12426 11699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 43551001 1583845376 14742 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 1546724

[startup+6.30249 s]
/proc/loadavg: 1.00 1.00 1.00 4/122 12442
/proc/meminfo: memFree=1602064/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1545180 CPUtime=11.11
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 49666 0 1 0 1064 47 0 0 18 0 16 0 43550991 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 386295 41445 1440 10 0 383598 0
[pid=12426/tid=12428] ppid=12424 vsize=1545180 CPUtime=2.31
/proc/12426/task/12428/stat : 12428 (java) S 12424 12426 11699 0 -1 4202560 7631 0 1 0 227 4 0 0 15 0 16 0 43550993 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12429] ppid=12424 vsize=1545180 CPUtime=0.04
/proc/12426/task/12429/stat : 12429 (java) S 12424 12426 11699 0 -1 4202560 2188 0 0 0 4 0 0 0 16 0 16 0 43550994 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12430] ppid=12424 vsize=1545180 CPUtime=0.04
/proc/12426/task/12430/stat : 12430 (java) S 12424 12426 11699 0 -1 4202560 1566 0 0 0 4 0 0 0 16 0 16 0 43550994 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12431] ppid=12424 vsize=1545180 CPUtime=0.45
/proc/12426/task/12431/stat : 12431 (java) S 12424 12426 11699 0 -1 4202560 12 0 0 0 21 24 0 0 15 0 16 0 43550996 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12432] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12432/stat : 12432 (java) S 12424 12426 11699 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12433] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12433/stat : 12433 (java) S 12424 12426 11699 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12434] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12434/stat : 12434 (java) S 12424 12426 11699 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12435] ppid=12424 vsize=1545180 CPUtime=2.47
/proc/12426/task/12435/stat : 12435 (java) S 12424 12426 11699 0 -1 4202560 7844 0 0 0 245 2 0 0 15 0 16 0 43551001 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12436] ppid=12424 vsize=1545180 CPUtime=2.12
/proc/12426/task/12436/stat : 12436 (java) R 12424 12426 11699 0 -1 4202560 4998 0 0 0 211 1 0 0 16 0 16 0 43551001 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 104139994 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12426/tid=12437] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12437/stat : 12437 (java) S 12424 12426 11699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12438] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12438/stat : 12438 (java) S 12424 12426 11699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 43551001 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12439] ppid=12424 vsize=1545180 CPUtime=1.89
/proc/12426/task/12439/stat : 12439 (java) R 12424 12426 11699 0 -1 4202560 14503 0 0 0 183 6 0 0 25 0 16 0 43551226 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4108937176 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12426/tid=12440] ppid=12424 vsize=1545180 CPUtime=1.67
/proc/12426/task/12440/stat : 12440 (java) R 12424 12426 11699 0 -1 4202560 9851 0 0 0 164 3 0 0 19 0 16 0 43551226 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12426/tid=12441] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12441/stat : 12441 (java) S 12424 12426 11699 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 43551228 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12442] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12442/stat : 12442 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 43551228 1582264320 41445 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.11
Current children cumulated vsize (KiB) 1545180

[startup+12.7014 s]
/proc/loadavg: 1.08 1.02 1.01 3/122 12442
/proc/meminfo: memFree=1556680/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1545180 CPUtime=23.71
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 60222 0 1 0 2319 52 0 0 18 0 16 0 43550991 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 386295 51522 1450 10 0 383598 0
[pid=12426/tid=12428] ppid=12424 vsize=1545180 CPUtime=2.31
/proc/12426/task/12428/stat : 12428 (java) S 12424 12426 11699 0 -1 4202560 7632 0 1 0 227 4 0 0 15 0 16 0 43550993 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12429] ppid=12424 vsize=1545180 CPUtime=0.27
/proc/12426/task/12429/stat : 12429 (java) S 12424 12426 11699 0 -1 4202560 7880 0 0 0 25 2 0 0 15 0 16 0 43550994 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12430] ppid=12424 vsize=1545180 CPUtime=0.26
/proc/12426/task/12430/stat : 12430 (java) S 12424 12426 11699 0 -1 4202560 5161 0 0 0 24 2 0 0 16 0 16 0 43550994 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12431] ppid=12424 vsize=1545180 CPUtime=0.53
/proc/12426/task/12431/stat : 12431 (java) S 12424 12426 11699 0 -1 4202560 934 0 0 0 28 25 0 0 15 0 16 0 43550996 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12432] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12432/stat : 12432 (java) S 12424 12426 11699 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12433] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12433/stat : 12433 (java) S 12424 12426 11699 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12434] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12434/stat : 12434 (java) S 12424 12426 11699 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12435] ppid=12424 vsize=1545180 CPUtime=2.65
/proc/12426/task/12435/stat : 12435 (java) S 12424 12426 11699 0 -1 4202560 7861 0 0 0 263 2 0 0 15 0 16 0 43551001 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12436] ppid=12424 vsize=1545180 CPUtime=2.49
/proc/12426/task/12436/stat : 12436 (java) S 12424 12426 11699 0 -1 4202560 5029 0 0 0 248 1 0 0 15 0 16 0 43551001 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12437] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12437/stat : 12437 (java) S 12424 12426 11699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12438] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12438/stat : 12438 (java) S 12424 12426 11699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 43551001 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12439] ppid=12424 vsize=1545180 CPUtime=7.7
/proc/12426/task/12439/stat : 12439 (java) R 12424 12426 11699 0 -1 4202560 14581 0 0 0 764 6 0 0 25 0 16 0 43551226 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4109705031 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12426/tid=12440] ppid=12424 vsize=1545180 CPUtime=7.39
/proc/12426/task/12440/stat : 12440 (java) R 12424 12426 11699 0 -1 4202560 10071 0 0 0 735 4 0 0 25 0 16 0 43551226 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4109477378 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12426/tid=12441] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12441/stat : 12441 (java) S 12424 12426 11699 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 43551228 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12442] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12442/stat : 12442 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 43551228 1582264320 51522 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.71
Current children cumulated vsize (KiB) 1545180

[startup+25.5019 s]
/proc/loadavg: 1.28 1.06 1.02 3/122 12442
/proc/meminfo: memFree=1536592/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1545180 CPUtime=48.87
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 65531 0 1 0 4832 55 0 0 18 0 16 0 43550991 1582264320 56470 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0

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

/proc/12426/statm: 386295 77188 1450 10 0 383598 0
[pid=12426/tid=12428] ppid=12424 vsize=1545180 CPUtime=2.31
/proc/12426/task/12428/stat : 12428 (java) S 12424 12426 11699 0 -1 4202560 7651 0 1 0 227 4 0 0 15 0 16 0 43550993 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12429] ppid=12424 vsize=1545180 CPUtime=11.41
/proc/12426/task/12429/stat : 12429 (java) S 12424 12426 11699 0 -1 4202560 21151 0 0 0 1117 24 0 0 16 0 16 0 43550994 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12430] ppid=12424 vsize=1545180 CPUtime=11.31
/proc/12426/task/12430/stat : 12430 (java) S 12424 12426 11699 0 -1 4202560 19235 0 0 0 1100 31 0 0 15 0 16 0 43550994 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12431] ppid=12424 vsize=1545180 CPUtime=28.75
/proc/12426/task/12431/stat : 12431 (java) S 12424 12426 11699 0 -1 4202560 1581 0 0 0 2844 31 0 0 15 0 16 0 43550996 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12432] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12432/stat : 12432 (java) S 12424 12426 11699 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12433] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12433/stat : 12433 (java) S 12424 12426 11699 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12434] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12434/stat : 12434 (java) S 12424 12426 11699 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12435] ppid=12424 vsize=1545180 CPUtime=3.3
/proc/12426/task/12435/stat : 12435 (java) S 12424 12426 11699 0 -1 4202560 7870 0 0 0 328 2 0 0 15 0 16 0 43551001 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12436] ppid=12424 vsize=1545180 CPUtime=2.64
/proc/12426/task/12436/stat : 12436 (java) S 12424 12426 11699 0 -1 4202560 5032 0 0 0 263 1 0 0 15 0 16 0 43551001 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12437] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12437/stat : 12437 (java) S 12424 12426 11699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12438] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12438/stat : 12438 (java) S 12424 12426 11699 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 16 0 43551001 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12439] ppid=12424 vsize=1545180 CPUtime=770.05
/proc/12426/task/12439/stat : 12439 (java) R 12424 12426 11699 0 -1 4202560 14922 0 0 0 76982 23 0 0 25 0 16 0 43551226 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4109412319 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12426/tid=12440] ppid=12424 vsize=1545180 CPUtime=769.24
/proc/12426/task/12440/stat : 12440 (java) R 12424 12426 11699 0 -1 4202560 10599 0 0 0 76907 17 0 0 25 0 16 0 43551226 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4109476738 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12426/tid=12441] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12441/stat : 12441 (java) S 12424 12426 11699 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 43551228 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12442] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12442/stat : 12442 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 43551228 1582264320 77188 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1599.11
Current children cumulated vsize (KiB) 1545180

[startup+882.302 s]
/proc/loadavg: 2.07 2.03 1.64 3/122 12467
/proc/meminfo: memFree=1450040/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1545180 CPUtime=1714.86
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 89339 0 1 0 171340 146 0 0 18 0 16 0 43550991 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 386295 77307 1450 10 0 383598 0
[pid=12426/tid=12428] ppid=12424 vsize=1545180 CPUtime=2.31
/proc/12426/task/12428/stat : 12428 (java) S 12424 12426 11699 0 -1 4202560 7652 0 1 0 227 4 0 0 15 0 16 0 43550993 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12429] ppid=12424 vsize=1545180 CPUtime=12.36
/proc/12426/task/12429/stat : 12429 (java) S 12424 12426 11699 0 -1 4202560 21224 0 0 0 1210 26 0 0 15 0 16 0 43550994 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12430] ppid=12424 vsize=1545180 CPUtime=12.27
/proc/12426/task/12430/stat : 12430 (java) S 12424 12426 11699 0 -1 4202560 19286 0 0 0 1194 33 0 0 16 0 16 0 43550994 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12431] ppid=12424 vsize=1545180 CPUtime=31.97
/proc/12426/task/12431/stat : 12431 (java) S 12424 12426 11699 0 -1 4202560 1586 0 0 0 3165 32 0 0 15 0 16 0 43550996 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12432] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12432/stat : 12432 (java) S 12424 12426 11699 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12433] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12433/stat : 12433 (java) S 12424 12426 11699 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12434] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12434/stat : 12434 (java) S 12424 12426 11699 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12435] ppid=12424 vsize=1545180 CPUtime=3.3
/proc/12426/task/12435/stat : 12435 (java) S 12424 12426 11699 0 -1 4202560 7870 0 0 0 328 2 0 0 15 0 16 0 43551001 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12436] ppid=12424 vsize=1545180 CPUtime=2.64
/proc/12426/task/12436/stat : 12436 (java) S 12424 12426 11699 0 -1 4202560 5032 0 0 0 263 1 0 0 15 0 16 0 43551001 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12437] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12437/stat : 12437 (java) S 12424 12426 11699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12438] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12438/stat : 12438 (java) S 12424 12426 11699 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 43551001 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12439] ppid=12424 vsize=1545180 CPUtime=825.57
/proc/12426/task/12439/stat : 12439 (java) R 12424 12426 11699 0 -1 4202560 14947 0 0 0 82533 24 0 0 25 0 16 0 43551226 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4109244812 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12426/tid=12440] ppid=12424 vsize=1545180 CPUtime=824.33
/proc/12426/task/12440/stat : 12440 (java) R 12424 12426 11699 0 -1 4202560 10618 0 0 0 82416 17 0 0 25 0 16 0 43551226 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4109477378 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12426/tid=12441] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12441/stat : 12441 (java) S 12424 12426 11699 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 43551228 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12442] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12442/stat : 12442 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 43551228 1582264320 77307 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1714.86
Current children cumulated vsize (KiB) 1545180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+926.501 s]
/proc/loadavg: 2.03 2.02 1.66 3/122 12469
/proc/meminfo: memFree=1448676/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1545180 CPUtime=1800.06
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 89756 0 1 0 179855 151 0 0 18 0 16 0 43550991 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 386295 77632 1450 10 0 383598 0
[pid=12426/tid=12428] ppid=12424 vsize=1545180 CPUtime=2.31
/proc/12426/task/12428/stat : 12428 (java) S 12424 12426 11699 0 -1 4202560 7652 0 1 0 227 4 0 0 15 0 16 0 43550993 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12429] ppid=12424 vsize=1545180 CPUtime=13.11
/proc/12426/task/12429/stat : 12429 (java) S 12424 12426 11699 0 -1 4202560 21326 0 0 0 1284 27 0 0 15 0 16 0 43550994 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12430] ppid=12424 vsize=1545180 CPUtime=13
/proc/12426/task/12430/stat : 12430 (java) S 12424 12426 11699 0 -1 4202560 19563 0 0 0 1265 35 0 0 16 0 16 0 43550994 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12431] ppid=12424 vsize=1545180 CPUtime=34.41
/proc/12426/task/12431/stat : 12431 (java) S 12424 12426 11699 0 -1 4202560 1588 0 0 0 3408 33 0 0 16 0 16 0 43550996 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12432] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12432/stat : 12432 (java) S 12424 12426 11699 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12433] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12433/stat : 12433 (java) S 12424 12426 11699 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 43550997 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12434] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12434/stat : 12434 (java) S 12424 12426 11699 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12435] ppid=12424 vsize=1545180 CPUtime=3.3
/proc/12426/task/12435/stat : 12435 (java) S 12424 12426 11699 0 -1 4202560 7870 0 0 0 328 2 0 0 15 0 16 0 43551001 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12436] ppid=12424 vsize=1545180 CPUtime=2.64
/proc/12426/task/12436/stat : 12436 (java) S 12424 12426 11699 0 -1 4202560 5032 0 0 0 263 1 0 0 15 0 16 0 43551001 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12437] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12437/stat : 12437 (java) S 12424 12426 11699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 43551001 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12438] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12438/stat : 12438 (java) S 12424 12426 11699 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 43551001 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12439] ppid=12424 vsize=1545180 CPUtime=866.58
/proc/12426/task/12439/stat : 12439 (java) R 12424 12426 11699 0 -1 4202560 14964 0 0 0 86632 26 0 0 21 0 16 0 43551226 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4109444192 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12426/tid=12440] ppid=12424 vsize=1545180 CPUtime=864.61
/proc/12426/task/12440/stat : 12440 (java) R 12424 12426 11699 0 -1 4202560 10635 0 0 0 86443 18 0 0 22 0 16 0 43551226 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4109446064 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12426/tid=12441] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12441/stat : 12441 (java) S 12424 12426 11699 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 43551228 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12442] ppid=12424 vsize=1545180 CPUtime=0
/proc/12426/task/12442/stat : 12442 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 43551228 1582264320 77632 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1545180

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

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

[startup+926.616 s]
/proc/loadavg: 2.03 2.02 1.66 3/122 12469
/proc/meminfo: memFree=1448676/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=1545828 CPUtime=1800.27
/proc/12426/stat : 12426 (java) S 12424 12426 11699 0 -1 4202496 89771 0 1 0 179876 151 0 0 18 0 18 0 43550991 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 386457 77647 1450 10 0 383760 0
[pid=12426/tid=12428] ppid=12424 vsize=1545828 CPUtime=2.31
/proc/12426/task/12428/stat : 12428 (java) S 12424 12426 11699 0 -1 4202560 7652 0 1 0 227 4 0 0 15 0 18 0 43550993 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12429] ppid=12424 vsize=1545828 CPUtime=13.11
/proc/12426/task/12429/stat : 12429 (java) S 12424 12426 11699 0 -1 4202560 21326 0 0 0 1284 27 0 0 15 0 18 0 43550994 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12430] ppid=12424 vsize=1545828 CPUtime=13
/proc/12426/task/12430/stat : 12430 (java) S 12424 12426 11699 0 -1 4202560 19563 0 0 0 1265 35 0 0 16 0 18 0 43550994 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12431] ppid=12424 vsize=1545828 CPUtime=34.41
/proc/12426/task/12431/stat : 12431 (java) S 12424 12426 11699 0 -1 4202560 1588 0 0 0 3408 33 0 0 16 0 18 0 43550996 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 0 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12432] ppid=12424 vsize=1545828 CPUtime=0
/proc/12426/task/12432/stat : 12432 (java) S 12424 12426 11699 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 43550997 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12433] ppid=12424 vsize=1545828 CPUtime=0
/proc/12426/task/12433/stat : 12433 (java) S 12424 12426 11699 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 43550997 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12434] ppid=12424 vsize=1545828 CPUtime=0
/proc/12426/task/12434/stat : 12434 (java) S 12424 12426 11699 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 18 0 43551001 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12435] ppid=12424 vsize=1545828 CPUtime=3.3
/proc/12426/task/12435/stat : 12435 (java) S 12424 12426 11699 0 -1 4202560 7870 0 0 0 328 2 0 0 15 0 18 0 43551001 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12436] ppid=12424 vsize=1545828 CPUtime=2.64
/proc/12426/task/12436/stat : 12436 (java) S 12424 12426 11699 0 -1 4202560 5032 0 0 0 263 1 0 0 15 0 18 0 43551001 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12437] ppid=12424 vsize=1545828 CPUtime=0
/proc/12426/task/12437/stat : 12437 (java) S 12424 12426 11699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 43551001 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12438] ppid=12424 vsize=1545828 CPUtime=0
/proc/12426/task/12438/stat : 12438 (java) S 12424 12426 11699 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 43551001 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 1 0 0 0
[pid=12426/tid=12439] ppid=12424 vsize=1545828 CPUtime=866.68
/proc/12426/task/12439/stat : 12439 (java) R 12424 12426 11699 0 -1 4202560 14964 0 0 0 86642 26 0 0 21 0 18 0 43551226 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4109966380 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12426/tid=12440] ppid=12424 vsize=1545828 CPUtime=864.71
/proc/12426/task/12440/stat : 12440 (java) R 12424 12426 11699 0 -1 4202560 10635 0 0 0 86453 18 0 0 22 0 18 0 43551226 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4109477367 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12426/tid=12441] ppid=12424 vsize=1545828 CPUtime=0
/proc/12426/task/12441/stat : 12441 (java) S 12424 12426 11699 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 18 0 43551228 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
[pid=12426/tid=12442] ppid=12424 vsize=1545828 CPUtime=0
/proc/12426/task/12442/stat : 12442 (java) S 12424 12426 11699 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 18 0 43551228 1582927872 77647 1992294400 134512640 134550932 4286697600 18446744073709551615 4294960144 0 4 0 16800975 18446604437823746496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 1545828

[startup+926.702 s]
/proc/loadavg: 2.03 2.02 1.66 3/122 12469
/proc/meminfo: memFree=1448676/2059040 swapFree=4136756/4192956
[pid=12426] ppid=12424 vsize=0 CPUtime=1800.43
/proc/12426/stat : 12426 (java) Z 12424 12426 11699 0 -1 4203548 89776 0 1 0 179890 153 0 0 16 0 2 0 43550991 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 0 0 0 0 0 0 0
[pid=12426/tid=12439] ppid=12424 vsize=0 CPUtime=866.74
/proc/12426/task/12439/stat : 12439 (java) R 12424 12426 11699 0 -1 4203588 14964 0 0 0 86647 27 0 0 22 0 2 0 43551226 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 926.717
CPU time (s): 1800.45
CPU user time (s): 1798.9
CPU system time (s): 1.54776
CPU usage (%): 194.283
Max. virtual memory (cumulated for all children) (KiB): 1548092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.54776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89776
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= 28615
involuntary context switches= 53224

runsolver used 4.5933 second user time and 10.8963 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-16 11:11:34
IDJOB=2661575
IDBENCH=48335
IDSOLVER=1166
FILE ID=node012/2661575-1276679494
PBS_JOBID= 11172520
Free space on /tmp= 62588 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2661575-1276679494/watcher-2661575-1276679494 -o /tmp/evaluation-result-2661575-1276679494/solver-2661575-1276679494 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2661575-1276679494.opb

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

MD5SUM BENCH= 2b927be10d6e21370847ee6c94426772
RANDOM SEED=62741223

node012.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.258
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.51
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.258
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1757092 kB
Buffers:         79556 kB
Cached:         127792 kB
SwapCached:       9680 kB
Active:          95016 kB
Inactive:       125676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1757092 kB
SwapTotal:     4192956 kB
SwapFree:      4136756 kB
Dirty:             432 kB
Writeback:           0 kB
AnonPages:       11648 kB
Mapped:           9344 kB
Slab:            59264 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180972 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= 62588 MiB
End job on node012 at 2010-06-16 11:27:03