Trace number 199934

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 ACSAT 313.039 313.329

DiagnosticValue
CHECKS227829470
NODES182629

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-11_ext.xml
MD5SUM66b9a6f84ad3fac8713448ac5bc398c0
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark64.9111
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints74
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension74
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/199934-1168071704/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.39	       =>  wckTime=0.093  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
0.99	   
0.99	   constraints being loaded...
1.25	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.25	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.25	       =>  wckTime=0.948  cpuTime=0.82  mem=46M753
1.36	   
1.36	   solver IterativeSystematicSolver being built... 
1.52	       =>  wckTime=1.216  cpuTime=0.95  mem=34M348
1.52	   
1.52	   preprocessing
1.52	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.52	     detectedInconsistency=no
1.52	       =>  wckTime=0.0030  cpuTime=0.0  mem=34M348
1.63	   
1.63	   search
1.63	     run=0  nbConstraintChecks=29331  nbValidityChecks=51551  nbPropagations=297  nbRevisions=3141
1.63	     nbUselessRevisions=2515  nbAssignments=27  nbFailedAssignments=12  nbBacktracks=11  nbVisitedNodes=47
1.63	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.107  cpuTime=0.08  mem=34M348
1.74	   
1.74	   search
1.74	     run=1  nbConstraintChecks=104063  nbValidityChecks=190928  nbPropagations=1161  nbRevisions=13785
1.74	     nbUselessRevisions=11121  nbAssignments=83  nbFailedAssignments=47  nbBacktracks=27  nbVisitedNodes=150
1.74	     nbRestartNogoods=1  mapSize=26  nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.221  cpuTime=0.18  mem=34M348
1.91	   
1.91	   search
1.91	     run=2  nbConstraintChecks=217335  nbValidityChecks=408703  nbPropagations=2959  nbRevisions=36219
1.91	     nbUselessRevisions=28938  nbAssignments=157  nbFailedAssignments=94  nbBacktracks=49  nbVisitedNodes=289
1.91	     nbRestartNogoods=7  mapSize=47  nbInferences=0  nbTooLargeKeys=0
1.91	       =>  wckTime=0.396  cpuTime=0.35  mem=34M348
2.02	   
2.02	   search
2.02	     run=3  nbConstraintChecks=291405  nbValidityChecks=556053  nbPropagations=5565  nbRevisions=67964
2.02	     nbUselessRevisions=54290  nbAssignments=224  nbFailedAssignments=123  nbBacktracks=82  nbVisitedNodes=409
2.02	     nbRestartNogoods=16  mapSize=75  nbInferences=0  nbTooLargeKeys=0
2.02	       =>  wckTime=0.505  cpuTime=0.46  mem=34M348
2.23	   
2.23	   search
2.23	     run=4  nbConstraintChecks=440401  nbValidityChecks=825772  nbPropagations=9325  nbRevisions=114942
2.23	     nbUselessRevisions=91774  nbAssignments=339  nbFailedAssignments=181  nbBacktracks=134  nbVisitedNodes=612
2.23	     nbRestartNogoods=23  mapSize=115  nbInferences=0  nbTooLargeKeys=0
2.23	       =>  wckTime=0.708  cpuTime=0.66  mem=34M348
2.47	   
2.47	   search
2.47	     run=5  nbConstraintChecks=602177  nbValidityChecks=1154598  nbPropagations=14881  nbRevisions=183488
2.47	     nbUselessRevisions=146316  nbAssignments=498  nbFailedAssignments=258  nbBacktracks=209  nbVisitedNodes=896
2.47	     nbRestartNogoods=25  mapSize=180  nbInferences=0  nbTooLargeKeys=0
2.47	       =>  wckTime=0.948  cpuTime=0.89  mem=34M348
2.95	   
2.95	   search
2.95	     run=6  nbConstraintChecks=948624  nbValidityChecks=1815763  nbPropagations=23500  nbRevisions=291697
2.95	     nbUselessRevisions=232709  nbAssignments=810  nbFailedAssignments=452  nbBacktracks=322  nbVisitedNodes=1478
2.95	     nbRestartNogoods=33  mapSize=280  nbInferences=0  nbTooLargeKeys=0
2.95	       =>  wckTime=1.429  cpuTime=1.37  mem=34M348
3.52	   
3.52	   search
3.52	     run=7  nbConstraintChecks=1341520  nbValidityChecks=2630699  nbPropagations=36304  nbRevisions=450191
3.52	     nbUselessRevisions=359198  nbAssignments=1193  nbFailedAssignments=658  nbBacktracks=496  nbVisitedNodes=2173
3.52	     nbRestartNogoods=43  mapSize=423  nbInferences=0  nbTooLargeKeys=0
3.52	       =>  wckTime=2.002  cpuTime=1.93  mem=34M348
4.80	   
4.80	   search
4.80	     run=8  nbConstraintChecks=2205745  nbValidityChecks=4360687  nbPropagations=57818  nbRevisions=713593
4.80	     nbUselessRevisions=568486  nbAssignments=1845  nbFailedAssignments=1048  nbBacktracks=756  nbVisitedNodes=3405
4.80	     nbRestartNogoods=48  mapSize=660  nbInferences=0  nbTooLargeKeys=0
4.80	       =>  wckTime=3.277  cpuTime=3.18  mem=34M348
6.31	   
6.31	   search
6.31	     run=9  nbConstraintChecks=3280787  nbValidityChecks=6505797  nbPropagations=89240  nbRevisions=1097049
6.31	     nbUselessRevisions=873413  nbAssignments=2688  nbFailedAssignments=1503  nbBacktracks=1141  nbVisitedNodes=4948
6.31	     nbRestartNogoods=51  mapSize=1002  nbInferences=0  nbTooLargeKeys=0
6.31	       =>  wckTime=4.795  cpuTime=4.69  mem=34M348
6.35	   
6.35	   INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=34M348)
8.35	   
8.35	   search
8.35	     run=10  nbConstraintChecks=4783253  nbValidityChecks=9253921  nbPropagations=133159  nbRevisions=1646288
8.35	     nbUselessRevisions=1311955  nbAssignments=3918  nbFailedAssignments=2149  nbBacktracks=1719  nbVisitedNodes=7147
8.35	     nbRestartNogoods=59
8.35	       =>  wckTime=6.829  cpuTime=6.72  mem=34M348
11.06	   
11.06	   search
11.06	     run=11  nbConstraintChecks=6719115  nbValidityChecks=13198061  nbPropagations=198233  nbRevisions=2447651
11.06	     nbUselessRevisions=1949735  nbAssignments=5736  nbFailedAssignments=3095  nbBacktracks=2587  nbVisitedNodes=10440
11.06	     nbRestartNogoods=68
11.06	       =>  wckTime=9.542  cpuTime=9.43  mem=35M334
16.13	   
16.13	   search
16.13	     run=12  nbConstraintChecks=10494126  nbValidityChecks=20154188  nbPropagations=294319  nbRevisions=3667890
16.13	     nbUselessRevisions=2922920  nbAssignments=8824  nbFailedAssignments=4881  nbBacktracks=3885  nbVisitedNodes=16073
16.13	     nbRestartNogoods=77
16.13	       =>  wckTime=14.613  cpuTime=14.5  mem=35M334
22.74	   
22.74	   search
22.74	     run=13  nbConstraintChecks=15246804  nbValidityChecks=29796003  nbPropagations=441343  nbRevisions=5489032
22.74	     nbUselessRevisions=4369993  nbAssignments=13110  nbFailedAssignments=7216  nbBacktracks=5832  nbVisitedNodes=23963
22.74	     nbRestartNogoods=87
22.74	       =>  wckTime=21.217  cpuTime=21.09  mem=35M334
35.24	   
35.24	   search
35.24	     run=14  nbConstraintChecks=24233284  nbValidityChecks=47672381  nbPropagations=671683  nbRevisions=8328754
35.24	     nbUselessRevisions=6626156  nbAssignments=20253  nbFailedAssignments=11434  nbBacktracks=8753  nbVisitedNodes=37189
35.24	     nbRestartNogoods=106
35.24	       =>  wckTime=33.726  cpuTime=33.59  mem=35M334
54.02	   
54.02	   search
54.02	     run=15  nbConstraintChecks=37833388  nbValidityChecks=74052122  nbPropagations=1027001  nbRevisions=12729561
54.02	     nbUselessRevisions=10113325  nbAssignments=30819  nbFailedAssignments=17615  nbBacktracks=13133
54.02	     nbVisitedNodes=56854  nbRestartNogoods=111
54.02	       =>  wckTime=52.499  cpuTime=52.36  mem=35M334
84.16	   
84.16	   search
84.16	     run=16  nbConstraintChecks=60242632  nbValidityChecks=117159029  nbPropagations=1575107  nbRevisions=19545579
84.16	     nbUselessRevisions=15520905  nbAssignments=47356  nbFailedAssignments=27581  nbBacktracks=19701
84.16	     nbVisitedNodes=87815  nbRestartNogoods=129
84.16	       =>  wckTime=82.638  cpuTime=82.5  mem=35M334
125.58	   
125.58	   search
125.58	     run=17  nbConstraintChecks=90611937  nbValidityChecks=173743297  nbPropagations=2376376  nbRevisions=29624931
125.58	     nbUselessRevisions=23523887  nbAssignments=69619  nbFailedAssignments=39987  nbBacktracks=29553
125.58	     nbVisitedNodes=128637  nbRestartNogoods=143
125.58	       =>  wckTime=124.066  cpuTime=123.91  mem=35M334
178.23	   
178.24	   search
178.24	     run=18  nbConstraintChecks=128282183  nbValidityChecks=249972219  nbPropagations=3577821  nbRevisions=44477154
178.24	     nbUselessRevisions=35299345  nbAssignments=102574  nbFailedAssignments=58158  nbBacktracks=44332
178.24	     nbVisitedNodes=189633  nbRestartNogoods=159
178.24	       =>  wckTime=176.717  cpuTime=176.54  mem=35M334
260.56	   
260.56	   search
260.56	     run=19  nbConstraintChecks=189933837  nbValidityChecks=362146052  nbPropagations=5267554  nbRevisions=65860106
260.56	     nbUselessRevisions=52324480  nbAssignments=150247  nbFailedAssignments=83658  nbBacktracks=66500
260.56	     nbVisitedNodes=275351  nbRestartNogoods=181
260.56	       =>  wckTime=259.044  cpuTime=258.84  mem=35M334
313.13	   
313.13	   search
313.13	     run=20  nbConstraintChecks=227829470  nbValidityChecks=438668078  nbPropagations=7338972  nbRevisions=91837106
313.13	     nbUselessRevisions=72992666  nbAssignments=182629  nbFailedAssignments=101141  nbBacktracks=81375
313.13	     nbVisitedNodes=334705  nbRestartNogoods=210
313.13	       =>  wckTime=311.609  cpuTime=311.4  mem=35M334
313.13	   
313.13	   global
313.13	     nbConstraintChecks=227829470  nbValidityChecks=438668078  nbPropagations=7338996  nbRevisions=91837106
313.13	     nbUselessRevisions=72992666  nbRestartNogoods=210  solvingWckTime=311.609  solvingCpuTime=311.4  expiredTime=no
313.13	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=312.42
313.13	       =>  wckTime=312.828  cpuTime=312.36  mem=35M334
313.13	   
313.13	s SATISFIABLE
313.13	v 14 3 18 3 9 20 5 7 1 22 9 10 9 7 15 10 17 1 5 14 6 18 2 4 
313.13	d NODES 182629
313.13	d CHECKS 227829470
313.13	   
313.13	   totalWckTime=312.905  totalCpuTime=312.42

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-199934-1168071704 -o ROOT/results/node22/solver-199934-1168071704 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199934-1168071704/unknown.xml 

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

