Trace number 210802

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.16 1800.96

General information on the benchmark

NamepseudoSeries/uclid/
ooo-burch-dill-6-accl.xml
MD5SUMc3621a55ea125183ef6096030f8fc720
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 variables23621
Number of constraints67525
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension67525
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/210802-1168075352/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.77	     nbVariables=23621  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.77	       =>  wckTime=0.462  cpuTime=0.38  mem=45M278
0.77	   
0.77	   predicates being loaded...
0.78	   
0.78	   constraints being loaded...
5.00	   
5.00	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 79M968)
6.67	     nbConstraints=65540  nbMergedConstraints=1985  nbSingletonDomainVariables=1  nbConvertedConstraints=13924
6.67	     nbConvertConstraintsChecks=40  nbExtensionStructures=2  nbSharedExtensionStructures=13922  nbConflictsStructures=6
6.67	     nbSharedConflictsStructures=35107  nbSharedBinaryRepresentations=5  nbEvaluationManagers=44
6.67	     nbSharedEvaluationManagers=51572  maxDegree=619  maxArity=13
6.67	       =>  wckTime=6.362  cpuTime=4.92  mem=192M604
7.06	   
7.06	   solver IterativeSystematicSolver being built... 
8.73	       =>  wckTime=8.423  cpuTime=6.18  mem=203M897
9.13	   
9.13	   preprocessing
9.13	     nbConstraintChecks=135325  nbValidityChecks=65170  nbPropagations=23659  nbRevisions=73794
9.13	     nbUselessRevisions=73756  nbRemovedValues=38  detectedInconsistency=no
9.13	       =>  wckTime=0.369  cpuTime=0.32  mem=205M942
59.81	   
59.81	   search
59.81	     run=0  nbConstraintChecks=139914  nbValidityChecks=245754  nbPropagations=44930  nbRevisions=262113
59.81	     nbUselessRevisions=240696  nbAssignments=798  nbFailedAssignments=19  nbBacktracks=27  nbVisitedNodes=820
59.81	     nbRestartNogoods=0  mapSize=2  nbInferences=0  nbTooLargeKeys=0
59.81	       =>  wckTime=51.055  cpuTime=50.8  mem=211M54
110.69	   
110.69	   search
110.69	     run=1  nbConstraintChecks=197252  nbValidityChecks=489941  nbPropagations=110949  nbRevisions=704309
110.69	     nbUselessRevisions=640578  nbAssignments=1579  nbFailedAssignments=21  nbBacktracks=52  nbVisitedNodes=1605
110.69	     nbRestartNogoods=19  mapSize=3  nbInferences=1  nbTooLargeKeys=0
110.69	       =>  wckTime=101.935  cpuTime=101.64  mem=215M144
161.97	   
161.97	   search
161.97	     run=2  nbConstraintChecks=254725  nbValidityChecks=734349  nbPropagations=198080  nbRevisions=1326866
161.97	     nbUselessRevisions=1199902  nbAssignments=2360  nbFailedAssignments=23  nbBacktracks=77  nbVisitedNodes=2390
161.97	     nbRestartNogoods=22  mapSize=4  nbInferences=2  nbTooLargeKeys=0
161.97	       =>  wckTime=153.22  cpuTime=152.9  mem=219M233
216.07	   
216.07	   search
216.07	     run=3  nbConstraintChecks=312241  nbValidityChecks=978793  nbPropagations=306332  nbRevisions=2129890
216.07	     nbUselessRevisions=1918758  nbAssignments=3143  nbFailedAssignments=25  nbBacktracks=149  nbVisitedNodes=3178
216.07	     nbRestartNogoods=25  mapSize=7  nbInferences=4  nbTooLargeKeys=0
216.07	       =>  wckTime=207.317  cpuTime=206.98  mem=223M323
274.28	   
274.28	   search
274.28	     run=4  nbConstraintChecks=370585  nbValidityChecks=1224435  nbPropagations=435733  nbRevisions=3114261
274.28	     nbUselessRevisions=2798013  nbAssignments=3976  nbFailedAssignments=27  nbBacktracks=223  nbVisitedNodes=4019
274.28	     nbRestartNogoods=27  mapSize=12  nbInferences=9  nbTooLargeKeys=0
274.28	       =>  wckTime=265.529  cpuTime=265.18  mem=227M413
332.35	   
332.35	   search
332.35	     run=5  nbConstraintChecks=428790  nbValidityChecks=1469561  nbPropagations=586386  nbRevisions=4280350
332.35	     nbUselessRevisions=3837954  nbAssignments=4815  nbFailedAssignments=30  nbBacktracks=302  nbVisitedNodes=4867
332.35	     nbRestartNogoods=30  mapSize=18  nbInferences=12  nbTooLargeKeys=0
332.35	       =>  wckTime=323.601  cpuTime=323.23  mem=232M525
394.56	   
394.56	   search
394.56	     run=6  nbConstraintChecks=488173  nbValidityChecks=1716016  nbPropagations=758395  nbRevisions=5629702
394.56	     nbUselessRevisions=5040032  nbAssignments=5705  nbFailedAssignments=33  nbBacktracks=429  nbVisitedNodes=5770
394.56	     nbRestartNogoods=33  mapSize=28  nbInferences=19  nbTooLargeKeys=0
394.56	       =>  wckTime=385.806  cpuTime=385.42  mem=236M615
460.18	   
460.18	   search
460.18	     run=7  nbConstraintChecks=547415  nbValidityChecks=1963376  nbPropagations=951727  nbRevisions=7162455
460.18	     nbUselessRevisions=6404416  nbAssignments=6636  nbFailedAssignments=36  nbBacktracks=601  nbVisitedNodes=6713
460.18	     nbRestartNogoods=36  mapSize=38  nbInferences=25  nbTooLargeKeys=0
460.18	       =>  wckTime=451.431  cpuTime=451.02  mem=241M727
531.81	   
531.81	   search
531.81	     run=8  nbConstraintChecks=608104  nbValidityChecks=2211098  nbPropagations=1166589  nbRevisions=8880204
531.81	     nbUselessRevisions=7932485  nbAssignments=7651  nbFailedAssignments=42  nbBacktracks=895  nbVisitedNodes=7748
531.81	     nbRestartNogoods=38  mapSize=56  nbInferences=33  nbTooLargeKeys=0
531.81	       =>  wckTime=523.057  cpuTime=522.62  mem=246M839
614.62	   
614.62	   search
614.62	     run=9  nbConstraintChecks=672858  nbValidityChecks=2464688  nbPropagations=1403368  nbRevisions=10788619
614.62	     nbUselessRevisions=9629521  nbAssignments=8816  nbFailedAssignments=53  nbBacktracks=1283  nbVisitedNodes=8948
614.62	     nbRestartNogoods=40  mapSize=88  nbInferences=46  nbTooLargeKeys=0
614.63	       =>  wckTime=605.872  cpuTime=605.35  mem=212M61
709.25	   
709.25	   search
709.25	     run=10  nbConstraintChecks=738541  nbValidityChecks=2718927  nbPropagations=1662262  nbRevisions=12889283
709.25	     nbUselessRevisions=11496910  nbAssignments=10130  nbFailedAssignments=66  nbBacktracks=1861  nbVisitedNodes=10307
709.25	     nbRestartNogoods=43  mapSize=132  nbInferences=65  nbTooLargeKeys=0
709.25	       =>  wckTime=700.498  cpuTime=699.93  mem=218M196
821.94	   
821.94	   search
821.94	     run=11  nbConstraintChecks=940387  nbValidityChecks=3175339  nbPropagations=1950913  nbRevisions=15312402
821.94	     nbUselessRevisions=13656860  nbAssignments=11742  nbFailedAssignments=135  nbBacktracks=2729  nbVisitedNodes=12142
821.94	     nbRestartNogoods=44  mapSize=354  nbInferences=84  nbTooLargeKeys=0
821.94	       =>  wckTime=813.19  cpuTime=812.58  mem=225M353
931.07	   
931.08	   search
931.08	     run=12  nbConstraintChecks=1248976  nbValidityChecks=3594578  nbPropagations=2283544  nbRevisions=18078516
931.08	     nbUselessRevisions=16114679  nbAssignments=13425  nbFailedAssignments=267  nbBacktracks=4039  nbVisitedNodes=14319
931.08	     nbRestartNogoods=45  mapSize=847  nbInferences=84  nbTooLargeKeys=0
931.08	       =>  wckTime=922.322  cpuTime=921.69  mem=233M532
1144.37	   
1144.37	   search
1144.37	     run=13  nbConstraintChecks=1624575  nbValidityChecks=4185082  nbPropagations=2698597  nbRevisions=21403931
1144.37	     nbUselessRevisions=19048975  nbAssignments=16626  nbFailedAssignments=366  nbBacktracks=5994  nbVisitedNodes=17786
1144.37	     nbRestartNogoods=46  mapSize=1092  nbInferences=92  nbTooLargeKeys=0
1144.37	       =>  wckTime=1135.619  cpuTime=1134.92  mem=249M891
1425.16	   
1425.16	   search
1425.16	     run=14  nbConstraintChecks=1874587  nbValidityChecks=4685221  nbPropagations=3180986  nbRevisions=25185978
1425.16	     nbUselessRevisions=22372365  nbAssignments=20451  nbFailedAssignments=467  nbBacktracks=8945  nbVisitedNodes=21900
1425.16	     nbRestartNogoods=67  mapSize=1379  nbInferences=155  nbTooLargeKeys=0
1425.16	       =>  wckTime=1416.403  cpuTime=1415.53  mem=225M673

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/node6/watcher-210802-1168075352 -o ROOT/results/node6/solver-210802-1168075352 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210802-1168075352/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.92 1.98 1.91 4/93 9060
/proc/meminfo: memFree=1109680/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=18540 CPUtime=0
/proc/9059/stat : 9059 (runsolver) R 9057 9059 8566 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155930839 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9059/statm: 4635 279 244 17 0 2626 0

