Trace number 215798

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.06 1810.31

General information on the benchmark

NamepseudoSeries/mps/
mps-vpm1.xml
MD5SUMafcc9a39e53fc8078fabef6dac588cf9
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2754
Number of constraints486
Maximum constraint arity82
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension486
Global constraints used (with number of constraints)

Solver Data (download as text)

1.48	   
1.48	Abscon 109 (November, 2006)
1.48	   
1.48	   configuration
1.48	     name=esac.xml
1.61	   
1.61	   instance
1.61	     name=/tmp/evaluation/215798-1168236259/unknown.xml
1.64	   
1.64	   domains being loaded...
1.65	   
1.65	   variables being loaded...
1.85	     nbVariables=2754  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
1.85	       =>  wckTime=0.355  cpuTime=0.18  mem=11M795
1.85	   
1.85	   predicates being loaded...
1.97	   
1.97	   constraints being loaded...
3.04	     nbConstraints=444  nbMergedConstraints=42  nbSingletonDomainVariables=835  nbConflictsStructures=21
3.04	     nbSharedConflictsStructures=339  nbUnbuiltConflictsStructures=43  nbSharedBinaryRepresentations=0
3.04	     nbEvaluationManagers=64  nbSharedEvaluationManagers=380  maxDegree=4  maxArity=82
3.04	       =>  wckTime=1.55  cpuTime=1.2  mem=53M271
3.11	   
3.11	   solver IterativeSystematicSolver being built... 
3.44	       =>  wckTime=1.949  cpuTime=1.48  mem=53M639
150.78	   
150.78	   INFO : Stopping ESAC
150.78	   
150.78	   preprocessing
150.78	     nbConstraintChecks=8439447  nbValidityChecks=38981  nbPropagations=6749  nbRevisions=26377
150.78	     nbUselessRevisions=25912  nbSingletonTests=3532  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0
150.78	     detectedInconsistency=no
150.78	       =>  wckTime=147.331  cpuTime=146.28  mem=55M651
218.99	   
218.99	   search
218.99	     run=0  nbConstraintChecks=4199412  nbValidityChecks=29264  nbPropagations=8840  nbRevisions=42928
218.99	     nbUselessRevisions=42367  nbAssignments=1995  nbFailedAssignments=2  nbBacktracks=18  nbVisitedNodes=1998
218.99	     nbRestartNogoods=0  mapSize=2  nbInferences=0  nbTooLargeKeys=0
218.99	       =>  wckTime=215.547  cpuTime=214.0  mem=57M664
781.08	   
781.08	   search
781.08	     run=1  nbConstraintChecks=37546211  nbValidityChecks=73407  nbPropagations=20639  nbRevisions=111576
781.08	     nbUselessRevisions=109931  nbAssignments=4431  nbFailedAssignments=12  nbBacktracks=40  nbVisitedNodes=4444
781.08	     nbRestartNogoods=1  mapSize=15  nbInferences=0  nbTooLargeKeys=0
781.08	       =>  wckTime=777.638  cpuTime=771.98  mem=22M863
1128.61	   
1128.61	   search
1128.61	     run=2  nbConstraintChecks=60994108  nbValidityChecks=107792  nbPropagations=34857  nbRevisions=199831
1128.61	     nbUselessRevisions=196846  nbAssignments=6594  nbFailedAssignments=25  nbBacktracks=72  nbVisitedNodes=6620
1128.61	     nbRestartNogoods=3  mapSize=29  nbInferences=0  nbTooLargeKeys=0
1128.61	       =>  wckTime=1125.16  cpuTime=1117.46  mem=25M903
1537.60	   
1537.60	   search
1537.60	     run=3  nbConstraintChecks=103830737  nbValidityChecks=152614  nbPropagations=52250  nbRevisions=313438
1537.60	     nbUselessRevisions=308966  nbAssignments=9622  nbFailedAssignments=60  nbBacktracks=109  nbVisitedNodes=8462
1537.60	     nbRestartNogoods=6  mapSize=62  nbInferences=0  nbTooLargeKeys=0
1537.60	       =>  wckTime=1534.153  cpuTime=1525.12  mem=26M916
1637.17	   
1637.17	   search
1637.17	     run=4  nbConstraintChecks=111218656  nbValidityChecks=167061  nbPropagations=71530  nbRevisions=434938
1637.17	     nbUselessRevisions=428890  nbAssignments=11421  nbFailedAssignments=63  nbBacktracks=317  nbVisitedNodes=8962
1637.17	     nbRestartNogoods=9  mapSize=63  nbInferences=0  nbTooLargeKeys=0
1637.17	       =>  wckTime=1633.723  cpuTime=1624.66  mem=27M929

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/node9/watcher-215798-1168236259 -o ROOT/results/node9/solver-215798-1168236259 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215798-1168236259/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: 3.16 3.50 2.83 4/94 11790
/proc/meminfo: memFree=536416/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=18540 CPUtime=0
/proc/11789/stat : 11789 (runsolver) R 11787 11789 11157 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 172021201 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11789/statm: 4635 279 244 17 0 2626 0

