Trace number 1081946

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.14 1808.56

General information on the benchmark

Namecsp/haystacks/
normalized-haystacks-29.xml
MD5SUMeebadc79eee5c83f4490f3a0193ddac7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.4861
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of constraints11802
Maximum constraint arity2
Maximum domain size29
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11802
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29/0.30	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.29/0.30	c This is free software under the dual EPL/GNU LGPL licenses.
0.29/0.30	c See www.sat4j.org for details.
0.29/0.30	c That software uses the Rhino library from the Mozilla project.
0.29/0.35	c version 9.9.9.token
0.29/0.35	c sun.arch.data.model	32
0.29/0.35	c java.version	1.6.0_06
0.29/0.35	c os.name	Linux
0.29/0.35	c os.version	2.6.9-22.EL.rootsmp
0.29/0.35	c os.arch	i386
0.29/0.35	c Free memory 669864272
0.29/0.35	c Max memory 672137216
0.29/0.35	c Total memory 672137216
0.29/0.35	c Number of processors 2
0.29/0.39	c c --- Begin Solver configuration ---
0.29/0.39	c Stops conflict analysis at the first Unique Implication Point
0.29/0.39	c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.29/0.39	c Learn all clauses as in MiniSAT
0.29/0.39	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.39	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.29/0.39	c Expensive reason simplification
0.29/0.39	c MiniSAT restarts strategy
0.29/0.39	c timeout=2147483s
0.29/0.39	c DB Simplification allowed=false
0.29/0.39	c --- End Solver configuration ---
0.29/0.39	c solving HOME/instance-1081946-1215220076.xml
0.29/0.39	c reading problem ... 
0.58/0.65	c reading problem named null
0.58/0.65	c reading domains done.
0.58/0.66	c reading variables done.
1.09/1.19	c reading predicates  done.
1.29/1.36	c reading constraints
22.73/22.73	c done with constraints.
22.73/22.73	c ... done. Wall clock time 22.339s.
22.73/22.73	c #vars     24389
22.73/22.73	c #constraints  686198
22.73/22.73	c constraints type 
22.73/22.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 685357
22.73/22.73	c org.sat4j.minisat.constraints.card.AtLeast => 841
863.40/867.24	c cleaning 119726 clauses out of 239502 for limit 0.04865525537710842
865.49/869.36	c cleaning 60132 clauses out of 120274 for limit 0.1594608260558348
866.98/870.85	c cleaning 30300 clauses out of 60642 for limit 0.5215646338624731
868.48/872.31	c cleaning 15395 clauses out of 30842 for limit 1.691200138165775
869.97/873.83	c cleaning 7947 clauses out of 15947 for limit 5.39404333327558
871.06/874.96	c cleaning 4223 clauses out of 8500 for limit 16.68900276356965
871.86/875.79	c cleaning 2362 clauses out of 4778 for limit 49.011000213644095
872.55/876.48	c cleaning 1436 clauses out of 2915 for limit 132.3495677400293
873.25/877.14	c cleaning 967 clauses out of 1982 for limit 321.9710756443347
873.85/877.70	c cleaning 734 clauses out of 1513 for limit 694.1741610495255
874.34/878.29	c cleaning 617 clauses out of 1278 for limit 1353.935244306815
874.94/878.86	c cleaning 555 clauses out of 1162 for limit 2458.176248307043
875.53/879.42	c cleaning 525 clauses out of 1106 for limit 4254.861171336957
876.03/879.97	c cleaning 510 clauses out of 1081 for limit 7179.111763188328
876.63/880.52	c cleaning 510 clauses out of 1072 for limit 11950.66360552693
877.13/881.02	c cleaning 505 clauses out of 1062 for limit 19893.819692928595
877.72/881.62	c cleaning 498 clauses out of 1056 for limit 32960.982692403166
878.22/882.16	c cleaning 505 clauses out of 1060 for limit 54260.41545314528
878.72/882.68	c cleaning 499 clauses out of 1055 for limit 89906.77246009032
879.42/883.30	c cleaning 502 clauses out of 1054 for limit 148112.29778080742
879.91/883.86	c cleaning 500 clauses out of 1052 for limit 244721.36005638796
880.51/884.47	c cleaning 500 clauses out of 1053 for limit 403598.59436008194
881.10/885.03	c cleaning 502 clauses out of 1055 for limit 665656.944445325
881.70/885.62	c cleaning 498 clauses out of 1051 for limit 1099732.5364718018
882.29/886.20	c cleaning 526 clauses out of 1053 for limit 1810161.4263174895
882.79/886.78	c cleaning 514 clauses out of 1028 for limit 3060856.4436683482
883.39/887.31	c cleaning 479 clauses out of 1012 for limit 5117318.250583567
883.88/887.86	c cleaning 517 clauses out of 1034 for limit 8267854.01100694
884.48/888.43	c cleaning 508 clauses out of 1016 for limit 1.3862482328989074E7
885.08/889.01	c cleaning 483 clauses out of 1017 for limit 2.304518790168443E7
885.58/889.58	c cleaning 512 clauses out of 1025 for limit 3.736995906466433E7
886.17/890.11	c cleaning 477 clauses out of 1013 for limit 6.235810790261361E7
886.57/890.59	c cleaning 519 clauses out of 1038 for limit 1.005610806141036E8
1800.00/1808.42	c starts		: 19
1800.00/1808.42	c conflicts		: 420342
1800.00/1808.42	c decisions		: 692841
1800.00/1808.42	c propagations		: 10312748
1800.00/1808.42	c inspects		: 2680878965
1800.00/1808.42	c learnt literals	: 0
1800.00/1808.42	c learnt binary clauses	: 0
1800.00/1808.42	c learnt ternary clauses	: 0
1800.00/1808.42	c learnt clauses	: 420342
1800.00/1808.42	c ignored clauses	: 0
1800.00/1808.42	c root simplifications	: 0
1800.00/1808.42	c removed literals (reason simplification)	: 2529433
1800.00/1808.42	c reason swapping (by a shorter reason)	: 0
1800.00/1808.42	c Calls to reduceDB	: 33
1800.00/1808.42	c speed (assignments/second)	: 5775.4535267081355
1800.00/1808.42	c non guided choices	235495
1800.00/1808.42	s UNKNOWN
1800.00/1808.42	c Total wall clock time (in seconds) : 1808.024

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-1081946-1215220076/watcher-1081946-1215220076 -o /tmp/evaluation-result-1081946-1215220076/solver-1081946-1215220076 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1081946-1215220076.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: 2.04 2.01 2.00 3/74 18660
/proc/meminfo: memFree=1181168/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=13012 CPUtime=0
/proc/18660/stat : 18660 (java) R 18658 18660 16287 0 -1 0 507 0 0 0 0 0 0 0 18 0 1 0 644941231 13324288 308 996147200 134512640 134550740 4294956016 18446744073709551615 11064106 0 0 4096 0 0 0 0 17 0 0 0
/proc/18660/statm: 3253 315 137 9 0 1151 0

