Trace number 235065

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.14 1805.54

General information on the benchmark

Nametaillard/js-taillard-20-15/
js-taillard-20-15-105-7.xml
MD5SUMa906eef29dc5a61b67e7e12b39064d46
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark675.43
SatisfiableYES
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1504
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3130
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/235065-1168335347/unknown.xml
0.37	   
0.37	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.52	     nbVariables=300  nbDomainTypes=300  minDomainSize=1406  maxDomainSize=1504
0.52	       =>  wckTime=0.213  cpuTime=0.15  mem=18M653
0.52	   
0.52	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
203.69	   
203.69	   INFO : Stopping converting binary constraints (cpu=200.34, mem = 220M114)
204.02	     nbConstraints=3130  nbConvertedConstraints=391  nbConvertConstraintsChecks=827149246  nbExtensionStructures=391
204.02	     nbSharedExtensionStructures=0  nbConflictsStructures=391  nbSharedConflictsStructures=0
204.02	     nbSharedBinaryRepresentations=374584  nbEvaluationManagers=2739  nbSharedEvaluationManagers=0  maxDegree=21
204.02	     maxArity=2
204.02	       =>  wckTime=203.711  cpuTime=200.6  mem=239M520
204.54	   
204.54	   solver IterativeSystematicSolver being built... 
204.86	       =>  wckTime=204.551  cpuTime=200.81  mem=262M10
359.34	   
359.34	   INFO : Stopping ESAC
359.34	   
359.34	   preprocessing
359.34	     nbConstraintChecks=599929355  nbValidityChecks=52444612  nbPropagations=5878  nbRevisions=99741
359.34	     nbUselessRevisions=93297  nbSingletonTests=166  nbEffectiveSingletonTests=0  nbESACBranches=3
359.34	     nbRemovedValues=208866  detectedInconsistency=no
359.34	       =>  wckTime=154.466  cpuTime=153.05  mem=262M10
384.59	   
384.59	   search
384.59	     run=0  nbConstraintChecks=87603166  nbValidityChecks=27529611  nbPropagations=11103  nbRevisions=179273
384.59	     nbUselessRevisions=163248  nbAssignments=203  nbFailedAssignments=79  nbBacktracks=10  nbVisitedNodes=290
384.59	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=24
384.59	       =>  wckTime=179.709  cpuTime=178.18  mem=266M832
1665.40	   
1665.40	   search
1665.40	     run=1  nbConstraintChecks=5324324916  nbValidityChecks=2050998003  nbPropagations=283615  nbRevisions=4502541
1665.40	     nbUselessRevisions=4195080  nbAssignments=12002  nbFailedAssignments=554  nbBacktracks=26  nbVisitedNodes=1358
1665.40	     nbRestartNogoods=69  mapSize=25  nbInferences=0  nbTooLargeKeys=52
1665.40	       =>  wckTime=1460.526  cpuTime=1456.45  mem=270M191

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node58/watcher-235065-1168335347 -o ROOT/results/node58/solver-235065-1168335347 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235065-1168335347/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.92 0.98 0.99 6/72 23339
/proc/meminfo: memFree=1554952/2055920 swapFree=4192812/4192956

[startup+0.108087 s]
/proc/loadavg: 0.92 0.98 0.99 6/72 23339
/proc/meminfo: memFree=1554952/2055920 swapFree=4192812/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

[startup+0.518127 s]
/proc/loadavg: 0.92 0.98 0.99 6/72 23339
/proc/meminfo: memFree=1554952/2055920 swapFree=4192812/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

[startup+1.3422 s]
/proc/loadavg: 0.92 0.98 0.99 4/88 23362
/proc/meminfo: memFree=1442888/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=1.29
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 13795 0 1 0 121 8 0 0 25 0 8 0 181932754 937607168 13534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23338/statm: 228908 13534 2167 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 181932759 937607168 13534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181932760 937607168 13534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 181932760 937607168 13534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 13534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.16
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 408 0 0 0 16 0 0 0 16 0 8 0 181932763 937607168 13534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 13534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 13534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915632

[startup+2.97934 s]
/proc/loadavg: 0.92 0.98 0.99 3/88 23362
/proc/meminfo: memFree=1355144/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=2.93
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 14360 0 1 0 284 9 0 0 25 0 8 0 181932754 937607168 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23338/statm: 228908 14097 2167 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 181932759 937607168 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181932760 937607168 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 181932760 937607168 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.16
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 181932763 937607168 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632

