Trace number 217844

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 1801.02

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-67-11-a3.xml
MD5SUMd7c2fefbd3266c439250439ebb1f1515
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 benchmark822.148
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables66
Number of constraints1595
Maximum constraint arity3
Maximum domain size68
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1595
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/217844-1168079502/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=66  nbDomainTypes=2  minDomainSize=67  maxDomainSize=68
0.42	       =>  wckTime=0.106  cpuTime=0.09  mem=6M951
0.42	   
0.42	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
0.85	     nbConstraints=1595  nbConvertedConstraints=1540  nbConvertConstraintsChecks=9113  nbExtensionStructures=2
0.85	     nbSharedExtensionStructures=1538  nbConflictsStructures=2  nbSharedConflictsStructures=1538
0.85	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=69  nbEvaluationManagers=1
0.85	     nbSharedEvaluationManagers=54  maxDegree=55  maxArity=3
0.85	       =>  wckTime=0.543  cpuTime=0.4  mem=12M803
0.90	   
0.90	   solver IterativeSystematicSolver being built... 
1.05	       =>  wckTime=0.74  cpuTime=0.52  mem=15M182
3.52	   
3.52	   preprocessing
3.52	     nbConstraintChecks=8915650  nbValidityChecks=25058  nbPropagations=77  nbRevisions=839  nbUselessRevisions=639
3.52	     nbRemovedValues=440  detectedInconsistency=no
3.52	       =>  wckTime=2.464  cpuTime=2.43  mem=15M182
6.93	   
6.93	   search
6.93	     run=0  nbConstraintChecks=12313803  nbValidityChecks=210790  nbPropagations=2140  nbRevisions=20734
6.93	     nbUselessRevisions=15094  nbAssignments=28  nbFailedAssignments=11  nbBacktracks=12  nbVisitedNodes=52
6.93	     nbRestartNogoods=0  mapSize=12  nbInferences=0  nbTooLargeKeys=0
6.93	       =>  wckTime=5.872  cpuTime=5.82  mem=16M157
10.36	   
10.36	   search
10.36	     run=1  nbConstraintChecks=24778571  nbValidityChecks=778509  nbPropagations=7648  nbRevisions=84195
10.36	     nbUselessRevisions=60842  nbAssignments=72  nbFailedAssignments=31  nbBacktracks=28  nbVisitedNodes=132
10.36	     nbRestartNogoods=4  mapSize=28  nbInferences=0  nbTooLargeKeys=0
10.36	       =>  wckTime=9.309  cpuTime=9.24  mem=16M157
12.33	   
12.33	   search
12.33	     run=2  nbConstraintChecks=31833460  nbValidityChecks=1070711  nbPropagations=16506  nbRevisions=182773
12.33	     nbUselessRevisions=132352  nbAssignments=129  nbFailedAssignments=58  nbBacktracks=50  nbVisitedNodes=238
12.33	     nbRestartNogoods=14  mapSize=50  nbInferences=0  nbTooLargeKeys=0
12.33	       =>  wckTime=11.281  cpuTime=11.2  mem=16M157
14.97	   
14.97	   search
14.97	     run=3  nbConstraintChecks=41551237  nbValidityChecks=1577971  nbPropagations=30788  nbRevisions=338374
14.97	     nbUselessRevisions=245833  nbAssignments=223  nbFailedAssignments=108  nbBacktracks=87  nbVisitedNodes=403
14.97	     nbRestartNogoods=25  mapSize=72  nbInferences=0  nbTooLargeKeys=0
14.97	       =>  wckTime=13.915  cpuTime=13.83  mem=16M157
16.37	   
16.37	   search
16.37	     run=4  nbConstraintChecks=46426097  nbValidityChecks=1849971  nbPropagations=49158  nbRevisions=532764
16.37	     nbUselessRevisions=388419  nbAssignments=323  nbFailedAssignments=152  nbBacktracks=137  nbVisitedNodes=562
16.37	     nbRestartNogoods=34  mapSize=88  nbInferences=0  nbTooLargeKeys=0
16.37	       =>  wckTime=15.312  cpuTime=15.21  mem=16M157
17.50	   
17.50	   search
17.50	     run=5  nbConstraintChecks=50593176  nbValidityChecks=2066031  nbPropagations=70712  nbRevisions=757851
17.50	     nbUselessRevisions=553752  nbAssignments=428  nbFailedAssignments=176  nbBacktracks=212  nbVisitedNodes=705
17.50	     nbRestartNogoods=49  mapSize=102  nbInferences=0  nbTooLargeKeys=0
17.50	       =>  wckTime=16.451  cpuTime=16.36  mem=16M157
18.99	   
18.99	   search
18.99	     run=6  nbConstraintChecks=56000894  nbValidityChecks=2396294  nbPropagations=97587  nbRevisions=1033966
18.99	     nbUselessRevisions=755647  nbAssignments=597  nbFailedAssignments=226  nbBacktracks=325  nbVisitedNodes=945
18.99	     nbRestartNogoods=66  mapSize=128  nbInferences=0  nbTooLargeKeys=0
18.99	       =>  wckTime=17.935  cpuTime=17.84  mem=16M157
24.90	   
24.90	   search
24.90	     run=7  nbConstraintChecks=77916721  nbValidityChecks=2983363  nbPropagations=133833  nbRevisions=1385661
24.90	     nbUselessRevisions=1012404  nbAssignments=880  nbFailedAssignments=321  nbBacktracks=503  nbVisitedNodes=1382
24.90	     nbRestartNogoods=73  mapSize=190  nbInferences=0  nbTooLargeKeys=0
24.90	       =>  wckTime=23.844  cpuTime=23.74  mem=16M157
26.51	   
26.51	   search
26.51	     run=8  nbConstraintChecks=83454447  nbValidityChecks=3288715  nbPropagations=180320  nbRevisions=1830194
26.51	     nbUselessRevisions=1341413  nbAssignments=1259  nbFailedAssignments=431  nbBacktracks=761  nbVisitedNodes=1933
26.51	     nbRestartNogoods=91  mapSize=257  nbInferences=0  nbTooLargeKeys=0
26.51	       =>  wckTime=25.461  cpuTime=25.35  mem=16M157
32.26	   
32.26	   search
32.26	     run=9  nbConstraintChecks=104659613  nbValidityChecks=4238284  nbPropagations=240860  nbRevisions=2376517
32.26	     nbUselessRevisions=1739805  nbAssignments=1798  nbFailedAssignments=575  nbBacktracks=1149  nbVisitedNodes=2703
32.26	     nbRestartNogoods=98  mapSize=384  nbInferences=0  nbTooLargeKeys=0
32.26	       =>  wckTime=31.205  cpuTime=31.07  mem=16M157
40.66	   
40.66	   search
40.66	     run=10  nbConstraintChecks=134960832  nbValidityChecks=5524798  nbPropagations=326909  nbRevisions=3159447
40.66	     nbUselessRevisions=2312257  nbAssignments=2690  nbFailedAssignments=885  nbBacktracks=1727  nbVisitedNodes=4080
40.66	     nbRestartNogoods=113  mapSize=593  nbInferences=0  nbTooLargeKeys=0
40.66	       =>  wckTime=39.607  cpuTime=39.44  mem=17M132
45.13	   
45.13	   search
45.13	     run=11  nbConstraintChecks=149993504  nbValidityChecks=6810274  nbPropagations=465000  nbRevisions=4466446
45.13	     nbUselessRevisions=3281840  nbAssignments=4236  nbFailedAssignments=1545  nbBacktracks=2592  nbVisitedNodes=6624
45.13	     nbRestartNogoods=133  mapSize=968  nbInferences=0  nbTooLargeKeys=0
45.13	       =>  wckTime=44.079  cpuTime=43.91  mem=17M132
46.47	   
46.47	   INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=17M132)
51.49	   
51.49	   search
51.49	     run=12  nbConstraintChecks=171339912  nbValidityChecks=8973212  nbPropagations=707779  nbRevisions=6886057
51.49	     nbUselessRevisions=5120342  nbAssignments=7079  nbFailedAssignments=3081  nbBacktracks=3889  nbVisitedNodes=11589
51.49	     nbRestartNogoods=147
51.49	       =>  wckTime=50.439  cpuTime=50.26  mem=17M132
61.93	   
61.93	   search
61.93	     run=13  nbConstraintChecks=207201928  nbValidityChecks=12174872  nbPropagations=1096206  nbRevisions=10856247
61.93	     nbUselessRevisions=8163592  nbAssignments=11039  nbFailedAssignments=5088  nbBacktracks=5835  nbVisitedNodes=18394
61.93	     nbRestartNogoods=178
61.93	       =>  wckTime=60.874  cpuTime=60.67  mem=17M132
97.43	   
97.43	   search
97.43	     run=14  nbConstraintChecks=338633107  nbValidityChecks=21048970  nbPropagations=1720136  nbRevisions=17295155
97.43	     nbUselessRevisions=13068115  nbAssignments=17147  nbFailedAssignments=8270  nbBacktracks=8755  nbVisitedNodes=29210
97.43	     nbRestartNogoods=201
97.43	       =>  wckTime=96.374  cpuTime=96.15  mem=17M132
149.57	   
149.57	   search
149.57	     run=15  nbConstraintChecks=530004255  nbValidityChecks=30850403  nbPropagations=2583970  nbRevisions=25631557
149.57	     nbUselessRevisions=19244573  nbAssignments=24553  nbFailedAssignments=11291  nbBacktracks=13136
149.57	     nbVisitedNodes=41008  nbRestartNogoods=221
149.57	       =>  wckTime=148.52  cpuTime=148.24  mem=17M132
208.18	   
208.18	   search
208.18	     run=16  nbConstraintChecks=726286812  nbValidityChecks=48304457  nbPropagations=4215972  nbRevisions=41071352
208.18	     nbUselessRevisions=30787723  nbAssignments=41592  nbFailedAssignments=21750  nbBacktracks=19706
208.19	     nbVisitedNodes=72683  nbRestartNogoods=233
208.19	       =>  wckTime=207.132  cpuTime=206.8  mem=17M132
331.49	   
331.49	   search
331.49	     run=17  nbConstraintChecks=1162426552  nbValidityChecks=76469951  nbPropagations=6753952  nbRevisions=63625799
331.49	     nbUselessRevisions=47160310  nbAssignments=63856  nbFailedAssignments=34154  nbBacktracks=29562
331.49	     nbVisitedNodes=112293  nbRestartNogoods=244
331.49	       =>  wckTime=330.436  cpuTime=330.06  mem=18M107
478.10	   
478.10	   search
478.10	     run=18  nbConstraintChecks=1664223196  nbValidityChecks=116273888  nbPropagations=10873503  nbRevisions=99934499
478.10	     nbUselessRevisions=73564813  nbAssignments=100981  nbFailedAssignments=56496  nbBacktracks=44342
478.10	     nbVisitedNodes=180149  nbRestartNogoods=261
478.10	       =>  wckTime=477.051  cpuTime=476.62  mem=18M107
688.86	   
688.86	   search
688.86	     run=19  nbConstraintChecks=2385090238  nbValidityChecks=179332217  nbPropagations=17559870  nbRevisions=161139990
688.86	     nbUselessRevisions=118451095  nbAssignments=158785  nbFailedAssignments=92125  nbBacktracks=66513
688.86	     nbVisitedNodes=287762  nbRestartNogoods=279
688.86	       =>  wckTime=687.805  cpuTime=687.29  mem=18M107
1046.45	   
1046.45	   search
1046.45	     run=20  nbConstraintChecks=3611441289  nbValidityChecks=282772483  nbPropagations=28392767  nbRevisions=261816940
1046.45	     nbUselessRevisions=192333316  nbAssignments=247925  nbFailedAssignments=148006  nbBacktracks=99769
1046.46	     nbVisitedNodes=455510  nbRestartNogoods=293
1046.46	       =>  wckTime=1045.402  cpuTime=1044.76  mem=18M107
1611.69	   
1611.69	   search
1611.69	     run=21  nbConstraintChecks=5574859881  nbValidityChecks=448982072  nbPropagations=45427756  nbRevisions=422866468
1611.69	     nbUselessRevisions=309914206  nbAssignments=376058  nbFailedAssignments=226253  nbBacktracks=149648
1611.69	     nbVisitedNodes=696017  nbRestartNogoods=310
1611.69	       =>  wckTime=1610.639  cpuTime=1609.78  mem=18M107

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/node61/watcher-217844-1168079502 -o ROOT/results/node61/solver-217844-1168079502 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217844-1168079502/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: 0.64 0.93 1.14 4/73 6812
/proc/meminfo: memFree=1338744/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=18540 CPUtime=0
/proc/6811/stat : 6811 (runsolver) R 6809 6811 6702 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156348210 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 246406507815 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/6811/statm: 4635 279 244 17 0 2626 0

