Trace number 1083489

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
Abscon 112v4 ESAC? (TO) 1800.15 1809.6

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-25.xml
MD5SUM38af2b06f564c2fa6a4a17a02adff205
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 benchmark956.216
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Maximum constraint arity2
Maximum domain size1518
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12940
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.18/0.23	
0.18/0.23	   configuration
0.18/0.23	     name=esac.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1083489-1215228487.xml
0.29/0.32	   
0.29/0.32	   domains being loaded...
0.29/0.34	   
0.29/0.34	   variables being loaded...
0.68/0.76	     nbVariables=800  nbDomainTypes=97  minDomainSize=1420  maxDomainSize=1518  nbTotalValues=1175892
0.68/0.76	       =>  wckTime=0.524  cpuTime=0.41  mem=34M331
0.68/0.76	   
0.68/0.76	   predicates being loaded...
0.77/0.82	   
0.77/0.82	   constraints being loaded...
20.89/21.15	   
20.89/21.15	   INFO : Stopping converting binary constraints (cpu=20.28, mem = 62M751)
24.06/24.36	     nbConstraints=12960  nbGlobalConstraints=12044  nbConvertedConstraints=71  nbConvertConstraintsChecks=99577490
24.06/24.36	     nbExtensionStructures=46  nbSharedExtensionStructures=25  nbConflictsStructures=46  nbSharedConflictsStructures=25
24.06/24.36	     nbUnbuiltConflictsStructures=259  nbSharedBinaryRepresentations=65211  nbEvaluationManagers=259
24.06/24.36	     nbSharedEvaluationManagers=586  minDegree=21  maxDegree=44  minArity=2  avgArity=2.03  maxArity=21  nbGenerators=0
24.06/24.36	     nbFusions=0  symmetryWckTime=2.676  symmetryCpuTime=2.44  nbCliques=20
24.06/24.36	       =>  wckTime=24.126  cpuTime=23.02  mem=79M263
24.36/24.64	   
24.36/24.64	   solver IterativeSystematicSolver being built... 
24.46/24.75	   
24.46/24.75	   INFO : Forward propagation technique limited 
24.66/24.94	       =>  wckTime=24.705  cpuTime=23.24  mem=111M14
108.40/109.46	   
108.40/109.46	   preprocessing
108.40/109.46	     nbConstraintChecks=455620693  nbValidityChecks=1986483  nbPropagations=1729  nbRevisions=4243
108.40/109.46	     nbUselessRevisions=2926  nbRemovedValues=746852  detectedInconsistency=no
108.40/109.46	       =>  wckTime=84.468  cpuTime=83.61  mem=118M347
133.27/134.52	   
133.27/134.52	   INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=103, mem=157M297)

Verifier Data (download as text)

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

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-1083489-1215228487/watcher-1083489-1215228487 -o /tmp/evaluation-result-1083489-1215228487/solver-1083489-1215228487 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1083489-1215228487.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.07 2.04 2.00 4/80 27476
/proc/meminfo: memFree=1599432/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=1616 CPUtime=0
/proc/27476/stat : 27476 (java) D 27474 27476 23826 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 2001823323 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/27476/statm: 404 145 119 9 0 46 0

[startup+0.0080009 s]
/proc/loadavg: 2.07 2.04 2.00 4/80 27476
/proc/meminfo: memFree=1599432/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=272 CPUtime=0
/proc/27476/stat : 27476 (java) D 27474 27476 23826 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 2001823323 278528 37 996147200 134512640 134550740 4294955968 18446744073709551615 7205668 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27476/statm: 68 37 28 9 0 6 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.103186 s]
/proc/loadavg: 2.07 2.04 2.00 4/80 27476
/proc/meminfo: memFree=1599432/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=865884 CPUtime=0.09
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 3780 0 1 0 6 3 0 0 18 0 9 0 2001823323 886665216 3231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 216471 3231 1711 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.301136 s]
/proc/loadavg: 2.07 2.04 2.00 4/80 27476
/proc/meminfo: memFree=1599432/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=866128 CPUtime=0.29
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 5810 0 1 0 24 5 0 0 18 0 9 0 2001823323 886915072 5184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 216532 5184 1947 9 0 211060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866128

