Trace number 198460

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 ESACUNSAT 170.919 172.597

DiagnosticValue
CHECKS245301219
NODES5379467

General information on the benchmark

Namepigeons/
pigeons-16.xml
MD5SUM29b240a472ae76f566c2f73ece61891e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark155.669
SatisfiableNO
(Un)Satisfiability was proved
Number of variables16
Number of constraints120
Maximum constraint arity2
Maximum domain size15
Number of constraints which are defined in extension0
Number of constraints which are defined in intension120
Global constraints used (with number of constraints)

Solver Data (download as text)

0.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=esac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/198460-1168128450/unknown.xml
0.42	   
0.42	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.46	     nbVariables=16  nbDomainTypes=1  minDomainSize=15  maxDomainSize=15
0.46	       =>  wckTime=0.096  cpuTime=0.09  mem=6M951
0.46	   
0.46	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
0.55	     nbConstraints=120  nbConvertedConstraints=120  nbConvertConstraintsChecks=225  nbExtensionStructures=1
0.55	     nbSharedExtensionStructures=119  nbConflictsStructures=1  nbSharedConflictsStructures=119
0.55	     nbSharedBinaryRepresentations=15  maxDegree=15  maxArity=2
0.55	       =>  wckTime=0.191  cpuTime=0.15  mem=7M959
0.59	   
0.59	   solver IterativeSystematicSolver being built... 
0.75	       =>  wckTime=0.391  cpuTime=0.29  mem=13M332
0.78	   
0.78	   preprocessing
0.78	     nbConstraintChecks=2480  nbPropagations=280  nbRevisions=240  nbUselessRevisions=0  nbSingletonTests=28
0.78	     nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
0.78	       =>  wckTime=0.026  cpuTime=0.02  mem=13M332
0.79	   
0.79	   search
0.80	     run=0  nbConstraintChecks=1519  nbPropagations=502  nbRevisions=491  nbUselessRevisions=24  nbAssignments=31
0.80	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=52  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.80	     nbTooLargeKeys=0
0.80	       =>  wckTime=0.041  cpuTime=0.03  mem=14M324
0.81	   
0.81	   search
0.81	     run=1  nbConstraintChecks=3163  nbPropagations=1268  nbRevisions=1285  nbUselessRevisions=79  nbAssignments=72
0.81	     nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=121  nbRestartNogoods=4  mapSize=25  nbInferences=0
0.81	     nbTooLargeKeys=0
0.81	       =>  wckTime=0.053  cpuTime=0.03  mem=14M324
0.82	   
0.82	   search
0.82	     run=2  nbConstraintChecks=4974  nbPropagations=2362  nbRevisions=2455  nbUselessRevisions=170  nbAssignments=126
0.82	     nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=215  nbRestartNogoods=7  mapSize=47  nbInferences=0
0.82	     nbTooLargeKeys=0
0.82	       =>  wckTime=0.064  cpuTime=0.04  mem=14M324
0.83	   
0.83	   search
0.83	     run=3  nbConstraintChecks=6989  nbPropagations=3864  nbRevisions=4081  nbUselessRevisions=299  nbAssignments=199
0.83	     nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=343  nbRestartNogoods=12  mapSize=80  nbInferences=1
0.83	     nbTooLargeKeys=0
0.83	       =>  wckTime=0.077  cpuTime=0.05  mem=14M324
0.84	   
0.84	   search
0.84	     run=4  nbConstraintChecks=9330  nbPropagations=5907  nbRevisions=6290  nbUselessRevisions=466  nbAssignments=302
0.84	     nbFailedAssignments=108  nbBacktracks=131  nbVisitedNodes=525  nbRestartNogoods=16  mapSize=131  nbInferences=6
0.84	     nbTooLargeKeys=0
0.84	       =>  wckTime=0.089  cpuTime=0.06  mem=14M324
0.86	   
0.86	   search
0.86	     run=5  nbConstraintChecks=12209  nbPropagations=8706  nbRevisions=9254  nbUselessRevisions=662  nbAssignments=453
0.86	     nbFailedAssignments=155  nbBacktracks=206  nbVisitedNodes=787  nbRestartNogoods=20  mapSize=206  nbInferences=23
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.103  cpuTime=0.07  mem=14M324
0.87	   
0.87	   search
0.87	     run=6  nbConstraintChecks=15784  nbPropagations=12570  nbRevisions=13225  nbUselessRevisions=863  nbAssignments=674
0.87	     nbFailedAssignments=225  nbBacktracks=320  nbVisitedNodes=1174  nbRestartNogoods=23  mapSize=320  nbInferences=49
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.119  cpuTime=0.08  mem=14M324
0.89	   
0.89	   search
0.89	     run=7  nbConstraintChecks=20554  nbPropagations=17974  nbRevisions=18660  nbUselessRevisions=1070
0.89	     nbAssignments=999  nbFailedAssignments=333  nbBacktracks=490  nbVisitedNodes=1750  nbRestartNogoods=28  mapSize=490
0.89	     nbInferences=84  nbTooLargeKeys=0
0.89	       =>  wckTime=0.138  cpuTime=0.1  mem=14M324
0.93	   
0.93	   search
0.93	     run=8  nbConstraintChecks=28826  nbPropagations=25898  nbRevisions=26438  nbUselessRevisions=1299
0.93	     nbAssignments=1518  nbFailedAssignments=481  nbBacktracks=746  nbVisitedNodes=2645  nbRestartNogoods=36
0.93	     mapSize=746  nbInferences=176  nbTooLargeKeys=0
0.93	       =>  wckTime=0.176  cpuTime=0.12  mem=14M324
0.96	   
0.96	   search
0.96	     run=9  nbConstraintChecks=39419  nbPropagations=37575  nbRevisions=37590  nbUselessRevisions=1539
0.96	     nbAssignments=2312  nbFailedAssignments=690  nbBacktracks=1130  nbVisitedNodes=4046  nbRestartNogoods=44
0.96	     mapSize=1130  nbInferences=365  nbTooLargeKeys=0
0.96	       =>  wckTime=0.207  cpuTime=0.14  mem=14M324
1.00	   
1.00	   search
1.00	     run=10  nbConstraintChecks=60249  nbPropagations=55807  nbRevisions=54400  nbUselessRevisions=1813
1.00	     nbAssignments=3642  nbFailedAssignments=955  nbBacktracks=1706  nbVisitedNodes=6313  nbRestartNogoods=52
1.00	     mapSize=1706  nbInferences=807  nbTooLargeKeys=0
1.00	       =>  wckTime=0.245  cpuTime=0.17  mem=14M324
1.04	   
1.04	   search
1.04	     run=11  nbConstraintChecks=90611  nbPropagations=84210  nbRevisions=79881  nbUselessRevisions=2176
1.04	     nbAssignments=5701  nbFailedAssignments=1322  nbBacktracks=2570  nbVisitedNodes=9877  nbRestartNogoods=58
1.04	     mapSize=2570  nbInferences=1601  nbTooLargeKeys=0
1.04	       =>  wckTime=0.288  cpuTime=0.22  mem=14M324
1.11	   
1.11	   search
1.11	     run=12  nbConstraintChecks=141068  nbPropagations=129213  nbRevisions=119140  nbUselessRevisions=2585
1.11	     nbAssignments=8973  nbFailedAssignments=1842  nbBacktracks=3868  nbVisitedNodes=15573  nbRestartNogoods=70
1.11	     mapSize=3868  nbInferences=3015  nbTooLargeKeys=0
1.11	       =>  wckTime=0.36  cpuTime=0.28  mem=14M324
1.23	   
1.23	   search
1.23	     run=13  nbConstraintChecks=212492  nbPropagations=199385  nbRevisions=178893  nbUselessRevisions=3035
1.23	     nbAssignments=14003  nbFailedAssignments=2563  nbBacktracks=5814  nbVisitedNodes=24398  nbRestartNogoods=76
1.23	     mapSize=5814  nbInferences=5368  nbTooLargeKeys=0
1.23	       =>  wckTime=0.475  cpuTime=0.39  mem=14M324
1.42	   
1.42	   search
1.42	     run=14  nbConstraintChecks=363267  nbPropagations=317683  nbRevisions=276451  nbUselessRevisions=3497
1.42	     nbAssignments=22905  nbFailedAssignments=3374  nbBacktracks=8733  nbVisitedNodes=40084  nbRestartNogoods=85
1.42	     mapSize=8733  nbInferences=10530  nbTooLargeKeys=0
1.42	       =>  wckTime=0.667  cpuTime=0.58  mem=15M364
1.72	   
1.72	   search
1.72	     run=15  nbConstraintChecks=596953  nbPropagations=509881  nbRevisions=431695  nbUselessRevisions=4021
1.72	     nbAssignments=36539  nbFailedAssignments=4465  nbBacktracks=13112  nbVisitedNodes=63994  nbRestartNogoods=96
1.72	     mapSize=13112  nbInferences=18654  nbTooLargeKeys=0
1.72	       =>  wckTime=0.965  cpuTime=0.88  mem=15M364
2.26	   
2.26	   search
2.26	     run=16  nbConstraintChecks=1105779  nbPropagations=845381  nbRevisions=696960  nbUselessRevisions=4550
2.27	     nbAssignments=60786  nbFailedAssignments=5477  nbBacktracks=19681  nbVisitedNodes=106847  nbRestartNogoods=111
2.27	     mapSize=19681  nbInferences=35274  nbTooLargeKeys=0
2.27	       =>  wckTime=1.512  cpuTime=1.41  mem=16M339
3.06	   
3.06	   search
3.06	     run=17  nbConstraintChecks=1826810  nbPropagations=1387639  nbRevisions=1120937  nbUselessRevisions=5130
3.06	     nbAssignments=96294  nbFailedAssignments=7050  nbBacktracks=29533  nbVisitedNodes=169455  nbRestartNogoods=128
3.06	     mapSize=29533  nbInferences=59288  nbTooLargeKeys=0
3.06	       =>  wckTime=2.311  cpuTime=2.21  mem=18M290
4.33	   
4.33	   search
4.33	     run=18  nbConstraintChecks=3003268  nbPropagations=2257788  nbRevisions=1796059  nbUselessRevisions=5850
4.33	     nbAssignments=151534  nbFailedAssignments=9063  nbBacktracks=44312  nbVisitedNodes=267159  nbRestartNogoods=137
4.33	     mapSize=44312  nbInferences=97726  nbTooLargeKeys=0
4.33	       =>  wckTime=3.581  cpuTime=3.48  mem=20M240
6.54	   
6.54	   search
6.54	     run=19  nbConstraintChecks=5217171  nbPropagations=3702273  nbRevisions=2911443  nbUselessRevisions=7185
6.54	     nbAssignments=243066  nbFailedAssignments=11066  nbBacktracks=66480  nbVisitedNodes=430000  nbRestartNogoods=152
6.54	     mapSize=66480  nbInferences=165054  nbTooLargeKeys=0
6.54	       =>  wckTime=5.786  cpuTime=5.66  mem=24M141
10.32	   
10.32	   search
10.32	     run=20  nbConstraintChecks=9119632  nbPropagations=6104432  nbRevisions=4762191  nbUselessRevisions=8520
10.32	     nbAssignments=389672  nbFailedAssignments=13221  nbBacktracks=99732  nbVisitedNodes=691950  nbRestartNogoods=170
10.32	     mapSize=99732  nbInferences=276166  nbTooLargeKeys=0
10.32	       =>  wckTime=9.562  cpuTime=9.4  mem=31M41
17.18	   
17.18	   search
17.18	     run=21  nbConstraintChecks=17184104  nbPropagations=10257930  nbRevisions=7976451  nbUselessRevisions=9855
17.18	     nbAssignments=635711  nbFailedAssignments=15416  nbBacktracks=149611  nbVisitedNodes=1136146  nbRestartNogoods=198
17.18	     mapSize=149611  nbInferences=470028  nbTooLargeKeys=0
17.18	       =>  wckTime=16.429  cpuTime=16.21  mem=40M792
30.00	   
30.00	   search
30.00	     run=22  nbConstraintChecks=34418582  nbPropagations=17667773  nbRevisions=13770229  nbUselessRevisions=11190
30.00	     nbAssignments=1051104  nbFailedAssignments=17555  nbBacktracks=224429  nbVisitedNodes=1894174  nbRestartNogoods=210
30.00	     mapSize=224429  nbInferences=808420  nbTooLargeKeys=0
30.00	       =>  wckTime=29.247  cpuTime=28.72  mem=27M175
46.69	   
46.69	   search
46.69	     run=23  nbConstraintChecks=55794345  nbPropagations=29421982  nbRevisions=22972749  nbUselessRevisions=13109
46.69	     nbAssignments=1635190  nbFailedAssignments=21264  nbBacktracks=336656  nbVisitedNodes=2953650  nbRestartNogoods=236
46.69	     mapSize=336656  nbInferences=1276478  nbTooLargeKeys=0
46.69	       =>  wckTime=45.941  cpuTime=45.25  mem=50M814
82.84	   
82.84	   search
82.84	     run=24  nbConstraintChecks=110639282  nbPropagations=50469783  nbRevisions=39648749  nbUselessRevisions=15156
82.84	     nbAssignments=2714949  nbFailedAssignments=22486  nbBacktracks=504998  nbVisitedNodes=4945926  nbRestartNogoods=255
82.84	     mapSize=504998  nbInferences=2186642  nbTooLargeKeys=0
82.84	       =>  wckTime=82.086  cpuTime=80.77  mem=68M900
133.27	   
133.27	   search
133.27	     run=25  nbConstraintChecks=183053431  nbPropagations=84441708  nbRevisions=66644419  nbUselessRevisions=17315
133.27	     nbAssignments=4271323  nbFailedAssignments=23981  nbBacktracks=757510  nbVisitedNodes=7807486  nbRestartNogoods=276
133.27	     mapSize=757509  nbInferences=3488933  nbTooLargeKeys=0
133.27	       =>  wckTime=132.518  cpuTime=130.23  mem=66M712
172.51	   
172.51	   search
172.51	     run=26  nbConstraintChecks=245298739  nbPropagations=128388177  nbRevisions=101725836  nbUselessRevisions=19513
172.51	     nbAssignments=5379467  nbFailedAssignments=24403  nbBacktracks=920430  nbVisitedNodes=9861202  nbRestartNogoods=296
172.51	     mapSize=920397  nbInferences=4433709  nbTooLargeKeys=0
172.51	       =>  wckTime=171.754  cpuTime=168.78  mem=94M5
172.51	   
172.51	   global
172.51	     nbConstraintChecks=245301219  nbPropagations=128388457  nbRevisions=101726076  nbUselessRevisions=19513
172.51	     nbRestartNogoods=296  solvingWckTime=171.755  solvingCpuTime=168.78  expiredTime=no  totalExploration=yes
172.51	     nbFoundSolutions=0  globalCpuTime=169.11
172.51	       =>  wckTime=172.149  cpuTime=169.07  mem=94M5
172.51	   
172.51	s UNSATISFIABLE
172.51	d NODES 5379467
172.51	d CHECKS 245301219
172.51	   
172.51	   totalWckTime=172.23  totalCpuTime=169.11

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node15/watcher-198460-1168128450 -o ROOT/results/node15/solver-198460-1168128450 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198460-1168128450/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.82 1.94 1.85 2/87 1301
/proc/meminfo: memFree=1766520/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=18540 CPUtime=0
/proc/1300/stat : 1300 (runsolver) R 1298 1300 537 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161239992 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1300/statm: 4635 279 244 17 0 2626 0