[startup+0.067213 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 18660
/proc/meminfo: memFree=1181168/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=802236 CPUtime=0.05
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 2759 0 1 0 3 2 0 0 18 0 7 0 644941231 821489664 2494 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 200559 2494 1004 9 0 197942 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 802236

[startup+0.101218 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 18660
/proc/meminfo: memFree=1181168/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=804612 CPUtime=0.08
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 3009 0 1 0 6 2 0 0 18 0 12 0 644941231 823922688 2742 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 201153 2742 1048 9 0 198522 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 804612

[startup+0.301246 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 18660
/proc/meminfo: memFree=1181168/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=808360 CPUtime=0.29
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 5015 0 1 0 25 4 0 0 18 0 12 0 644941231 827760640 4343 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 202090 4343 1305 9 0 199459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 808360

[startup+0.701306 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 18660
/proc/meminfo: memFree=1181168/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=808388 CPUtime=0.68
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 6337 0 1 0 63 5 0 0 18 0 12 0 644941231 827789312 5518 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 202097 5518 1336 9 0 199459 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 808388

[startup+1.50243 s]
/proc/loadavg: 2.04 2.01 2.00 4/86 18672
/proc/meminfo: memFree=1161808/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=808388 CPUtime=1.49
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 9328 0 1 0 142 7 0 0 18 0 12 0 644941231 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 202097 7762 1358 9 0 199459 0
[pid=18660/tid=18662] ppid=18658 vsize=808388 CPUtime=0.84
/proc/18660/task/18662/stat : 18662 (java) R 18658 18660 16287 0 -1 64 6084 0 1 0 79 5 0 0 25 0 12 0 644941232 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18663] ppid=18658 vsize=808388 CPUtime=0
/proc/18660/task/18663/stat : 18663 (java) S 18658 18660 16287 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 644941233 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18664] ppid=18658 vsize=808388 CPUtime=0
/proc/18660/task/18664/stat : 18664 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 644941233 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18665] ppid=18658 vsize=808388 CPUtime=0
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 644941235 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=808388 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 9 0 0 0 0 0 0 0 23 0 12 0 644941235 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=808388 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 3 0 0 0 0 0 0 0 24 0 12 0 644941235 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=808388 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 644941239 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18669] ppid=18658 vsize=808388 CPUtime=0.23
/proc/18660/task/18669/stat : 18669 (java) S 18658 18660 16287 0 -1 64 593 0 0 0 23 0 0 0 16 0 12 0 644941239 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18670] ppid=18658 vsize=808388 CPUtime=0.39
/proc/18660/task/18670/stat : 18670 (java) R 18658 18660 16287 0 -1 64 1887 0 0 0 39 0 0 0 16 0 12 0 644941240 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 106079383 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18671] ppid=18658 vsize=808388 CPUtime=0
/proc/18660/task/18671/stat : 18671 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 644941240 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18672] ppid=18658 vsize=808388 CPUtime=0
/proc/18660/task/18672/stat : 18672 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 644941240 827789312 7762 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 808388