[startup+0.108056 s]
/proc/loadavg: 1.92 1.98 1.91 4/93 9060
/proc/meminfo: memFree=1109680/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=914988 CPUtime=0.08
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 2996 0 1 0 7 1 0 0 24 0 8 0 155930839 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072936459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9059/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.517106 s]
/proc/loadavg: 1.92 1.98 1.91 4/93 9060
/proc/meminfo: memFree=1109680/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=915328 CPUtime=0.49
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 6675 0 1 0 45 4 0 0 25 0 8 0 155930839 937295872 6414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9059/statm: 228832 6414 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3462 s]
/proc/loadavg: 1.92 1.98 1.91 3/100 9067
/proc/meminfo: memFree=1042744/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=915616 CPUtime=1.3
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 20553 0 1 0 119 11 0 0 25 0 8 0 155930839 937590784 20290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9059/statm: 228904 20290 2158 14 0 215374 0
[pid=9059/tid=9061] ppid=9057 vsize=915616 CPUtime=0.14
/proc/9059/task/9061/stat : 9061 (java) R 9057 9059 8566 0 -1 64 4008 0 0 0 13 1 0 0 16 0 8 0 155930843 937590784 20290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154023992 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9062] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 937590784 20290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155930843 937590784 20290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 937590784 20290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=915616 CPUtime=0.16
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 415 0 0 0 15 1 0 0 16 0 8 0 155930847 937590784 20290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9066] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 937590784 20290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 937590784 20290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915616

