Trace number 214222

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.11 1804.88

General information on the benchmark

NamepseudoSeries/routing/
s4-4-3-3.xml
MD5SUM34fb632723a9a9ab757f7ad92339cd22
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.25
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables648
Number of constraints1954
Maximum constraint arity27
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1954
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/214222-1168228897/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.47	     nbVariables=648  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.47	       =>  wckTime=0.152  cpuTime=0.13  mem=8M25
0.47	   
0.47	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
0.94	     nbConstraints=1000  nbMergedConstraints=954  nbConvertedConstraints=276  nbConvertConstraintsChecks=68
0.94	     nbExtensionStructures=3  nbSharedExtensionStructures=273  nbConflictsStructures=8  nbSharedConflictsStructures=968
0.94	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=9  nbEvaluationManagers=6
0.94	     nbSharedEvaluationManagers=718  maxDegree=9  maxArity=27
0.94	       =>  wckTime=0.616  cpuTime=0.48  mem=39M233
1.00	   
1.00	   solver IterativeSystematicSolver being built... 
1.23	       =>  wckTime=0.915  cpuTime=0.67  mem=23M583
9.84	   
9.84	   preprocessing
9.84	     nbConstraintChecks=3174566  nbValidityChecks=14146  nbPropagations=2116  nbRevisions=10079  nbUselessRevisions=9333
9.84	     nbSingletonTests=751  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0  detectedInconsistency=no
9.84	       =>  wckTime=8.605  cpuTime=8.52  mem=23M583
12.62	   
12.62	   search
12.62	     run=0  nbConstraintChecks=1049699  nbValidityChecks=5015  nbPropagations=2611  nbRevisions=13438
12.62	     nbUselessRevisions=12482  nbAssignments=285  nbFailedAssignments=2  nbBacktracks=17  nbVisitedNodes=288
12.62	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
12.62	       =>  wckTime=11.385  cpuTime=11.27  mem=23M583
40.74	   
40.74	   search
40.74	     run=1  nbConstraintChecks=11536108  nbValidityChecks=8793  nbPropagations=5610  nbRevisions=29413
40.74	     nbUselessRevisions=27326  nbAssignments=504  nbFailedAssignments=12  nbBacktracks=32  nbVisitedNodes=517
40.74	     nbRestartNogoods=1  mapSize=12  nbInferences=0  nbTooLargeKeys=0
40.74	       =>  wckTime=39.501  cpuTime=39.23  mem=23M583
54.47	   
54.47	   search
54.47	     run=2  nbConstraintChecks=16779742  nbValidityChecks=12373  nbPropagations=8931  nbRevisions=47797
54.47	     nbUselessRevisions=44462  nbAssignments=713  nbFailedAssignments=18  nbBacktracks=71  nbVisitedNodes=734
54.47	     nbRestartNogoods=2  mapSize=20  nbInferences=0  nbTooLargeKeys=0
54.47	       =>  wckTime=53.228  cpuTime=52.88  mem=24M555
54.51	   
54.51	   search
54.51	     run=3  nbConstraintChecks=16780726  nbValidityChecks=16452  nbPropagations=12647  nbRevisions=69056
54.51	     nbUselessRevisions=64237  nbAssignments=908  nbFailedAssignments=36  nbBacktracks=104  nbVisitedNodes=965
54.51	     nbRestartNogoods=4  mapSize=47  nbInferences=0  nbTooLargeKeys=0
54.51	       =>  wckTime=53.275  cpuTime=52.92  mem=24M555
54.56	   
54.56	   search
54.56	     run=4  nbConstraintChecks=16782040  nbValidityChecks=20756  nbPropagations=16882  nbRevisions=93461
54.56	     nbUselessRevisions=86809  nbAssignments=1127  nbFailedAssignments=58  nbBacktracks=154  nbVisitedNodes=1232
54.56	     nbRestartNogoods=5  mapSize=82  nbInferences=0  nbTooLargeKeys=0
54.56	       =>  wckTime=53.323  cpuTime=52.96  mem=24M555
54.61	   
54.61	   search
54.61	     run=5  nbConstraintChecks=16784027  nbValidityChecks=25949  nbPropagations=21840  nbRevisions=121751
54.61	     nbUselessRevisions=112691  nbAssignments=1374  nbFailedAssignments=105  nbBacktracks=229  nbVisitedNodes=1577
54.61	     nbRestartNogoods=6  mapSize=142  nbInferences=0  nbTooLargeKeys=0
54.61	       =>  wckTime=53.373  cpuTime=53.01  mem=24M555
61.46	   
61.46	   search
61.46	     run=6  nbConstraintChecks=19404599  nbValidityChecks=34349  nbPropagations=27920  nbRevisions=156301
61.46	     nbUselessRevisions=143719  nbAssignments=1715  nbFailedAssignments=144  nbBacktracks=342  nbVisitedNodes=2009
61.46	     nbRestartNogoods=7  mapSize=204  nbInferences=0  nbTooLargeKeys=0
61.46	       =>  wckTime=60.222  cpuTime=59.79  mem=24M555
66.19	   
66.19	   search
66.19	     run=7  nbConstraintChecks=21212574  nbValidityChecks=49200  nbPropagations=35647  nbRevisions=201040
66.19	     nbUselessRevisions=183252  nbAssignments=2141  nbFailedAssignments=232  nbBacktracks=518  nbVisitedNodes=2625
66.19	     nbRestartNogoods=9  mapSize=317  nbInferences=0  nbTooLargeKeys=0
66.19	       =>  wckTime=64.949  cpuTime=64.49  mem=24M555
112.11	   
112.11	   search
112.11	     run=8  nbConstraintChecks=39306291  nbValidityChecks=61616  nbPropagations=44971  nbRevisions=254843
112.11	     nbUselessRevisions=230555  nbAssignments=2702  nbFailedAssignments=282  nbBacktracks=782  nbVisitedNodes=3269
112.11	     nbRestartNogoods=11  mapSize=391  nbInferences=0  nbTooLargeKeys=0
112.11	       =>  wckTime=110.873  cpuTime=110.2  mem=25M528
123.38	   
123.38	   search
123.38	     run=9  nbConstraintChecks=43648578  nbValidityChecks=78378  nbPropagations=56448  nbRevisions=322841
123.38	     nbUselessRevisions=290401  nbAssignments=3404  nbFailedAssignments=311  nbBacktracks=1205  nbVisitedNodes=4018
123.38	     nbRestartNogoods=15  mapSize=452  nbInferences=0  nbTooLargeKeys=0
123.38	       =>  wckTime=122.141  cpuTime=121.41  mem=25M528
170.30	   
170.30	   search
170.30	     run=10  nbConstraintChecks=61797726  nbValidityChecks=105529  nbPropagations=70694  nbRevisions=411197
170.30	     nbUselessRevisions=367938  nbAssignments=4299  nbFailedAssignments=372  nbBacktracks=1805  nbVisitedNodes=4993
170.30	     nbRestartNogoods=17  mapSize=587  nbInferences=0  nbTooLargeKeys=0
170.30	       =>  wckTime=169.06  cpuTime=168.1  mem=26M500
311.09	   
311.09	   search
311.09	     run=11  nbConstraintChecks=117116097  nbValidityChecks=124414  nbPropagations=87266  nbRevisions=513051
311.09	     nbUselessRevisions=457562  nbAssignments=5327  nbFailedAssignments=464  nbBacktracks=2688  nbVisitedNodes=6119
311.09	     nbRestartNogoods=19  mapSize=750  nbInferences=0  nbTooLargeKeys=0
311.09	       =>  wckTime=309.853  cpuTime=308.24  mem=26M500
468.76	   
468.76	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=28M445)
506.02	   
506.02	   search
506.02	     run=12  nbConstraintChecks=192700754  nbValidityChecks=197423  nbPropagations=111457  nbRevisions=685841
506.02	     nbUselessRevisions=610793  nbAssignments=7025  nbFailedAssignments=594  nbBacktracks=4006  nbVisitedNodes=8074
506.02	     nbRestartNogoods=21
506.02	       =>  wckTime=504.786  cpuTime=502.26  mem=28M445
865.94	   
865.94	   search
865.94	     run=13  nbConstraintChecks=337052223  nbValidityChecks=260352  nbPropagations=142113  nbRevisions=903655
865.94	     nbUselessRevisions=804638  nbAssignments=9504  nbFailedAssignments=898  nbBacktracks=5956  nbVisitedNodes=11082
865.94	     nbRestartNogoods=24
865.94	       =>  wckTime=864.705  cpuTime=860.69  mem=28M445
1171.00	   
1171.00	   search
1171.00	     run=14  nbConstraintChecks=462300582  nbValidityChecks=316141  nbPropagations=180962  nbRevisions=1175103
1171.00	     nbUselessRevisions=1046597  nbAssignments=12943  nbFailedAssignments=1227  nbBacktracks=8875  nbVisitedNodes=15196
1171.00	     nbRestartNogoods=28
1171.00	       =>  wckTime=1169.762  cpuTime=1165.48  mem=28M445

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/node41/watcher-214222-1168228897 -o ROOT/results/node41/solver-214222-1168228897 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214222-1168228897/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.95 1.03 1.28 2/76 21628
/proc/meminfo: memFree=1797176/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=1788 CPUtime=0
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 191 0 0 0 0 0 0 0 19 0 1 0 171289014 1830912 159 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21627/statm: 447 158 123 14 0 92 0