[startup+3.10266 s]
/proc/loadavg: 2.04 2.01 2.00 5/86 18672
/proc/meminfo: memFree=1147088/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=815540 CPUtime=3.1
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 19354 0 1 0 299 11 0 0 18 0 12 0 644941231 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 203885 14246 1380 9 0 201247 0
[pid=18660/tid=18662] ppid=18658 vsize=815540 CPUtime=1.29
/proc/18660/task/18662/stat : 18662 (java) R 18658 18660 16287 0 -1 64 10633 0 1 0 122 7 0 0 25 0 12 0 644941232 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18663] ppid=18658 vsize=815540 CPUtime=0
/proc/18660/task/18663/stat : 18663 (java) S 18658 18660 16287 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 644941233 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18664] ppid=18658 vsize=815540 CPUtime=0
/proc/18660/task/18664/stat : 18664 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 644941233 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18665] ppid=18658 vsize=815540 CPUtime=0
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 644941235 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=815540 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 9 0 0 0 0 0 0 0 23 0 12 0 644941235 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=815540 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 3 0 0 0 0 0 0 0 24 0 12 0 644941235 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=815540 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 644941239 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18669] ppid=18658 vsize=815540 CPUtime=0.78
/proc/18660/task/18669/stat : 18669 (java) S 18658 18660 16287 0 -1 64 2235 0 0 0 77 1 0 0 16 0 12 0 644941239 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18670] ppid=18658 vsize=815540 CPUtime=1
/proc/18660/task/18670/stat : 18670 (java) R 18658 18660 16287 0 -1 64 5722 0 0 0 98 2 0 0 16 0 12 0 644941240 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 104110034 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18671] ppid=18658 vsize=815540 CPUtime=0
/proc/18660/task/18671/stat : 18671 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 644941240 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18672] ppid=18658 vsize=815540 CPUtime=0
/proc/18660/task/18672/stat : 18672 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 644941240 835112960 14246 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 815540

