Trace number 217693

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.14 1816.73

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-70-12-a3.xml
MD5SUMfdb8a82ab84ab99e0d3021e158248c01
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark757.64
SatisfiableNO
(Un)Satisfiability was proved
Number of variables78
Number of constraints2277
Maximum constraint arity3
Maximum domain size71
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2277
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/217693-1168079483/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.42	     nbVariables=78  nbDomainTypes=2  minDomainSize=70  maxDomainSize=71
0.42	       =>  wckTime=0.109  cpuTime=0.09  mem=6M951
0.42	   
0.42	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
0.93	     nbConstraints=2277  nbConvertedConstraints=2211  nbConvertConstraintsChecks=9941  nbExtensionStructures=2
0.93	     nbSharedExtensionStructures=2209  nbConflictsStructures=2  nbSharedConflictsStructures=2209
0.93	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=72  nbEvaluationManagers=1
0.93	     nbSharedEvaluationManagers=65  maxDegree=66  maxArity=3
0.93	       =>  wckTime=0.62  cpuTime=0.46  mem=15M728
0.98	   
0.98	   solver IterativeSystematicSolver being built... 
1.15	       =>  wckTime=0.841  cpuTime=0.6  mem=15M508
4.72	   
4.72	   preprocessing
4.72	     nbConstraintChecks=12172652  nbValidityChecks=31830  nbPropagations=90  nbRevisions=1022  nbUselessRevisions=780
4.72	     nbRemovedValues=572  detectedInconsistency=no
4.72	       =>  wckTime=3.569  cpuTime=3.51  mem=15M508
9.60	   
9.60	   search
9.60	     run=0  nbConstraintChecks=16420161  nbValidityChecks=327414  nbPropagations=2687  nbRevisions=29928
9.60	     nbUselessRevisions=21639  nbAssignments=27  nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=51
9.60	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
9.60	       =>  wckTime=8.447  cpuTime=8.32  mem=16M500
12.52	   
12.52	   search
12.52	     run=1  nbConstraintChecks=26339026  nbValidityChecks=711363  nbPropagations=9130  nbRevisions=97271
12.52	     nbUselessRevisions=70455  nbAssignments=74  nbFailedAssignments=39  nbBacktracks=25  nbVisitedNodes=139
12.52	     nbRestartNogoods=4  mapSize=25  nbInferences=0  nbTooLargeKeys=0
12.52	       =>  wckTime=11.363  cpuTime=11.2  mem=16M500
14.12	   
14.12	   search
14.12	     run=2  nbConstraintChecks=31625034  nbValidityChecks=999617  nbPropagations=20559  nbRevisions=209121
14.12	     nbUselessRevisions=151834  nbAssignments=137  nbFailedAssignments=73  nbBacktracks=47  nbVisitedNodes=258
14.12	     nbRestartNogoods=15  mapSize=47  nbInferences=0  nbTooLargeKeys=0
14.12	       =>  wckTime=12.963  cpuTime=12.79  mem=16M500
16.77	   
16.77	   search
16.77	     run=3  nbConstraintChecks=40311188  nbValidityChecks=1608515  nbPropagations=39702  nbRevisions=400198
16.77	     nbUselessRevisions=289994  nbAssignments=247  nbFailedAssignments=142  nbBacktracks=81  nbVisitedNodes=471
16.77	     nbRestartNogoods=18  mapSize=81  nbInferences=0  nbTooLargeKeys=0
16.77	       =>  wckTime=15.621  cpuTime=15.42  mem=16M500
18.27	   
18.27	   search
18.27	     run=4  nbConstraintChecks=45308224  nbValidityChecks=1837134  nbPropagations=62952  nbRevisions=630740
18.27	     nbUselessRevisions=457790  nbAssignments=336  nbFailedAssignments=173  nbBacktracks=133  nbVisitedNodes=608
18.27	     nbRestartNogoods=24  mapSize=98  nbInferences=0  nbTooLargeKeys=0
18.27	       =>  wckTime=17.12  cpuTime=16.9  mem=16M500
19.86	   
19.86	   search
19.86	     run=5  nbConstraintChecks=50481870  nbValidityChecks=2195297  nbPropagations=94821  nbRevisions=961901
19.87	     nbUselessRevisions=701628  nbAssignments=483  nbFailedAssignments=237  nbBacktracks=208  nbVisitedNodes=874
19.87	     nbRestartNogoods=33  mapSize=155  nbInferences=0  nbTooLargeKeys=0
19.87	       =>  wckTime=18.712  cpuTime=18.48  mem=16M500
24.28	   
24.28	   search
24.28	     run=6  nbConstraintChecks=65949194  nbValidityChecks=2877898  nbPropagations=133251  nbRevisions=1347808
24.28	     nbUselessRevisions=982482  nbAssignments=656  nbFailedAssignments=286  nbBacktracks=329  nbVisitedNodes=1132
24.28	     nbRestartNogoods=42  mapSize=197  nbInferences=0  nbTooLargeKeys=0
24.28	       =>  wckTime=23.123  cpuTime=22.85  mem=16M500
29.73	   
29.73	   search
29.73	     run=7  nbConstraintChecks=84916587  nbValidityChecks=3726842  nbPropagations=180704  nbRevisions=1808860
29.73	     nbUselessRevisions=1314011  nbAssignments=908  nbFailedAssignments=357  nbBacktracks=508  nbVisitedNodes=1502
29.73	     nbRestartNogoods=51  mapSize=253  nbInferences=0  nbTooLargeKeys=0
29.73	       =>  wckTime=28.58  cpuTime=28.25  mem=16M500
35.50	   
35.50	   search
35.50	     run=8  nbConstraintChecks=104744710  nbValidityChecks=4606239  nbPropagations=238609  nbRevisions=2355773
35.50	     nbUselessRevisions=1703443  nbAssignments=1252  nbFailedAssignments=441  nbBacktracks=764  nbVisitedNodes=1985
35.50	     nbRestartNogoods=63  mapSize=318  nbInferences=0  nbTooLargeKeys=0
35.50	       =>  wckTime=34.351  cpuTime=33.96  mem=17M475
39.61	   
39.61	   search
39.61	     run=9  nbConstraintChecks=117920663  nbValidityChecks=5445085  nbPropagations=316081  nbRevisions=3053896
39.61	     nbUselessRevisions=2198278  nbAssignments=1807  nbFailedAssignments=602  nbBacktracks=1150  nbVisitedNodes=2801
39.61	     nbRestartNogoods=75  mapSize=439  nbInferences=0  nbTooLargeKeys=0
39.61	       =>  wckTime=38.458  cpuTime=38.01  mem=17M475
52.58	   
52.58	   search
52.58	     run=10  nbConstraintChecks=160245573  nbValidityChecks=6845395  nbPropagations=425206  nbRevisions=4010127
52.58	     nbUselessRevisions=2880549  nbAssignments=2722  nbFailedAssignments=928  nbBacktracks=1737  nbVisitedNodes=4217
52.58	     nbRestartNogoods=93  mapSize=631  nbInferences=0  nbTooLargeKeys=0
52.58	       =>  wckTime=51.43  cpuTime=50.85  mem=17M475
64.43	   
64.43	   search
64.43	     run=11  nbConstraintChecks=198449223  nbValidityChecks=8987608  nbPropagations=577774  nbRevisions=5319945
64.43	     nbUselessRevisions=3802881  nbAssignments=3978  nbFailedAssignments=1312  nbBacktracks=2602  nbVisitedNodes=6059
64.43	     nbRestartNogoods=100  mapSize=896  nbInferences=0  nbTooLargeKeys=0
64.43	       =>  wckTime=63.282  cpuTime=62.59  mem=18M450
75.61	   
75.61	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=18M450)
89.35	   
89.35	   search
89.35	     run=12  nbConstraintChecks=279565139  nbValidityChecks=12411008  nbPropagations=804118  nbRevisions=7160176
89.35	     nbUselessRevisions=5089822  nbAssignments=5927  nbFailedAssignments=1960  nbBacktracks=3901  nbVisitedNodes=8971
89.35	     nbRestartNogoods=126
89.35	       =>  wckTime=88.2  cpuTime=87.29  mem=18M450
113.20	   
113.20	   search
113.20	     run=13  nbConstraintChecks=353917115  nbValidityChecks=17989446  nbPropagations=1227728  nbRevisions=11068156
113.20	     nbUselessRevisions=7953787  nbAssignments=10087  nbFailedAssignments=4163  nbBacktracks=5848  nbVisitedNodes=16334
113.20	     nbRestartNogoods=136
113.20	       =>  wckTime=112.052  cpuTime=110.91  mem=18M450
183.89	   
183.89	   search
183.89	     run=14  nbConstraintChecks=584573080  nbValidityChecks=26997798  nbPropagations=1849663  nbRevisions=16360486
183.89	     nbUselessRevisions=11763380  nbAssignments=14852  nbFailedAssignments=6000  nbBacktracks=8771  nbVisitedNodes=23932
183.89	     nbRestartNogoods=159
183.89	       =>  wckTime=182.736  cpuTime=180.94  mem=18M450
275.71	   
275.72	   search
275.72	     run=15  nbConstraintChecks=873453416  nbValidityChecks=43091018  nbPropagations=2929751  nbRevisions=24873703
275.72	     nbUselessRevisions=17810451  nbAssignments=23655  nbFailedAssignments=10414  nbBacktracks=13149
275.72	     nbVisitedNodes=39435  nbRestartNogoods=167
275.72	       =>  wckTime=274.563  cpuTime=271.93  mem=18M450
421.93	   
421.93	   search
421.93	     run=16  nbConstraintChecks=1350394047  nbValidityChecks=69650896  nbPropagations=4687652  nbRevisions=39466261
421.93	     nbUselessRevisions=28092577  nbAssignments=37219  nbFailedAssignments=17400  nbBacktracks=19717
421.93	     nbVisitedNodes=63624  nbRestartNogoods=183
421.93	       =>  wckTime=420.782  cpuTime=416.8  mem=18M450
632.55	   
632.55	   search
632.55	     run=17  nbConstraintChecks=2049416354  nbValidityChecks=111092910  nbPropagations=7473196  nbRevisions=64794735
632.55	     nbUselessRevisions=45706668  nbAssignments=57252  nbFailedAssignments=27578  nbBacktracks=29569
632.55	     nbVisitedNodes=99015  nbRestartNogoods=199
632.55	       =>  wckTime=631.393  cpuTime=625.47  mem=18M450
928.06	   
928.06	   search
928.06	     run=18  nbConstraintChecks=3061483401  nbValidityChecks=173252794  nbPropagations=11664666  nbRevisions=108726327
928.06	     nbUselessRevisions=75956906  nbAssignments=85777  nbFailedAssignments=41318  nbBacktracks=44348
928.06	     nbVisitedNodes=148881  nbRestartNogoods=206
928.06	       =>  wckTime=926.91  cpuTime=918.28  mem=18M450
1319.19	   
1319.19	   search
1319.19	     run=19  nbConstraintChecks=4326604594  nbValidityChecks=270845753  nbPropagations=18499314  nbRevisions=186904011
1319.19	     nbUselessRevisions=130797526  nbAssignments=137577  nbFailedAssignments=70945  nbBacktracks=66516
1319.19	     nbVisitedNodes=245431  nbRestartNogoods=231
1319.19	       =>  wckTime=1318.035  cpuTime=1305.81  mem=18M450

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/node23/watcher-217693-1168079483 -o ROOT/results/node23/solver-217693-1168079483 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217693-1168079483/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.01 1.00 1.00 4/93 21944
/proc/meminfo: memFree=1520304/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=18540 CPUtime=0
/proc/21943/stat : 21943 (runsolver) R 21941 21943 21744 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156342840 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21943/statm: 4635 279 244 17 0 2626 0