[startup+0.102676 s]
/proc/loadavg: 0.95 1.03 1.28 2/76 21628
/proc/meminfo: memFree=1797176/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=913236 CPUtime=0.08
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 2921 0 1 0 7 1 0 0 17 0 8 0 171289014 935153664 2667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21627/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.514708 s]
/proc/loadavg: 0.95 1.03 1.28 2/76 21628
/proc/meminfo: memFree=1797176/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915328 CPUtime=0.49
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 6402 0 1 0 45 4 0 0 18 0 8 0 171289014 937295872 6141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21627/statm: 228832 6141 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34379 s]
/proc/loadavg: 0.95 1.03 1.28 6/94 21647
/proc/meminfo: memFree=1737128/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=1.31
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15016 0 1 0 119 12 0 0 24 0 8 0 171289014 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073958640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21627/statm: 228940 14754 2540 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.04
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 4 0 0 0 17 0 8 0 171289019 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.25
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 466 0 0 0 24 1 0 0 15 0 8 0 171289022 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915760

[startup+2.98092 s]
/proc/loadavg: 0.95 1.03 1.28 4/94 21647
/proc/meminfo: memFree=1732904/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=2.94
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15017 0 1 0 282 12 0 0 25 0 8 0 171289014 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21627/statm: 228940 14754 2540 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.04
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 4 0 0 0 17 0 8 0 171289019 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.25
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 466 0 0 0 24 1 0 0 16 0 8 0 171289022 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915760

