Trace number 210867

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

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=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/210867-1168075362/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.73	     nbVariables=21380  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.73	       =>  wckTime=0.434  cpuTime=0.35  mem=41M214
0.73	   
0.73	   predicates being loaded...
0.75	   
0.75	   constraints being loaded...
4.97	   
4.97	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 51M564)
6.19	     nbConstraints=59050  nbMergedConstraints=1933  nbSingletonDomainVariables=1  nbConvertedConstraints=16980
6.19	     nbConvertConstraintsChecks=40  nbExtensionStructures=2  nbSharedExtensionStructures=16978  nbConflictsStructures=6
6.19	     nbSharedConflictsStructures=36013  nbSharedBinaryRepresentations=5  nbEvaluationManagers=43
6.19	     nbSharedEvaluationManagers=42027  maxDegree=646  maxArity=13
6.19	       =>  wckTime=5.885  cpuTime=4.69  mem=169M867
6.52	   
6.52	   solver IterativeSystematicSolver being built... 
7.96	       =>  wckTime=7.659  cpuTime=5.8  mem=176M42
8.30	   
8.30	   preprocessing
8.30	     nbConstraintChecks=106404  nbValidityChecks=51343  nbPropagations=21454  nbRevisions=57931
8.30	     nbUselessRevisions=57857  nbRemovedValues=74  detectedInconsistency=no
8.30	       =>  wckTime=0.311  cpuTime=0.28  mem=178M87
78.00	   
78.00	   search
78.00	     run=0  nbConstraintChecks=160971  nbValidityChecks=239846  nbPropagations=46911  nbRevisions=258030
78.00	     nbUselessRevisions=231823  nbAssignments=1288  nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=1307
78.00	     nbRestartNogoods=0  mapSize=4  nbInferences=0  nbTooLargeKeys=0
78.00	       =>  wckTime=70.021  cpuTime=69.89  mem=184M237
147.24	   
147.25	   search
147.25	     run=1  nbConstraintChecks=227777  nbValidityChecks=459439  nbPropagations=114163  nbRevisions=686303
147.25	     nbUselessRevisions=613755  nbAssignments=2564  nbFailedAssignments=18  nbBacktracks=45  nbVisitedNodes=2589
147.25	     nbRestartNogoods=14  mapSize=8  nbInferences=0  nbTooLargeKeys=0
147.25	       =>  wckTime=139.268  cpuTime=139.02  mem=189M350
216.14	   
216.14	   search
216.14	     run=2  nbConstraintChecks=295793  nbValidityChecks=679749  nbPropagations=201821  nbRevisions=1285316
216.14	     nbUselessRevisions=1146233  nbAssignments=3834  nbFailedAssignments=20  nbBacktracks=97  nbVisitedNodes=3867
216.14	     nbRestartNogoods=16  mapSize=14  nbInferences=2  nbTooLargeKeys=0
216.14	       =>  wckTime=208.16  cpuTime=207.83  mem=194M462
286.33	   
286.33	   search
286.33	     run=3  nbConstraintChecks=364678  nbValidityChecks=900740  nbPropagations=310095  nbRevisions=2056394
286.33	     nbUselessRevisions=1830360  nbAssignments=5128  nbFailedAssignments=24  nbBacktracks=139  nbVisitedNodes=5170
286.33	     nbRestartNogoods=18  mapSize=20  nbInferences=3  nbTooLargeKeys=0
286.33	       =>  wckTime=278.357  cpuTime=277.97  mem=200M596
357.72	   
357.72	   search
357.72	     run=4  nbConstraintChecks=435572  nbValidityChecks=1124138  nbPropagations=439219  nbRevisions=3001877
357.72	     nbUselessRevisions=2668241  nbAssignments=6439  nbFailedAssignments=28  nbBacktracks=197  nbVisitedNodes=6493
357.72	     nbRestartNogoods=21  mapSize=29  nbInferences=5  nbTooLargeKeys=0
357.72	       =>  wckTime=349.745  cpuTime=349.28  mem=205M708
428.98	   
428.98	   search
428.98	     run=5  nbConstraintChecks=506678  nbValidityChecks=1347707  nbPropagations=589248  nbRevisions=4122133
428.98	     nbUselessRevisions=3660197  nbAssignments=7747  nbFailedAssignments=30  nbBacktracks=287  nbVisitedNodes=7814
428.98	     nbRestartNogoods=24  mapSize=40  nbInferences=10  nbTooLargeKeys=0
428.98	       =>  wckTime=421.004  cpuTime=420.47  mem=210M820
503.34	   
503.34	   search
503.34	     run=6  nbConstraintChecks=579273  nbValidityChecks=1572334  nbPropagations=760484  nbRevisions=5418878
503.34	     nbUselessRevisions=4807622  nbAssignments=9106  nbFailedAssignments=34  nbBacktracks=416  nbVisitedNodes=9188
503.34	     nbRestartNogoods=26  mapSize=53  nbInferences=13  nbTooLargeKeys=0
503.34	       =>  wckTime=495.366  cpuTime=494.75  mem=215M932
582.42	   
582.42	   search
582.42	     run=7  nbConstraintChecks=655108  nbValidityChecks=1800607  nbPropagations=953515  nbRevisions=6896500
582.42	     nbUselessRevisions=6114318  nbAssignments=10540  nbFailedAssignments=39  nbBacktracks=595  nbVisitedNodes=10641
582.42	     nbRestartNogoods=28  mapSize=70  nbInferences=18  nbTooLargeKeys=0
582.42	       =>  wckTime=574.445  cpuTime=573.68  mem=182M975
668.18	   
668.18	   search
668.18	     run=8  nbConstraintChecks=731979  nbValidityChecks=2030692  nbPropagations=1168737  nbRevisions=8557472
668.18	     nbUselessRevisions=7582343  nbAssignments=12082  nbFailedAssignments=46  nbBacktracks=860  nbVisitedNodes=12207
668.18	     nbRestartNogoods=30  mapSize=90  nbInferences=25  nbTooLargeKeys=0
668.18	       =>  wckTime=660.203  cpuTime=659.35  mem=188M87
760.88	   
760.88	   search
760.88	     run=9  nbConstraintChecks=811076  nbValidityChecks=2261554  nbPropagations=1406952  nbRevisions=10405186
760.88	     nbUselessRevisions=9214262  nbAssignments=13737  nbFailedAssignments=57  nbBacktracks=1255  nbVisitedNodes=13894
760.88	     nbRestartNogoods=34  mapSize=120  nbInferences=35  nbTooLargeKeys=0
760.88	       =>  wckTime=752.899  cpuTime=751.95  mem=194M221
861.90	   
861.90	   search
861.90	     run=10  nbConstraintChecks=904586  nbValidityChecks=2509295  nbPropagations=1670418  nbRevisions=12459698
861.90	     nbUselessRevisions=11027749  nbAssignments=15548  nbFailedAssignments=94  nbBacktracks=1835  nbVisitedNodes=15787
861.90	     nbRestartNogoods=36  mapSize=200  nbInferences=43  nbTooLargeKeys=0
861.90	       =>  wckTime=853.926  cpuTime=852.86  mem=200M356
938.72	   
938.72	   search
938.72	     run=11  nbConstraintChecks=995487  nbValidityChecks=2745145  nbPropagations=1960328  nbRevisions=14719183
938.72	     nbUselessRevisions=13019779  nbAssignments=16997  nbFailedAssignments=116  nbBacktracks=2702  nbVisitedNodes=17296
938.72	     nbRestartNogoods=38  mapSize=259  nbInferences=55  nbTooLargeKeys=0
938.72	       =>  wckTime=930.746  cpuTime=929.59  mem=207M513
1074.58	   
1074.58	   search
1074.58	     run=12  nbConstraintChecks=1166179  nbValidityChecks=3095738  nbPropagations=2300292  nbRevisions=17303841
1074.58	     nbUselessRevisions=15286885  nbAssignments=19456  nbFailedAssignments=161  nbBacktracks=3999  nbVisitedNodes=19910
1074.58	     nbRestartNogoods=39  mapSize=408  nbInferences=121  nbTooLargeKeys=0
1074.58	       =>  wckTime=1066.606  cpuTime=1065.32  mem=216M714
1255.02	   
1255.02	   search
1255.02	     run=13  nbConstraintChecks=1344376  nbValidityChecks=3429825  nbPropagations=2681618  nbRevisions=20200151
1255.02	     nbUselessRevisions=17824331  nbAssignments=22563  nbFailedAssignments=226  nbBacktracks=5953  nbVisitedNodes=23205
1255.02	     nbRestartNogoods=45  mapSize=591  nbInferences=182  nbTooLargeKeys=0
1255.02	       =>  wckTime=1247.041  cpuTime=1245.57  mem=225M916
1492.98	   
1492.98	   search
1492.98	     run=14  nbConstraintChecks=1604618  nbValidityChecks=3842707  nbPropagations=3114317  nbRevisions=23500217
1492.98	     nbUselessRevisions=20713146  nbAssignments=26753  nbFailedAssignments=377  nbBacktracks=8879  nbVisitedNodes=27732
1492.98	     nbRestartNogoods=50  mapSize=924  nbInferences=220  nbTooLargeKeys=0
1492.98	       =>  wckTime=1484.998  cpuTime=1483.25  mem=195M350

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/node1/watcher-210867-1168075362 -o ROOT/results/node1/solver-210867-1168075362 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210867-1168075362/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.91 1.86 1.83 4/93 17084
/proc/meminfo: memFree=1103272/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=172 CPUtime=0
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155932141 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5828907 0 0 4096 0 0 0 0 17 0 0 0
/proc/17083/statm: 43 24 18 14 0 3 0

