Trace number 1090936

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 CSP 2008-06-13? (TO) 1800.23 1811.09

General information on the benchmark

Namecsp/graphColoring/insertion/k-insertion/
normalized-1-insertions-6-6.xml
MD5SUMa619a63f941f7bbdcfca2c9c1b977147
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables607
Number of constraints6337
Maximum constraint arity2
Maximum domain size6
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6337
Global constraints used (with number of constraints)

Solver Data (download as text)

0.28/0.31	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.28/0.31	c This is free software under the dual EPL/GNU LGPL licenses.
0.28/0.31	c See www.sat4j.org for details.
0.28/0.31	c That software uses the Rhino library from the Mozilla project.
0.28/0.36	c version 9.9.9.token
0.28/0.36	c sun.arch.data.model	32
0.28/0.36	c java.version	1.6.0_06
0.28/0.36	c os.name	Linux
0.28/0.36	c os.version	2.6.9-22.EL.rootsmp
0.28/0.36	c os.arch	i386
0.28/0.36	c Free memory 669864272
0.28/0.36	c Max memory 672137216
0.28/0.36	c Total memory 672137216
0.28/0.36	c Number of processors 2
0.37/0.40	c c --- Begin Solver configuration ---
0.37/0.40	c Stops conflict analysis at the first Unique Implication Point
0.37/0.40	c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.37/0.40	c Learn all clauses as in MiniSAT
0.37/0.40	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.37/0.40	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.37/0.40	c Expensive reason simplification
0.37/0.40	c MiniSAT restarts strategy
0.37/0.40	c timeout=2147483s
0.37/0.40	c DB Simplification allowed=false
0.37/0.40	c --- End Solver configuration ---
0.37/0.40	c solving HOME/instance-1090936-1215272692.xml
0.37/0.40	c reading problem ... 
0.57/0.68	c reading problem named null
0.57/0.68	c reading domains done.
0.57/0.68	c reading variables done.
0.88/0.90	c reading predicates  done.
0.98/1.09	c reading constraints
5.91/6.06	c done with constraints.
5.91/6.06	c ... done. Wall clock time 5.657s.
5.91/6.06	c #vars     3642
5.91/6.06	c #constraints  77258
5.91/6.06	c constraints type 
5.91/6.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76651
5.91/6.06	c org.sat4j.minisat.constraints.card.AtLeast => 607
1242.81/1248.98	c cleaning 231487 clauses out of 463000 for limit 3.2611470271378144E-5
1245.40/1251.59	c cleaning 116000 clauses out of 232013 for limit 1.0732352724192224E-4
1246.79/1252.92	c cleaning 58251 clauses out of 116513 for limit 3.524428946762819E-4
1247.58/1253.77	c cleaning 29367 clauses out of 58763 for limit 0.00115358495533865
1248.27/1254.47	c cleaning 14940 clauses out of 29895 for limit 0.0037357375734322264
1248.97/1255.14	c cleaning 7719 clauses out of 15456 for limit 0.01192801586148087
1249.26/1255.46	c cleaning 4091 clauses out of 8236 for limit 0.03687825426399601
1249.76/1255.95	c cleaning 2301 clauses out of 4645 for limit 0.10783428447193281
1250.35/1256.50	c cleaning 1395 clauses out of 2845 for limit 0.2906368697033228
1250.75/1256.98	c cleaning 952 clauses out of 1950 for limit 0.6992850663157678
1251.24/1257.45	c cleaning 725 clauses out of 1498 for limit 1.501180584060466
1251.64/1257.82	c cleaning 621 clauses out of 1274 for limit 2.913840147822161
1252.04/1258.25	c cleaning 551 clauses out of 1151 for limit 5.308192825719625
1252.43/1258.64	c cleaning 530 clauses out of 1100 for limit 9.159783654610752
1252.73/1258.90	c cleaning 516 clauses out of 1070 for limit 15.529233161146184
1252.93/1259.19	c cleaning 503 clauses out of 1055 for limit 25.999902986039395
1253.33/1259.53	c cleaning 500 clauses out of 1051 for limit 42.99746447252518
1253.62/1259.84	c cleaning 506 clauses out of 1054 for limit 70.91928914133858
1253.92/1260.15	c cleaning 502 clauses out of 1045 for limit 117.60913232348896
1254.22/1260.40	c cleaning 501 clauses out of 1044 for limit 194.33330489474864
1254.42/1260.68	c cleaning 500 clauses out of 1042 for limit 320.7756483349139
1254.71/1260.99	c cleaning 494 clauses out of 1047 for limit 529.1159758458905
1255.11/1261.31	c cleaning 501 clauses out of 1049 for limit 867.440925212831
1255.41/1261.69	c cleaning 506 clauses out of 1052 for limit 1432.1667624850727
1255.70/1261.99	c cleaning 495 clauses out of 1045 for limit 2375.2778292090843
1256.00/1262.25	c cleaning 499 clauses out of 1047 for limit 3897.9510008832144
1256.30/1262.54	c cleaning 496 clauses out of 1048 for limit 6422.1088396809255
1256.60/1262.88	c cleaning 503 clauses out of 1052 for limit 10550.646966075206
1256.89/1263.20	c cleaning 501 clauses out of 1050 for limit 17450.020075599434
1257.29/1263.54	c cleaning 491 clauses out of 1047 for limit 28802.183421582147
1257.59/1263.89	c cleaning 506 clauses out of 1062 for limit 47109.72123529626
1257.98/1264.23	c cleaning 500 clauses out of 1052 for limit 78115.48817945298
1258.38/1264.61	c cleaning 490 clauses out of 1050 for limit 128810.25957868942
1258.68/1264.99	c cleaning 528 clauses out of 1060 for limit 210421.33723789494
1259.07/1265.34	c cleaning 486 clauses out of 1032 for limit 356428.01439365925
1259.37/1265.65	c cleaning 501 clauses out of 1047 for limit 579956.2667845896
1259.67/1265.95	c cleaning 499 clauses out of 1045 for limit 957297.6925073264
1259.96/1266.25	c cleaning 495 clauses out of 1046 for limit 1577202.6750821716
1260.36/1266.61	c cleaning 499 clauses out of 1052 for limit 2588772.2732880902
1260.66/1266.93	c cleaning 526 clauses out of 1053 for limit 4265177.447225301
1260.95/1267.21	c cleaning 515 clauses out of 1030 for limit 7212530.670445075
1261.25/1267.54	c cleaning 505 clauses out of 1014 for limit 1.2070029120695457E7
1261.55/1267.84	c cleaning 501 clauses out of 1009 for limit 2.0003730443715867E7
1261.85/1268.12	c cleaning 484 clauses out of 1007 for limit 3.3021292228246965E7
1800.03/1810.91	c starts		: 20
1800.03/1810.91	c conflicts		: 638259
1800.03/1810.91	c decisions		: 1109956
1800.03/1810.91	c propagations		: 59537155
1800.03/1810.91	c inspects		: 3554189439
1800.03/1810.91	c learnt literals	: 0
1800.03/1810.91	c learnt binary clauses	: 0
1800.03/1810.91	c learnt ternary clauses	: 0
1800.03/1810.91	c learnt clauses	: 638258
1800.03/1810.91	c ignored clauses	: 0
1800.03/1810.96	c root simplifications	: 0
1800.03/1810.96	c removed literals (reason simplification)	: 13312396
1800.03/1810.96	c reason swapping (by a shorter reason)	: 0
1800.03/1810.96	c Calls to reduceDB	: 44
1800.03/1810.96	c speed (assignments/second)	: 32986.63849869826
1800.03/1810.96	c non guided choices	4095
1800.03/1810.96	s UNKNOWN
1800.03/1810.96	c Total wall clock time (in seconds) : 1810.508

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090936-1215272692/watcher-1090936-1215272692 -o /tmp/evaluation-result-1090936-1215272692/solver-1090936-1215272692 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1090936-1215272692.xml 

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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=1804 CPUtime=0
/proc/30622/stat : 30622 (java6) R 30620 30622 30407 0 -1 0 183 0 0 0 0 0 0 0 18 0 1 0 2006240804 1847296 155 996147200 134512640 134550740 4294956176 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/30622/statm: 451 155 111 9 0 93 0