[startup+0.701033 s]
/proc/loadavg: 2.07 2.04 2.00 4/80 27476
/proc/meminfo: memFree=1599432/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=866984 CPUtime=0.68
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 10701 0 1 0 61 7 0 0 18 0 9 0 2001823323 887791616 10071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 216746 10071 1968 9 0 211274 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866984

[startup+1.50283 s]
/proc/loadavg: 2.07 2.04 2.00 3/89 27485
/proc/meminfo: memFree=1549432/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=867608 CPUtime=1.48
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 23769 0 1 0 134 14 0 0 18 0 9 0 2001823323 888430592 23104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 216902 23104 2004 9 0 211430 0
[pid=27476/tid=27478] ppid=27474 vsize=867608 CPUtime=1.2
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 15738 0 1 0 111 9 0 0 25 0 9 0 2001823324 888430592 23104 996147200 134512640 134550740 4294955968 18446744073709551615 4126734513 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27479] ppid=27474 vsize=867608 CPUtime=0.07
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 6656 0 0 0 5 2 0 0 16 0 9 0 2001823325 888430592 23104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27480] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001823326 888430592 23104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001823326 888430592 23104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001823328 888430592 23104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=867608 CPUtime=0.16
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 679 0 0 0 16 0 0 0 16 0 9 0 2001823328 888430592 23104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001823328 888430592 23104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001823328 888430592 23104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867608

[startup+3.1024 s]
/proc/loadavg: 2.15 2.06 2.01 3/89 27485
/proc/meminfo: memFree=1514360/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=867608 CPUtime=3.06
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 23826 0 1 0 292 14 0 0 18 0 9 0 2001823323 888430592 23158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 216902 23158 2006 9 0 211430 0
[pid=27476/tid=27478] ppid=27474 vsize=867608 CPUtime=2.77
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 15767 0 1 0 267 10 0 0 25 0 9 0 2001823324 888430592 23158 996147200 134512640 134550740 4294955968 18446744073709551615 4126892420 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27479] ppid=27474 vsize=867608 CPUtime=0.07
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 6656 0 0 0 5 2 0 0 17 0 9 0 2001823325 888430592 23158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27480] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001823326 888430592 23158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001823326 888430592 23158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001823328 888430592 23158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=867608 CPUtime=0.19
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 707 0 0 0 19 0 0 0 16 0 9 0 2001823328 888430592 23158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001823328 888430592 23158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001823328 888430592 23158 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867608

[startup+6.30157 s]
/proc/loadavg: 2.15 2.06 2.01 3/89 27485
/proc/meminfo: memFree=1514040/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=867608 CPUtime=6.23
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 23837 0 1 0 608 15 0 0 18 0 9 0 2001823323 888430592 23165 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 216902 23165 2006 9 0 211430 0
[pid=27476/tid=27478] ppid=27474 vsize=867608 CPUtime=5.91
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 15771 0 1 0 581 10 0 0 25 0 9 0 2001823324 888430592 23165 996147200 134512640 134550740 4294955968 18446744073709551615 4126888051 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27479] ppid=27474 vsize=867608 CPUtime=0.07
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 6656 0 0 0 5 2 0 0 17 0 9 0 2001823325 888430592 23165 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27480] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001823326 888430592 23165 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001823326 888430592 23165 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001823328 888430592 23165 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=867608 CPUtime=0.2
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 714 0 0 0 20 0 0 0 16 0 9 0 2001823328 888430592 23165 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001823328 888430592 23165 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001823328 888430592 23165 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867608

