Trace number 210866

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.15 1801.22

General information on the benchmark

NamepseudoSeries/uclid/
ooo-burch-dill-8-accl.xml
MD5SUMf854735c0a4aa78b40e473f8a33844dd
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables21380
Number of constraints60983
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension60983
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/210866-1168203276/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.75	     nbVariables=21380  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.75	       =>  wckTime=0.443  cpuTime=0.35  mem=41M214
0.75	   
0.75	   predicates being loaded...
0.76	   
0.76	   constraints being loaded...
9.13	     nbConstraints=59050  nbMergedConstraints=1933  nbSingletonDomainVariables=1  nbConvertedConstraints=38933
9.13	     nbConvertConstraintsChecks=258090  nbExtensionStructures=3  nbSharedExtensionStructures=38930
9.13	     nbConflictsStructures=43  nbSharedConflictsStructures=59007  nbSharedBinaryRepresentations=7
9.13	     nbEvaluationManagers=40  nbSharedEvaluationManagers=20077  maxDegree=646  maxArity=13
9.13	       =>  wckTime=8.826  cpuTime=7.6  mem=171M214
9.47	   
9.47	   solver IterativeSystematicSolver being built... 
10.73	       =>  wckTime=10.431  cpuTime=8.63  mem=198M329
229.98	   
229.98	   INFO : Stopping ESAC
229.99	   
229.99	   preprocessing
229.99	     nbConstraintChecks=403456  nbValidityChecks=279571  nbPropagations=74248  nbRevisions=367683
229.99	     nbUselessRevisions=327037  nbSingletonTests=13832  nbEffectiveSingletonTests=1  nbESACBranches=4
229.99	     nbRemovedValues=2513  detectedInconsistency=no
229.99	       =>  wckTime=219.233  cpuTime=219.08  mem=200M343
256.66	   
256.66	   search
256.66	     run=0  nbConstraintChecks=111871  nbValidityChecks=155085  nbPropagations=91376  nbRevisions=526779
256.66	     nbUselessRevisions=469010  nbAssignments=560  nbFailedAssignments=12  nbBacktracks=35  nbVisitedNodes=575
256.66	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
256.66	       =>  wckTime=245.911  cpuTime=245.72  mem=204M371
305.81	   
305.81	   search
305.81	     run=1  nbConstraintChecks=1838986  nbValidityChecks=1271743  nbPropagations=471943  nbRevisions=3017345
305.81	     nbUselessRevisions=2614052  nbAssignments=6240  nbFailedAssignments=14  nbBacktracks=97  nbVisitedNodes=1153
305.81	     nbRestartNogoods=11  mapSize=6  nbInferences=0  nbTooLargeKeys=0
305.81	       =>  wckTime=295.066  cpuTime=294.84  mem=208M399
332.27	   
332.27	   search
332.27	     run=2  nbConstraintChecks=1931318  nbValidityChecks=1420486  nbPropagations=869404  nbRevisions=5659473
332.27	     nbUselessRevisions=4893886  nbAssignments=6790  nbFailedAssignments=16  nbBacktracks=132  nbVisitedNodes=1707
332.27	     nbRestartNogoods=12  mapSize=9  nbInferences=0  nbTooLargeKeys=0
332.27	       =>  wckTime=321.524  cpuTime=321.27  mem=211M420
360.21	   
360.21	   search
360.21	     run=3  nbConstraintChecks=2023631  nbValidityChecks=1569373  nbPropagations=1283774  nbRevisions=8453157
360.21	     nbUselessRevisions=7308491  nbAssignments=7364  nbFailedAssignments=18  nbBacktracks=195  nbVisitedNodes=2285
360.21	     nbRestartNogoods=13  mapSize=12  nbInferences=0  nbTooLargeKeys=0
360.21	       =>  wckTime=349.465  cpuTime=349.2  mem=215M448
390.34	   
390.34	   search
390.34	     run=4  nbConstraintChecks=2120198  nbValidityChecks=1719751  nbPropagations=1715871  nbRevisions=11403556
390.34	     nbUselessRevisions=9862195  nbAssignments=7975  nbFailedAssignments=22  nbBacktracks=290  nbVisitedNodes=2904
390.34	     nbRestartNogoods=14  mapSize=19  nbInferences=0  nbTooLargeKeys=0
390.34	       =>  wckTime=379.59  cpuTime=379.24  mem=179M37
420.40	   
420.40	   search
420.40	     run=5  nbConstraintChecks=2217274  nbValidityChecks=1870498  nbPropagations=2165774  nbRevisions=14511111
420.40	     nbUselessRevisions=12555360  nbAssignments=8586  nbFailedAssignments=26  nbBacktracks=389  nbVisitedNodes=3523
420.40	     nbRestartNogoods=15  mapSize=26  nbInferences=0  nbTooLargeKeys=0
420.40	       =>  wckTime=409.655  cpuTime=409.26  mem=182M80
452.26	   
452.26	   search
452.26	     run=6  nbConstraintChecks=2320743  nbValidityChecks=2026964  nbPropagations=2633856  nbRevisions=17780416
452.26	     nbUselessRevisions=15392233  nbAssignments=9227  nbFailedAssignments=30  nbBacktracks=506  nbVisitedNodes=4187
452.26	     nbRestartNogoods=16  mapSize=48  nbInferences=15  nbTooLargeKeys=0
452.26	       =>  wckTime=441.507  cpuTime=441.09  mem=186M136
490.43	   
490.43	   search
490.43	     run=7  nbConstraintChecks=2433213  nbValidityChecks=2189637  nbPropagations=3121912  nbRevisions=21224324
490.43	     nbUselessRevisions=18383857  nbAssignments=9978  nbFailedAssignments=38  nbBacktracks=724  nbVisitedNodes=4970
490.43	     nbRestartNogoods=17  mapSize=78  nbInferences=31  nbTooLargeKeys=0
490.43	       =>  wckTime=479.682  cpuTime=479.23  mem=190M192
532.34	   
532.34	   search
532.34	     run=8  nbConstraintChecks=2550847  nbValidityChecks=2349487  nbPropagations=3631586  nbRevisions=24849869
532.34	     nbUselessRevisions=21535579  nbAssignments=10796  nbFailedAssignments=50  nbBacktracks=1019  nbVisitedNodes=5815
532.34	     nbRestartNogoods=19  mapSize=104  nbInferences=34  nbTooLargeKeys=0
532.34	       =>  wckTime=521.587  cpuTime=521.12  mem=194M249
579.06	   
579.06	   search
579.06	     run=9  nbConstraintChecks=2772489  nbValidityChecks=2569764  nbPropagations=4175109  nbRevisions=28746127
579.06	     nbUselessRevisions=24923725  nbAssignments=11722  nbFailedAssignments=90  nbBacktracks=1407  nbVisitedNodes=6865
579.06	     nbRestartNogoods=20  mapSize=226  nbInferences=62  nbTooLargeKeys=0
579.06	       =>  wckTime=568.312  cpuTime=567.82  mem=199M319
620.31	   
620.31	   search
620.31	     run=10  nbConstraintChecks=2868208  nbValidityChecks=2693495  nbPropagations=4733854  nbRevisions=32776403
620.31	     nbUselessRevisions=28430657  nbAssignments=12567  nbFailedAssignments=108  nbBacktracks=1996  nbVisitedNodes=7746
620.31	     nbRestartNogoods=22  mapSize=260  nbInferences=62  nbTooLargeKeys=0
620.31	       =>  wckTime=609.567  cpuTime=609.05  mem=203M375
673.73	   
673.73	   search
673.73	     run=11  nbConstraintChecks=3022299  nbValidityChecks=2829310  nbPropagations=5309679  nbRevisions=36958966
673.73	     nbUselessRevisions=32072756  nbAssignments=13653  nbFailedAssignments=137  nbBacktracks=2896  nbVisitedNodes=8890
673.73	     nbRestartNogoods=24  mapSize=316  nbInferences=62  nbTooLargeKeys=0
673.73	       =>  wckTime=662.978  cpuTime=662.45  mem=209M460
772.22	   
772.22	   search
772.22	     run=12  nbConstraintChecks=4540991  nbValidityChecks=3888437  nbPropagations=5984651  nbRevisions=42103270
772.22	     nbUselessRevisions=36566314  nbAssignments=15598  nbFailedAssignments=312  nbBacktracks=4202  nbVisitedNodes=11655
772.22	     nbRestartNogoods=26  mapSize=1129  nbInferences=62  nbTooLargeKeys=0
772.22	       =>  wckTime=761.469  cpuTime=760.9  mem=217M572
913.86	   
913.86	   search
913.86	     run=13  nbConstraintChecks=8872630  nbValidityChecks=6633878  nbPropagations=7074277  nbRevisions=50455124
913.86	     nbUselessRevisions=43812973  nbAssignments=19703  nbFailedAssignments=637  nbBacktracks=6155  nbVisitedNodes=16089
913.86	     nbRestartNogoods=33  mapSize=2854  nbInferences=62  nbTooLargeKeys=0
913.86	       =>  wckTime=903.115  cpuTime=902.4  mem=192M843
1112.03	   
1112.03	   search
1112.03	     run=14  nbConstraintChecks=10774045  nbValidityChecks=8124168  nbPropagations=8408226  nbRevisions=60654811
1112.03	     nbUselessRevisions=52646124  nbAssignments=24111  nbFailedAssignments=1048  nbBacktracks=9078  nbVisitedNodes=21314
1112.03	     nbRestartNogoods=38  mapSize=4166  nbInferences=99  nbTooLargeKeys=0
1112.03	       =>  wckTime=1101.28  cpuTime=1100.44  mem=207M139
1539.11	   
1539.11	   search
1539.11	     run=15  nbConstraintChecks=12179139  nbValidityChecks=9823518  nbPropagations=9911738  nbRevisions=72597666
1539.11	     nbUselessRevisions=63058200  nbAssignments=32375  nbFailedAssignments=1078  nbBacktracks=13458
1539.11	     nbVisitedNodes=31729  nbRestartNogoods=49  mapSize=6994  nbInferences=2846  nbTooLargeKeys=0
1539.11	       =>  wckTime=1528.364  cpuTime=1527.16  mem=209M897

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/node12/watcher-210866-1168203276 -o ROOT/results/node12/solver-210866-1168203276 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210866-1168203276/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.01 1.17 1.52 3/78 9222
/proc/meminfo: memFree=1460216/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=308 CPUtime=0
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 57 0 0 0 0 0 0 0 19 0 1 0 168722647 315392 40 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 9696036 0 0 4096 0 0 0 0 17 1 0 0
/proc/9221/statm: 77 40 31 14 0 5 0