[startup+0.103906 s]
/proc/loadavg: 3.16 3.50 2.83 4/94 11790
/proc/meminfo: memFree=536416/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=18540 CPUtime=0
/proc/11789/stat : 11789 (runsolver) D 11787 11789 11157 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 172021201 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/11789/statm: 4635 279 244 17 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18540

[startup+0.511952 s]
/proc/loadavg: 3.16 3.50 2.83 4/94 11790
/proc/meminfo: memFree=536416/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=9824 CPUtime=0
/proc/11789/stat : 11789 (java) D 11787 11789 11157 0 -1 0 647 0 0 0 0 0 0 0 18 0 1 0 172021201 10059776 422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663972 0 0 0 7368 18446744071563608240 0 0 17 1 0 0
/proc/11789/statm: 2456 422 342 14 0 1140 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9824

[startup+1.33305 s]
/proc/loadavg: 3.15 3.49 2.83 2/97 11793
/proc/meminfo: memFree=512392/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915120 CPUtime=0.19
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 3817 0 10 0 16 3 0 0 20 0 8 0 172021201 937082880 3572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11789/statm: 228780 3573 1749 14 0 215275 0
[pid=11789/tid=11791] ppid=11787 vsize=915120 CPUtime=0
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 6 0 0 0 0 0 0 0 20 0 8 0 172021300 937082880 3573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915120 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 172021301 937082880 3573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915120 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 172021301 937082880 3573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 915120

[startup+2.97824 s]
/proc/loadavg: 3.15 3.49 2.83 4/101 11797
/proc/meminfo: memFree=430248/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915460 CPUtime=1.7
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 19691 0 23 0 152 18 0 0 25 0 8 0 172021201 937431040 19444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073901722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11789/statm: 228865 19444 2189 14 0 215335 0
[pid=11789/tid=11791] ppid=11787 vsize=915460 CPUtime=0.08
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 3104 0 0 0 6 2 0 0 16 0 8 0 172021300 937431040 19444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915460 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937431040 19444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915460 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937431040 19444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915460 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937431040 19444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915460 CPUtime=0.21
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 172021317 937431040 19444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915460 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937431040 19444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915460 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937431040 19444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 915460

[startup+6.1806 s]
/proc/loadavg: 3.15 3.49 2.83 3/101 11799
/proc/meminfo: memFree=361192/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=4.87
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 21125 0 24 0 466 21 0 0 25 0 8 0 172021201 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11789/statm: 228886 20878 2545 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.13
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 4049 0 0 0 11 2 0 0 16 0 8 0 172021300 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.29
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 444 0 0 0 28 1 0 0 15 0 8 0 172021317 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 915544

