Trace number 214275

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 AC? (TO) 1800.08 1815.49

General information on the benchmark

NamepseudoSeries/routing/
s4-4-3-9.xml
MD5SUM13a2e3ec373d4c454e3f9888fdc442e8
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 proved
Number of variables840
Number of constraints2526
Maximum constraint arity35
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2526
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=mac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/214275-1168077674/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.51	     nbVariables=840  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.51	       =>  wckTime=0.178  cpuTime=0.14  mem=7M894
0.51	   
0.51	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
1.08	     nbConstraints=1294  nbMergedConstraints=1232  nbConvertedConstraints=362  nbConvertConstraintsChecks=68
1.08	     nbExtensionStructures=3  nbSharedExtensionStructures=359  nbConflictsStructures=8  nbSharedConflictsStructures=1262
1.08	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=9  nbEvaluationManagers=6
1.08	     nbSharedEvaluationManagers=926  maxDegree=9  maxArity=35
1.08	       =>  wckTime=0.75  cpuTime=0.57  mem=3M825
1.13	   
1.13	   solver IterativeSystematicSolver being built... 
1.38	       =>  wckTime=1.051  cpuTime=0.77  mem=26M172
1.40	   
1.40	   preprocessing
1.40	     nbConstraintChecks=0  nbPropagations=840  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.40	     detectedInconsistency=no
1.40	       =>  wckTime=0.017  cpuTime=0.01  mem=26M172
16.16	   
16.16	   search
16.16	     run=0  nbConstraintChecks=4196419  nbValidityChecks=4171  nbPropagations=1605  nbRevisions=3788
16.16	     nbUselessRevisions=3444  nbAssignments=423  nbFailedAssignments=4  nbBacktracks=25  nbVisitedNodes=428
16.16	     nbRestartNogoods=0  mapSize=4  nbInferences=0  nbTooLargeKeys=0
16.16	       =>  wckTime=14.776  cpuTime=14.57  mem=27M157
17.37	   
17.37	   search
17.37	     run=1  nbConstraintChecks=4459910  nbValidityChecks=8429  nbPropagations=3914  nbRevisions=10915
17.37	     nbUselessRevisions=9875  nbAssignments=775  nbFailedAssignments=5  nbBacktracks=42  nbVisitedNodes=781
17.37	     nbRestartNogoods=1  mapSize=5  nbInferences=0  nbTooLargeKeys=0
17.37	       =>  wckTime=15.983  cpuTime=15.75  mem=27M157
89.61	   
89.61	   search
89.61	     run=2  nbConstraintChecks=21238075  nbValidityChecks=12516  nbPropagations=6871  nbRevisions=21051
89.61	     nbUselessRevisions=18995  nbAssignments=1117  nbFailedAssignments=21  nbBacktracks=65  nbVisitedNodes=1139
89.61	     nbRestartNogoods=2  mapSize=17  nbInferences=0  nbTooLargeKeys=0
89.61	       =>  wckTime=88.23  cpuTime=87.25  mem=27M157
89.69	   
89.69	   search
89.69	     run=3  nbConstraintChecks=21239044  nbValidityChecks=17372  nbPropagations=10361  nbRevisions=34636
89.69	     nbUselessRevisions=31344  nbAssignments=1430  nbFailedAssignments=25  nbBacktracks=103  nbVisitedNodes=1456
89.69	     nbRestartNogoods=3  mapSize=24  nbInferences=0  nbTooLargeKeys=0
89.69	       =>  wckTime=88.303  cpuTime=87.32  mem=27M157
89.76	   
89.76	   search
89.76	     run=4  nbConstraintChecks=21240253  nbValidityChecks=21265  nbPropagations=14359  nbRevisions=51120
89.76	     nbUselessRevisions=46262  nbAssignments=1664  nbFailedAssignments=53  nbBacktracks=153  nbVisitedNodes=1746
89.76	     nbRestartNogoods=4  mapSize=60  nbInferences=0  nbTooLargeKeys=0
89.76	       =>  wckTime=88.379  cpuTime=87.38  mem=27M157
107.71	   
107.71	   search
107.71	     run=5  nbConstraintChecks=25435194  nbValidityChecks=26105  nbPropagations=18806  nbRevisions=70961
107.71	     nbUselessRevisions=64360  nbAssignments=1946  nbFailedAssignments=58  nbBacktracks=231  nbVisitedNodes=2038
107.71	     nbRestartNogoods=5  mapSize=70  nbInferences=0  nbTooLargeKeys=0
107.71	       =>  wckTime=106.327  cpuTime=105.15  mem=28M142
107.90	   
107.90	   search
107.90	     run=6  nbConstraintChecks=25461944  nbValidityChecks=33621  nbPropagations=24303  nbRevisions=96057
107.90	     nbUselessRevisions=86912  nbAssignments=2311  nbFailedAssignments=114  nbBacktracks=345  nbVisitedNodes=2518
107.90	     nbRestartNogoods=6  mapSize=144  nbInferences=0  nbTooLargeKeys=0
107.90	       =>  wckTime=106.514  cpuTime=105.34  mem=28M142
377.50	   
377.50	   search
377.50	     run=7  nbConstraintChecks=103068345  nbValidityChecks=42614  nbPropagations=31698  nbRevisions=128419
377.50	     nbUselessRevisions=114991  nbAssignments=2824  nbFailedAssignments=226  nbBacktracks=517  nbVisitedNodes=3203
377.50	     nbRestartNogoods=8  mapSize=280  nbInferences=0  nbTooLargeKeys=0
377.50	       =>  wckTime=376.118  cpuTime=372.47  mem=28M142
1233.28	   
1233.28	   search
1233.28	     run=8  nbConstraintChecks=304400080  nbValidityChecks=49293  nbPropagations=40760  nbRevisions=168341
1233.28	     nbUselessRevisions=149412  nbAssignments=3368  nbFailedAssignments=418  nbBacktracks=776  nbVisitedNodes=3939
1233.28	     nbRestartNogoods=11  mapSize=472  nbInferences=0  nbTooLargeKeys=0
1233.28	       =>  wckTime=1231.892  cpuTime=1220.4  mem=28M142

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-214275-1168077674 -o ROOT/results/node10/solver-214275-1168077674 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214275-1168077674/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.76 1.85 1.91 3/99 29066
/proc/meminfo: memFree=1554448/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=18540 CPUtime=0
/proc/29065/stat : 29065 (runsolver) R 29063 29065 27858 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 156162916 18984960 280 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29065/statm: 4635 280 244 17 0 2626 0