[startup+0.102633 s]
/proc/loadavg: 1.01 1.17 1.52 3/78 9222
/proc/meminfo: memFree=1460216/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=914988 CPUtime=0.08
/proc/9221/stat : 9221 (java) S 9219 9221 7842 0 -1 0 2997 0 1 0 6 2 0 0 17 0 8 0 168722647 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9221/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510707 s]
/proc/loadavg: 1.01 1.17 1.52 3/78 9222
/proc/meminfo: memFree=1460216/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=915328 CPUtime=0.49
/proc/9221/stat : 9221 (java) S 9219 9221 7842 0 -1 0 6644 0 1 0 45 4 0 0 16 0 8 0 168722647 937295872 6383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9221/statm: 228832 6383 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33186 s]
/proc/loadavg: 1.01 1.17 1.52 2/85 9229
/proc/meminfo: memFree=1394048/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=915616 CPUtime=1.31
/proc/9221/stat : 9221 (java) S 9219 9221 7842 0 -1 0 19719 0 1 0 120 11 0 0 16 0 8 0 168722647 937590784 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9221/statm: 228904 19457 2158 14 0 215374 0
[pid=9221/tid=9223] ppid=9219 vsize=915616 CPUtime=0.1
/proc/9221/task/9223/stat : 9223 (java) R 9219 9221 7842 0 -1 64 3175 0 0 0 10 0 0 0 16 0 8 0 168722651 937590784 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168722651 937590784 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 168722651 937590784 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 937590784 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=915616 CPUtime=0.15
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 414 0 0 0 15 0 0 0 16 0 8 0 168722655 937590784 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9228] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 937590784 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 937590784 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915616