[startup+0.109844 s]
/proc/loadavg: 1.01 1.00 1.00 4/93 21944
/proc/meminfo: memFree=1520304/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=914988 CPUtime=0.09
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 3051 0 1 0 8 1 0 0 18 0 8 0 156342840 936947712 2797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228747 2797 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.517921 s]
/proc/loadavg: 1.01 1.00 1.00 4/93 21944
/proc/meminfo: memFree=1520304/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915328 CPUtime=0.5
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 6397 0 1 0 47 3 0 0 18 0 8 0 156342840 937295872 6136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228832 6136 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33907 s]
/proc/loadavg: 1.16 1.03 1.01 4/100 21951
/proc/meminfo: memFree=1494328/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1.3
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9239 0 1 0 115 15 0 0 18 0 8 0 156342840 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971526 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 8977 2528 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 416 0 0 0 4 0 0 0 17 0 8 0 156342844 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.23
/proc/21943/task/21949/stat : 21949 (java) R 21941 21943 21744 0 -1 64 458 0 0 0 22 1 0 0 20 0 8 0 156342848 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915764

[startup+2.98439 s]
/proc/loadavg: 1.16 1.03 1.01 3/100 21951
/proc/meminfo: memFree=1494200/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=2.94
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9245 0 1 0 278 16 0 0 25 0 8 0 156342840 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 8982 2528 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.24
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 463 0 0 0 23 1 0 0 16 0 8 0 156342848 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915764