[startup+6.30213 s]
/proc/loadavg: 2.19 2.04 2.01 3/86 18672
/proc/meminfo: memFree=1079120/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=814944 CPUtime=6.33
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 33446 0 1 0 615 18 0 0 18 0 12 0 644941231 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 203736 27530 1389 9 0 201098 0
[pid=18660/tid=18662] ppid=18658 vsize=814944 CPUtime=3.45
/proc/18660/task/18662/stat : 18662 (java) R 18658 18660 16287 0 -1 64 17324 0 1 0 334 11 0 0 25 0 12 0 644941232 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4109210292 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18663] ppid=18658 vsize=814944 CPUtime=0.14
/proc/18660/task/18663/stat : 18663 (java) S 18658 18660 16287 0 -1 64 4348 0 0 0 12 2 0 0 16 0 12 0 644941233 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18660/tid=18664] ppid=18658 vsize=814944 CPUtime=0.07
/proc/18660/task/18664/stat : 18664 (java) S 18658 18660 16287 0 -1 64 2518 0 0 0 7 0 0 0 16 0 12 0 644941233 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18665] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 57 0 0 0 0 0 0 0 16 0 12 0 644941235 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 644941235 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 644941235 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 644941239 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18669] ppid=18658 vsize=814944 CPUtime=1.07
/proc/18660/task/18669/stat : 18669 (java) S 18658 18660 16287 0 -1 64 2249 0 0 0 106 1 0 0 15 0 12 0 644941239 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18670] ppid=18658 vsize=814944 CPUtime=1.55
/proc/18660/task/18670/stat : 18670 (java) S 18658 18660 16287 0 -1 64 6187 0 0 0 153 2 0 0 16 0 12 0 644941240 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18671] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18671/stat : 18671 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 644941240 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18672] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18672/stat : 18672 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 644941240 834502656 27530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 814944

[startup+12.7021 s]
/proc/loadavg: 2.18 2.04 2.01 6/86 18672
/proc/meminfo: memFree=1034768/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=814944 CPUtime=12.76
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 43817 0 1 0 1252 24 0 0 18 0 12 0 644941231 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 203736 37615 1399 9 0 201098 0
[pid=18660/tid=18662] ppid=18658 vsize=814944 CPUtime=7.97
/proc/18660/task/18662/stat : 18662 (java) R 18658 18660 16287 0 -1 64 17341 0 1 0 786 11 0 0 25 0 12 0 644941232 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4109661652 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18663] ppid=18658 vsize=814944 CPUtime=0.45
/proc/18660/task/18663/stat : 18663 (java) S 18658 18660 16287 0 -1 64 9043 0 0 0 40 5 0 0 16 0 12 0 644941233 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18664] ppid=18658 vsize=814944 CPUtime=0.42
/proc/18660/task/18664/stat : 18664 (java) S 18658 18660 16287 0 -1 64 8102 0 0 0 40 2 0 0 16 0 12 0 644941233 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18665] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 57 0 0 0 0 0 0 0 16 0 12 0 644941235 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 644941235 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 644941235 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 644941239 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18669] ppid=18658 vsize=814944 CPUtime=1.39
/proc/18660/task/18669/stat : 18669 (java) S 18658 18660 16287 0 -1 64 2265 0 0 0 138 1 0 0 15 0 12 0 644941239 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18670] ppid=18658 vsize=814944 CPUtime=2.46
/proc/18660/task/18670/stat : 18670 (java) S 18658 18660 16287 0 -1 64 6246 0 0 0 244 2 0 0 16 0 12 0 644941240 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18671] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18671/stat : 18671 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 644941240 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18672] ppid=18658 vsize=814944 CPUtime=0
/proc/18660/task/18672/stat : 18672 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 644941240 834502656 37615 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 814944

