Trace number 238877

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, and are wall clock time (not CPU 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
sat4jCSP 1.7 RC BF3? (TO) 1800.19 1808.46

General information on the benchmark

NameblackHole/BH-4-13/
BlackHole-4-13-e-1_ext.xml
MD5SUMde93c5d317c976395f6ee058e260e016
Bench Category2-ARY-EXT (binary constraints in extension)
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 variables208
Number of constraints4218
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4218
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.15	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16	c version CSP COMPETITION BUGFIX 3
0.16	c sun.arch.data.model	32
0.16	c java.version	1.5.0_10
0.16	c os.name	Linux
0.16	c os.version	2.6.9-22.EL.rootsmp
0.16	c os.arch	i386
0.16	c Free memory 722620888
0.16	c Max memory 723845120
0.16	c Total memory 723845120
0.16	c Number of processors 2
0.25	c --- Begin Solver configuration ---
0.25	c Stops conflict analysis at the first Unique Implication Point
0.25	c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.25	c Learn all clauses as in MiniSAT
0.25	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25	c VSIDS like heuristics from MiniSAT using a heap
0.25	c No reason simplification
0.25	c --- End Solver configuration ---
0.26	c solving /tmp/evaluation/238877-1168361082/unknown.xml
0.26	c reading problem ... 
0.53	c reading problem named ?
0.53	c reading domains done.
0.54	c reading variables
c reading variables (208) done.
0.81	c reading relations
c reading relations (9) done.
1.02	c reading constraints
c reading constraints done.
3.94	c ... done. Wall clock time 3.686s.
3.94	c CPU time (experimental) 1.76s.
3.94	c #vars     7334
3.94	c #constraints  5530
568.38	c cleaning 96706 clauses out of 193456 for limit 0.06192707684039236
570.38	c cleaning 48619 clauses out of 97255 for limit 0.20416405924857678
571.74	c cleaning 24536 clauses out of 49131 for limit 0.663160964445752
573.06	c cleaning 12515 clauses out of 25095 for limit 2.141131028755213
574.24	c cleaning 6511 clauses out of 13079 for limit 6.768263850759185
1059.66	c cleaning 84760 clauses out of 169567 for limit 3.4924455891479805E10
1060.83	c cleaning 42625 clauses out of 85308 for limit 1.1459657130442793E11
1061.96	c cleaning 21567 clauses out of 43183 for limit 3.7333994648672656E11
1062.71	c cleaning 11039 clauses out of 22115 for limit 1.201024046192703E12
1063.07	c cleaning 5760 clauses out of 11576 for limit 3.783868327793315E12
1063.30	c cleaning 3133 clauses out of 6318 for limit 1.1456179834026541E13
1063.44	c cleaning 1821 clauses out of 3683 for limit 3.2344808823609707E13
1063.61	c cleaning 1173 clauses out of 2362 for limit 8.317298748165108E13
1063.75	c cleaning 840 clauses out of 1689 for limit 1.918175907291461E14
1063.87	c cleaning 659 clauses out of 1349 for limit 3.960609444550275E14
1064.02	c cleaning 587 clauses out of 1192 for limit 7.406663660019828E14
1064.12	c cleaning 547 clauses out of 1103 for limit 1.31737746459462E15
1064.19	c cleaning 523 clauses out of 1058 for limit 2.269472817198436E15
1064.26	c cleaning 508 clauses out of 1034 for limit 3.8257050963687295E15
1064.36	c cleaning 513 clauses out of 1029 for limit 6.358813327628941E-5
1064.46	c cleaning 498 clauses out of 1012 for limit 1.0620104202541999E-4
1064.55	c cleaning 500 clauses out of 1014 for limit 1.7479428237533956E-4
1064.64	c cleaning 496 clauses out of 1015 for limit 2.8826341944944943E-4
1064.73	c cleaning 497 clauses out of 1018 for limit 4.735100199159333E-4
1064.83	c cleaning 476 clauses out of 1021 for limit 7.785869074440413E-4
1064.96	c cleaning 502 clauses out of 1045 for limit 0.0012545051111899355
1065.05	c cleaning 506 clauses out of 1045 for limit 0.002072990661375564
1065.16	c cleaning 496 clauses out of 1038 for limit 0.00343825163206259
1065.30	c cleaning 501 clauses out of 1044 for limit 0.0056488419436993295
1065.41	c cleaning 502 clauses out of 1044 for limit 0.009325021074790413
1065.56	c cleaning 502 clauses out of 1038 for limit 0.01540532294893809
1065.65	c cleaning 479 clauses out of 1036 for limit 0.02545448367796665
1755.91	c cleaning 95768 clauses out of 191556 for limit 0.13507566840892082
1758.38	c cleaning 48143 clauses out of 96291 for limit 0.444474254666512
1759.61	c cleaning 24314 clauses out of 48645 for limit 1.446593306535582
1760.47	c cleaning 12400 clauses out of 24831 for limit 4.673544003068403
1761.15	c cleaning 6452 clauses out of 12932 for limit 14.81375810832718
1761.64	c cleaning 3476 clauses out of 6979 for limit 45.22297423115159
1761.92	c cleaning 1993 clauses out of 4004 for limit 130.12137684089814
1762.12	c cleaning 1230 clauses out of 2510 for limit 341.9718615927448
1762.23	c cleaning 869 clauses out of 1781 for limit 795.5923038920265
1767.21	c cleaning 5661 clauses out of 11411 for limit 4528661.946344126
1767.49	c cleaning 3083 clauses out of 6251 for limit 1.364691567752381E7
1767.70	c cleaning 1827 clauses out of 3667 for limit 3.8326086221352935E7
1767.88	c cleaning 1123 clauses out of 2341 for limit 9.910472649859281E7
1768.06	c cleaning 850 clauses out of 1719 for limit 2.2279749476465508E8
1768.18	c cleaning 633 clauses out of 1369 for limit 4.613585980421948E8
1768.29	c cleaning 603 clauses out of 1236 for limit 8.427125915797989E8
1768.43	c cleaning 550 clauses out of 1133 for limit 1.5160863268239954E9
1768.57	c cleaning 483 clauses out of 1081 for limit 2.615260836797135E9
1768.70	c cleaning 505 clauses out of 1101 for limit 4.2472987287956734E9
1768.83	c cleaning 504 clauses out of 1094 for limit 7.035090167721335E9
1768.94	c cleaning 492 clauses out of 1089 for limit 1.1643417909169062E10
1808.34	c starts		: 20
1808.34	c conflicts		: 619612
1808.34	c decisions		: 927409
1808.34	c propagations		: 41891353
1808.34	c inspects		: 2213541601
1808.34	c learnt literals	: 3
1808.34	c learnt binary clauses	: 0
1808.34	c learnt ternary clauses	: 10
1808.34	c learnt clauses	: 619565
1808.34	c root simplifications	: 0
1808.34	c removed literals (reason simplification)	: 0
1808.34	c reason swapping (by a shorter reason)	: 0
1808.34	c Calls to reduceDB	: 53
1808.35	c speed (decisions/second)	: 513.9793944700921
1808.35	c non guided choices	7572
1808.35	s UNKNOWN
1808.35	c Total wall clock time (in seconds) : 1808.089
1808.35	c Total CPU time (experimental, in seconds) : 0.0

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-238877-1168361082 -o ROOT/results/node42/solver-238877-1168361082 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238877-1168361082/sat4jCSP-bf3.jar /tmp/evaluation/238877-1168361082/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.00 1.99 4/76 17860
/proc/meminfo: memFree=1841448/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=18540 CPUtime=0
/proc/17859/stat : 17859 (runsolver) D 17857 17859 16548 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 184507487 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 259415141671 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/17859/statm: 4635 279 244 17 0 2626 0

[startup+0.10749 s]
/proc/loadavg: 2.00 2.00 1.99 4/76 17860
/proc/meminfo: memFree=1841448/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=901540 CPUtime=0.08
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 3318 0 1 0 7 1 0 0 22 0 12 0 184507487 923176960 3078 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17859/statm: 225385 3078 1559 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540

[startup+0.515535 s]
/proc/loadavg: 2.00 2.00 1.99 4/76 17860
/proc/meminfo: memFree=1841448/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=905368 CPUtime=0.49
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 5839 0 1 0 46 3 0 0 19 0 12 0 184507487 927096832 5434 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17859/statm: 226342 5434 2250 14 0 212779 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905368

[startup+1.33763 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 17871
/proc/meminfo: memFree=1824272/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=905236 CPUtime=1.3
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 7253 0 1 0 126 4 0 0 23 0 12 0 184507487 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053845626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17859/statm: 226309 6760 2325 14 0 212746 0
[pid=17859/tid=17861] ppid=17857 vsize=905236 CPUtime=0
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 184507490 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17862] ppid=17857 vsize=905236 CPUtime=0
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184507490 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17863] ppid=17857 vsize=905236 CPUtime=0
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 184507492 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17864] ppid=17857 vsize=905236 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 21 0 12 0 184507493 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=905236 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 184507493 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=905236 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 184507497 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=905236 CPUtime=0
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 184507497 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=905236 CPUtime=0.31
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 337 0 0 0 31 0 0 0 16 0 12 0 184507497 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=905236 CPUtime=0.26
/proc/17859/task/17869/stat : 17869 (java) S 17857 17859 16548 0 -1 64 690 0 0 0 26 0 0 0 16 0 12 0 184507497 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=905236 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 184507497 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=905236 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 184507497 926961664 6760 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 905236