[startup+6.2632 s]
/proc/loadavg: 1.03 1.05 1.29 4/94 21649
/proc/meminfo: memFree=1203496/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=6.2
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15020 0 1 0 608 12 0 0 25 0 8 0 171289014 937738240 14757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21627/statm: 228940 14757 2540 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.04
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 4 0 0 0 16 0 8 0 171289019 937738240 14757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.26
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 469 0 0 0 25 1 0 0 16 0 8 0 171289022 937738240 14757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915760

[startup+12.7518 s]
/proc/loadavg: 1.11 1.06 1.29 3/94 21655
/proc/meminfo: memFree=1200696/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=12.65
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15043 0 1 0 1253 12 0 0 25 0 8 0 171289014 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21627/statm: 228940 14776 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.04
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 4 0 0 0 17 0 8 0 171289019 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.29
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 483 0 0 0 28 1 0 0 16 0 8 0 171289022 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915760

[startup+25.6129 s]
/proc/loadavg: 1.31 1.11 1.30 3/94 21663
/proc/meminfo: memFree=1200632/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=25.45
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15043 0 1 0 2533 12 0 0 25 0 8 0 171289014 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21627/statm: 228940 14776 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.04
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 4 0 0 0 16 0 8 0 171289019 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.29
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 483 0 0 0 28 1 0 0 16 0 8 0 171289022 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915760

[startup+51.2261 s]
/proc/loadavg: 1.54 1.18 1.32 5/93 21687
/proc/meminfo: memFree=1200824/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=50.91
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15043 0 1 0 5079 12 0 0 25 0 8 0 171289014 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21627/statm: 228940 14776 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.04
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 4 0 0 0 16 0 8 0 171289019 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.29
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 483 0 0 0 28 1 0 0 16 0 8 0 171289022 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915760

[startup+102.43 s]
/proc/loadavg: 1.87 1.32 1.36 3/88 21709
/proc/meminfo: memFree=1161384/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=101.85
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15058 0 1 0 10172 13 0 0 25 0 8 0 171289014 937738240 14789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21627/statm: 228940 14789 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.04
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 4 0 0 0 16 0 8 0 171289019 937738240 14789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.31
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 171289022 937738240 14789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915760

[startup+162.477 s]
/proc/loadavg: 1.95 1.44 1.39 3/88 21709
/proc/meminfo: memFree=1161064/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=161.61
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15068 0 1 0 16148 13 0 0 25 0 8 0 171289014 937738240 14794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1419.24
Current children cumulated vsize (KiB) 915760

[startup+1483.77 s]
/proc/loadavg: 2.17 2.03 1.85 3/88 21785
/proc/meminfo: memFree=1677728/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=1479.27
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15072 0 1 0 147911 16 0 0 25 0 8 0 171289014 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073982768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21627/statm: 228940 14795 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.05
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 5 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.32
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.27
Current children cumulated vsize (KiB) 915760