[startup+2.98035 s]
/proc/loadavg: 1.01 1.17 1.52 2/85 9229
/proc/meminfo: memFree=1377984/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=915616 CPUtime=2.96
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 24629 0 1 0 283 13 0 0 17 0 8 0 168722647 937590784 24362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9221/statm: 228904 24362 2158 14 0 215374 0
[pid=9221/tid=9223] ppid=9219 vsize=915616 CPUtime=0.38
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 8080 0 0 0 36 2 0 0 16 0 8 0 168722651 937590784 24362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168722651 937590784 24362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 168722651 937590784 24362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 937590784 24362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=915616 CPUtime=0.15
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 414 0 0 0 15 0 0 0 16 0 8 0 168722655 937590784 24362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9228] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 937590784 24362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=915616 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 937590784 24362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915616

[startup+6.27093 s]
/proc/loadavg: 1.01 1.16 1.52 2/85 9229
/proc/meminfo: memFree=1360832/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=915744 CPUtime=6.23
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 27193 0 1 0 449 174 0 0 18 0 8 0 168722647 937721856 26922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9221/statm: 228936 26922 2178 14 0 215406 0
[pid=9221/tid=9223] ppid=9219 vsize=915744 CPUtime=0.53
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 10559 0 0 0 50 3 0 0 16 0 8 0 168722651 937721856 26922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=915744 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168722651 937721856 26922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=915748 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 168722651 937725952 26922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=915748 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 937725952 26922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=915744 CPUtime=0.19
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 434 0 0 0 18 1 0 0 15 0 8 0 168722655 937721856 26922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9228] ppid=9219 vsize=915748 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 937725952 26922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=915744 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 937721856 26922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915744