[startup+0.10925 s]
/proc/loadavg: 1.76 1.85 1.91 3/99 29066
/proc/meminfo: memFree=1554448/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=914988 CPUtime=0.09
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 2951 0 1 0 7 2 0 0 17 0 8 0 156162916 936947712 2697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155517847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228747 2697 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.521303 s]
/proc/loadavg: 1.76 1.85 1.91 3/99 29066
/proc/meminfo: memFree=1554448/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915328 CPUtime=0.48
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 6364 0 1 0 44 4 0 0 18 0 8 0 156162916 937295872 6103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153901867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228832 6103 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.35042 s]
/proc/loadavg: 1.76 1.85 1.91 3/106 29073
/proc/meminfo: memFree=1492248/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=1.31
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18327 0 1 0 113 18 0 0 24 0 8 0 156162916 937738240 18064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155890684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18064 2521 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1288 0 0 0 6 0 0 0 17 0 8 0 156162920 937738240 18064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.24
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 451 0 0 0 23 1 0 0 15 0 8 0 156162924 937738240 18064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18064 18446744073709551615 134512640 134570532 4294956464 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.98764 s]
/proc/loadavg: 1.76 1.85 1.91 3/106 29075
/proc/meminfo: memFree=1491736/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=2.93
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18382 0 1 0 274 19 0 0 25 0 8 0 156162916 937738240 18119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18119 2533 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1288 0 0 0 6 0 0 0 17 0 8 0 156162920 937738240 18119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.28
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 476 0 0 0 27 1 0 0 15 0 8 0 156162924 937738240 18119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915760

[startup+6.26908 s]
/proc/loadavg: 1.78 1.86 1.91 3/106 29093
/proc/meminfo: memFree=1491800/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=6.17
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18386 0 1 0 598 19 0 0 25 0 8 0 156162916 937738240 18122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073968602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18122 2534 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1288 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.28
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 476 0 0 0 27 1 0 0 16 0 8 0 156162924 937738240 18122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915760

[startup+12.759 s]
/proc/loadavg: 1.80 1.86 1.91 3/106 29107
/proc/meminfo: memFree=1491800/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=12.59
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18388 0 1 0 1240 19 0 0 25 0 8 0 156162916 937738240 18123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074009511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18123 2534 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1288 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.28
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 156162924 937738240 18123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915760

[startup+25.6187 s]
/proc/loadavg: 1.84 1.86 1.91 3/106 29129
/proc/meminfo: memFree=1491928/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=25.31
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18404 0 1 0 2512 19 0 0 25 0 8 0 156162916 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074009580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18135 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.3
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 486 0 0 0 29 1 0 0 16 0 8 0 156162924 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915760

[startup+51.2372 s]
/proc/loadavg: 1.89 1.87 1.91 3/106 29149
/proc/meminfo: memFree=1492016/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=50.66
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18404 0 1 0 5047 19 0 0 25 0 8 0 156162916 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073968602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18135 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.3
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 486 0 0 0 29 1 0 0 16 0 8 0 156162924 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915760

[startup+102.455 s]
/proc/loadavg: 1.95 1.89 1.91 3/100 29189
/proc/meminfo: memFree=1493096/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=101.37
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18414 0 1 0 10117 20 0 0 25 0 8 0 156162916 937738240 18144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18144 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.33
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 495 0 0 0 31 2 0 0 15 0 8 0 156162924 937738240 18144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 915760