/proc/loadavg: 0.98 1.39 1.71 4/78 7870
/proc/meminfo: memFree=1616984/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=72 CPUtime=0
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 17 0 0 0 0 0 0 0 20 0 1 0 155564817 73728 1 18446744073709551615 0 0 4294956969 18446744073709551615 272467815719 0 0 4096 0 0 0 0 17 1 0 0
/proc/7869/statm: 41 6 3 14 0 1 0

[startup+0.103564 s]
/proc/loadavg: 0.98 1.39 1.71 4/78 7870
/proc/meminfo: memFree=1616984/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=914988 CPUtime=0.08
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 2995 0 1 0 6 2 0 0 17 0 8 0 155564817 936947712 2741 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072942028 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7869/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511626 s]
/proc/loadavg: 0.98 1.39 1.71 4/78 7870
/proc/meminfo: memFree=1616984/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915328 CPUtime=0.5
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 8064 0 1 0 45 5 0 0 17 0 8 0 155564817 937295872 7803 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4152819601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7869/statm: 228832 7803 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33375 s]
/proc/loadavg: 0.98 1.39 1.71 2/85 7877
/proc/meminfo: memFree=1549792/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=1.32
/proc/7869/stat : 7869 (java) S 7867 7869 6835 0 -1 0 19153 0 1 0 122 10 0 0 18 0 8 0 155564817 937385984 18890 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7869/statm: 228854 18890 2169 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.13
/proc/7869/task/7871/stat : 7871 (java) R 7867 7869 6835 0 -1 64 2668 0 0 0 12 1 0 0 16 0 8 0 155564821 937385984 18890 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153790437 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 18890 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 18890 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 18890 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.1
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 319 0 0 0 10 0 0 0 15 0 8 0 155564825 937385984 18890 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 18890 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 18890 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915416