[startup+0.1076 s]
/proc/loadavg: 0.64 0.93 1.14 4/73 6812
/proc/meminfo: memFree=1338744/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=914988 CPUtime=0.08
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 3018 0 1 0 7 1 0 0 20 0 8 0 156348210 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153570529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6811/statm: 228747 2764 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515674 s]
/proc/loadavg: 0.64 0.93 1.14 4/73 6812
/proc/meminfo: memFree=1338744/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915328 CPUtime=0.49
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 6378 0 1 0 45 4 0 0 18 0 8 0 156348210 937295872 6117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6811/statm: 228832 6117 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33781 s]
/proc/loadavg: 0.64 0.93 1.14 2/75 6826
/proc/meminfo: memFree=1316072/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=1.31
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 8771 0 1 0 118 13 0 0 19 0 8 0 156348210 937549824 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073951632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 8509 2528 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 330 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.22
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 407 0 0 0 22 0 0 0 15 0 8 0 156348218 937549824 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 8509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 8509 18446744073709551615 134512640 134570532 4294956480 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) 915576

[startup+2.9901 s]
/proc/loadavg: 0.64 0.93 1.14 2/75 6834
/proc/meminfo: memFree=1315816/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=2.96
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 8776 0 1 0 283 13 0 0 25 0 8 0 156348210 937549824 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073978508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 8514 2528 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 330 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.22
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 412 0 0 0 22 0 0 0 16 0 8 0 156348218 937549824 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915576