[startup+2.99081 s]
/proc/loadavg: 2.00 2.00 1.99 4/87 17871
/proc/meminfo: memFree=1819792/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=905480 CPUtime=2.95
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 10474 0 1 0 289 6 0 0 25 0 12 0 184507487 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17859/statm: 226370 8794 2334 14 0 212807 0
[pid=17859/tid=17861] ppid=17857 vsize=905480 CPUtime=0
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 184507490 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17862] ppid=17857 vsize=905480 CPUtime=0
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184507490 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17863] ppid=17857 vsize=905480 CPUtime=0
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 184507492 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17864] ppid=17857 vsize=905480 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 21 0 12 0 184507493 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=905480 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 184507493 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=905480 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 184507497 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=905480 CPUtime=0
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 184507497 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=905480 CPUtime=0.98
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 1521 0 0 0 98 0 0 0 16 0 12 0 184507497 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=905480 CPUtime=0.63
/proc/17859/task/17869/stat : 17869 (java) R 17857 17859 16548 0 -1 64 840 0 0 0 63 0 0 0 16 0 12 0 184507497 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154872771 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=905480 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 184507497 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=905480 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 184507497 927211520 8794 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 905480

[startup+6.20516 s]
/proc/loadavg: 2.08 2.02 1.99 3/88 17872
/proc/meminfo: memFree=1796680/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=907408 CPUtime=6.12
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 16334 0 1 0 604 8 0 0 25 0 13 0 184507487 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054699240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17859/statm: 226852 14033 2350 14 0 213289 0
[pid=17859/tid=17861] ppid=17857 vsize=907408 CPUtime=0
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 184507490 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17862] ppid=17857 vsize=907408 CPUtime=0
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 184507490 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17863] ppid=17857 vsize=907408 CPUtime=0
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 184507492 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17864] ppid=17857 vsize=907408 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 21 0 13 0 184507493 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=907408 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 184507493 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=907408 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184507497 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=907408 CPUtime=0.01
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 184507497 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=907408 CPUtime=1.68
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 2417 0 0 0 168 0 0 0 16 0 13 0 184507497 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=907408 CPUtime=0.99
/proc/17859/task/17869/stat : 17869 (java) S 17857 17859 16548 0 -1 64 989 0 0 0 99 0 0 0 15 0 13 0 184507497 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=907408 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184507497 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=907408 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184507497 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17872] ppid=17857 vsize=907408 CPUtime=0
/proc/17859/task/17872/stat : 17872 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 184507885 929185792 14033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 907408

