Trace number 214326

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.08 1802.97

General information on the benchmark

NamepseudoSeries/routing/
s4-4-3-2.xml
MD5SUM07af4b284be550c53f3d300c97c5dc0a
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 benchmark1.62
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables648
Number of constraints1952
Maximum constraint arity27
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1952
Global constraints used (with number of constraints)

Solver Data (download as text)

0.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=esac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/214326-1168229869/unknown.xml
0.44	   
0.44	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.53	     nbVariables=648  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.53	       =>  wckTime=0.15  cpuTime=0.12  mem=8M25
0.53	   
0.53	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
1.00	     nbConstraints=986  nbMergedConstraints=966  nbConvertedConstraints=270  nbConvertConstraintsChecks=68
1.00	     nbExtensionStructures=3  nbSharedExtensionStructures=267  nbConflictsStructures=8  nbSharedConflictsStructures=954
1.00	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=9  nbEvaluationManagers=6
1.00	     nbSharedEvaluationManagers=710  maxDegree=9  maxArity=27
1.00	       =>  wckTime=0.616  cpuTime=0.45  mem=39M231
1.06	   
1.06	   solver IterativeSystematicSolver being built... 
1.30	       =>  wckTime=0.915  cpuTime=0.65  mem=23M511
7.81	   
7.81	   preprocessing
7.81	     nbConstraintChecks=2433184  nbValidityChecks=12182  nbPropagations=2024  nbRevisions=8766  nbUselessRevisions=8080
7.81	     nbSingletonTests=693  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0  detectedInconsistency=no
7.81	       =>  wckTime=6.505  cpuTime=6.41  mem=23M511
18.86	   
18.86	   search
18.86	     run=0  nbConstraintChecks=4196428  nbValidityChecks=6381  nbPropagations=2908  nbRevisions=13150
18.86	     nbUselessRevisions=11678  nbAssignments=255  nbFailedAssignments=4  nbBacktracks=13  nbVisitedNodes=261
18.86	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
18.86	       =>  wckTime=17.558  cpuTime=17.35  mem=23M511
27.22	   
27.22	   search
27.22	     run=1  nbConstraintChecks=7343807  nbValidityChecks=12072  nbPropagations=6584  nbRevisions=30246
27.22	     nbUselessRevisions=26678  nbAssignments=474  nbFailedAssignments=9  nbBacktracks=31  nbVisitedNodes=486
27.22	     nbRestartNogoods=1  mapSize=16  nbInferences=0  nbTooLargeKeys=0
27.22	       =>  wckTime=25.922  cpuTime=25.64  mem=23M511
29.98	   
29.98	   search
29.98	     run=2  nbConstraintChecks=8393343  nbValidityChecks=16437  nbPropagations=10691  nbRevisions=50258
29.98	     nbUselessRevisions=44392  nbAssignments=705  nbFailedAssignments=10  nbBacktracks=58  nbVisitedNodes=719
29.98	     nbRestartNogoods=3  mapSize=18  nbInferences=0  nbTooLargeKeys=0
29.98	       =>  wckTime=28.678  cpuTime=28.38  mem=24M484
38.28	   
38.28	   search
38.28	     run=3  nbConstraintChecks=11539802  nbValidityChecks=21537  nbPropagations=15318  nbRevisions=73743
38.28	     nbUselessRevisions=65274  nbAssignments=960  nbFailedAssignments=13  nbBacktracks=117  nbVisitedNodes=978
38.28	     nbRestartNogoods=4  mapSize=24  nbInferences=0  nbTooLargeKeys=0
38.28	       =>  wckTime=36.978  cpuTime=36.59  mem=24M484
49.21	   
49.21	   search
49.21	     run=4  nbConstraintChecks=15734733  nbValidityChecks=26434  nbPropagations=20435  nbRevisions=100501
49.21	     nbUselessRevisions=89187  nbAssignments=1211  nbFailedAssignments=17  nbBacktracks=170  nbVisitedNodes=1235
49.21	     nbRestartNogoods=5  mapSize=30  nbInferences=0  nbTooLargeKeys=0
49.21	       =>  wckTime=47.91  cpuTime=47.43  mem=24M484
53.34	   
53.39	   search
53.39	     run=5  nbConstraintChecks=17309415  nbValidityChecks=32157  nbPropagations=26156  nbRevisions=130980
53.39	     nbUselessRevisions=116448  nbAssignments=1509  nbFailedAssignments=34  nbBacktracks=251  nbVisitedNodes=1551
53.39	     nbRestartNogoods=6  mapSize=63  nbInferences=0  nbTooLargeKeys=0
53.39	       =>  wckTime=52.033  cpuTime=51.5  mem=24M484
84.71	   
84.71	   search
84.71	     run=6  nbConstraintChecks=29509279  nbValidityChecks=42477  nbPropagations=33051  nbRevisions=168751
84.71	     nbUselessRevisions=150057  nbAssignments=1923  nbFailedAssignments=53  nbBacktracks=373  nbVisitedNodes=1995
84.71	     nbRestartNogoods=7  mapSize=97  nbInferences=0  nbTooLargeKeys=0
84.71	       =>  wckTime=83.406  cpuTime=82.61  mem=24M484
90.15	   
90.15	   search
90.15	     run=7  nbConstraintChecks=31611391  nbValidityChecks=51938  nbPropagations=41700  nbRevisions=214468
90.15	     nbUselessRevisions=190032  nbAssignments=2285  nbFailedAssignments=112  nbBacktracks=544  nbVisitedNodes=2532
90.15	     nbRestartNogoods=9  mapSize=225  nbInferences=0  nbTooLargeKeys=0
90.15	       =>  wckTime=88.852  cpuTime=88.01  mem=25M456
138.06	   
138.06	   search
138.06	     run=8  nbConstraintChecks=50818251  nbValidityChecks=65313  nbPropagations=52026  nbRevisions=269733
138.06	     nbUselessRevisions=238269  nbAssignments=2846  nbFailedAssignments=213  nbBacktracks=801  nbVisitedNodes=3281
138.06	     nbRestartNogoods=10  mapSize=355  nbInferences=0  nbTooLargeKeys=0
138.06	       =>  wckTime=136.755  cpuTime=135.66  mem=25M456
154.56	   
154.56	   search
154.56	     run=9  nbConstraintChecks=57739524  nbValidityChecks=105079  nbPropagations=69486  nbRevisions=357766
154.56	     nbUselessRevisions=311793  nbAssignments=3533  nbFailedAssignments=282  nbBacktracks=1216  nbVisitedNodes=4158
154.56	     nbRestartNogoods=12  mapSize=528  nbInferences=0  nbTooLargeKeys=0
154.56	       =>  wckTime=153.256  cpuTime=152.15  mem=25M456
301.34	   
301.34	   search
301.34	     run=10  nbConstraintChecks=119098970  nbValidityChecks=160919  nbPropagations=93873  nbRevisions=492551
301.34	     nbUselessRevisions=424046  nbAssignments=4404  nbFailedAssignments=440  nbBacktracks=1795  nbVisitedNodes=5303
301.34	     nbRestartNogoods=16  mapSize=880  nbInferences=0  nbTooLargeKeys=0
301.34	       =>  wckTime=300.042  cpuTime=298.78  mem=26M429
311.97	   
311.97	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=26M429)
448.13	   
448.13	   search
448.13	     run=11  nbConstraintChecks=181025224  nbValidityChecks=218692  nbPropagations=125156  nbRevisions=682300
448.13	     nbUselessRevisions=581345  nbAssignments=5524  nbFailedAssignments=571  nbBacktracks=2659  nbVisitedNodes=6736
448.13	     nbRestartNogoods=18
448.13	       =>  wckTime=446.823  cpuTime=445.38  mem=26M429
776.66	   
776.66	   search
776.66	     run=12  nbConstraintChecks=319258564  nbValidityChecks=296016  nbPropagations=175385  nbRevisions=941451
776.66	     nbUselessRevisions=787088  nbAssignments=7073  nbFailedAssignments=728  nbBacktracks=3958  nbVisitedNodes=8583
776.66	     nbRestartNogoods=23
776.66	       =>  wckTime=775.359  cpuTime=773.57  mem=26M429
1558.70	   
1558.70	   search
1558.70	     run=13  nbConstraintChecks=649455836  nbValidityChecks=360323  nbPropagations=235597  nbRevisions=1262404
1558.70	     nbUselessRevisions=1044895  nbAssignments=9644  nbFailedAssignments=1191  nbBacktracks=5904  nbVisitedNodes=11793
1558.70	     nbRestartNogoods=28
1558.71	       =>  wckTime=1557.402  cpuTime=1554.76  mem=26M429

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/node10/watcher-214326-1168229869 -o ROOT/results/node10/solver-214326-1168229869 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214326-1168229869/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: 1.80 1.97 1.91 4/87 32068
/proc/meminfo: memFree=1804248/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=1784 CPUtime=0
/proc/32067/stat : 32067 (java) D 32065 32067 31109 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 171382191 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/32067/statm: 446 160 125 14 0 91 0