[startup+162.506 s]
/proc/loadavg: 1.98 1.91 1.91 3/100 29189
/proc/meminfo: memFree=1493096/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=160.86
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18414 0 1 0 16066 20 0 0 25 0 8 0 156162916 937738240 18144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.55 s]
/proc/loadavg: 2.01 2.01 1.95 3/100 29191
/proc/meminfo: memFree=1493032/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=1469.81
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18417 0 1 0 146951 30 0 0 25 0 8 0 156162916 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18145 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.33
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 496 0 0 0 31 2 0 0 16 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.81
Current children cumulated vsize (KiB) 915760

[startup+1543.6 s]
/proc/loadavg: 2.05 2.02 1.95 3/100 29191
/proc/meminfo: memFree=1493032/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=1529.31
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18417 0 1 0 152901 30 0 0 25 0 8 0 156162916 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073970314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18145 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.33
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 496 0 0 0 31 2 0 0 16 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.31
Current children cumulated vsize (KiB) 915760

[startup+1603.64 s]
/proc/loadavg: 2.05 2.03 1.96 3/100 29191
/proc/meminfo: memFree=1493032/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=1588.81
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18417 0 1 0 158850 31 0 0 25 0 8 0 156162916 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29065/statm: 228940 18145 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.33
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 496 0 0 0 31 2 0 0 16 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.81
Current children cumulated vsize (KiB) 915760

[startup+1663.69 s]
/proc/loadavg: 1.94 2.01 1.95 2/88 29257
/proc/meminfo: memFree=1570440/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=1648.43
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18417 0 1 0 164811 32 0 0 25 0 8 0 156162916 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073970327 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29065/statm: 228940 18145 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.33
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 496 0 0 0 31 2 0 0 16 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.43
Current children cumulated vsize (KiB) 915760

[startup+1723.75 s]
/proc/loadavg: 1.92 1.97 1.94 3/100 29395
/proc/meminfo: memFree=1511072/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=1708.43
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18417 0 1 0 170810 33 0 0 25 0 8 0 156162916 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073968615 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29065/statm: 228940 18145 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.33
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 496 0 0 0 31 2 0 0 16 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.43
Current children cumulated vsize (KiB) 915760

[startup+1783.86 s]
/proc/loadavg: 1.97 1.97 1.94 3/100 29395
/proc/meminfo: memFree=1510560/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=1768.47
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18417 0 1 0 176813 34 0 0 25 0 8 0 156162916 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29065/statm: 228940 18145 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.33
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 496 0 0 0 31 2 0 0 16 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.47
Current children cumulated vsize (KiB) 915760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.45 s]
/proc/loadavg: 1.98 1.97 1.94 3/100 29395
/proc/meminfo: memFree=1510560/2055920 swapFree=4178332/4192956
[pid=29065] ppid=29063 vsize=915760 CPUtime=1800.04
/proc/29065/stat : 29065 (java) R 29063 29065 27858 0 -1 0 18418 0 1 0 179970 34 0 0 25 0 8 0 156162916 937738240 18146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789365 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29065/statm: 228940 18146 2538 14 0 215410 0
[pid=29065/tid=29067] ppid=29063 vsize=915760 CPUtime=0.06
/proc/29065/task/29067/stat : 29067 (java) S 29063 29065 27858 0 -1 64 1289 0 0 0 6 0 0 0 16 0 8 0 156162920 937738240 18146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29065/tid=29068] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29068/stat : 29068 (java) S 29063 29065 27858 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29069] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29069/stat : 29069 (java) S 29063 29065 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156162921 937738240 18146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29070] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29070/stat : 29070 (java) S 29063 29065 27858 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156162924 937738240 18146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29071] ppid=29063 vsize=915760 CPUtime=0.33
/proc/29065/task/29071/stat : 29071 (java) S 29063 29065 27858 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156162924 937738240 18146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29065/tid=29072] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29072/stat : 29072 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156162924 937738240 18146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29065/tid=29073] ppid=29063 vsize=915760 CPUtime=0
/proc/29065/task/29073/stat : 29073 (java) S 29063 29065 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156162924 937738240 18146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 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): 1815.49
CPU time (s): 1800.08
CPU user time (s): 1799.72
CPU system time (s): 0.352946
CPU usage (%): 99.1511
Max. virtual memory (cumulated for all children) (KiB): 915760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18436
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= 38131
involuntary context switches= 85508

runsolver used 2.05869 s user time and 5.97909 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Jan  6 10:01:16 UTC 2007


IDJOB= 214275
IDBENCH= 4912
FILE ID= node10/214275-1168077674

PBS_JOBID= 3475808

Free space on /tmp= 66354 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  13a2e3ec373d4c454e3f9888fdc442e8

RANDOM SEED= 108996869

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:       1555056 kB
Buffers:         46264 kB
Cached:         254460 kB
SwapCached:       2420 kB
Active:         181588 kB
Inactive:       230744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1555056 kB
SwapTotal:     4192956 kB
SwapFree:      4178332 kB
Dirty:            2228 kB
Writeback:           0 kB
Mapped:         131664 kB
Slab:            72752 kB
Committed_AS:  4388036 kB
PageTables:       2640 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= 66356 MiB



End job on node10 on Sat Jan  6 10:31:34 UTC 2007