[startup+6.26763 s]
/proc/loadavg: 1.01 1.00 1.00 4/88 23362
/proc/meminfo: memFree=1048776/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=6.21
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 15570 0 1 0 611 10 0 0 25 0 8 0 181932754 937607168 15307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23338/statm: 228908 15307 2167 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 181932759 937607168 15307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 181932760 937607168 15307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 181932760 937607168 15307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 15307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.16
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 181932763 937607168 15307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 15307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 15307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915632

[startup+12.7492 s]
/proc/loadavg: 1.16 1.03 1.01 3/88 23362
/proc/meminfo: memFree=792008/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=12.65
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 22075 0 1 0 1252 13 0 0 25 0 8 0 181932754 937607168 21811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23338/statm: 228908 21811 2178 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=0.11
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 5477 0 0 0 9 2 0 0 16 0 8 0 181932759 937607168 21811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 21811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 21811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 21811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.16
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 181932763 937607168 21811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 21811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 21811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915632

[startup+25.6123 s]
/proc/loadavg: 1.37 1.08 1.03 3/91 23414
/proc/meminfo: memFree=1303152/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=25.11
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 22076 0 1 0 2497 14 0 0 25 0 8 0 181932754 937607168 21812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788726 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 21812 2178 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=0.11
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 5477 0 0 0 9 2 0 0 16 0 8 0 181932759 937607168 21812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 21812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 21812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 21812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.16
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 411 0 0 0 16 0 0 0 17 0 8 0 181932763 937607168 21812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 21812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 21812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 915632

[startup+51.3126 s]
/proc/loadavg: 1.58 1.15 1.05 3/91 23414
/proc/meminfo: memFree=1096752/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=50.65
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 33506 0 1 0 5047 18 0 0 25 0 8 0 181932754 937607168 33241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 33241 2178 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=0.43
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 16904 0 0 0 37 6 0 0 16 0 8 0 181932759 937607168 33241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 33241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 33241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 33241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.17
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 413 0 0 0 17 0 0 0 16 0 8 0 181932763 937607168 33241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 33241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 33241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915632

[startup+102.605 s]
/proc/loadavg: 1.96 1.31 1.11 3/91 23414
/proc/meminfo: memFree=756592/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=101.72
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 41651 0 1 0 10149 23 0 0 25 0 8 0 181932754 937607168 41384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 41384 2179 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=0.73
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 25032 0 0 0 63 10 0 0 16 0 8 0 181932759 937607168 41384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 41384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 41384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 41384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.18
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 427 0 0 0 18 0 0 0 17 0 8 0 181932763 937607168 41384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 41384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 41384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 915632

[startup+162.641 s]
/proc/loadavg: 2.13 1.47 1.17 3/91 23414
/proc/meminfo: memFree=594096/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=161.47
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 59376 0 1 0 16117 30 0 0 25 0 8 0 181932754 937607168 59107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 59107 2179 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=1.35
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 42754 0 0 0 119 16 0 0 16 0 8 0 181932759 937607168 59107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 59107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 59107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 59107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

Current children cumulated CPU time (s) 1417.92
Current children cumulated vsize (KiB) 915632

[startup+1483.24 s]
/proc/loadavg: 1.00 1.14 1.35 2/72 23626
/proc/meminfo: memFree=1256104/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=1477.92
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 78077 0 1 0 147744 48 0 0 25 0 8 0 181932754 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 77770 2548 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=2.15
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 60900 0 0 0 192 23 0 0 16 0 8 0 181932759 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 181932760 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.34
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 524 0 0 0 33 1 0 0 16 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.92
Current children cumulated vsize (KiB) 915632

[startup+1543.26 s]
/proc/loadavg: 1.00 1.11 1.32 2/78 23742
/proc/meminfo: memFree=1254896/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=1537.91
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 78077 0 1 0 153739 52 0 0 25 0 8 0 181932754 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074067185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 77770 2548 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=2.15
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 60900 0 0 0 192 23 0 0 16 0 8 0 181932759 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 181932760 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.34
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 524 0 0 0 33 1 0 0 16 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.91
Current children cumulated vsize (KiB) 915632