[startup+25.5128 s]
/proc/loadavg: 2.20 2.06 2.01 3/87 18673
/proc/meminfo: memFree=905672/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=815268 CPUtime=25.52
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 75396 0 1 0 2513 39 0 0 18 0 13 0 644941231 834834432 69105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 203817 69105 1401 9 0 201179 0
[pid=18660/tid=18662] ppid=18658 vsize=815268 CPUtime=19
/proc/18660/task/18662/stat : 18662 (java) R 18658 18660 16287 0 -1 64 17376 0 1 0 1888 12 0 0 25 0 13 0 644941232 834834432 69105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18663] ppid=18658 vsize=815268 CPUtime=1.1
/proc/18660/task/18663/stat : 18663 (java) R 18658 18660 16287 0 -1 64 25155 0 0 0 99 11 0 0 15 0 13 0 644941233 834834432 69105 996147200 134512640 134550740 4294956016 18446744073709551615 106160161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18664] ppid=18658 vsize=815268 CPUtime=1.11
/proc/18660/task/18664/stat : 18664 (java) R 18658 18660 16287 0 -1 64 23517 0 0 0 101 10 0 0 16 0 13 0 644941233 834834432 69105 996147200 134512640 134550740 4294956016 18446744073709551615 106160161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18665] ppid=18658 vsize=815268 CPUtime=0.02
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 57 0 0 0 2 0 0 0 15 0 13 0 644941235 834834432 69105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 69105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 69105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941239 834834432 69105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=18660/tid=18665] ppid=18658 vsize=815268 CPUtime=3.55
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 9167 0 0 0 351 4 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18669] ppid=18658 vsize=815268 CPUtime=1.95
/proc/18660/task/18669/stat : 18669 (java) S 18658 18660 16287 0 -1 64 2294 0 0 0 194 1 0 0 17 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18670] ppid=18658 vsize=815268 CPUtime=3.01
/proc/18660/task/18670/stat : 18670 (java) S 18658 18660 16287 0 -1 64 6280 0 0 0 299 2 0 0 16 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18671] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18671/stat : 18671 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18672] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18672/stat : 18672 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18660/tid=18673] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18673/stat : 18673 (java) S 18658 18660 16287 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 644943512 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.92
Current children cumulated vsize (KiB) 815268

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 18723
/proc/meminfo: memFree=1054608/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=815268 CPUtime=1654.62
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 190679 0 1 0 165368 94 0 0 18 0 13 0 644941231 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 203817 173120 1408 9 0 201179 0
[pid=18660/tid=18662] ppid=18658 vsize=815268 CPUtime=1639.84
/proc/18660/task/18662/stat : 18662 (java) R 18658 18660 16287 0 -1 64 17413 0 1 0 163968 16 0 0 25 0 13 0 644941232 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4109833982 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18663] ppid=18658 vsize=815268 CPUtime=3.12
/proc/18660/task/18663/stat : 18663 (java) S 18658 18660 16287 0 -1 64 84256 0 0 0 276 36 0 0 17 0 13 0 644941233 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18664] ppid=18658 vsize=815268 CPUtime=3.07
/proc/18660/task/18664/stat : 18664 (java) S 18658 18660 16287 0 -1 64 70501 0 0 0 277 30 0 0 17 0 13 0 644941233 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18665] ppid=18658 vsize=815268 CPUtime=3.55
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 9167 0 0 0 351 4 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18669] ppid=18658 vsize=815268 CPUtime=1.95
/proc/18660/task/18669/stat : 18669 (java) S 18658 18660 16287 0 -1 64 2294 0 0 0 194 1 0 0 17 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18670] ppid=18658 vsize=815268 CPUtime=3.01
/proc/18660/task/18670/stat : 18670 (java) S 18658 18660 16287 0 -1 64 6280 0 0 0 299 2 0 0 16 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18671] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18671/stat : 18671 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18672] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18672/stat : 18672 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18660/tid=18673] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18673/stat : 18673 (java) S 18658 18660 16287 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 644943512 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.62
Current children cumulated vsize (KiB) 815268

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 18723
/proc/meminfo: memFree=1052048/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=815268 CPUtime=1714.32
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 190680 0 1 0 171338 94 0 0 18 0 13 0 644941231 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 203817 173120 1408 9 0 201179 0
[pid=18660/tid=18662] ppid=18658 vsize=815268 CPUtime=1699.41
/proc/18660/task/18662/stat : 18662 (java) R 18658 18660 16287 0 -1 64 17414 0 1 0 169925 16 0 0 25 0 13 0 644941232 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4109833830 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18663] ppid=18658 vsize=815268 CPUtime=3.19
/proc/18660/task/18663/stat : 18663 (java) S 18658 18660 16287 0 -1 64 84256 0 0 0 283 36 0 0 17 0 13 0 644941233 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18664] ppid=18658 vsize=815268 CPUtime=3.13
/proc/18660/task/18664/stat : 18664 (java) S 18658 18660 16287 0 -1 64 70501 0 0 0 283 30 0 0 17 0 13 0 644941233 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18665] ppid=18658 vsize=815268 CPUtime=3.55
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 9167 0 0 0 351 4 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18669] ppid=18658 vsize=815268 CPUtime=1.95
/proc/18660/task/18669/stat : 18669 (java) S 18658 18660 16287 0 -1 64 2294 0 0 0 194 1 0 0 17 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18670] ppid=18658 vsize=815268 CPUtime=3.01
/proc/18660/task/18670/stat : 18670 (java) S 18658 18660 16287 0 -1 64 6280 0 0 0 299 2 0 0 16 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18671] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18671/stat : 18671 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18672] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18672/stat : 18672 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18660/tid=18673] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18673/stat : 18673 (java) S 18658 18660 16287 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 644943512 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.32
Current children cumulated vsize (KiB) 815268

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 18723
/proc/meminfo: memFree=1051472/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=815268 CPUtime=1774.02
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 190681 0 1 0 177308 94 0 0 18 0 13 0 644941231 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 203817 173120 1408 9 0 201179 0
[pid=18660/tid=18662] ppid=18658 vsize=815268 CPUtime=1758.98
/proc/18660/task/18662/stat : 18662 (java) R 18658 18660 16287 0 -1 64 17415 0 1 0 175882 16 0 0 25 0 13 0 644941232 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4109833830 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18663] ppid=18658 vsize=815268 CPUtime=3.27
/proc/18660/task/18663/stat : 18663 (java) S 18658 18660 16287 0 -1 64 84256 0 0 0 291 36 0 0 17 0 13 0 644941233 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18664] ppid=18658 vsize=815268 CPUtime=3.19
/proc/18660/task/18664/stat : 18664 (java) S 18658 18660 16287 0 -1 64 70501 0 0 0 289 30 0 0 16 0 13 0 644941233 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18665] ppid=18658 vsize=815268 CPUtime=3.55
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 9167 0 0 0 351 4 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18669] ppid=18658 vsize=815268 CPUtime=1.95
/proc/18660/task/18669/stat : 18669 (java) S 18658 18660 16287 0 -1 64 2294 0 0 0 194 1 0 0 17 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18670] ppid=18658 vsize=815268 CPUtime=3.01
/proc/18660/task/18670/stat : 18670 (java) S 18658 18660 16287 0 -1 64 6280 0 0 0 299 2 0 0 16 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18671] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18671/stat : 18671 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18672] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18672/stat : 18672 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18660/tid=18673] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18673/stat : 18673 (java) S 18658 18660 16287 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 644943512 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.02
Current children cumulated vsize (KiB) 815268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 18723
/proc/meminfo: memFree=1051472/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=815268 CPUtime=1800
/proc/18660/stat : 18660 (java) S 18658 18660 16287 0 -1 0 190681 0 1 0 179906 94 0 0 18 0 13 0 644941231 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18660/statm: 203817 173120 1408 9 0 201179 0
[pid=18660/tid=18662] ppid=18658 vsize=815268 CPUtime=1784.95
/proc/18660/task/18662/stat : 18662 (java) R 18658 18660 16287 0 -1 64 17415 0 1 0 178479 16 0 0 25 0 13 0 644941232 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4109833842 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18663] ppid=18658 vsize=815268 CPUtime=3.27
/proc/18660/task/18663/stat : 18663 (java) S 18658 18660 16287 0 -1 64 84256 0 0 0 291 36 0 0 17 0 13 0 644941233 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18664] ppid=18658 vsize=815268 CPUtime=3.19
/proc/18660/task/18664/stat : 18664 (java) S 18658 18660 16287 0 -1 64 70501 0 0 0 289 30 0 0 16 0 13 0 644941233 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18665] ppid=18658 vsize=815268 CPUtime=3.55
/proc/18660/task/18665/stat : 18665 (java) S 18658 18660 16287 0 -1 64 9167 0 0 0 351 4 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18666] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18666/stat : 18666 (java) S 18658 18660 16287 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18667] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18667/stat : 18667 (java) S 18658 18660 16287 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 644941235 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18668] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18668/stat : 18668 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18669] ppid=18658 vsize=815268 CPUtime=1.95
/proc/18660/task/18669/stat : 18669 (java) S 18658 18660 16287 0 -1 64 2294 0 0 0 194 1 0 0 17 0 13 0 644941239 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18670] ppid=18658 vsize=815268 CPUtime=3.01
/proc/18660/task/18670/stat : 18670 (java) S 18658 18660 16287 0 -1 64 6280 0 0 0 299 2 0 0 16 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18671] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18671/stat : 18671 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18660/tid=18672] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18672/stat : 18672 (java) S 18658 18660 16287 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 644941240 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18660/tid=18673] ppid=18658 vsize=815268 CPUtime=0
/proc/18660/task/18673/stat : 18673 (java) S 18658 18660 16287 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 644943512 834834432 173120 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 815268

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

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