[startup+2.9874 s]
/proc/loadavg: 1.93 1.98 1.91 4/100 9067
/proc/meminfo: memFree=1026680/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=915616 CPUtime=2.93
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 24811 0 1 0 279 14 0 0 25 0 8 0 155930839 937590784 24544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9059/statm: 228904 24544 2158 14 0 215374 0
[pid=9059/tid=9061] ppid=9057 vsize=915616 CPUtime=0.4
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 8261 0 0 0 38 2 0 0 16 0 8 0 155930843 937590784 24544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9062] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 937590784 24544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155930843 937590784 24544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 937590784 24544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=915616 CPUtime=0.17
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 416 0 0 0 16 1 0 0 16 0 8 0 155930847 937590784 24544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9066] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 937590784 24544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=915616 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 937590784 24544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915616

[startup+6.26679 s]
/proc/loadavg: 1.93 1.98 1.91 3/100 9067
/proc/meminfo: memFree=990264/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=915744 CPUtime=6.18
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 41888 0 1 0 516 102 0 0 25 0 8 0 155930839 937721856 41613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876360 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9059/statm: 228936 41613 2179 14 0 215406 0
[pid=9059/tid=9061] ppid=9057 vsize=915744 CPUtime=1.05
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 25240 0 0 0 95 10 0 0 16 0 8 0 155930843 937721856 41613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9062] ppid=9057 vsize=915744 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 937721856 41613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=915744 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155930843 937721856 41613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=915744 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 937721856 41613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=915744 CPUtime=0.22
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 444 0 0 0 21 1 0 0 16 0 8 0 155930847 937721856 41613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9066] ppid=9057 vsize=915744 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 937721856 41613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=915744 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 937721856 41613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915744