[startup+0.108324 s]
/proc/loadavg: 1.91 1.86 1.83 4/93 17084
/proc/meminfo: memFree=1103272/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=914988 CPUtime=0.09
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 3073 0 1 0 7 2 0 0 23 0 8 0 155932141 936947712 2819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 228747 2820 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516371 s]
/proc/loadavg: 1.91 1.86 1.83 4/93 17084
/proc/meminfo: memFree=1103272/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=915328 CPUtime=0.5
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 6654 0 1 0 45 5 0 0 25 0 8 0 155932141 937295872 6393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 228832 6393 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33747 s]
/proc/loadavg: 1.91 1.86 1.83 3/100 17091
/proc/meminfo: memFree=1037104/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=915616 CPUtime=1.31
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 20933 0 1 0 120 11 0 0 25 0 8 0 155932141 937590784 20670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 228904 20670 2158 14 0 215374 0
[pid=17083/tid=17085] ppid=17081 vsize=915616 CPUtime=0.15
/proc/17083/task/17085/stat : 17085 (java) R 17081 17083 15760 0 -1 64 4387 0 0 0 14 1 0 0 16 0 8 0 155932145 937590784 20671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 937590784 20671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 937590784 20672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 937590784 20672 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=915616 CPUtime=0.15
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 415 0 0 0 15 0 0 0 16 0 8 0 155932148 937590784 20673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 937590784 20674 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 937590784 20674 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.98966 s]
/proc/loadavg: 1.91 1.86 1.83 3/100 17091
/proc/meminfo: memFree=1021040/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=915616 CPUtime=2.95
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 25563 0 1 0 282 13 0 0 25 0 8 0 155932141 937590784 25295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 228904 25295 2158 14 0 215374 0
[pid=17083/tid=17085] ppid=17081 vsize=915616 CPUtime=0.41
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 9011 0 0 0 39 2 0 0 16 0 8 0 155932145 937590784 25295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 937590784 25295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 937590784 25295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 937590784 25295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=915616 CPUtime=0.15
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 415 0 0 0 15 0 0 0 16 0 8 0 155932148 937590784 25295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 937590784 25295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=915616 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 937590784 25295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915616

