Trace number 198098

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.04 1820.61

General information on the benchmark

NamegolombRuler/golombRulerArity4/
ruler-70-13-a4.xml
MD5SUM8550458df6e804e35921814f1d43a5d8
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables13
Number of constraints2795
Maximum constraint arity4
Maximum domain size71
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2795
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/198098-1168126866/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=13  nbDomainTypes=1  minDomainSize=71  maxDomainSize=71
0.42	       =>  wckTime=0.103  cpuTime=0.08  mem=6M951
0.42	   
0.42	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
0.89	     nbConstraints=1079  nbMergedConstraints=1716  nbConvertedConstraints=78  nbConvertConstraintsChecks=5041
0.89	     nbExtensionStructures=1  nbSharedExtensionStructures=77  nbConflictsStructures=1  nbSharedConflictsStructures=77
0.89	     nbUnbuiltConflictsStructures=2  nbSharedBinaryRepresentations=1  nbEvaluationManagers=2
0.89	     nbSharedEvaluationManagers=999  maxDegree=298  maxArity=4
0.89	       =>  wckTime=0.573  cpuTime=0.43  mem=27M447
0.94	   
0.94	   solver IterativeSystematicSolver being built... 
1.19	       =>  wckTime=0.871  cpuTime=0.63  mem=29M605
3.89	   
3.89	   preprocessing
3.89	     nbConstraintChecks=2416764  nbValidityChecks=3908375  nbPropagations=392  nbRevisions=125522
3.89	     nbUselessRevisions=123746  nbSingletonTests=59  nbEffectiveSingletonTests=8  nbESACBranches=16  nbRemovedValues=187
3.89	     detectedInconsistency=no
3.89	       =>  wckTime=2.7  cpuTime=2.64  mem=29M605
4.70	   
4.70	   search
4.70	     run=0  nbConstraintChecks=742177  nbValidityChecks=1309397  nbPropagations=540  nbRevisions=166044
4.70	     nbUselessRevisions=163866  nbAssignments=20  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=37
4.70	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
4.70	       =>  wckTime=3.514  cpuTime=3.45  mem=30M594
5.87	   
5.87	   search
5.87	     run=1  nbConstraintChecks=1779062  nbValidityChecks=3112052  nbPropagations=1297  nbRevisions=391305
5.87	     nbUselessRevisions=386379  nbAssignments=46  nbFailedAssignments=19  nbBacktracks=25  nbVisitedNodes=83
5.87	     nbRestartNogoods=1  mapSize=20  nbInferences=0  nbTooLargeKeys=0
5.87	       =>  wckTime=4.68  cpuTime=4.6  mem=30M594
7.98	   
7.98	   search
7.98	     run=2  nbConstraintChecks=3620432  nbValidityChecks=6363240  nbPropagations=2417  nbRevisions=723067
7.98	     nbUselessRevisions=714390  nbAssignments=96  nbFailedAssignments=45  nbBacktracks=47  nbVisitedNodes=173
7.98	     nbRestartNogoods=6  mapSize=40  nbInferences=0  nbTooLargeKeys=0
7.98	       =>  wckTime=6.794  cpuTime=6.69  mem=30M594
11.00	   
11.00	   search
11.00	     run=3  nbConstraintChecks=6212299  nbValidityChecks=10920467  nbPropagations=4041  nbRevisions=1210350
11.00	     nbUselessRevisions=1196400  nbAssignments=169  nbFailedAssignments=83  nbBacktracks=80  nbVisitedNodes=305
11.00	     nbRestartNogoods=8  mapSize=69  nbInferences=0  nbTooLargeKeys=0
11.00	       =>  wckTime=9.814  cpuTime=9.68  mem=30M594
16.23	   
16.23	   search
16.23	     run=4  nbConstraintChecks=10618587  nbValidityChecks=18602682  nbPropagations=6470  nbRevisions=1960128
16.23	     nbUselessRevisions=1938058  nbAssignments=297  nbFailedAssignments=159  nbBacktracks=131  nbVisitedNodes=541
16.23	     nbRestartNogoods=15  mapSize=118  nbInferences=0  nbTooLargeKeys=0
16.23	       =>  wckTime=15.044  cpuTime=14.85  mem=30M594
24.47	   
24.47	   search
24.47	     run=5  nbConstraintChecks=17156295  nbValidityChecks=32083849  nbPropagations=10469  nbRevisions=3250320
24.47	     nbUselessRevisions=3206724  nbAssignments=578  nbFailedAssignments=362  nbBacktracks=206  nbVisitedNodes=1081
24.47	     nbRestartNogoods=23  mapSize=187  nbInferences=0  nbTooLargeKeys=0
24.47	       =>  wckTime=23.283  cpuTime=23.01  mem=30M594
37.33	   
37.33	   search
37.33	     run=6  nbConstraintChecks=26955868  nbValidityChecks=55659483  nbPropagations=17326  nbRevisions=5558108
37.33	     nbUselessRevisions=5467037  nbAssignments=1096  nbFailedAssignments=762  nbBacktracks=319  nbVisitedNodes=2073
37.33	     nbRestartNogoods=34  mapSize=279  nbInferences=0  nbTooLargeKeys=0
37.33	       =>  wckTime=36.14  cpuTime=35.73  mem=30M594
57.73	   
57.73	   search
57.73	     run=7  nbConstraintChecks=41989249  nbValidityChecks=95074191  nbPropagations=29165  nbRevisions=9674749
57.73	     nbUselessRevisions=9490327  nbAssignments=1984  nbFailedAssignments=1466  nbBacktracks=489  nbVisitedNodes=3761
57.73	     nbRestartNogoods=46  mapSize=418  nbInferences=0  nbTooLargeKeys=0
57.73	       =>  wckTime=56.542  cpuTime=55.89  mem=30M594
87.56	   
87.56	   search
87.56	     run=8  nbConstraintChecks=61778711  nbValidityChecks=164429455  nbPropagations=51523  nbRevisions=17659837
87.56	     nbUselessRevisions=17279079  nbAssignments=3722  nbFailedAssignments=2937  nbBacktracks=745  nbVisitedNodes=7123
87.56	     nbRestartNogoods=62  mapSize=612  nbInferences=0  nbTooLargeKeys=0
87.56	       =>  wckTime=86.371  cpuTime=85.46  mem=30M594
127.85	   
127.85	   search
127.85	     run=9  nbConstraintChecks=89795068  nbValidityChecks=259456556  nbPropagations=89222  nbRevisions=31165782
127.85	     nbUselessRevisions=30459694  nbAssignments=6082  nbFailedAssignments=4873  nbBacktracks=1130  nbVisitedNodes=11629
127.85	     nbRestartNogoods=84  mapSize=918  nbInferences=0  nbTooLargeKeys=0
127.85	       =>  wckTime=126.665  cpuTime=125.33  mem=30M594
134.43	   
134.43	   INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=30M594)
151.55	   
151.55	   search
151.55	     run=10  nbConstraintChecks=107250546  nbValidityChecks=296321768  nbPropagations=136394  nbRevisions=47811435
151.55	     nbUselessRevisions=46728124  nbAssignments=7925  nbFailedAssignments=6131  nbBacktracks=1706  nbVisitedNodes=15193
151.55	     nbRestartNogoods=103
151.55	       =>  wckTime=150.361  cpuTime=148.68  mem=30M594
181.08	   
181.08	   search
181.08	     run=11  nbConstraintChecks=127792967  nbValidityChecks=340999657  nbPropagations=200133  nbRevisions=69906814
181.08	     nbUselessRevisions=68362400  nbAssignments=11184  nbFailedAssignments=8448  nbBacktracks=2570  nbVisitedNodes=21408
181.08	     nbRestartNogoods=139
181.08	       =>  wckTime=179.887  cpuTime=177.87  mem=30M594
249.34	   
249.34	   search
249.34	     run=12  nbConstraintChecks=174904280  nbValidityChecks=451224152  nbPropagations=299239  nbRevisions=103775549
249.34	     nbUselessRevisions=101585358  nbAssignments=16440  nbFailedAssignments=12372  nbBacktracks=3868
249.34	     nbVisitedNodes=31593  nbRestartNogoods=155
249.34	       =>  wckTime=248.156  cpuTime=245.38  mem=30M594
315.72	   
315.72	   search
315.72	     run=13  nbConstraintChecks=222958746  nbValidityChecks=546311735  nbPropagations=431613  nbRevisions=148753125
315.72	     nbUselessRevisions=145732055  nbAssignments=22044  nbFailedAssignments=16005  nbBacktracks=5815
315.72	     nbVisitedNodes=42218  nbRestartNogoods=187
315.72	       =>  wckTime=314.528  cpuTime=311.04  mem=30M594
419.39	   
419.39	   search
419.39	     run=14  nbConstraintChecks=298853456  nbValidityChecks=688635130  nbPropagations=617143  nbRevisions=211137586
419.39	     nbUselessRevisions=206993462  nbAssignments=32319  nbFailedAssignments=23340  nbBacktracks=8734
419.39	     nbVisitedNodes=62200  nbRestartNogoods=199
419.39	       =>  wckTime=418.202  cpuTime=413.87  mem=30M594
580.22	   
580.22	   search
580.22	     run=15  nbConstraintChecks=410740163  nbValidityChecks=916668906  nbPropagations=895091  nbRevisions=303759714
580.22	     nbUselessRevisions=297943436  nbAssignments=49553  nbFailedAssignments=36182  nbBacktracks=13112
580.22	     nbVisitedNodes=96183  nbRestartNogoods=226
580.22	       =>  wckTime=579.031  cpuTime=572.55  mem=30M594
892.10	   
892.10	   search
892.10	     run=16  nbConstraintChecks=616876383  nbValidityChecks=1399647821  nbPropagations=1358704  nbRevisions=458543449
892.10	     nbUselessRevisions=450222918  nbAssignments=78474  nbFailedAssignments=58488  nbBacktracks=19680
892.10	     nbVisitedNodes=152813  nbRestartNogoods=250
892.10	       =>  wckTime=890.908  cpuTime=879.63  mem=30M594
1148.48	   
1148.48	   search
1148.48	     run=17  nbConstraintChecks=789869212  nbValidityChecks=1743106812  nbPropagations=1991450  nbRevisions=669786003
1148.48	     nbUselessRevisions=658105144  nbAssignments=109542  nbFailedAssignments=79698  nbBacktracks=29533
1148.48	     nbVisitedNodes=213036  nbRestartNogoods=256
1148.48	       =>  wckTime=1147.296  cpuTime=1133.31  mem=30M594
1799.84	   
1799.84	   search
1799.84	     run=18  nbConstraintChecks=1213915934  nbValidityChecks=2801900716  nbPropagations=2959097  nbRevisions=997686934
1799.84	     nbUselessRevisions=980697113  nbAssignments=165464  nbFailedAssignments=120823  nbBacktracks=44311
1799.84	     nbVisitedNodes=322786  nbRestartNogoods=289
1799.84	       =>  wckTime=1798.652  cpuTime=1778.09  mem=30M594

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/node10/watcher-198098-1168126866 -o ROOT/results/node10/solver-198098-1168126866 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198098-1168126866/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.85 1.70 1.28 2/97 14116
/proc/meminfo: memFree=1175952/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=18540 CPUtime=0
/proc/14115/stat : 14115 (runsolver) R 14113 14115 13893 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161082172 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14115/statm: 4635 279 244 17 0 2626 0