[startup+12.6675 s]
/proc/loadavg: 2.01 2.00 1.92 3/100 9067
/proc/meminfo: memFree=845176/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=12.51
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 68868 0 1 0 1137 114 0 0 25 0 8 0 155930839 938323968 68452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288767 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9059/statm: 229083 68452 2529 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=1.87
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 51541 0 0 0 166 21 0 0 16 0 8 0 155930843 938323968 68452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 68452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 68452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 68452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.4
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 684 0 0 0 39 1 0 0 16 0 8 0 155930847 938323968 68452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 68452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 68452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 916332

[startup+25.52 s]
/proc/loadavg: 2.00 2.00 1.92 2/88 9083
/proc/meminfo: memFree=973336/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=25.25
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 68873 0 1 0 2410 115 0 0 25 0 8 0 155930839 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074349347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 68456 2530 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=1.87
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 51541 0 0 0 166 21 0 0 16 0 8 0 155930843 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.41
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 686 0 0 0 39 2 0 0 16 0 8 0 155930847 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 916332

[startup+51.139 s]
/proc/loadavg: 1.94 1.98 1.91 3/100 9125
/proc/meminfo: memFree=872824/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=50.86
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 68874 0 1 0 4968 118 0 0 25 0 8 0 155930839 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 68456 2530 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=1.87
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 51541 0 0 0 166 21 0 0 16 0 8 0 155930843 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.41
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 687 0 0 0 39 2 0 0 16 0 8 0 155930847 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 68456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 916332

[startup+102.384 s]
/proc/loadavg: 2.01 2.00 1.92 3/100 9125
/proc/meminfo: memFree=872952/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=102.08
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 68891 0 1 0 10090 118 0 0 25 0 8 0 155930839 938323968 68469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 68469 2532 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=1.87
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 51541 0 0 0 166 21 0 0 16 0 8 0 155930843 938323968 68469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 68469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 68469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 68469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.43
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 698 0 0 0 41 2 0 0 16 0 8 0 155930847 938323968 68469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 68469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 68469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 916332

[startup+162.482 s]
/proc/loadavg: 2.07 2.02 1.93 3/100 9125
/proc/meminfo: memFree=873016/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=162.16
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 68898 0 1 0 16098 118 0 0 25 0 8 0 155930839 938323968 68473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.68
Current children cumulated vsize (KiB) 916332

[startup+1484.47 s]
/proc/loadavg: 2.00 2.02 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=1483.76
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 72964 0 1 0 148245 131 0 0 25 0 8 0 155930839 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 72528 2532 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=2.02
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 55589 0 0 0 179 23 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.46
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 713 0 0 0 44 2 0 0 16 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.76
Current children cumulated vsize (KiB) 916332