[startup+0.103132 s]
/proc/loadavg: 1.82 1.94 1.85 2/87 1301
/proc/meminfo: memFree=1766520/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=907676 CPUtime=0.04
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 2317 0 1 0 3 1 0 0 16 0 4 0 161239992 929460224 2064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155061896 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 226919 2064 1159 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676

[startup+0.5132 s]
/proc/loadavg: 1.82 1.94 1.85 2/87 1301
/proc/meminfo: memFree=1766520/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915328 CPUtime=0.43
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 6199 0 1 0 40 3 0 0 18 0 8 0 161239992 937295872 5938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228832 5938 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.34034 s]
/proc/loadavg: 1.82 1.94 1.85 3/94 1308
/proc/meminfo: memFree=1743232/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=1.25
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 8644 0 1 0 119 6 0 0 24 0 8 0 161239992 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 8382 2541 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.02
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 161240000 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161240001 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.18
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 362 0 0 0 18 0 0 0 15 0 8 0 161240004 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915456

[startup+2.97762 s]
/proc/loadavg: 1.82 1.94 1.85 3/94 1308
/proc/meminfo: memFree=1741120/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=2.88
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 9420 0 1 0 282 6 0 0 25 0 8 0 161239992 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 9156 2541 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.02
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 128 0 0 0 2 0 0 0 17 0 8 0 161240000 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161240001 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 363 0 0 0 19 0 0 0 15 0 8 0 161240004 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915456