[startup+12.7049 s]
/proc/loadavg: 2.07 2.02 1.99 3/88 17872
/proc/meminfo: memFree=1769096/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=907084 CPUtime=12.56
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 22839 0 1 0 1245 11 0 0 25 0 13 0 184507487 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054638682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17859/statm: 226771 20463 2350 14 0 213208 0
[pid=17859/tid=17861] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 184507490 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17862] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 184507490 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17863] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184507492 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17864] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 21 0 13 0 184507493 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 184507493 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184507497 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=907084 CPUtime=0.01
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 184507497 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=907084 CPUtime=1.71
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 2419 0 0 0 171 0 0 0 16 0 13 0 184507497 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=907084 CPUtime=1
/proc/17859/task/17869/stat : 17869 (java) S 17857 17859 16548 0 -1 64 990 0 0 0 100 0 0 0 16 0 13 0 184507497 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184507497 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184507497 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17872] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17872/stat : 17872 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 184507885 928854016 20463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 907084

[startup+25.5893 s]
/proc/loadavg: 2.06 2.01 1.99 3/85 17872
/proc/meminfo: memFree=1726216/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=907084 CPUtime=25.33
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 33376 0 1 0 2519 14 0 0 25 0 13 0 184507487 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054699282 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17859/statm: 226771 30999 2358 14 0 213208 0
[pid=17859/tid=17861] ppid=17857 vsize=907084 CPUtime=0.02
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 1789 0 0 0 2 0 0 0 17 0 13 0 184507490 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17862] ppid=17857 vsize=907084 CPUtime=0.07
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 8490 0 0 0 5 2 0 0 17 0 13 0 184507490 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17863] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 184507492 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17864] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184507497 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=907084 CPUtime=0.01
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 184507497 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=907084 CPUtime=1.71
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 2419 0 0 0 171 0 0 0 16 0 13 0 184507497 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=907084 CPUtime=1
/proc/17859/task/17869/stat : 17869 (java) S 17857 17859 16548 0 -1 64 990 0 0 0 100 0 0 0 16 0 13 0 184507497 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184507497 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184507497 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17872] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17872/stat : 17872 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 184507885 928854016 30999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 907084