[startup+1603.3 s]
/proc/loadavg: 1.06 1.11 1.31 2/78 23802
/proc/meminfo: memFree=1254832/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=1597.94
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 78077 0 1 0 159736 58 0 0 25 0 8 0 181932754 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 77770 2548 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=2.15
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 60900 0 0 0 192 23 0 0 16 0 8 0 181932759 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 181932760 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.34
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 524 0 0 0 33 1 0 0 16 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.94
Current children cumulated vsize (KiB) 915632

[startup+1663.31 s]
/proc/loadavg: 1.02 1.08 1.28 2/72 23824
/proc/meminfo: memFree=1255848/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=1657.93
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 78078 0 1 0 165735 58 0 0 25 0 8 0 181932754 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792130 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 77770 2548 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=2.15
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 60900 0 0 0 192 23 0 0 16 0 8 0 181932759 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 181932760 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.34
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 524 0 0 0 33 1 0 0 16 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 77770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.93
Current children cumulated vsize (KiB) 915632

[startup+1723.32 s]
/proc/loadavg: 1.00 1.07 1.26 2/72 23824
/proc/meminfo: memFree=1255848/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=1717.93
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 78080 0 1 0 171735 58 0 0 25 0 8 0 181932754 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074030189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 77771 2548 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=2.15
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 60900 0 0 0 192 23 0 0 16 0 8 0 181932759 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 181932760 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.34
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 526 0 0 0 33 1 0 0 16 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.93
Current children cumulated vsize (KiB) 915632

[startup+1783.33 s]
/proc/loadavg: 1.00 1.05 1.24 2/72 23824
/proc/meminfo: memFree=1255912/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=1777.92
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 78080 0 1 0 177734 58 0 0 25 0 8 0 181932754 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074030195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 77771 2548 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=2.15
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 60900 0 0 0 192 23 0 0 16 0 8 0 181932759 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 181932760 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.34
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 526 0 0 0 33 1 0 0 16 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.92
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.44 s]
/proc/loadavg: 1.00 1.05 1.24 2/72 23824
/proc/meminfo: memFree=1255912/2055920 swapFree=4192812/4192956
[pid=23338] ppid=23329 vsize=915632 CPUtime=1800.03
/proc/23338/stat : 23338 (java) R 23329 23338 23197 0 -1 0 78080 0 1 0 179945 58 0 0 25 0 8 0 181932754 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23338/statm: 228908 77771 2548 14 0 215378 0
[pid=23338/tid=23349] ppid=23329 vsize=915632 CPUtime=2.15
/proc/23338/task/23349/stat : 23349 (java) S 23329 23338 23197 0 -1 64 60900 0 0 0 192 23 0 0 16 0 8 0 181932759 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23350] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23350/stat : 23350 (java) S 23329 23338 23197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181932760 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23351] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23351/stat : 23351 (java) S 23329 23338 23197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 181932760 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23355] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23355/stat : 23355 (java) S 23329 23338 23197 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23356] ppid=23329 vsize=915632 CPUtime=0.34
/proc/23338/task/23356/stat : 23356 (java) S 23329 23338 23197 0 -1 64 526 0 0 0 33 1 0 0 16 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23357] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23357/stat : 23357 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23338/tid=23358] ppid=23329 vsize=915632 CPUtime=0
/proc/23338/task/23358/stat : 23358 (java) S 23329 23338 23197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181932763 937607168 77771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915632

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

Child status: 143
Real time (s): 1805.54
CPU time (s): 1800.14
CPU user time (s): 1799.5
CPU system time (s): 0.634903
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.634903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78098
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= 38149
involuntary context switches= 51026

runsolver used 1.78873 s user time and 5.00624 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Tue Jan  9 09:35:48 UTC 2007


IDJOB= 235065
IDBENCH= 6736
FILE ID= node58/235065-1168335347

PBS_JOBID= 3503355

Free space on /tmp= 66555 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20-15/js-taillard-20-15-105-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235065-1168335347/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-235065-1168335347 -o ROOT/results/node58/solver-235065-1168335347 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235065-1168335347/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a906eef29dc5a61b67e7e12b39064d46

RANDOM SEED= 636973636

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
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.223
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:       1555320 kB
Buffers:         56372 kB
Cached:         360876 kB
SwapCached:          0 kB
Active:          66092 kB
Inactive:       371512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1555320 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2936 kB
Writeback:           0 kB
Mapped:          30504 kB
Slab:            48496 kB
Committed_AS:  3299264 kB
PageTables:       1680 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= 66555 MiB



End job on node58 on Tue Jan  9 10:05:53 UTC 2007