[startup+12.7029 s]
/proc/loadavg: 2.12 2.05 2.01 3/89 27485
/proc/meminfo: memFree=1513792/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=867608 CPUtime=12.57
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 23843 0 1 0 1239 18 0 0 18 0 9 0 2001823323 888430592 23170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 216902 23170 2006 9 0 211430 0
[pid=27476/tid=27478] ppid=27474 vsize=867608 CPUtime=12.25
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 15772 0 1 0 1212 13 0 0 25 0 9 0 2001823324 888430592 23170 996147200 134512640 134550740 4294955968 18446744073709551615 4126913446 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27479] ppid=27474 vsize=867608 CPUtime=0.07
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 6656 0 0 0 5 2 0 0 16 0 9 0 2001823325 888430592 23170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27480] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2001823326 888430592 23170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001823326 888430592 23170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001823328 888430592 23170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=867608 CPUtime=0.21
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 719 0 0 0 21 0 0 0 16 0 9 0 2001823328 888430592 23170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001823328 888430592 23170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=867608 CPUtime=0
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001823328 888430592 23170 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867608

[startup+25.5016 s]
/proc/loadavg: 2.10 2.05 2.01 3/89 27489
/proc/meminfo: memFree=1449208/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=868020 CPUtime=25.25
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 67529 895 1 0 2470 39 14 2 18 0 9 0 2001823323 888852480 39919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 217005 39919 2638 9 0 211511 0
[pid=27476/tid=27478] ppid=27474 vsize=868020 CPUtime=24.16
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 29775 895 1 0 2376 24 14 2 25 0 9 0 2001823324 888852480 39919 996147200 134512640 134550740 4294955968 18446744073709551615 4126890615 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27479] ppid=27474 vsize=868020 CPUtime=0.89
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 35973 895 0 0 61 12 14 2 16 0 9 0 2001823325 888852480 39919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27480] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 17 895 0 0 0 0 14 2 16 0 9 0 2001823326 888852480 39919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 24 895 0 0 0 0 14 2 15 0 9 0 2001823326 888852480 39919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 18 0 9 0 2001823328 888852480 39919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=868020 CPUtime=0.47
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 913 895 0 0 31 0 14 2 16 0 9 0 2001823328 888852480 39919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 19 0 9 0 2001823328 888852480 39919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 6 895 0 0 0 0 14 2 15 0 9 0 2001823328 888852480 39919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 868020

[startup+51.1019 s]
/proc/loadavg: 2.07 2.05 2.01 3/89 27489
/proc/meminfo: memFree=1449208/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=868020 CPUtime=50.63
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 67915 895 1 0 5007 40 14 2 18 0 9 0 2001823323 888852480 39931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 217005 39931 2638 9 0 211511 0
[pid=27476/tid=27478] ppid=27474 vsize=868020 CPUtime=49.5
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 30145 895 1 0 4910 24 14 2 25 0 9 0 2001823324 888852480 39931 996147200 134512640 134550740 4294955968 18446744073709551615 4127123553 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27479] ppid=27474 vsize=868020 CPUtime=0.89
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 35973 895 0 0 61 12 14 2 16 0 9 0 2001823325 888852480 39931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27480] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 17 895 0 0 0 0 14 2 16 0 9 0 2001823326 888852480 39931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 24 895 0 0 0 0 14 2 15 0 9 0 2001823326 888852480 39931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 18 0 9 0 2001823328 888852480 39931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=868020 CPUtime=0.5
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 928 895 0 0 34 0 14 2 17 0 9 0 2001823328 888852480 39931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=868020 CPUtime=0.16

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

/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 24 895 0 0 0 0 14 2 15 0 9 0 2001823326 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 18 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=868020 CPUtime=0.59
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 973 895 0 0 42 1 14 2 16 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 19 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 7 895 0 0 0 0 14 2 15 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.84
Current children cumulated vsize (KiB) 868020