[startup+0.043096 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=801432 CPUtime=0.03
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 2495 0 1 0 2 1 0 0 18 0 5 0 2006240804 820666368 2232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 200358 2232 949 9 0 197741 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 801432

[startup+0.102108 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=804612 CPUtime=0.09
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 3006 0 1 0 7 2 0 0 18 0 12 0 2006240804 823922688 2739 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 201153 2739 1048 9 0 198522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804612

[startup+0.302143 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=807760 CPUtime=0.28
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 4838 0 1 0 24 4 0 0 18 0 12 0 2006240804 827146240 4167 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 201940 4167 1299 9 0 199309 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 807760

[startup+0.70121 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 30622
/proc/meminfo: memFree=1654584/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=807788 CPUtime=0.67
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 6257 0 1 0 62 5 0 0 18 0 12 0 2006240804 827174912 5387 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 201947 5387 1335 9 0 199309 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 807788

[startup+1.50136 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 30634
/proc/meminfo: memFree=1635224/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=811980 CPUtime=1.47
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 9142 0 1 0 140 7 0 0 18 0 12 0 2006240804 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 202995 7530 1352 9 0 200357 0
[pid=30622/tid=30624] ppid=30620 vsize=811980 CPUtime=0.86
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 5027 0 1 0 81 5 0 0 19 0 12 0 2006240805 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 2006240806 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 2006240806 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 2006240808 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 2006240808 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 2006240808 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=811980 CPUtime=0.34
/proc/30622/task/30631/stat : 30631 (java) R 30620 30622 30407 0 -1 64 2052 0 0 0 34 0 0 0 17 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 104089141 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=811980 CPUtime=0.24
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 1297 0 0 0 24 0 0 0 16 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=811980 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 2006240813 831467520 7530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 811980

[startup+3.10264 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 30634
/proc/meminfo: memFree=1627032/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=811284 CPUtime=3.06
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 12198 0 1 0 296 10 0 0 18 0 12 0 2006240804 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 202821 9602 1368 9 0 200183 0
[pid=30622/tid=30624] ppid=30620 vsize=811284 CPUtime=1.49
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 7036 0 1 0 142 7 0 0 25 0 12 0 2006240805 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 2006240806 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 2006240806 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 2006240808 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 2006240808 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 2006240808 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=811284 CPUtime=0.87
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 2885 0 0 0 86 1 0 0 17 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=811284 CPUtime=0.66
/proc/30622/task/30632/stat : 30632 (java) R 30620 30622 30407 0 -1 64 1511 0 0 0 66 0 0 0 16 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 105690126 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=811284 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 2006240813 830754816 9602 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 811284

[startup+6.30421 s]
/proc/loadavg: 1.93 1.98 1.99 4/93 30634
/proc/meminfo: memFree=1587992/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=812388 CPUtime=6.21
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 26486 0 1 0 604 17 0 0 18 0 13 0 2006240804 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203097 22083 1393 9 0 200459 0
[pid=30622/tid=30624] ppid=30620 vsize=812388 CPUtime=2.84
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17301 0 1 0 272 12 0 0 25 0 13 0 2006240805 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=812388 CPUtime=0.04
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 1186 0 0 0 4 0 0 0 17 0 13 0 2006240806 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=812388 CPUtime=0.02
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 683 0 0 0 2 0 0 0 17 0 13 0 2006240806 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=812388 CPUtime=1.57
/proc/30622/task/30631/stat : 30631 (java) R 30620 30622 30407 0 -1 64 3204 0 0 0 156 1 0 0 15 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 105837313 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=812388 CPUtime=1.7
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3313 0 0 0 169 1 0 0 16 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) R 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 831885312 22083 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 812388

[startup+12.7024 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 30635
/proc/meminfo: memFree=1570704/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=812388 CPUtime=12.55
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 26520 0 1 0 1237 18 0 0 18 0 13 0 2006240804 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203097 22115 1399 9 0 200459 0
[pid=30622/tid=30624] ppid=30620 vsize=812388 CPUtime=8.76
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17305 0 1 0 864 12 0 0 25 0 13 0 2006240805 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4110332716 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=812388 CPUtime=0.04
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 1186 0 0 0 4 0 0 0 17 0 13 0 2006240806 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=812388 CPUtime=0.02
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 683 0 0 0 2 0 0 0 17 0 13 0 2006240806 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=812388 CPUtime=1.73
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3217 0 0 0 172 1 0 0 15 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=812388 CPUtime=1.93
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3330 0 0 0 192 1 0 0 15 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 831885312 22115 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 812388

[startup+25.5026 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 30635
/proc/meminfo: memFree=1570576/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=812388 CPUtime=25.21
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 26527 0 1 0 2503 18 0 0 18 0 13 0 2006240804 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203097 22121 1399 9 0 200459 0
[pid=30622/tid=30624] ppid=30620 vsize=812388 CPUtime=21.35
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17306 0 1 0 2123 12 0 0 25 0 13 0 2006240805 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4110406984 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=812388 CPUtime=0.04
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 1186 0 0 0 4 0 0 0 17 0 13 0 2006240806 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=812388 CPUtime=0.02
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 683 0 0 0 2 0 0 0 17 0 13 0 2006240806 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30629] ppid=30620 vsize=812388 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 831885312 22121 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.23
Current children cumulated vsize (KiB) 814956

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 30671
/proc/meminfo: memFree=1057232/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=814956 CPUtime=1652.71
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 199077 0 1 0 165178 93 0 0 18 0 13 0 2006240804 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203739 167782 1403 9 0 201101 0
[pid=30622/tid=30624] ppid=30620 vsize=814956 CPUtime=1641.19
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17336 0 1 0 164102 17 0 0 25 0 13 0 2006240805 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4110318716 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=814956 CPUtime=2.35
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 84838 0 0 0 199 36 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=814956 CPUtime=2.3
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 81722 0 0 0 198 32 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.71
Current children cumulated vsize (KiB) 814956

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 30671
/proc/meminfo: memFree=1057168/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=814956 CPUtime=1712.2
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 199077 0 1 0 171127 93 0 0 18 0 13 0 2006240804 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203739 167782 1403 9 0 201101 0
[pid=30622/tid=30624] ppid=30620 vsize=814956 CPUtime=1700.68
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17336 0 1 0 170051 17 0 0 25 0 13 0 2006240805 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4110318502 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=814956 CPUtime=2.35
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 84838 0 0 0 199 36 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=814956 CPUtime=2.3
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 81722 0 0 0 198 32 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.2
Current children cumulated vsize (KiB) 814956

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 30671
/proc/meminfo: memFree=1057040/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=814956 CPUtime=1771.68
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 199078 0 1 0 177075 93 0 0 18 0 13 0 2006240804 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203739 167782 1403 9 0 201101 0
[pid=30622/tid=30624] ppid=30620 vsize=814956 CPUtime=1760.03
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17337 0 1 0 175986 17 0 0 25 0 13 0 2006240805 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4110319164 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=814956 CPUtime=2.4
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 84838 0 0 0 204 36 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=814956 CPUtime=2.37
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 81722 0 0 0 205 32 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.68
Current children cumulated vsize (KiB) 814956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.9 s]
/proc/loadavg: 2.06 1.99 1.99 3/86 30671
/proc/meminfo: memFree=1057040/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=814956 CPUtime=1800.03
/proc/30622/stat : 30622 (java) S 30620 30622 30407 0 -1 0 199078 0 1 0 179910 93 0 0 18 0 13 0 2006240804 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 203739 167782 1403 9 0 201101 0
[pid=30622/tid=30624] ppid=30620 vsize=814956 CPUtime=1788.38
/proc/30622/task/30624/stat : 30624 (java) R 30620 30622 30407 0 -1 64 17337 0 1 0 178821 17 0 0 25 0 13 0 2006240805 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4110406438 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30625] ppid=30620 vsize=814956 CPUtime=2.4
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30407 0 -1 64 84838 0 0 0 204 36 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30626] ppid=30620 vsize=814956 CPUtime=2.37
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30407 0 -1 64 81722 0 0 0 205 32 0 0 17 0 13 0 2006240806 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30627] ppid=30620 vsize=814956 CPUtime=2.89
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30407 0 -1 64 7850 0 0 0 287 2 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30628] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30407 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30407 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 2006240808 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30630] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30407 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30631] ppid=30620 vsize=814956 CPUtime=1.89
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30407 0 -1 64 3227 0 0 0 188 1 0 0 16 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30632] ppid=30620 vsize=814956 CPUtime=2.04
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30407 0 -1 64 3335 0 0 0 202 2 0 0 17 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30633] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30634] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30407 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 2006240813 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30622/tid=30635] ppid=30620 vsize=814956 CPUtime=0
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30407 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 2006241411 834514944 167782 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 814956

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

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