[startup+6.27303 s]
/proc/loadavg: 1.16 1.03 1.01 3/100 21951
/proc/meminfo: memFree=1494200/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=6.2
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9254 0 1 0 604 16 0 0 25 0 8 0 156342840 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 8990 2529 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.26
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 469 0 0 0 25 1 0 0 16 0 8 0 156342848 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915764

[startup+12.7553 s]
/proc/loadavg: 1.29 1.06 1.02 3/100 21951
/proc/meminfo: memFree=1494136/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=12.62
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9276 0 1 0 1246 16 0 0 25 0 8 0 156342840 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9008 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 17 0 8 0 156342844 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.28
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 481 0 0 0 27 1 0 0 16 0 8 0 156342848 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915764

[startup+25.6132 s]
/proc/loadavg: 1.40 1.09 1.03 3/100 21951
/proc/meminfo: memFree=1494072/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=25.35
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9283 0 1 0 2519 16 0 0 25 0 8 0 156342840 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9012 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.29
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 485 0 0 0 28 1 0 0 16 0 8 0 156342848 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915764

[startup+51.2277 s]
/proc/loadavg: 1.60 1.17 1.05 3/100 21951
/proc/meminfo: memFree=1493496/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=50.73
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9454 0 1 0 5056 17 0 0 25 0 8 0 156342840 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965229 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9177 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.32
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 500 0 0 0 31 1 0 0 17 0 8 0 156342848 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915764