[startup+0.103777 s]
/proc/loadavg: 1.80 1.97 1.91 4/87 32068
/proc/meminfo: memFree=1804248/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=906128 CPUtime=0.02
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 1953 0 1 0 1 1 0 0 17 0 1 0 171382191 927875072 1702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153615705 0 4 0 7368 0 0 0 17 1 0 0
/proc/32067/statm: 226532 1702 984 14 0 214115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906128

[startup+0.51183 s]
/proc/loadavg: 1.80 1.97 1.91 4/87 32068
/proc/meminfo: memFree=1804248/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915328 CPUtime=0.42
/proc/32067/stat : 32067 (java) S 32065 32067 31109 0 -1 0 6132 0 1 0 39 3 0 0 18 0 8 0 171382191 937295872 5871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32067/statm: 228832 5871 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.33294 s]
/proc/loadavg: 1.80 1.97 1.91 3/94 32075
/proc/meminfo: memFree=1755296/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=1.23
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15028 0 1 0 110 13 0 0 17 0 8 0 171382191 937738240 14766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32067/statm: 228940 14766 2540 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 17 0 8 0 171382202 937738240 14766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.25
/proc/32067/task/32073/stat : 32073 (java) R 32065 32067 31109 0 -1 64 461 0 0 0 24 1 0 0 20 0 8 0 171382206 937738240 14766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915760