[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/82 27667
/proc/meminfo: memFree=1564144/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=868020 CPUtime=1592.84
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 77877 895 1 0 159214 54 14 2 18 0 9 0 2001823323 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 217005 47598 2638 9 0 211511 0
[pid=27476/tid=27478] ppid=27474 vsize=868020 CPUtime=1589.8
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 32420 895 1 0 158932 32 14 2 25 0 9 0 2001823324 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4126994784 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27479] ppid=27474 vsize=868020 CPUtime=2.72
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 43615 895 0 0 239 17 14 2 16 0 9 0 2001823325 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27480] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 17 895 0 0 0 0 14 2 16 0 9 0 2001823326 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 24 895 0 0 0 0 14 2 15 0 9 0 2001823326 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 18 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=868020 CPUtime=0.59
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 973 895 0 0 42 1 14 2 16 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 19 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 7 895 0 0 0 0 14 2 15 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.84
Current children cumulated vsize (KiB) 868020

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 27667
/proc/meminfo: memFree=1562416/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=868020 CPUtime=1652.84
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 77899 895 1 0 165214 54 14 2 18 0 9 0 2001823323 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 217005 47598 2638 9 0 211511 0
[pid=27476/tid=27478] ppid=27474 vsize=868020 CPUtime=1649.71
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 32442 895 1 0 164922 33 14 2 25 0 9 0 2001823324 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4126995314 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27479] ppid=27474 vsize=868020 CPUtime=2.81
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 43615 895 0 0 248 17 14 2 16 0 9 0 2001823325 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27480] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 17 895 0 0 0 0 14 2 16 0 9 0 2001823326 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 24 895 0 0 0 0 14 2 15 0 9 0 2001823326 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 18 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=868020 CPUtime=0.59
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 973 895 0 0 42 1 14 2 16 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 19 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 7 895 0 0 0 0 14 2 15 0 9 0 2001823328 888852480 47598 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.84
Current children cumulated vsize (KiB) 868020

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 27667
/proc/meminfo: memFree=1562096/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=868020 CPUtime=1712.84
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 77940 895 1 0 171213 55 14 2 18 0 9 0 2001823323 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 217005 47599 2638 9 0 211511 0
[pid=27476/tid=27478] ppid=27474 vsize=868020 CPUtime=1709.51
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 32482 895 1 0 170902 33 14 2 25 0 9 0 2001823324 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4126095722 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27479] ppid=27474 vsize=868020 CPUtime=3.01
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 43616 895 0 0 267 18 14 2 16 0 9 0 2001823325 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27480] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 17 895 0 0 0 0 14 2 16 0 9 0 2001823326 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 24 895 0 0 0 0 14 2 15 0 9 0 2001823326 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 18 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=868020 CPUtime=0.59
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 973 895 0 0 42 1 14 2 16 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 19 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=868020 CPUtime=0.17
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 7 895 0 0 1 0 14 2 15 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.84
Current children cumulated vsize (KiB) 868020

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/82 27667
/proc/meminfo: memFree=1561392/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=868020 CPUtime=1772.84
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 77985 895 1 0 177212 56 14 2 18 0 9 0 2001823323 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 217005 47599 2638 9 0 211511 0
[pid=27476/tid=27478] ppid=27474 vsize=868020 CPUtime=1769.31
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 32527 895 1 0 176881 34 14 2 25 0 9 0 2001823324 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4127279102 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27479] ppid=27474 vsize=868020 CPUtime=3.21
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 43616 895 0 0 287 18 14 2 16 0 9 0 2001823325 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27480] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 17 895 0 0 0 0 14 2 16 0 9 0 2001823326 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 24 895 0 0 0 0 14 2 15 0 9 0 2001823326 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 18 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=868020 CPUtime=0.59
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 973 895 0 0 42 1 14 2 16 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 19 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=868020 CPUtime=0.17
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 7 895 0 0 1 0 14 2 15 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.84
Current children cumulated vsize (KiB) 868020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.51 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 27667
/proc/meminfo: memFree=1561136/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=868020 CPUtime=1800.05
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 78003 895 1 0 179933 56 14 2 18 0 9 0 2001823323 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 217005 47599 2638 9 0 211511 0
[pid=27476/tid=27478] ppid=27474 vsize=868020 CPUtime=1796.44
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 32545 895 1 0 179594 34 14 2 25 0 9 0 2001823324 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4127270028 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27479] ppid=27474 vsize=868020 CPUtime=3.29
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 43616 895 0 0 295 18 14 2 16 0 9 0 2001823325 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27480] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 17 895 0 0 0 0 14 2 16 0 9 0 2001823326 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 24 895 0 0 0 0 14 2 15 0 9 0 2001823326 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 18 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=868020 CPUtime=0.59
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 973 895 0 0 42 1 14 2 16 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 19 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=868020 CPUtime=0.17
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 7 895 0 0 1 0 14 2 15 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 868020

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

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