[startup+51.2792 s]
/proc/loadavg: 1.97 2.00 1.99 3/85 18102
/proc/meminfo: memFree=1645288/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=907084 CPUtime=50.81
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 50915 0 1 0 5059 22 0 0 25 0 13 0 184507487 928854016 48537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054699144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/loadavg: 2.02 2.02 2.00 3/85 18300
/proc/meminfo: memFree=1124328/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=907084 CPUtime=1596.31
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 195190 0 1 0 159523 108 0 0 25 0 13 0 184507487 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054699213 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17859/statm: 226771 178408 2367 14 0 213208 0
[pid=17859/tid=17861] ppid=17857 vsize=907084 CPUtime=2.71
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 75269 0 0 0 239 32 0 0 17 0 13 0 184507490 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17862] ppid=17857 vsize=907084 CPUtime=2.81
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 90934 0 0 0 243 38 0 0 17 0 13 0 184507490 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17863] ppid=17857 vsize=907084 CPUtime=0.62
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 5831 0 0 0 60 2 0 0 16 0 13 0 184507492 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17864] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=907084 CPUtime=0.01
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=907084 CPUtime=1.82
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 2420 0 0 0 182 0 0 0 16 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=907084 CPUtime=1.13
/proc/17859/task/17869/stat : 17869 (java) S 17857 17859 16548 0 -1 64 999 0 0 0 113 0 0 0 16 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17872] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17872/stat : 17872 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 184507885 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.31
Current children cumulated vsize (KiB) 907084