[startup+2.97016 s]
/proc/loadavg: 1.80 1.97 1.91 3/94 32075
/proc/meminfo: memFree=1754976/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=2.85
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15034 0 1 0 272 13 0 0 25 0 8 0 171382191 937738240 14771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073985662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32067/statm: 228940 14771 2540 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 17 0 8 0 171382202 937738240 14771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.27
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 466 0 0 0 25 2 0 0 16 0 8 0 171382206 937738240 14771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915760

[startup+6.2596 s]
/proc/loadavg: 1.82 1.97 1.91 3/94 32075
/proc/meminfo: memFree=1754912/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=6.12
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15045 0 1 0 599 13 0 0 25 0 8 0 171382191 937738240 14782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073958615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32067/statm: 228940 14782 2542 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.28
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 474 0 0 0 26 2 0 0 16 0 8 0 171382206 937738240 14782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915760

[startup+12.7375 s]
/proc/loadavg: 1.83 1.97 1.91 3/94 32075
/proc/meminfo: memFree=1754920/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=12.54
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15059 0 1 0 1240 14 0 0 25 0 8 0 171382191 937738240 14793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073983306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32067/statm: 228940 14793 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.3
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 485 0 0 0 28 2 0 0 16 0 8 0 171382206 937738240 14793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915760

[startup+25.6052 s]
/proc/loadavg: 1.87 1.97 1.91 3/94 32075
/proc/meminfo: memFree=1754984/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=25.3
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15062 0 1 0 2516 14 0 0 25 0 8 0 171382191 937738240 14794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073958688 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32067/statm: 228940 14794 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.3
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 487 0 0 0 28 2 0 0 17 0 8 0 171382206 937738240 14794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915760

[startup+51.2147 s]
/proc/loadavg: 1.91 1.97 1.91 3/94 32075
/proc/meminfo: memFree=1754984/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=50.68
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15072 0 1 0 5054 14 0 0 25 0 8 0 171382191 937738240 14802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32067/statm: 228940 14802 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.32
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 495 0 0 0 30 2 0 0 16 0 8 0 171382206 937738240 14802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915760

[startup+102.423 s]
/proc/loadavg: 1.96 1.97 1.91 3/94 32075
/proc/meminfo: memFree=1754920/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=101.46
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15079 0 1 0 10131 15 0 0 25 0 8 0 171382191 937738240 14806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32067/statm: 228940 14806 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.33
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 499 0 0 0 31 2 0 0 16 0 8 0 171382206 937738240 14806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915760

[startup+162.5 s]
/proc/loadavg: 1.74 1.90 1.89 3/101 32431
/proc/meminfo: memFree=1743664/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=161.36
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15084 0 1 0 16117 19 0 0 25 0 8 0 171382191 937738240 14809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960330 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.96 s]
/proc/loadavg: 2.07 2.03 1.95 3/101 32620
/proc/meminfo: memFree=1718128/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=1481.41
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15091 0 1 0 148117 24 0 0 25 0 8 0 171382191 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32067/statm: 228940 14812 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.34
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 506 0 0 0 32 2 0 0 17 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.41
Current children cumulated vsize (KiB) 915760