[startup+0.102109 s]
/proc/loadavg: 1.85 1.70 1.28 2/97 14116
/proc/meminfo: memFree=1175952/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=914988 CPUtime=0.09
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 2981 0 1 0 7 2 0 0 20 0 8 0 161082172 936947712 2727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510164 s]
/proc/loadavg: 1.85 1.70 1.28 2/97 14116
/proc/meminfo: memFree=1175952/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915328 CPUtime=0.49
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 6360 0 1 0 45 4 0 0 18 0 8 0 161082172 937295872 6099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228832 6099 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33127 s]
/proc/loadavg: 1.85 1.70 1.28 3/104 14123
/proc/meminfo: memFree=1136472/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1.3
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12398 0 1 0 118 12 0 0 24 0 8 0 161082172 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12136 2540 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.25
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 460 0 0 0 24 1 0 0 16 0 8 0 161082180 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12136 18446744073709551615 134512640 134570532 4294956464 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.9695 s]
/proc/loadavg: 1.85 1.70 1.28 3/104 14123
/proc/meminfo: memFree=1133848/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=2.93
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12411 0 1 0 280 13 0 0 25 0 8 0 161082172 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12148 2542 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.25
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 465 0 0 0 24 1 0 0 15 0 8 0 161082180 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915764

[startup+6.17293 s]
/proc/loadavg: 1.86 1.70 1.28 3/104 14123
/proc/meminfo: memFree=1131416/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=6.1
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12511 0 1 0 597 13 0 0 25 0 8 0 161082172 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12245 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.26
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 468 0 0 0 25 1 0 0 15 0 8 0 161082180 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915764