[startup+12.6683 s]
/proc/loadavg: 3.04 3.45 2.83 3/101 11799
/proc/meminfo: memFree=251944/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=11.33
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 21125 0 24 0 1111 22 0 0 25 0 8 0 172021201 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801831 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11789/statm: 228886 20878 2545 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.13
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 4049 0 0 0 11 2 0 0 16 0 8 0 172021300 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.29
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 444 0 0 0 28 1 0 0 15 0 8 0 172021317 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 20878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 915544

[startup+25.5368 s]
/proc/loadavg: 2.96 3.42 2.83 3/101 11799
/proc/meminfo: memFree=50792/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=24.1
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 21130 0 24 0 2385 25 0 0 25 0 8 0 172021201 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11789/statm: 228886 20881 2545 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.13
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 4049 0 0 0 11 2 0 0 16 0 8 0 172021300 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.3
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.1
Current children cumulated vsize (KiB) 915544

[startup+51.1487 s]
/proc/loadavg: 2.71 3.32 2.81 3/101 11799
/proc/meminfo: memFree=14888/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=49.53
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 21131 0 24 0 4920 33 0 0 25 0 8 0 172021201 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11789/statm: 228886 20881 2545 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.13
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 4049 0 0 0 11 2 0 0 16 0 8 0 172021300 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.3
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.53
Current children cumulated vsize (KiB) 915544

[startup+102.432 s]
/proc/loadavg: 2.99 3.27 2.82 3/101 11801
/proc/meminfo: memFree=15784/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=100.48
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 21131 0 24 0 9999 49 0 0 25 0 8 0 172021201 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11789/statm: 228886 20881 2545 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.13
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 4049 0 0 0 11 2 0 0 16 0 8 0 172021300 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.3
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 20881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.48
Current children cumulated vsize (KiB) 915544

[startup+162.472 s]
/proc/loadavg: 3.10 3.25 2.83 3/101 11803
/proc/meminfo: memFree=14888/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=160.1
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 21150 0 24 0 15943 67 0 0 25 0 8 0 172021201 937517056 20898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11789/statm: 228886 20898 2547 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.13
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 4049 0 0 0 11 2 0 0 16 0 8 0 172021300 937517056 20898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 20898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0

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

Current children cumulated CPU time (s) 1413.43
Current children cumulated vsize (KiB) 915544

[startup+1483.62 s]
/proc/loadavg: 1.99 2.20 2.62 3/101 12030
/proc/meminfo: memFree=1637920/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=1473.45
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 22793 0 24 0 147024 321 0 0 25 0 8 0 172021201 937517056 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802349 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11789/statm: 228886 22534 2548 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.17
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 5672 0 0 0 14 3 0 0 16 0 8 0 172021300 937517056 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.35
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 472 0 0 0 34 1 0 0 16 0 8 0 172021317 937517056 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.45
Current children cumulated vsize (KiB) 915544

[startup+1543.68 s]
/proc/loadavg: 1.99 2.17 2.58 3/101 12030
/proc/meminfo: memFree=1635360/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=1533.5
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 22795 0 24 0 153029 321 0 0 25 0 8 0 172021201 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11789/statm: 228886 22536 2548 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.17
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 5672 0 0 0 14 3 0 0 16 0 8 0 172021300 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.36
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 474 0 0 0 35 1 0 0 17 0 8 0 172021317 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.5
Current children cumulated vsize (KiB) 915544

[startup+1603.77 s]
/proc/loadavg: 2.19 2.18 2.55 3/101 12030
/proc/meminfo: memFree=1633960/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=1593.57
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 22796 0 24 0 159035 322 0 0 25 0 8 0 172021201 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11789/statm: 228886 22536 2548 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.17
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 5672 0 0 0 14 3 0 0 16 0 8 0 172021300 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.36
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 474 0 0 0 35 1 0 0 17 0 8 0 172021317 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 22536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.57
Current children cumulated vsize (KiB) 915544

[startup+1663.85 s]
/proc/loadavg: 2.07 2.14 2.52 3/101 12030
/proc/meminfo: memFree=1632680/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=1653.64
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 22799 0 24 0 165042 322 0 0 25 0 8 0 172021201 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11789/statm: 228886 22537 2548 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.17
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 5672 0 0 0 14 3 0 0 16 0 8 0 172021300 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.36
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 476 0 0 0 35 1 0 0 16 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.64
Current children cumulated vsize (KiB) 915544