[startup+1809.51 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 27667
/proc/meminfo: memFree=1561136/2055920 swapFree=4180112/4192956
[pid=27476] ppid=27474 vsize=868020 CPUtime=1800.05
/proc/27476/stat : 27476 (java) S 27474 27476 23826 0 -1 0 78003 895 1 0 179933 56 14 2 18 0 9 0 2001823323 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27476/statm: 217005 47599 2638 9 0 211511 0
[pid=27476/tid=27478] ppid=27474 vsize=868020 CPUtime=1796.44
/proc/27476/task/27478/stat : 27478 (java) R 27474 27476 23826 0 -1 64 32545 895 1 0 179594 34 14 2 25 0 9 0 2001823324 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4127270028 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27479] ppid=27474 vsize=868020 CPUtime=3.29
/proc/27476/task/27479/stat : 27479 (java) S 27474 27476 23826 0 -1 64 43616 895 0 0 295 18 14 2 16 0 9 0 2001823325 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27476/tid=27480] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27480/stat : 27480 (java) S 27474 27476 23826 0 -1 64 17 895 0 0 0 0 14 2 16 0 9 0 2001823326 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27481] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27481/stat : 27481 (java) S 27474 27476 23826 0 -1 64 24 895 0 0 0 0 14 2 15 0 9 0 2001823326 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27482] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27482/stat : 27482 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 18 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27483] ppid=27474 vsize=868020 CPUtime=0.59
/proc/27476/task/27483/stat : 27483 (java) S 27474 27476 23826 0 -1 64 973 895 0 0 42 1 14 2 16 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27484] ppid=27474 vsize=868020 CPUtime=0.16
/proc/27476/task/27484/stat : 27484 (java) S 27474 27476 23826 0 -1 64 1 895 0 0 0 0 14 2 19 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27476/tid=27485] ppid=27474 vsize=868020 CPUtime=0.17
/proc/27476/task/27485/stat : 27485 (java) S 27474 27476 23826 0 -1 64 7 895 0 0 1 0 14 2 15 0 9 0 2001823328 888852480 47599 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 868020

Child status: 143
Real time (s): 1809.6
CPU time (s): 1800.15
CPU user time (s): 1799.54
CPU system time (s): 0.617906
CPU usage (%): 99.4781
Max. virtual memory (cumulated for all children) (KiB): 870264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.617906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78930
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= 41859
involuntary context switches= 53783

runsolver used 2.14667 second user time and 6.12807 second system time

The end

Launcher Data (download as text)

Begin job on node16 at 2008-07-05 05:28:07
IDJOB=1083489
IDBENCH=57479
IDSOLVER=364
FILE ID=node16/1083489-1215228487
PBS_JOBID= 7881683
Free space on /tmp= 66520 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-25.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1083489-1215228487/watcher-1083489-1215228487 -o /tmp/evaluation-result-1083489-1215228487/solver-1083489-1215228487 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1083489-1215228487.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 38af2b06f564c2fa6a4a17a02adff205
RANDOM SEED=1936751466

node16.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.213
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.213
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:       1599912 kB
Buffers:         38268 kB
Cached:         166060 kB
SwapCached:       6676 kB
Active:         340392 kB
Inactive:        64088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1599912 kB
SwapTotal:     4192956 kB
SwapFree:      4180112 kB
Dirty:            3652 kB
Writeback:           0 kB
Mapped:         216372 kB
Slab:            36436 kB
Committed_AS:  4287820 kB
PageTables:       2220 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= 66520 MiB
End job on node16 at 2008-07-05 05:58:19