[startup+1543.84 s]
/proc/loadavg: 2.06 2.03 1.85 3/88 21785
/proc/meminfo: memFree=1677728/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=1539.28
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15072 0 1 0 153912 16 0 0 25 0 8 0 171289014 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21627/statm: 228940 14795 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.05
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 5 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.32
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.28
Current children cumulated vsize (KiB) 915760

[startup+1603.91 s]
/proc/loadavg: 2.02 2.02 1.86 3/88 21785
/proc/meminfo: memFree=1677664/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=1599.29
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15072 0 1 0 159913 16 0 0 25 0 8 0 171289014 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986591 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21627/statm: 228940 14795 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.05
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 5 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.32
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.29
Current children cumulated vsize (KiB) 915760

[startup+1663.99 s]
/proc/loadavg: 2.01 2.01 1.86 3/88 21785
/proc/meminfo: memFree=1677728/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=1659.32
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15072 0 1 0 165916 16 0 0 25 0 8 0 171289014 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21627/statm: 228940 14795 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.05
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 5 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.32
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.32
Current children cumulated vsize (KiB) 915760

[startup+1724.06 s]
/proc/loadavg: 2.00 2.01 1.87 3/88 21785
/proc/meminfo: memFree=1677664/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=1719.33
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15072 0 1 0 171917 16 0 0 25 0 8 0 171289014 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21627/statm: 228940 14795 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.05
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 5 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.32
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.33
Current children cumulated vsize (KiB) 915760

[startup+1784.14 s]
/proc/loadavg: 2.00 2.00 1.88 3/88 21785
/proc/meminfo: memFree=1677664/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=1779.36
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15072 0 1 0 177919 17 0 0 25 0 8 0 171289014 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073984630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21627/statm: 228940 14795 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.05
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 5 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.32
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21647/stat : 21647 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171289023 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.36
Current children cumulated vsize (KiB) 915760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.81 s]
/proc/loadavg: 2.00 2.00 1.88 3/88 21785
/proc/meminfo: memFree=1677664/2055920 swapFree=4191892/4192956
[pid=21627] ppid=21624 vsize=915760 CPUtime=1800.04
/proc/21627/stat : 21627 (java) R 21624 21627 21470 0 -1 0 15072 0 1 0 179987 17 0 0 25 0 8 0 171289014 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21627/statm: 228940 14795 2543 14 0 215410 0
[pid=21627/tid=21635] ppid=21624 vsize=915760 CPUtime=0.05
/proc/21627/task/21635/stat : 21635 (java) S 21624 21627 21470 0 -1 64 454 0 0 0 5 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21638] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21638/stat : 21638 (java) S 21624 21627 21470 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21639] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21639/stat : 21639 (java) S 21624 21627 21470 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171289019 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21644] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21644/stat : 21644 (java) S 21624 21627 21470 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21645] ppid=21624 vsize=915760 CPUtime=0.32
/proc/21627/task/21645/stat : 21645 (java) S 21624 21627 21470 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21627/tid=21646] ppid=21624 vsize=915760 CPUtime=0
/proc/21627/task/21646/stat : 21646 (java) S 21624 21627 21470 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171289022 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21627/tid=21647] ppid=21624 vsize=915760 CPUtime=0.01
/proc/21627/task/21647/stat : 21647 (java) R 21624 21627 21470 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 171289023 937738240 14795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915760

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

Child status: 143
Real time (s): 1804.88
CPU time (s): 1800.11
CPU user time (s): 1799.93
CPU system time (s): 0.179972
CPU usage (%): 99.7352
Max. virtual memory (cumulated for all children) (KiB): 915760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15089
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= 37995
involuntary context switches= 40878

runsolver used 2.32665 s user time and 5.44117 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Mon Jan  8 04:01:38 UTC 2007


IDJOB= 214222
IDBENCH= 4908
FILE ID= node41/214222-1168228897

PBS_JOBID= 3481358

Free space on /tmp= 66560 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/routing/s4-4-3-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214222-1168228897/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-214222-1168228897 -o ROOT/results/node41/solver-214222-1168228897 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214222-1168228897/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  34fb632723a9a9ab757f7ad92339cd22

RANDOM SEED= 508808326

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.234
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.234
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:       1797448 kB
Buffers:         45904 kB
Cached:         136280 kB
SwapCached:        396 kB
Active:         106620 kB
Inactive:        96072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797448 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2688 kB
Writeback:           0 kB
Mapped:          29800 kB
Slab:            40704 kB
Committed_AS:  3236416 kB
PageTables:       2120 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= 66557 MiB



End job on node41 on Mon Jan  8 04:31:43 UTC 2007