[startup+6.27619 s]
/proc/loadavg: 1.83 1.94 1.85 3/94 1308
/proc/meminfo: memFree=1734784/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=6.14
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 10860 0 1 0 607 7 0 0 25 0 8 0 161239992 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073728043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 10596 2541 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.02
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 161240000 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161240001 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 365 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915456

[startup+12.7523 s]
/proc/loadavg: 1.85 1.94 1.85 3/94 1308
/proc/meminfo: memFree=1723904/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=12.57
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 13444 0 1 0 1248 9 0 0 25 0 8 0 161239992 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 13180 2541 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.02
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 161240000 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161240001 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 365 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915456

[startup+25.6085 s]
/proc/loadavg: 1.88 1.95 1.85 3/94 1308
/proc/meminfo: memFree=1694400/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=25.32
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 20739 0 1 0 2520 12 0 0 25 0 8 0 161239992 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 20474 2545 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.21
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 3743 0 0 0 20 1 0 0 16 0 8 0 161240000 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 365 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915456

[startup+51.2409 s]
/proc/loadavg: 1.92 1.95 1.85 4/94 1308
/proc/meminfo: memFree=1694336/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=50.71
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 20744 0 1 0 5059 12 0 0 25 0 8 0 161239992 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 20478 2545 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.21
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 3743 0 0 0 20 1 0 0 16 0 8 0 161240000 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 366 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915456