[startup+102.453 s]
/proc/loadavg: 1.87 1.32 1.11 3/100 21951
/proc/meminfo: memFree=1492408/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=101.49
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9724 0 1 0 10132 17 0 0 25 0 8 0 156342840 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9443 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 503 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915764

[startup+162.525 s]
/proc/loadavg: 1.95 1.44 1.16 3/100 21951
/proc/meminfo: memFree=1492408/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=161.01
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9728 0 1 0 16083 18 0 0 25 0 8 0 156342840 937742336 9447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073967093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1410.99
Current children cumulated vsize (KiB) 915764

[startup+1484.18 s]
/proc/loadavg: 2.00 2.00 1.77 3/100 21951
/proc/meminfo: memFree=1491832/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1470.52
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 147024 28 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.52
Current children cumulated vsize (KiB) 915764

[startup+1544.26 s]
/proc/loadavg: 2.00 2.00 1.78 3/100 21951
/proc/meminfo: memFree=1491832/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1530.04
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 152976 28 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074021951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.04
Current children cumulated vsize (KiB) 915764

[startup+1604.33 s]
/proc/loadavg: 2.00 2.00 1.79 3/100 21951
/proc/meminfo: memFree=1491832/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1589.57
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 158928 29 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073970821 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.57
Current children cumulated vsize (KiB) 915764

[startup+1664.41 s]
/proc/loadavg: 2.00 2.00 1.80 3/100 21951
/proc/meminfo: memFree=1491896/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1649.09
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 164880 29 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965165 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.09
Current children cumulated vsize (KiB) 915764

[startup+1724.48 s]
/proc/loadavg: 2.00 2.00 1.82 3/100 21951
/proc/meminfo: memFree=1491832/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1708.62
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 170832 30 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073970663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.62
Current children cumulated vsize (KiB) 915764

[startup+1784.57 s]
/proc/loadavg: 2.00 2.00 1.82 3/106 22017
/proc/meminfo: memFree=1490520/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1768.1
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 176780 30 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.1
Current children cumulated vsize (KiB) 915764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.67 s]
/proc/loadavg: 1.66 1.91 1.80 2/94 22099
/proc/meminfo: memFree=1522264/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1800.08
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 179975 33 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009110 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 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) 915764

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

Child status: 143
Real time (s): 1816.73
CPU time (s): 1800.14
CPU user time (s): 1799.8
CPU system time (s): 0.338948
CPU usage (%): 99.0869
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.338948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9764
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= 37928
involuntary context switches= 71067

runsolver used 1.74073 s user time and 6.31104 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sat Jan  6 10:31:25 UTC 2007


IDJOB= 217693
IDBENCH= 5165
FILE ID= node23/217693-1168079483

PBS_JOBID= 3476092

Free space on /tmp= 66548 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-70-12-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217693-1168079483/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-217693-1168079483 -o ROOT/results/node23/solver-217693-1168079483 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217693-1168079483/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fdb8a82ab84ab99e0d3021e158248c01

RANDOM SEED= 242864633

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1520784 kB
Buffers:         44348 kB
Cached:         321968 kB
SwapCached:          0 kB
Active:         161144 kB
Inactive:       296868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1520784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4104 kB
Writeback:           0 kB
Mapped:         120740 kB
Slab:            61800 kB
Committed_AS:  3797364 kB
PageTables:       2396 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= 66548 MiB



End job on node23 on Sat Jan  6 11:01:45 UTC 2007