0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/229926-1168313512/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.44 => wckTime=0.106 cpuTime=0.08 mem=6M951
0.44
0.44 relations being loaded...
0.60
0.60 constraints being loaded...
0.75 nbConstraints=476 nbRelationTypes=476 nbExtensionStructures=476 nbSharedExtensionStructures=0
0.75 nbConflictsStructures=476 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2548 maxDegree=27
0.75 maxArity=2
0.75 => wckTime=0.414 cpuTime=0.3 mem=17M695
0.79
0.79 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.63 cpuTime=0.44 mem=15M599
1.03
1.03 preprocessing
1.03 nbConstraintChecks=105249 nbPropagations=1170 nbRevisions=9130 nbUselessRevisions=7530 nbSingletonTests=59
1.03 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.03 => wckTime=0.062 cpuTime=0.03 mem=15M599
1.06
1.06 search
1.06 run=0 nbConstraintChecks=36693 nbPropagations=1634 nbRevisions=14459 nbUselessRevisions=11994 nbAssignments=26
1.06 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.06 nbTooLargeKeys=0
1.06 => wckTime=0.091 cpuTime=0.05 mem=15M599
1.08
1.08 search
1.08 run=1 nbConstraintChecks=108419 nbPropagations=4079 nbRevisions=39348 nbUselessRevisions=32595
1.08 nbAssignments=67 nbFailedAssignments=17 nbBacktracks=25 nbVisitedNodes=100 nbRestartNogoods=1 mapSize=22
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.115 cpuTime=0.08 mem=15M599
1.10
1.10 search
1.10 run=2 nbConstraintChecks=203739 nbPropagations=7608 nbRevisions=80591 nbUselessRevisions=66830
1.10 nbAssignments=122 nbFailedAssignments=38 nbBacktracks=47 nbVisitedNodes=191 nbRestartNogoods=3 mapSize=43
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.133 cpuTime=0.09 mem=15M599
1.12
1.12 search
1.12 run=3 nbConstraintChecks=307082 nbPropagations=12341 nbRevisions=138796 nbUselessRevisions=115165
1.12 nbAssignments=186 nbFailedAssignments=58 nbBacktracks=80 nbVisitedNodes=291 nbRestartNogoods=9 mapSize=70
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.154 cpuTime=0.11 mem=15M599
1.16
1.16 search
1.16 run=4 nbConstraintChecks=467492 nbPropagations=18994 nbRevisions=224254 nbUselessRevisions=185882
1.16 nbAssignments=273 nbFailedAssignments=84 nbBacktracks=131 nbVisitedNodes=438 nbRestartNogoods=13 mapSize=117
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.192 cpuTime=0.14 mem=15M599
1.21
1.21 search
1.21 run=5 nbConstraintChecks=704457 nbPropagations=28326 nbRevisions=350844 nbUselessRevisions=290431
1.21 nbAssignments=403 nbFailedAssignments=128 nbBacktracks=206 nbVisitedNodes=659 nbRestartNogoods=17 mapSize=181
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.244 cpuTime=0.19 mem=15M599
1.26
1.26 search
1.26 run=6 nbConstraintChecks=965164 nbPropagations=40986 nbRevisions=527376 nbUselessRevisions=436337
1.26 nbAssignments=594 nbFailedAssignments=190 nbBacktracks=324 nbVisitedNodes=972 nbRestartNogoods=20 mapSize=269
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.295 cpuTime=0.24 mem=15M599
1.34
1.34 search
1.34 run=7 nbConstraintChecks=1399081 nbPropagations=58958 nbRevisions=785718 nbUselessRevisions=650003
1.34 nbAssignments=866 nbFailedAssignments=280 nbBacktracks=495 nbVisitedNodes=1426 nbRestartNogoods=25 mapSize=402
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.378 cpuTime=0.32 mem=15M599
1.47
1.47 search
1.47 run=8 nbConstraintChecks=2100847 nbPropagations=85244 nbRevisions=1174115 nbUselessRevisions=970957
1.47 nbAssignments=1298 nbFailedAssignments=444 nbBacktracks=751 nbVisitedNodes=2160 nbRestartNogoods=35
1.47 mapSize=611 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.509 cpuTime=0.45 mem=15M599
1.68
1.68 search
1.68 run=9 nbConstraintChecks=3271123 nbPropagations=125002 nbRevisions=1772576 nbUselessRevisions=1464142
1.68 nbAssignments=1968 nbFailedAssignments=717 nbBacktracks=1138 nbVisitedNodes=3326 nbRestartNogoods=39
1.68 mapSize=950 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.718 cpuTime=0.64 mem=15M599
1.74
1.74 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=15M599)
1.93
1.93 search
1.93 run=10 nbConstraintChecks=4692056 nbPropagations=182128 nbRevisions=2635654 nbUselessRevisions=2174870
1.93 nbAssignments=2897 nbFailedAssignments=1057 nbBacktracks=1714 nbVisitedNodes=4891 nbRestartNogoods=43
1.93 => wckTime=0.96 cpuTime=0.87 mem=15M599
2.30
2.30 search
2.30 run=11 nbConstraintChecks=7233260 nbPropagations=267061 nbRevisions=3940962 nbUselessRevisions=3248407
2.30 nbAssignments=4321 nbFailedAssignments=1608 nbBacktracks=2579 nbVisitedNodes=7347 nbRestartNogoods=46
2.30 => wckTime=1.339 cpuTime=1.24 mem=15M599
2.84
2.84 search
2.84 run=12 nbConstraintChecks=10767151 nbPropagations=392030 nbRevisions=5868324 nbUselessRevisions=4830141
2.84 nbAssignments=6382 nbFailedAssignments=2359 nbBacktracks=3877 nbVisitedNodes=10824 nbRestartNogoods=53
2.84 => wckTime=1.871 cpuTime=1.77 mem=15M599
3.56
3.56 search
3.56 run=13 nbConstraintChecks=15220070 nbPropagations=572261 nbRevisions=8658194 nbUselessRevisions=7123216
3.56 nbAssignments=9428 nbFailedAssignments=3424 nbBacktracks=5824 nbVisitedNodes=15859 nbRestartNogoods=63
3.56 => wckTime=2.595 cpuTime=2.48 mem=15M599
4.78
4.78 search
4.78 run=14 nbConstraintChecks=23028369 nbPropagations=844910 nbRevisions=12930846 nbUselessRevisions=10640683
4.78 nbAssignments=14315 nbFailedAssignments=5382 nbBacktracks=8743 nbVisitedNodes=24315 nbRestartNogoods=72
4.78 => wckTime=3.815 cpuTime=3.69 mem=15M599
6.62
6.62 search
6.62 run=15 nbConstraintChecks=34761283 nbPropagations=1257538 nbRevisions=19444333 nbUselessRevisions=16007545
6.62 nbAssignments=21507 nbFailedAssignments=8186 nbBacktracks=13121 nbVisitedNodes=36796 nbRestartNogoods=77
6.62 => wckTime=5.659 cpuTime=5.52 mem=16M574
9.37
9.37 search
9.37 run=16 nbConstraintChecks=52631052 nbPropagations=1873850 nbRevisions=29216352 nbUselessRevisions=24057352
9.37 nbAssignments=32142 nbFailedAssignments=12224 nbBacktracks=19689 nbVisitedNodes=54950 nbRestartNogoods=87
9.37 => wckTime=8.408 cpuTime=8.23 mem=16M574
13.64
13.64 search
13.64 run=17 nbConstraintChecks=80923661 nbPropagations=2806097 nbRevisions=44007334 nbUselessRevisions=36226618
13.64 nbAssignments=47886 nbFailedAssignments=18106 nbBacktracks=29541 nbVisitedNodes=81901 nbRestartNogoods=96
13.64 => wckTime=12.672 cpuTime=12.46 mem=16M574
19.41
19.41 search
19.41 run=18 nbConstraintChecks=117807507 nbPropagations=4178175 nbRevisions=65817490 nbUselessRevisions=54194966
19.41 nbAssignments=71258 nbFailedAssignments=26687 nbBacktracks=44322 nbVisitedNodes=121766 nbRestartNogoods=111
19.41 => wckTime=18.447 cpuTime=18.19 mem=16M574
29.07
29.07 search
29.07 run=19 nbConstraintChecks=181120484 nbPropagations=6273692 nbRevisions=99267780 nbUselessRevisions=81755129
29.07 nbAssignments=107805 nbFailedAssignments=41054 nbBacktracks=66494 nbVisitedNodes=185078 nbRestartNogoods=118
29.07 => wckTime=28.102 cpuTime=27.76 mem=16M574
42.02
42.02 search
42.02 run=20 nbConstraintChecks=261499569 nbPropagations=9359593 nbRevisions=148616671 nbUselessRevisions=122514690
42.02 nbAssignments=160915 nbFailedAssignments=60889 nbBacktracks=99746 nbVisitedNodes=275841 nbRestartNogoods=133
42.02 => wckTime=41.054 cpuTime=40.59 mem=16M574
63.05
63.05 search
63.05 run=21 nbConstraintChecks=401233076 nbPropagations=14008544 nbRevisions=222894276 nbUselessRevisions=183756867
63.05 nbAssignments=240679 nbFailedAssignments=90762 nbBacktracks=149627 nbVisitedNodes=412451 nbRestartNogoods=143
63.05 => wckTime=62.088 cpuTime=61.45 mem=16M574
93.35
93.35 search
93.35 run=22 nbConstraintChecks=595797583 nbPropagations=20916950 nbRevisions=333551542 nbUselessRevisions=275046062
93.35 nbAssignments=360241 nbFailedAssignments=135497 nbBacktracks=224445 nbVisitedNodes=617110 nbRestartNogoods=158
93.35 => wckTime=92.382 cpuTime=91.46 mem=16M574
139.29
139.29 search
139.29 run=23 nbConstraintChecks=891459777 nbPropagations=31301040 nbRevisions=499689171 nbUselessRevisions=412133629
139.29 nbAssignments=539647 nbFailedAssignments=202661 nbBacktracks=336673 nbVisitedNodes=924086 nbRestartNogoods=174
139.29 => wckTime=138.323 cpuTime=137.0 mem=16M574
210.82
210.82 search
210.82 run=24 nbConstraintChecks=1360679259 nbPropagations=47050079 nbRevisions=751243995 nbUselessRevisions=619542306
210.82 nbAssignments=811075 nbFailedAssignments=305739 nbBacktracks=505014 nbVisitedNodes=1390442 nbRestartNogoods=185
210.82 => wckTime=209.852 cpuTime=207.9 mem=16M574
244.44
244.44 search
244.44 run=25 nbConstraintChecks=1588108119 nbPropagations=65273863 nbRevisions=1042104316
244.44 nbUselessRevisions=859113166 nbAssignments=934085 nbFailedAssignments=352555 nbBacktracks=581158
244.44 nbVisitedNodes=1602112 nbRestartNogoods=207
244.44 => wckTime=243.477 cpuTime=241.23 mem=16M574
244.44
244.44 global
244.44 nbConstraintChecks=1588213368 nbPropagations=65275033 nbRevisions=1042113446 nbUselessRevisions=859120696
244.44 nbRestartNogoods=207 solvingWckTime=243.478 solvingCpuTime=241.23 expiredTime=no totalExploration=no
244.44 nbFoundSolutions=1 globalCpuTime=241.73
244.44 => wckTime=244.112 cpuTime=241.67 mem=16M574
244.45
244.45 s SATISFIABLE
244.45 v 2 17 10 21 0 13 11 4 21 17 11 13 18 2 18 18 16 5 10 15 22 12 15 5 17 21 9 4 13 8 19 6 16 3 10 7 8 3 4 1 0 17 3 17 4 19 19 4 9 1
244.45 d NODES 934085
244.45 d CHECKS 1588213368
244.45
244.45 totalWckTime=244.198 totalCpuTime=241.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-229926-1168313512 -o ROOT/results/node6/solver-229926-1168313512 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229926-1168313512/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.95 1.99 2.09 4/87 28246
/proc/meminfo: memFree=1288040/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=18540 CPUtime=0
/proc/28245/stat : 28245 (runsolver) R 28243 28245 23216 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 179746671 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28245/statm: 4635 279 244 17 0 2626 0
[startup+0.107954 s]
/proc/loadavg: 1.95 1.99 2.09 4/87 28246
/proc/meminfo: memFree=1288040/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=913068 CPUtime=0.08
/proc/28245/stat : 28245 (java) S 28243 28245 23216 0 -1 0 2873 0 1 0 6 2 0 0 17 0 8 0 179746671 934981632 2619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228267 2619 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.516001 s]
/proc/loadavg: 1.95 1.99 2.09 4/87 28246
/proc/meminfo: memFree=1288040/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915328 CPUtime=0.48
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 6669 0 1 0 43 5 0 0 18 0 8 0 179746671 937295872 6408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228832 6408 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34109 s]
/proc/loadavg: 1.95 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260272/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=1.29
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9670 0 1 0 121 8 0 0 24 0 8 0 179746671 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9408 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.23
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 382 0 0 0 22 1 0 0 15 0 8 0 179746680 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98928 s]
/proc/loadavg: 1.95 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260144/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=2.93
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9688 0 1 0 285 8 0 0 25 0 8 0 179746671 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9424 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 17 0 8 0 179746676 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 399 0 0 0 26 1 0 0 15 0 8 0 179746680 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26867 s]
/proc/loadavg: 1.95 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260016/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=6.17
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9689 0 1 0 609 8 0 0 25 0 8 0 179746671 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9425 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 399 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915460
[startup+12.7584 s]
/proc/loadavg: 1.96 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260016/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=12.61
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9689 0 1 0 1252 9 0 0 25 0 8 0 179746671 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9425 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 399 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.6069 s]
/proc/loadavg: 1.97 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260080/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=25.35
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9689 0 1 0 2526 9 0 0 25 0 8 0 179746671 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9425 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 399 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.2259 s]
/proc/loadavg: 1.98 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260080/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=50.74
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9691 0 1 0 5065 9 0 0 25 0 8 0 179746671 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9426 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 400 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915460
[startup+102.446 s]
/proc/loadavg: 1.99 1.99 2.08 3/94 28253
/proc/meminfo: memFree=1258800/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=101.5
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9692 0 1 0 10141 9 0 0 25 0 8 0 179746671 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9427 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) R 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915460
[startup+162.519 s]
/proc/loadavg: 2.03 2.01 2.08 3/94 28253
/proc/meminfo: memFree=1255984/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=161.06
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9692 0 1 0 16096 10 0 0 25 0 8 0 179746671 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9427 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 915460
[startup+222.589 s]
/proc/loadavg: 2.01 2.00 2.07 3/94 28253
/proc/meminfo: memFree=1255792/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=220.59
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9692 0 1 0 22049 10 0 0 25 0 8 0 179746671 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9427 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 244.472
CPU time (s): 242.28
CPU user time (s): 242.161
CPU system time (s): 0.118981
CPU usage (%): 99.1035
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.161
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9700
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= 6118
involuntary context switches= 10852
runsolver used 0.275958 s user time and 0.823874 s system time
The end
Begin job on node6 on Tue Jan 9 03:31:52 UTC 2007
IDJOB= 229926
IDBENCH= 6377
FILE ID= node6/229926-1168313512
PBS_JOBID= 3502334
Free space on /tmp= 66538 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229926-1168313512/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-229926-1168313512 -o ROOT/results/node6/solver-229926-1168313512 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229926-1168313512/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a193d27925f8e1a417d3aef56460952d
RANDOM SEED= 491614954
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.240
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.240
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: 2055924 kB
MemFree: 1288520 kB
Buffers: 97844 kB
Cached: 511688 kB
SwapCached: 2944 kB
Active: 388244 kB
Inactive: 295544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1288520 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2152 kB
Writeback: 0 kB
Mapped: 84300 kB
Slab: 68308 kB
Committed_AS: 5698948 kB
PageTables: 2448 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= 66538 MiB
End job on node6 on Tue Jan 9 03:35:57 UTC 2007