[startup+1811.01 s]
/proc/loadavg: 2.06 1.99 1.99 3/86 30671
/proc/meminfo: memFree=1057040/2055920 swapFree=4179784/4192956
[pid=30622] ppid=30620 vsize=0 CPUtime=1800.14
/proc/30622/stat : 30622 (java) Z 30620 30622 30407 0 -1 1036 199097 0 1 0 179918 96 0 0 15 0 2 0 2006240804 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30622/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1811.09
CPU time (s): 1800.23
CPU user time (s): 1799.19
CPU system time (s): 1.04484
CPU usage (%): 99.4002
Max. virtual memory (cumulated for all children) (KiB): 816960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 1.04484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199097
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= 38220
involuntary context switches= 63968

runsolver used 2.6056 second user time and 5.69813 second system time

The end

Launcher Data (download as text)

Begin job on node56 at 2008-07-05 17:44:52
IDJOB=1090936
IDBENCH=58512
IDSOLVER=344
FILE ID=node56/1090936-1215272692
PBS_JOBID= 7882244
Free space on /tmp= 103232 MiB

SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/graphColoring/insertion/k-insertion/normalized-1-insertions-6-6.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090936-1215272692/watcher-1090936-1215272692 -o /tmp/evaluation-result-1090936-1215272692/solver-1090936-1215272692 -C 1800 -W 2200 -M 900 --output-limit 1,15  java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1090936-1215272692.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a619a63f941f7bbdcfca2c9c1b977147
RANDOM SEED=850575240

node56.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.265
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
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.265
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1655064 kB
Buffers:         39932 kB
Cached:         230640 kB
SwapCached:       6936 kB
Active:         229480 kB
Inactive:       117924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655064 kB
SwapTotal:     4192956 kB
SwapFree:      4179784 kB
Dirty:            1844 kB
Writeback:           0 kB
Mapped:          90656 kB
Slab:            38472 kB
Committed_AS:  4796956 kB
PageTables:       2040 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103236 MiB
End job on node56 at 2008-07-05 18:15:05