[startup+1544.57 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 9125
/proc/meminfo: memFree=856568/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=1543.83
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 72964 0 1 0 154252 131 0 0 25 0 8 0 155930839 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074349347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 72528 2532 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=2.02
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 55589 0 0 0 179 23 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.46
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 713 0 0 0 44 2 0 0 16 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.83
Current children cumulated vsize (KiB) 916332

[startup+1604.65 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=1603.91
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 72964 0 1 0 160259 132 0 0 25 0 8 0 155930839 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 72528 2532 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=2.02
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 55589 0 0 0 179 23 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.46
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 713 0 0 0 44 2 0 0 16 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.91
Current children cumulated vsize (KiB) 916332

[startup+1664.74 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=1663.97
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 72964 0 1 0 166265 132 0 0 25 0 8 0 155930839 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 72528 2532 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=2.02
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 55589 0 0 0 179 23 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.46
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 713 0 0 0 44 2 0 0 16 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.97
Current children cumulated vsize (KiB) 916332

[startup+1724.83 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=1724.05
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 72964 0 1 0 172272 133 0 0 25 0 8 0 155930839 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074322344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 72528 2532 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=2.02
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 55589 0 0 0 179 23 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.46
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 713 0 0 0 44 2 0 0 16 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1724.05
Current children cumulated vsize (KiB) 916332

[startup+1784.93 s]
/proc/loadavg: 2.07 2.02 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=1784.12
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 72964 0 1 0 178279 133 0 0 25 0 8 0 155930839 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 72528 2532 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=2.02
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 55589 0 0 0 179 23 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.46
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 713 0 0 0 44 2 0 0 16 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.12
Current children cumulated vsize (KiB) 916332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.88 s]
/proc/loadavg: 2.05 2.01 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9059] ppid=9057 vsize=916332 CPUtime=1800.08
/proc/9059/stat : 9059 (java) R 9057 9059 8566 0 -1 0 72964 0 1 0 179875 133 0 0 25 0 8 0 155930839 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074345399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9059/statm: 229083 72528 2532 14 0 215553 0
[pid=9059/tid=9061] ppid=9057 vsize=916332 CPUtime=2.02
/proc/9059/task/9061/stat : 9061 (java) S 9057 9059 8566 0 -1 64 55589 0 0 0 179 23 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9062] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9062/stat : 9062 (java) S 9057 9059 8566 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9063] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9063/stat : 9063 (java) S 9057 9059 8566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155930843 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9064] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9064/stat : 9064 (java) S 9057 9059 8566 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9065] ppid=9057 vsize=916332 CPUtime=0.46
/proc/9059/task/9065/stat : 9065 (java) S 9057 9059 8566 0 -1 64 713 0 0 0 44 2 0 0 16 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9059/tid=9066] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9066/stat : 9066 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9059/tid=9067] ppid=9057 vsize=916332 CPUtime=0
/proc/9059/task/9067/stat : 9067 (java) S 9057 9059 8566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155930847 938323968 72528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 916332

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

Child status: 143
Real time (s): 1800.96
CPU time (s): 1800.16
CPU user time (s): 1798.78
CPU system time (s): 1.38279
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 916332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.38279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72980
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= 38464
involuntary context switches= 47206

runsolver used 2.14667 s user time and 5.83311 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Jan  6 09:22:34 UTC 2007


IDJOB= 210802
IDBENCH= 4647
FILE ID= node6/210802-1168075352

PBS_JOBID= 3475771

Free space on /tmp= 66513 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c3621a55ea125183ef6096030f8fc720

RANDOM SEED= 397843563

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.240
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.240
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:      2055924 kB
MemFree:       1110160 kB
Buffers:         82840 kB
Cached:         607520 kB
SwapCached:       3036 kB
Active:         495724 kB
Inactive:       353148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1110160 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:           11992 kB
Writeback:           0 kB
Mapped:         177676 kB
Slab:            81424 kB
Committed_AS:  5024612 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= 66516 MiB



End job on node6 on Sat Jan  6 09:52:35 UTC 2007