[startup+12.7571 s]
/proc/loadavg: 1.01 1.16 1.52 2/85 9229
/proc/meminfo: memFree=1227776/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=12.71
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 60885 0 1 0 1013 258 0 0 17 0 8 0 168722647 938332160 60542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074271319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9221/statm: 229085 60542 2537 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.49
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 43561 0 0 0 132 17 0 0 17 0 8 0 168722651 938332160 60542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 60542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 60542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 60542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.35
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 685 0 0 0 34 1 0 0 16 0 8 0 168722655 938332160 60542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 60542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 60542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 916340

[startup+25.5954 s]
/proc/loadavg: 1.01 1.15 1.51 2/85 9229
/proc/meminfo: memFree=1227784/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=25.53
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 60901 0 1 0 2295 258 0 0 17 0 8 0 168722647 938332160 60552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074321765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9221/statm: 229085 60552 2539 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.49
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 43561 0 0 0 132 17 0 0 16 0 8 0 168722651 938332160 60552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 60552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 60552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 60552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.36
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 692 0 0 0 35 1 0 0 16 0 8 0 168722655 938332160 60552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 60552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 60552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 916340

[startup+51.2808 s]
/proc/loadavg: 1.00 1.14 1.49 2/85 9229
/proc/meminfo: memFree=1227848/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=51.2
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 60907 0 1 0 4862 258 0 0 25 0 8 0 168722647 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9221/statm: 229085 60554 2539 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.49
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 43561 0 0 0 132 17 0 0 16 0 8 0 168722651 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.36
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 696 0 0 0 35 1 0 0 16 0 8 0 168722655 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 916340

[startup+102.544 s]
/proc/loadavg: 1.00 1.12 1.46 2/85 9229
/proc/meminfo: memFree=1227912/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=102.45
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 60907 0 1 0 9986 259 0 0 25 0 8 0 168722647 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074324966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9221/statm: 229085 60554 2539 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.49
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 43561 0 0 0 132 17 0 0 16 0 8 0 168722651 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.36
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 696 0 0 0 35 1 0 0 16 0 8 0 168722655 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 916340

[startup+162.545 s]
/proc/loadavg: 1.00 1.09 1.43 2/85 9229
/proc/meminfo: memFree=1227848/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=162.43
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 60907 0 1 0 15984 259 0 0 25 0 8 0 168722647 938332160 60554 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1422.67
Current children cumulated vsize (KiB) 916340

[startup+1483.58 s]
/proc/loadavg: 1.08 1.02 1.08 2/85 9429
/proc/meminfo: memFree=1214920/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=1482.64
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 64140 0 1 0 147996 268 0 0 25 0 8 0 168722647 938332160 63766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9221/statm: 229085 63766 2540 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.58
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 46739 0 0 0 141 17 0 0 16 0 8 0 168722651 938332160 63766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 63766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 63766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 63766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.44
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 734 0 0 0 42 2 0 0 15 0 8 0 168722655 938332160 63766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 63766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 63766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.64
Current children cumulated vsize (KiB) 916340

[startup+1543.59 s]
/proc/loadavg: 1.03 1.01 1.08 2/85 9429
/proc/meminfo: memFree=1193288/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=1542.61
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 69562 0 1 0 153991 270 0 0 25 0 8 0 168722647 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9221/statm: 229085 69187 2540 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.64
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 52160 0 0 0 144 20 0 0 16 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.44
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 734 0 0 0 42 2 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.61
Current children cumulated vsize (KiB) 916340