[startup+1723.94 s]
/proc/loadavg: 2.02 2.12 2.48 3/101 12030
/proc/meminfo: memFree=1631272/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=1713.71
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 22799 0 24 0 171048 323 0 0 25 0 8 0 172021201 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11789/statm: 228886 22537 2548 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.17
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 5672 0 0 0 14 3 0 0 16 0 8 0 172021300 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.36
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 476 0 0 0 35 1 0 0 16 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.71
Current children cumulated vsize (KiB) 915544

[startup+1784.03 s]
/proc/loadavg: 2.01 2.09 2.45 3/101 12030
/proc/meminfo: memFree=1629928/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=1773.78
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 22800 0 24 0 177055 323 0 0 25 0 8 0 172021201 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11789/statm: 228886 22537 2548 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.17
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 5672 0 0 0 14 3 0 0 16 0 8 0 172021300 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.36
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 476 0 0 0 35 1 0 0 16 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.78
Current children cumulated vsize (KiB) 915544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.27 s]
/proc/loadavg: 2.00 2.08 2.43 3/101 12030
/proc/meminfo: memFree=1628584/2055920 swapFree=4191880/4192956
[pid=11789] ppid=11787 vsize=915544 CPUtime=1800.01
/proc/11789/stat : 11789 (java) R 11787 11789 11157 0 -1 0 22800 0 24 0 179678 323 0 0 25 0 8 0 172021201 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800645 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11789/statm: 228886 22537 2548 14 0 215356 0
[pid=11789/tid=11791] ppid=11787 vsize=915544 CPUtime=0.17
/proc/11789/task/11791/stat : 11791 (java) S 11787 11789 11157 0 -1 64 5672 0 0 0 14 3 0 0 16 0 8 0 172021300 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11792] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11792/stat : 11792 (java) S 11787 11789 11157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11793] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11793/stat : 11793 (java) S 11787 11789 11157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172021301 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11794] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11794/stat : 11794 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11795] ppid=11787 vsize=915544 CPUtime=0.36
/proc/11789/task/11795/stat : 11795 (java) S 11787 11789 11157 0 -1 64 476 0 0 0 35 1 0 0 16 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11789/tid=11796] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11796/stat : 11796 (java) S 11787 11789 11157 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11789/tid=11797] ppid=11787 vsize=915544 CPUtime=0
/proc/11789/task/11797/stat : 11797 (java) S 11787 11789 11157 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172021317 937517056 22537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915544

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

Child status: 143
Real time (s): 1810.31
CPU time (s): 1800.06
CPU user time (s): 1796.81
CPU system time (s): 3.24851
CPU usage (%): 99.4337
Max. virtual memory (cumulated for all children) (KiB): 915648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.81
system time used= 3.24851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22817
page faults= 24
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38345
involuntary context switches= 77463

runsolver used 2.27265 s user time and 5.75812 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Mon Jan  8 06:04:20 UTC 2007


IDJOB= 215798
IDBENCH= 5029
FILE ID= node9/215798-1168236259

PBS_JOBID= 3481262

Free space on /tmp= 59156 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-vpm1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215798-1168236259/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-215798-1168236259 -o ROOT/results/node9/solver-215798-1168236259 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215798-1168236259/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  afcc9a39e53fc8078fabef6dac588cf9

RANDOM SEED= 220498716

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.231
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.231
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:        537984 kB
Buffers:          2920 kB
Cached:        1075476 kB
SwapCached:         16 kB
Active:         381556 kB
Inactive:      1052156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        537984 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:          546236 kB
Writeback:           0 kB
Mapped:         373852 kB
Slab:            68252 kB
Committed_AS:  5183156 kB
PageTables:       2972 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= 66545 MiB



End job on node9 on Mon Jan  8 06:34:31 UTC 2007