[startup+12.6478 s]
/proc/loadavg: 1.87 1.71 1.28 3/104 14123
/proc/meminfo: memFree=1126104/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=12.51
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12527 0 1 0 1238 13 0 0 25 0 8 0 161082172 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12258 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.27
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 472 0 0 0 26 1 0 0 15 0 8 0 161082180 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915764

[startup+25.5286 s]
/proc/loadavg: 1.90 1.72 1.29 3/104 14123
/proc/meminfo: memFree=1117592/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=25.27
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12542 0 1 0 2514 13 0 0 25 0 8 0 161082172 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12272 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.28
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 475 0 0 0 27 1 0 0 16 0 8 0 161082180 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915764

[startup+51.172 s]
/proc/loadavg: 1.93 1.74 1.31 3/104 14123
/proc/meminfo: memFree=1102104/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=50.64
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12571 0 1 0 5050 14 0 0 25 0 8 0 161082172 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12295 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 17 0 8 0 161082176 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.3
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 490 0 0 0 29 1 0 0 15 0 8 0 161082180 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915764

[startup+102.424 s]
/proc/loadavg: 1.97 1.78 1.34 3/104 14123
/proc/meminfo: memFree=1062296/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=101.43
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12603 0 1 0 10129 14 0 0 25 0 8 0 161082172 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972887 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12324 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915764