[startup+1663.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 18300
/proc/meminfo: memFree=1124328/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=907084 CPUtime=1656.13
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 195192 0 1 0 165505 108 0 0 25 0 13 0 184507487 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054699030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17859/statm: 226771 178408 2367 14 0 213208 0
[pid=17859/tid=17861] ppid=17857 vsize=907084 CPUtime=2.82
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 75269 0 0 0 250 32 0 0 17 0 13 0 184507490 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17862] ppid=17857 vsize=907084 CPUtime=2.94
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 90934 0 0 0 256 38 0 0 17 0 13 0 184507490 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17863] ppid=17857 vsize=907084 CPUtime=0.62
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 5831 0 0 0 60 2 0 0 16 0 13 0 184507492 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17864] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=907084 CPUtime=0.01
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=907084 CPUtime=1.82
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 2420 0 0 0 182 0 0 0 16 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=907084 CPUtime=1.13
/proc/17859/task/17869/stat : 17869 (java) S 17857 17859 16548 0 -1 64 999 0 0 0 113 0 0 0 16 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17872] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17872/stat : 17872 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 184507885 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.13
Current children cumulated vsize (KiB) 907084

[startup+1723.84 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 18300
/proc/meminfo: memFree=1124328/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=907084 CPUtime=1715.94
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 195194 0 1 0 171486 108 0 0 25 0 13 0 184507487 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054699183 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17859/statm: 226771 178408 2367 14 0 213208 0
[pid=17859/tid=17861] ppid=17857 vsize=907084 CPUtime=2.93
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 75269 0 0 0 261 32 0 0 17 0 13 0 184507490 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17862] ppid=17857 vsize=907084 CPUtime=3.03
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 90934 0 0 0 265 38 0 0 17 0 13 0 184507490 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17863] ppid=17857 vsize=907084 CPUtime=0.62
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 5831 0 0 0 60 2 0 0 16 0 13 0 184507492 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17864] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=907084 CPUtime=0.01
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=907084 CPUtime=1.82
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 2420 0 0 0 182 0 0 0 16 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=907084 CPUtime=1.13
/proc/17859/task/17869/stat : 17869 (java) S 17857 17859 16548 0 -1 64 999 0 0 0 113 0 0 0 16 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184507497 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17872] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17872/stat : 17872 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 184507885 928854016 178408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.94
Current children cumulated vsize (KiB) 907084