[startup+2.981 s]
/proc/loadavg: 0.98 1.39 1.71 2/85 7877
/proc/meminfo: memFree=1534112/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=2.97
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 23393 0 1 0 285 12 0 0 23 0 8 0 155564817 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7869/statm: 228854 23128 2521 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.16
/proc/7869/task/7871/stat : 7871 (java) S 7867 7869 6835 0 -1 64 6429 0 0 0 14 2 0 0 17 0 8 0 155564821 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155564822 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.19
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 371 0 0 0 18 1 0 0 15 0 8 0 155564825 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915416

[startup+6.2625 s]
/proc/loadavg: 0.99 1.39 1.71 2/85 7877
/proc/meminfo: memFree=1533920/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=6.24
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 23409 0 1 0 612 12 0 0 25 0 8 0 155564817 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7869/statm: 228854 23141 2521 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.16
/proc/7869/task/7871/stat : 7871 (java) S 7867 7869 6835 0 -1 64 6429 0 0 0 14 2 0 0 17 0 8 0 155564821 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155564822 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.22
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 385 0 0 0 21 1 0 0 15 0 8 0 155564825 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915416

[startup+12.7435 s]
/proc/loadavg: 0.99 1.38 1.70 2/85 7877
/proc/meminfo: memFree=1533920/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=12.72
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 23414 0 1 0 1260 12 0 0 25 0 8 0 155564817 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073814228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7869/statm: 228854 23145 2521 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.16
/proc/7869/task/7871/stat : 7871 (java) S 7867 7869 6835 0 -1 64 6429 0 0 0 14 2 0 0 16 0 8 0 155564821 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.23
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915416

