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
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
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