[startup+102.46 s]
/proc/loadavg: 2.04 1.97 1.86 3/94 1308
/proc/meminfo: memFree=1657664/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=101.47
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 29878 0 1 0 10130 17 0 0 25 0 8 0 161239992 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 29610 2545 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.78
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 12875 0 0 0 73 5 0 0 16 0 8 0 161240000 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 366 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915456

[startup+162.518 s]
/proc/loadavg: 2.01 1.97 1.87 3/94 1308
/proc/meminfo: memFree=1624000/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=160.98
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 38273 0 1 0 16077 21 0 0 25 0 8 0 161239992 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 38003 2545 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=1.35
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 21268 0 0 0 127 8 0 0 16 0 8 0 161240000 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 366 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 172.597
CPU time (s): 170.919
CPU user time (s): 170.681
CPU system time (s): 0.237963
CPU usage (%): 99.0275
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.681
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38280
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= 4505
involuntary context switches= 10707

runsolver used 0.239963 s user time and 0.538918 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sun Jan  7 00:07:31 UTC 2007


IDJOB= 198460
IDBENCH= 3557
FILE ID= node15/198460-1168128450

PBS_JOBID= 3477691

Free space on /tmp= 66284 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198460-1168128450/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-198460-1168128450 -o ROOT/results/node15/solver-198460-1168128450 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198460-1168128450/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  29b240a472ae76f566c2f73ece61891e

RANDOM SEED= 739811297

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.276
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.276
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:       1767000 kB
Buffers:          4780 kB
Cached:         199812 kB
SwapCached:       5800 kB
Active:         200500 kB
Inactive:        41452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767000 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            1796 kB
Writeback:           0 kB
Mapped:          48588 kB
Slab:            31688 kB
Committed_AS:  4486384 kB
PageTables:       2360 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= 66284 MiB



End job on node15 on Sun Jan  7 00:10:24 UTC 2007