[startup+25.5725 s]
/proc/loadavg: 0.99 1.37 1.70 2/85 7877
/proc/meminfo: memFree=1534112/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=25.54
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 23414 0 1 0 2542 12 0 0 25 0 8 0 155564817 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073756572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7869/statm: 228854 23145 2521 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.16
/proc/7869/task/7871/stat : 7871 (java) S 7867 7869 6835 0 -1 64 6429 0 0 0 14 2 0 0 17 0 8 0 155564821 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.24
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915416

[startup+51.2544 s]
/proc/loadavg: 0.99 1.33 1.67 2/85 7877
/proc/meminfo: memFree=1534120/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=51.21
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 23415 0 1 0 5109 12 0 0 25 0 8 0 155564817 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073761396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7869/statm: 228854 23145 2521 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.16
/proc/7869/task/7871/stat : 7871 (java) S 7867 7869 6835 0 -1 64 6429 0 0 0 14 2 0 0 16 0 8 0 155564821 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.24
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915416

[startup+102.515 s]
/proc/loadavg: 0.99 1.28 1.63 2/85 7877
/proc/meminfo: memFree=1534120/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=102.46
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 23415 0 1 0 10233 13 0 0 25 0 8 0 155564817 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073755379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7869/statm: 228854 23145 2521 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.16
/proc/7869/task/7871/stat : 7871 (java) S 7867 7869 6835 0 -1 64 6429 0 0 0 14 2 0 0 16 0 8 0 155564821 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.24
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915416