[startup+6.28405 s]
/proc/loadavg: 1.92 1.86 1.83 4/100 17091
/proc/meminfo: memFree=976432/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=915996 CPUtime=6.25
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 52330 0 1 0 508 117 0 0 25 0 8 0 155932141 937979904 52053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 228999 52053 2181 14 0 215469 0
[pid=17083/tid=17085] ppid=17081 vsize=915996 CPUtime=1.08
/proc/17083/task/17085/stat : 17085 (java) R 17081 17083 15760 0 -1 64 35670 0 0 0 96 12 0 0 16 0 8 0 155932145 937979904 52053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022613 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=915996 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 937979904 52053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=915996 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 937979904 52053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=915996 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 937979904 52053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=915996 CPUtime=0.22
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 448 0 0 0 21 1 0 0 15 0 8 0 155932148 937979904 52053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=915996 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 937979904 52053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=915996 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 937979904 52053 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915996

[startup+12.7658 s]
/proc/loadavg: 1.93 1.86 1.84 3/100 17091
/proc/meminfo: memFree=868784/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=12.73
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 61333 0 1 0 1151 122 0 0 25 0 8 0 155932141 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288693 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 60988 2529 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.56
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 44004 0 0 0 140 16 0 0 16 0 8 0 155932145 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.39
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 687 0 0 0 38 1 0 0 16 0 8 0 155932148 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916328