[startup+1808.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 18723
/proc/meminfo: memFree=1051472/2055920 swapFree=4180808/4192956
[pid=18660] ppid=18658 vsize=0 CPUtime=1800.09
/proc/18660/stat : 18660 (java) Z 18658 18660 16287 0 -1 1036 190699 0 1 0 179909 100 0 0 16 0 2 0 644941231 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18660/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1808.56
CPU time (s): 1800.14
CPU user time (s): 1799.09
CPU system time (s): 1.05084
CPU usage (%): 99.5347
Max. virtual memory (cumulated for all children) (KiB): 819272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.05084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190699
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= 38883
involuntary context switches= 34075

runsolver used 2.20966 second user time and 6.07108 second system time

The end

Launcher Data (download as text)

Begin job on node39 at 2008-07-05 03:07:56
IDJOB=1081946
IDBENCH=57165
IDSOLVER=344
FILE ID=node39/1081946-1215220076
PBS_JOBID= 7881715
Free space on /tmp= 66424 MiB

SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-29.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-1081946-1215220076/watcher-1081946-1215220076 -o /tmp/evaluation-result-1081946-1215220076/solver-1081946-1215220076 -C 1800 -W 2200 -M 900 --output-limit 1,15  java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1081946-1215220076.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= eebadc79eee5c83f4490f3a0193ddac7
RANDOM SEED=2003920564

node39.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.267
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.267
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:       1181648 kB
Buffers:         33180 kB
Cached:         281556 kB
SwapCached:       5748 kB
Active:         767124 kB
Inactive:        52764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1181648 kB
SwapTotal:     4192956 kB
SwapFree:      4180808 kB
Dirty:            2532 kB
Writeback:           0 kB
Mapped:         512428 kB
Slab:            38756 kB
Committed_AS:  1472884 kB
PageTables:       2856 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= 66552 MiB
End job on node39 at 2008-07-05 03:38:07