[startup+6.27067 s]
/proc/loadavg: 0.67 0.93 1.14 2/75 6837
/proc/meminfo: memFree=1317032/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=6.23
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 8876 0 1 0 610 13 0 0 18 0 8 0 156348210 937549824 8612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073949818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 8612 2529 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 330 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 8612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 8612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 8612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 8612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.25
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 419 0 0 0 24 1 0 0 16 0 8 0 156348218 937549824 8612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 8612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 8612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915576

[startup+12.7588 s]
/proc/loadavg: 0.69 0.93 1.14 2/75 6890
/proc/meminfo: memFree=1314480/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=12.7
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 8922 0 1 0 1256 14 0 0 25 0 8 0 156348210 937549824 8654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953404 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 8654 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 8654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 8654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 8654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 8654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.26
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 430 0 0 0 25 1 0 0 15 0 8 0 156348218 937549824 8654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 8654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 8654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915576

[startup+25.6161 s]
/proc/loadavg: 0.83 0.95 1.14 2/75 6946
/proc/meminfo: memFree=1312816/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=25.55
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9020 0 1 0 2539 16 0 0 22 0 8 0 156348210 937549824 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991058 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 8750 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.27
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 433 0 0 0 26 1 0 0 15 0 8 0 156348218 937549824 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915576