[startup+25.6063 s]
/proc/loadavg: 1.94 1.87 1.84 3/100 17091
/proc/meminfo: memFree=868848/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=25.56
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 61333 0 1 0 2434 122 0 0 25 0 8 0 155932141 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 60988 2529 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.56
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 44004 0 0 0 140 16 0 0 16 0 8 0 155932145 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.39
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 687 0 0 0 38 1 0 0 16 0 8 0 155932148 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 916328

[startup+51.2113 s]
/proc/loadavg: 1.96 1.88 1.84 3/100 17091
/proc/meminfo: memFree=857904/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=51.12
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 61334 0 1 0 4990 122 0 0 25 0 8 0 155932141 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 60988 2529 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.56
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 44004 0 0 0 140 16 0 0 16 0 8 0 155932145 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.39
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 688 0 0 0 38 1 0 0 16 0 8 0 155932148 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 60988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 916328

[startup+102.416 s]
/proc/loadavg: 1.98 1.89 1.84 3/100 17091
/proc/meminfo: memFree=857968/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=102.27
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 61355 0 1 0 10105 122 0 0 25 0 8 0 155932141 938319872 61004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074323464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 61004 2532 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.56
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 44004 0 0 0 140 16 0 0 16 0 8 0 155932145 938319872 61004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 61004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 61004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 61004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.41
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 701 0 0 0 40 1 0 0 16 0 8 0 155932148 938319872 61004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 61004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 61004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 916328

[startup+162.46 s]
/proc/loadavg: 1.99 1.91 1.85 3/100 17091
/proc/meminfo: memFree=857968/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=162.26
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 61359 0 1 0 16104 122 0 0 25 0 8 0 155932141 938319872 61006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074345518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 916328

[startup+1483.49 s]
/proc/loadavg: 2.05 2.03 1.93 3/100 17091
/proc/meminfo: memFree=837680/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=1481.92
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 64221 0 1 0 148065 127 0 0 25 0 8 0 155932141 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288678 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 63859 2532 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.67
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 46850 0 0 0 150 17 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.43
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 712 0 0 0 42 1 0 0 16 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 916328

[startup+1543.53 s]
/proc/loadavg: 1.97 2.00 1.93 3/100 17149
/proc/meminfo: memFree=900592/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=1541.91
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 64221 0 1 0 154064 127 0 0 25 0 8 0 155932141 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074345518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 63859 2532 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.67
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 46850 0 0 0 150 17 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.43
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 712 0 0 0 42 1 0 0 16 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 916328

[startup+1603.58 s]
/proc/loadavg: 1.99 2.00 1.93 3/100 17149
/proc/meminfo: memFree=900656/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=1601.91
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 64221 0 1 0 160063 128 0 0 25 0 8 0 155932141 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 63859 2532 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.67
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 46850 0 0 0 150 17 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.43
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 712 0 0 0 42 1 0 0 16 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 916328