[startup+162.517 s]
/proc/loadavg: 1.99 1.82 1.38 3/104 14123
/proc/meminfo: memFree=1021272/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=160.76
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12631 0 1 0 16061 15 0 0 25 0 8 0 161082172 937742336 12351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073772976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.94 s]
/proc/loadavg: 2.62 2.53 2.12 3/104 14321
/proc/meminfo: memFree=591960/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1466.48
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 146612 36 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1466.48
Current children cumulated vsize (KiB) 915764

[startup+1544.04 s]
/proc/loadavg: 2.37 2.48 2.13 3/104 14321
/proc/meminfo: memFree=591960/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1525.76
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 152540 36 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953911 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1525.76
Current children cumulated vsize (KiB) 915764

[startup+1604.05 s]
/proc/loadavg: 2.25 2.42 2.13 3/104 14321
/proc/meminfo: memFree=591960/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1584.92
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 158455 37 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1584.92
Current children cumulated vsize (KiB) 915764

[startup+1664.08 s]
/proc/loadavg: 2.14 2.35 2.12 4/104 14321
/proc/meminfo: memFree=591896/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1644.33
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 164396 37 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1644.33
Current children cumulated vsize (KiB) 915764

[startup+1724.16 s]
/proc/loadavg: 2.05 2.29 2.11 3/100 14378
/proc/meminfo: memFree=1250416/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1704.03
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 170365 38 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1704.03
Current children cumulated vsize (KiB) 915764

[startup+1784.2 s]
/proc/loadavg: 2.14 2.26 2.11 3/100 14378
/proc/meminfo: memFree=1212016/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1763.78
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 176340 38 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1763.78
Current children cumulated vsize (KiB) 915764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1820.59 s]
/proc/loadavg: 2.08 2.23 2.10 3/100 14378
/proc/meminfo: memFree=1211952/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1800.01
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12653 0 1 0 179962 39 0 0 25 0 8 0 161082172 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972941 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12373 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915764

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

Child status: 143
Real time (s): 1820.61
CPU time (s): 1800.04
CPU user time (s): 1799.64
CPU system time (s): 0.398939
CPU usage (%): 98.8699
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.398939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12672
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= 38193
involuntary context switches= 73984

runsolver used 2.59061 s user time and 6.23705 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Jan  6 23:41:08 UTC 2007


IDJOB= 198098
IDBENCH= 3534
FILE ID= node10/198098-1168126866

PBS_JOBID= 3477694

Free space on /tmp= 66355 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-70-13-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198098-1168126866/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-198098-1168126866 -o ROOT/results/node10/solver-198098-1168126866 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198098-1168126866/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8550458df6e804e35921814f1d43a5d8

RANDOM SEED= 744166817

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.232
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.232
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:       1178288 kB
Buffers:         56840 kB
Cached:         511084 kB
SwapCached:       2120 kB
Active:         423716 kB
Inactive:       363824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1178288 kB
SwapTotal:     4192956 kB
SwapFree:      4178332 kB
Dirty:            2120 kB
Writeback:           0 kB
Mapped:         239868 kB
Slab:            74380 kB
Committed_AS:  4562884 kB
PageTables:       2628 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= 66356 MiB



End job on node10 on Sun Jan  7 00:11:32 UTC 2007