[startup+162.605 s]
/proc/loadavg: 0.99 1.22 1.59 2/85 7877
/proc/meminfo: memFree=1534120/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=162.53
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 23415 0 1 0 16239 14 0 0 25 0 8 0 155564817 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7869/statm: 228854 23145 2521 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.16
/proc/7869/task/7871/stat : 7871 (java) S 7867 7869 6835 0 -1 64 6429 0 0 0 14 2 0 0 16 0 8 0 155564821 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.24
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.53
Current children cumulated vsize (KiB) 915416

[startup+222.701 s]
/proc/loadavg: 0.99 1.18 1.55 2/85 7877
/proc/meminfo: memFree=1534056/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=222.6
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 23415 0 1 0 22246 14 0 0 25 0 8 0 155564817 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073759351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7869/statm: 228854 23145 2521 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.16
/proc/7869/task/7871/stat : 7871 (java) S 7867 7869 6835 0 -1 64 6429 0 0 0 14 2 0 0 16 0 8 0 155564821 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.24
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.6
Current children cumulated vsize (KiB) 915416

[startup+282.794 s]
/proc/loadavg: 1.06 1.17 1.52 2/85 7877
/proc/meminfo: memFree=1534056/2055920 swapFree=4157532/4192956
[pid=7869] ppid=7867 vsize=915416 CPUtime=282.69
/proc/7869/stat : 7869 (java) R 7867 7869 6835 0 -1 0 23415 0 1 0 28254 15 0 0 25 0 8 0 155564817 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073764580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7869/statm: 228854 23145 2521 14 0 215324 0
[pid=7869/tid=7871] ppid=7867 vsize=915416 CPUtime=0.16
/proc/7869/task/7871/stat : 7871 (java) S 7867 7869 6835 0 -1 64 6429 0 0 0 14 2 0 0 16 0 8 0 155564821 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7872] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7872/stat : 7872 (java) S 7867 7869 6835 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7873] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7873/stat : 7873 (java) S 7867 7869 6835 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155564822 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7874] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7874/stat : 7874 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7875] ppid=7867 vsize=915416 CPUtime=0.24
/proc/7869/task/7875/stat : 7875 (java) S 7867 7869 6835 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7869/tid=7876] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7876/stat : 7876 (java) S 7867 7869 6835 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7869/tid=7877] ppid=7867 vsize=915416 CPUtime=0
/proc/7869/task/7877/stat : 7877 (java) S 7867 7869 6835 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155564825 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.69
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 313.329
CPU time (s): 313.039
CPU user time (s): 312.869
CPU system time (s): 0.169974
CPU usage (%): 99.9075
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 312.869
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23422
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= 7213
involuntary context switches= 11043

runsolver used 0.397939 s user time and 0.724889 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Sat Jan  6 08:21:44 UTC 2007


IDJOB= 199934
IDBENCH= 3661
FILE ID= node22/199934-1168071704

PBS_JOBID= 3475645

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199934-1168071704/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-199934-1168071704 -o ROOT/results/node22/solver-199934-1168071704 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199934-1168071704/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  66b9a6f84ad3fac8713448ac5bc398c0

RANDOM SEED= 425820336

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.279
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.279
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:       1617408 kB
Buffers:         35844 kB
Cached:         298644 kB
SwapCached:      13264 kB
Active:          81556 kB
Inactive:       290904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617408 kB
SwapTotal:     4192956 kB
SwapFree:      4157532 kB
Dirty:            4568 kB
Writeback:           0 kB
Mapped:          53280 kB
Slab:            51488 kB
Committed_AS:  2572136 kB
PageTables:       1916 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= 66546 MiB



End job on node22 on Sat Jan  6 08:26:57 UTC 2007