[startup+1663.63 s]
/proc/loadavg: 2.03 2.01 1.93 3/100 17149
/proc/meminfo: memFree=900656/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=1661.87
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 64221 0 1 0 166059 128 0 0 25 0 8 0 155932141 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 63859 2532 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.67
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 46850 0 0 0 150 17 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.43
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 712 0 0 0 42 1 0 0 16 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 916328

[startup+1723.67 s]
/proc/loadavg: 2.04 2.02 1.94 3/100 17149
/proc/meminfo: memFree=900656/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=1721.87
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 64221 0 1 0 172059 128 0 0 25 0 8 0 155932141 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074288638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 63859 2532 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.67
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 46850 0 0 0 150 17 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.43
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 712 0 0 0 42 1 0 0 16 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 916328

[startup+1783.73 s]
/proc/loadavg: 2.01 2.02 1.94 3/100 17149
/proc/meminfo: memFree=900656/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=1781.86
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 64221 0 1 0 178058 128 0 0 25 0 8 0 155932141 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074348643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 63859 2532 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.67
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 46850 0 0 0 150 17 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.43
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 712 0 0 0 42 1 0 0 16 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 916328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.93 s]
/proc/loadavg: 2.01 2.02 1.94 3/100 17149
/proc/meminfo: memFree=900656/2055920 swapFree=4165584/4192956
[pid=17083] ppid=17081 vsize=916328 CPUtime=1800.03
/proc/17083/stat : 17083 (java) R 17081 17083 15760 0 -1 0 64221 0 1 0 179875 128 0 0 25 0 8 0 155932141 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17083/statm: 229082 63859 2532 14 0 215552 0
[pid=17083/tid=17085] ppid=17081 vsize=916328 CPUtime=1.67
/proc/17083/task/17085/stat : 17085 (java) S 17081 17083 15760 0 -1 64 46850 0 0 0 150 17 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17086] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17086/stat : 17086 (java) S 17081 17083 15760 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17087] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17087/stat : 17087 (java) S 17081 17083 15760 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155932145 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17088] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17088/stat : 17088 (java) S 17081 17083 15760 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17089] ppid=17081 vsize=916328 CPUtime=0.43
/proc/17083/task/17089/stat : 17089 (java) S 17081 17083 15760 0 -1 64 712 0 0 0 42 1 0 0 16 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17090] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17090/stat : 17090 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155932148 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17083/tid=17091] ppid=17081 vsize=916328 CPUtime=0
/proc/17083/task/17091/stat : 17091 (java) S 17081 17083 15760 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155932149 938319872 63859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 916328

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

Child status: 143
Real time (s): 1802
CPU time (s): 1800.11
CPU user time (s): 1798.78
CPU system time (s): 1.3258
CPU usage (%): 99.8951
Max. virtual memory (cumulated for all children) (KiB): 916328

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

runsolver used 2.46162 s user time and 5.52216 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Jan  6 09:22:44 UTC 2007


IDJOB= 210867
IDBENCH= 4652
FILE ID= node1/210867-1168075362

PBS_JOBID= 3475772

Free space on /tmp= 66292 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 mac.xml 1 XSax /tmp/evaluation/210867-1168075362/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-210867-1168075362 -o ROOT/results/node1/solver-210867-1168075362 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210867-1168075362/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f854735c0a4aa78b40e473f8a33844dd

RANDOM SEED= 671533786

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1103688 kB
Buffers:         69820 kB
Cached:         642868 kB
SwapCached:       3692 kB
Active:         482456 kB
Inactive:       372112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1103688 kB
SwapTotal:     4192956 kB
SwapFree:      4165584 kB
Dirty:           10852 kB
Writeback:           0 kB
Mapped:         161772 kB
Slab:            82180 kB
Committed_AS:  4955752 kB
PageTables:       2584 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= 66293 MiB



End job on node1 on Sat Jan  6 09:52:46 UTC 2007