[startup+1544.04 s]
/proc/loadavg: 2.02 2.02 1.95 3/101 32620
/proc/meminfo: memFree=1718064/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=1541.44
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15091 0 1 0 154120 24 0 0 25 0 8 0 171382191 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32067/statm: 228940 14812 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.34
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 506 0 0 0 32 2 0 0 17 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 915760

[startup+1604.13 s]
/proc/loadavg: 2.01 2.02 1.95 3/101 32620
/proc/meminfo: memFree=1718000/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=1601.44
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15091 0 1 0 160120 24 0 0 25 0 8 0 171382191 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32067/statm: 228940 14812 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.34
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 506 0 0 0 32 2 0 0 17 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 915760

[startup+1664.21 s]
/proc/loadavg: 2.00 2.01 1.95 3/101 32620
/proc/meminfo: memFree=1717936/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=1661.47
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15091 0 1 0 166123 24 0 0 25 0 8 0 171382191 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32067/statm: 228940 14812 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.34
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 506 0 0 0 32 2 0 0 17 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 915760

[startup+1724.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/101 32620
/proc/meminfo: memFree=1717872/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=1721.51
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15091 0 1 0 172126 25 0 0 25 0 8 0 171382191 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986591 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32067/statm: 228940 14812 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.34
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 506 0 0 0 32 2 0 0 17 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 915760

[startup+1784.39 s]
/proc/loadavg: 2.04 2.01 1.95 3/101 32620
/proc/meminfo: memFree=1717744/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=1781.5
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15091 0 1 0 178125 25 0 0 25 0 8 0 171382191 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32067/statm: 228940 14812 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.34
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 506 0 0 0 32 2 0 0 17 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (KiB) 915760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.91 s]
/proc/loadavg: 2.18 2.05 1.96 3/101 32620
/proc/meminfo: memFree=1717744/2055920 swapFree=4178216/4192956
[pid=32067] ppid=32065 vsize=915760 CPUtime=1800.02
/proc/32067/stat : 32067 (java) R 32065 32067 31109 0 -1 0 15091 0 1 0 179977 25 0 0 25 0 8 0 171382191 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32067/statm: 228940 14812 2543 14 0 215410 0
[pid=32067/tid=32069] ppid=32065 vsize=915760 CPUtime=0.05
/proc/32067/task/32069/stat : 32069 (java) S 32065 32067 31109 0 -1 64 452 0 0 0 5 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32070] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32070/stat : 32070 (java) S 32065 32067 31109 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32071] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32071/stat : 32071 (java) S 32065 32067 31109 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171382202 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32072] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32072/stat : 32072 (java) S 32065 32067 31109 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32073] ppid=32065 vsize=915760 CPUtime=0.34
/proc/32067/task/32073/stat : 32073 (java) S 32065 32067 31109 0 -1 64 506 0 0 0 32 2 0 0 17 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32067/tid=32074] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32074/stat : 32074 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32067/tid=32075] ppid=32065 vsize=915760 CPUtime=0
/proc/32067/task/32075/stat : 32075 (java) S 32065 32067 31109 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171382206 937738240 14812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915760

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

Child status: 143
Real time (s): 1802.97
CPU time (s): 1800.08
CPU user time (s): 1799.82
CPU system time (s): 0.26296
CPU usage (%): 99.8399
Max. virtual memory (cumulated for all children) (KiB): 915760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.26296
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15109
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= 37609
involuntary context switches= 62267

runsolver used 2.53261 s user time and 5.44317 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Mon Jan  8 04:17:51 UTC 2007


IDJOB= 214326
IDBENCH= 4916
FILE ID= node10/214326-1168229869

PBS_JOBID= 3481125

Free space on /tmp= 66379 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  07af4b284be550c53f3d300c97c5dc0a

RANDOM SEED= 854873481

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.232
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.232
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:       1804728 kB
Buffers:         40240 kB
Cached:         113804 kB
SwapCached:       2628 kB
Active:         115780 kB
Inactive:        81032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1804728 kB
SwapTotal:     4192956 kB
SwapFree:      4178216 kB
Dirty:            2148 kB
Writeback:           0 kB
Mapped:          52896 kB
Slab:            39228 kB
Committed_AS:  4401584 kB
PageTables:       2228 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= 66380 MiB



End job on node10 on Mon Jan  8 04:47:57 UTC 2007