[startup+51.2336 s]
/proc/loadavg: 1.17 1.02 1.16 3/87 6994
/proc/meminfo: memFree=1249032/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=51.13
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9380 0 1 0 5096 17 0 0 25 0 8 0 156348210 937549824 9101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073766324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 9101 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 9101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 9101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 9101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 9101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.3
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 452 0 0 0 29 1 0 0 16 0 8 0 156348218 937549824 9101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 9101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 9101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915576

[startup+102.482 s]
/proc/loadavg: 1.64 1.17 1.20 3/87 6994
/proc/meminfo: memFree=1249032/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=102.32
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9392 0 1 0 10215 17 0 0 25 0 8 0 156348210 937549824 9112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 9112 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 9112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 9112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 9112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 9112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.31
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 156348218 937549824 9112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 9112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 9112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915576

[startup+162.583 s]
/proc/loadavg: 1.82 1.30 1.24 4/87 7050
/proc/meminfo: memFree=1250056/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=162.35
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9395 0 1 0 16216 19 0 0 25 0 8 0 156348210 937549824 9114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 915576

[startup+1482.96 s]
/proc/loadavg: 1.03 1.01 1.04 2/72 7064
/proc/meminfo: memFree=1316568/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=1482.23
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9408 0 1 0 148202 21 0 0 25 0 8 0 156348210 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073949798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 9127 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.31
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 915576