[startup+1783.89 s]
/proc/loadavg: 2.22 2.07 2.02 3/85 18300
/proc/meminfo: memFree=1131112/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=907084 CPUtime=1775.72
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 195198 0 1 0 177464 108 0 0 25 0 13 0 184507487 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054699535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17859/statm: 226771 176678 2367 14 0 213208 0
[pid=17859/tid=17861] ppid=17857 vsize=907084 CPUtime=3.06
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 75269 0 0 0 274 32 0 0 17 0 13 0 184507490 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17862] ppid=17857 vsize=907084 CPUtime=3.17
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 90934 0 0 0 279 38 0 0 17 0 13 0 184507490 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17863] ppid=17857 vsize=907084 CPUtime=0.79
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 5831 0 0 0 76 3 0 0 16 0 13 0 184507492 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17864] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=907084 CPUtime=0.01
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=907084 CPUtime=1.82
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 2420 0 0 0 182 0 0 0 16 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=907084 CPUtime=1.13
/proc/17859/task/17869/stat : 17869 (java) S 17857 17859 16548 0 -1 64 999 0 0 0 113 0 0 0 16 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17872] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17872/stat : 17872 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 184507885 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.72
Current children cumulated vsize (KiB) 907084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.33 s]
/proc/loadavg: 2.13 2.06 2.01 3/85 18300
/proc/meminfo: memFree=1131112/2055920 swapFree=4191892/4192956
[pid=17859] ppid=17857 vsize=907084 CPUtime=1800.07
/proc/17859/stat : 17859 (java) R 17857 17859 16548 0 -1 0 195199 0 1 0 179899 108 0 0 25 0 13 0 184507487 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054699020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17859/statm: 226771 176678 2367 14 0 213208 0
[pid=17859/tid=17861] ppid=17857 vsize=907084 CPUtime=3.12
/proc/17859/task/17861/stat : 17861 (java) S 17857 17859 16548 0 -1 64 75269 0 0 0 280 32 0 0 16 0 13 0 184507490 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17859/tid=17862] ppid=17857 vsize=907084 CPUtime=3.22
/proc/17859/task/17862/stat : 17862 (java) S 17857 17859 16548 0 -1 64 90934 0 0 0 284 38 0 0 16 0 13 0 184507490 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17863] ppid=17857 vsize=907084 CPUtime=0.79
/proc/17859/task/17863/stat : 17863 (java) S 17857 17859 16548 0 -1 64 5831 0 0 0 76 3 0 0 16 0 13 0 184507492 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17864] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17864/stat : 17864 (java) S 17857 17859 16548 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17865] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17865/stat : 17865 (java) S 17857 17859 16548 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184507493 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17866] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17866/stat : 17866 (java) S 17857 17859 16548 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17867] ppid=17857 vsize=907084 CPUtime=0.01
/proc/17859/task/17867/stat : 17867 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17868] ppid=17857 vsize=907084 CPUtime=1.82
/proc/17859/task/17868/stat : 17868 (java) S 17857 17859 16548 0 -1 64 2420 0 0 0 182 0 0 0 16 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17869] ppid=17857 vsize=907084 CPUtime=1.13
/proc/17859/task/17869/stat : 17869 (java) S 17857 17859 16548 0 -1 64 999 0 0 0 113 0 0 0 16 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17870] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17870/stat : 17870 (java) S 17857 17859 16548 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17871] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17871/stat : 17871 (java) S 17857 17859 16548 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 184507497 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17859/tid=17872] ppid=17857 vsize=907084 CPUtime=0
/proc/17859/task/17872/stat : 17872 (java) S 17857 17859 16548 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 184507885 928854016 176678 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 907084

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

Child status: 143
Real time (s): 1808.46
CPU time (s): 1800.19
CPU user time (s): 1799.01
CPU system time (s): 1.18782
CPU usage (%): 99.5431
Max. virtual memory (cumulated for all children) (KiB): 908088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.18782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195217
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= 38354
involuntary context switches= 47916

runsolver used 2.20366 s user time and 5.86211 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Tue Jan  9 16:44:43 UTC 2007


IDJOB= 238877
IDBENCH= 7025
FILE ID= node42/238877-1168361082

PBS_JOBID= 3503938

Free space on /tmp= 66561 MiB

BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-1_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238877-1168361082/sat4jCSP-bf3.jar /tmp/evaluation/238877-1168361082/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-238877-1168361082 -o ROOT/results/node42/solver-238877-1168361082 -C 1800 -M 900  java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238877-1168361082/sat4jCSP-bf3.jar /tmp/evaluation/238877-1168361082/unknown.xml

META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH=  de93c5d317c976395f6ee058e260e016

RANDOM SEED= 855566598

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.229
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	: 5914.62
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.229
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:       1841864 kB
Buffers:         25328 kB
Cached:         111812 kB
SwapCached:        492 kB
Active:          92692 kB
Inactive:        68916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841864 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2676 kB
Writeback:           0 kB
Mapped:          34432 kB
Slab:            37900 kB
Committed_AS:  4180084 kB
PageTables:       1764 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= 66559 MiB



End job on node42 on Tue Jan  9 17:14:51 UTC 2007