[startup+1603.62 s]
/proc/loadavg: 1.01 1.00 1.07 2/85 9429
/proc/meminfo: memFree=1193288/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=1602.62
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 69562 0 1 0 159991 271 0 0 25 0 8 0 168722647 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074344318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9221/statm: 229085 69187 2540 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.64
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 52160 0 0 0 144 20 0 0 16 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.44
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 734 0 0 0 42 2 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.62
Current children cumulated vsize (KiB) 916340

[startup+1663.64 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 9429
/proc/meminfo: memFree=1193288/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=1662.62
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 69562 0 1 0 165991 271 0 0 25 0 8 0 168722647 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074374061 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9221/statm: 229085 69187 2540 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.64
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 52160 0 0 0 144 20 0 0 16 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.44
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 734 0 0 0 42 2 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.62
Current children cumulated vsize (KiB) 916340

[startup+1723.66 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 9429
/proc/meminfo: memFree=1193224/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=1722.61
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 69562 0 1 0 171990 271 0 0 25 0 8 0 168722647 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9221/statm: 229085 69187 2540 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.64
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 52160 0 0 0 144 20 0 0 16 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.44
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 734 0 0 0 42 2 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.61
Current children cumulated vsize (KiB) 916340

[startup+1783.67 s]
/proc/loadavg: 1.08 1.02 1.06 2/85 9429
/proc/meminfo: memFree=1193224/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=1782.61
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 69562 0 1 0 177990 271 0 0 25 0 8 0 168722647 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9221/statm: 229085 69187 2540 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.64
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 52160 0 0 0 144 20 0 0 16 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.44
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 734 0 0 0 42 2 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (KiB) 916340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 1.06 1.01 1.06 2/85 9429
/proc/meminfo: memFree=1193160/2055920 swapFree=4160348/4192956
[pid=9221] ppid=9219 vsize=916340 CPUtime=1800.08
/proc/9221/stat : 9221 (java) R 9219 9221 7842 0 -1 0 69562 0 1 0 179737 271 0 0 25 0 8 0 168722647 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074263258 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9221/statm: 229085 69187 2540 14 0 215555 0
[pid=9221/tid=9223] ppid=9219 vsize=916340 CPUtime=1.64
/proc/9221/task/9223/stat : 9223 (java) S 9219 9221 7842 0 -1 64 52160 0 0 0 144 20 0 0 16 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9224] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9224/stat : 9224 (java) S 9219 9221 7842 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9225] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9225/stat : 9225 (java) S 9219 9221 7842 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 168722651 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9226] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9226/stat : 9226 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9227] ppid=9219 vsize=916340 CPUtime=0.44
/proc/9221/task/9227/stat : 9227 (java) S 9219 9221 7842 0 -1 64 734 0 0 0 42 2 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9221/tid=9228] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9228/stat : 9228 (java) S 9219 9221 7842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9221/tid=9229] ppid=9219 vsize=916340 CPUtime=0
/proc/9221/task/9229/stat : 9229 (java) S 9219 9221 7842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168722655 938332160 69187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 916340

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

Child status: 143
Real time (s): 1801.22
CPU time (s): 1800.15
CPU user time (s): 1797.4
CPU system time (s): 2.75858
CPU usage (%): 99.941
Max. virtual memory (cumulated for all children) (KiB): 916340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.4
system time used= 2.75858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69579
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= 37983
involuntary context switches= 66571

runsolver used 2.00469 s user time and 4.42633 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sun Jan  7 20:54:36 UTC 2007


IDJOB= 210866
IDBENCH= 4652
FILE ID= node12/210866-1168203276

PBS_JOBID= 3480515

Free space on /tmp= 66312 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-burch-dill-8-accl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210866-1168203276/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-210866-1168203276 -o ROOT/results/node12/solver-210866-1168203276 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210866-1168203276/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f854735c0a4aa78b40e473f8a33844dd

RANDOM SEED= 79498193

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.265
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.265
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:       1460632 kB
Buffers:         57292 kB
Cached:         439684 kB
SwapCached:       4660 kB
Active:         153016 kB
Inactive:       372976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1460632 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:           10852 kB
Writeback:           0 kB
Mapped:          38700 kB
Slab:            54864 kB
Committed_AS:  4714244 kB
PageTables:       1720 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= 66312 MiB



End job on node12 on Sun Jan  7 21:24:37 UTC 2007