[startup+1542.98 s]
/proc/loadavg: 1.01 1.01 1.04 2/72 7064
/proc/meminfo: memFree=1316568/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=1542.22
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9408 0 1 0 154201 21 0 0 25 0 8 0 156348210 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073949615 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 9127 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.31
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 915576

[startup+1603 s]
/proc/loadavg: 1.00 1.00 1.03 2/75 7128
/proc/meminfo: memFree=1308920/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=1602.22
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9408 0 1 0 160200 22 0 0 25 0 8 0 156348210 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074010992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 9127 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.31
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 9127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 915576

[startup+1663.02 s]
/proc/loadavg: 1.00 1.00 1.03 2/75 7149
/proc/meminfo: memFree=1310840/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=1662.2
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9411 0 1 0 166197 23 0 0 25 0 8 0 156348210 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 9130 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.31
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 915576

[startup+1723.04 s]
/proc/loadavg: 1.00 1.00 1.02 2/75 7196
/proc/meminfo: memFree=1308344/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=1722.18
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9411 0 1 0 172194 24 0 0 25 0 8 0 156348210 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 9130 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.31
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.18
Current children cumulated vsize (KiB) 915576

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 1.01 2/81 7313
/proc/meminfo: memFree=1309448/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=1782.16
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9411 0 1 0 178187 29 0 0 25 0 8 0 156348210 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 9130 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.31
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 915576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.98 s]
/proc/loadavg: 1.00 1.00 1.01 2/81 7346
/proc/meminfo: memFree=1309320/2055920 swapFree=4192812/4192956
[pid=6811] ppid=6809 vsize=915576 CPUtime=1800.06
/proc/6811/stat : 6811 (java) R 6809 6811 6702 0 -1 0 9411 0 1 0 179974 32 0 0 25 0 8 0 156348210 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073947838 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6811/statm: 228894 9130 2533 14 0 215364 0
[pid=6811/tid=6816] ppid=6809 vsize=915576 CPUtime=0.03
/proc/6811/task/6816/stat : 6816 (java) S 6809 6811 6702 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 156348214 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6817] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6817/stat : 6817 (java) S 6809 6811 6702 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156348215 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6818] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6818/stat : 6818 (java) S 6809 6811 6702 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156348215 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6823] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6823/stat : 6823 (java) S 6809 6811 6702 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6824] ppid=6809 vsize=915576 CPUtime=0.31
/proc/6811/task/6824/stat : 6824 (java) S 6809 6811 6702 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6811/tid=6825] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6825/stat : 6825 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6811/tid=6826] ppid=6809 vsize=915576 CPUtime=0
/proc/6811/task/6826/stat : 6826 (java) S 6809 6811 6702 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156348218 937549824 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915576

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

Child status: 143
Real time (s): 1801.02
CPU time (s): 1800.11
CPU user time (s): 1799.78
CPU system time (s): 0.32695
CPU usage (%): 99.9493
Max. virtual memory (cumulated for all children) (KiB): 915576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.32695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9429
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= 37744
involuntary context switches= 43099

runsolver used 1.51177 s user time and 5.05923 s system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Jan  6 10:31:44 UTC 2007


IDJOB= 217844
IDBENCH= 5175
FILE ID= node61/217844-1168079502

PBS_JOBID= 3476133

Free space on /tmp= 66508 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d7c2fefbd3266c439250439ebb1f1515

RANDOM SEED= 921473437

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.259
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.259
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:       1340056 kB
Buffers:         48336 kB
Cached:         563120 kB
SwapCached:          0 kB
Active:          98700 kB
Inactive:       533280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1340056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3736 kB
Writeback:           0 kB
Mapped:          31748 kB
Slab:            69576 kB
Committed_AS:  3015896 kB
PageTables:       1700 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= 66510 MiB



End job on node61 on Sat Jan  6 11:01:50 UTC 2007