0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/195041-1168109410/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.54
0.54 constraints being loaded...
0.68 nbConstraints=465 nbRelationTypes=465 nbExtensionStructures=465 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=465 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2389 maxDegree=27
0.68 maxArity=2
0.68 => wckTime=0.378 cpuTime=0.29 mem=17M695
0.72
0.72 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.58 cpuTime=0.43 mem=15M577
0.94
0.94 preprocessing
0.94 nbConstraintChecks=117681 nbPropagations=1314 nbRevisions=10909 nbUselessRevisions=9219 nbSingletonTests=64
0.94 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.059 cpuTime=0.04 mem=15M577
0.97
0.97 search
0.97 run=0 nbConstraintChecks=49683 nbPropagations=1881 nbRevisions=17824 nbUselessRevisions=15042 nbAssignments=29
0.97 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.087 cpuTime=0.05 mem=15M577
0.99
0.99 search
0.99 run=1 nbConstraintChecks=119217 nbPropagations=4628 nbRevisions=47207 nbUselessRevisions=39790
0.99 nbAssignments=65 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=100 nbRestartNogoods=3 mapSize=22
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.109 cpuTime=0.07 mem=15M577
1.00
1.00 search
1.00 run=2 nbConstraintChecks=197117 nbPropagations=8299 nbRevisions=88739 nbUselessRevisions=74519
1.00 nbAssignments=109 nbFailedAssignments=29 nbBacktracks=49 nbVisitedNodes=170 nbRestartNogoods=6 mapSize=40
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.124 cpuTime=0.08 mem=15M577
1.02
1.02 search
1.02 run=3 nbConstraintChecks=290152 nbPropagations=13064 nbRevisions=144660 nbUselessRevisions=121173
1.02 nbAssignments=170 nbFailedAssignments=46 nbBacktracks=83 nbVisitedNodes=265 nbRestartNogoods=10 mapSize=66
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.141 cpuTime=0.1 mem=15M577
1.05
1.05 search
1.05 run=4 nbConstraintChecks=450190 nbPropagations=19715 nbRevisions=227999 nbUselessRevisions=190297
1.05 nbAssignments=263 nbFailedAssignments=78 nbBacktracks=135 nbVisitedNodes=417 nbRestartNogoods=12 mapSize=106
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.171 cpuTime=0.13 mem=15M577
1.10
1.10 search
1.10 run=5 nbConstraintChecks=693651 nbPropagations=29128 nbRevisions=351393 nbUselessRevisions=292268
1.10 nbAssignments=397 nbFailedAssignments=126 nbBacktracks=212 nbVisitedNodes=648 nbRestartNogoods=15 mapSize=173
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.215 cpuTime=0.17 mem=15M577
1.15
1.15 search
1.15 run=6 nbConstraintChecks=1012441 nbPropagations=42296 nbRevisions=531736 nbUselessRevisions=441040
1.15 nbAssignments=591 nbFailedAssignments=195 nbBacktracks=328 nbVisitedNodes=976 nbRestartNogoods=19 mapSize=266
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.269 cpuTime=0.22 mem=15M577
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1404352 nbPropagations=60449 nbRevisions=783788 nbUselessRevisions=648876
1.22 nbAssignments=868 nbFailedAssignments=290 nbBacktracks=498 nbVisitedNodes=1434 nbRestartNogoods=23 mapSize=405
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.337 cpuTime=0.28 mem=15M577
1.33
1.33 search
1.33 run=8 nbConstraintChecks=2061839 nbPropagations=86829 nbRevisions=1160541 nbUselessRevisions=958417
1.33 nbAssignments=1283 nbFailedAssignments=443 nbBacktracks=754 nbVisitedNodes=2150 nbRestartNogoods=28
1.33 mapSize=615 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.452 cpuTime=0.4 mem=15M577
1.53
1.53 search
1.53 run=9 nbConstraintChecks=3213157 nbPropagations=126279 nbRevisions=1737755 nbUselessRevisions=1429947
1.53 nbAssignments=1946 nbFailedAssignments=713 nbBacktracks=1139 nbVisitedNodes=3292 nbRestartNogoods=29
1.53 mapSize=933 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.645 cpuTime=0.58 mem=15M577
1.58
1.58 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=15M577)
1.78
1.78 search
1.78 run=10 nbConstraintChecks=4915776 nbPropagations=185041 nbRevisions=2613681 nbUselessRevisions=2145700
1.78 nbAssignments=2913 nbFailedAssignments=1096 nbBacktracks=1715 nbVisitedNodes=4955 nbRestartNogoods=34
1.78 => wckTime=0.9 cpuTime=0.82 mem=15M577
2.10
2.10 search
2.10 run=11 nbConstraintChecks=7196417 nbPropagations=270703 nbRevisions=3892502 nbUselessRevisions=3190456
2.10 nbAssignments=4284 nbFailedAssignments=1592 nbBacktracks=2579 nbVisitedNodes=7274 nbRestartNogoods=38
2.10 => wckTime=1.22 cpuTime=1.14 mem=15M577
2.61
2.61 search
2.61 run=12 nbConstraintChecks=10634675 nbPropagations=399484 nbRevisions=5838720 nbUselessRevisions=4783606
2.61 nbAssignments=6495 nbFailedAssignments=2495 nbBacktracks=3878 nbVisitedNodes=11115 nbRestartNogoods=41
2.61 => wckTime=1.726 cpuTime=1.65 mem=15M577
3.37
3.37 search
3.37 run=13 nbConstraintChecks=16132902 nbPropagations=591031 nbRevisions=8764861 nbUselessRevisions=7178864
3.37 nbAssignments=9760 nbFailedAssignments=3802 nbBacktracks=5824 nbVisitedNodes=16718 nbRestartNogoods=49
3.37 => wckTime=2.486 cpuTime=2.41 mem=15M577
4.46
4.46 search
4.46 run=14 nbConstraintChecks=24006878 nbPropagations=874870 nbRevisions=13065593 nbUselessRevisions=10690623
4.46 nbAssignments=14486 nbFailedAssignments=5570 nbBacktracks=8743 nbVisitedNodes=24674 nbRestartNogoods=57
4.46 => wckTime=3.58 cpuTime=3.5 mem=15M577
6.21
6.21 search
6.21 run=15 nbConstraintChecks=37096844 nbPropagations=1303258 nbRevisions=19579988 nbUselessRevisions=16004521
6.21 nbAssignments=21666 nbFailedAssignments=8364 nbBacktracks=13121 nbVisitedNodes=37021 nbRestartNogoods=61
6.21 => wckTime=5.329 cpuTime=5.25 mem=16M553
8.59
8.59 search
8.59 run=16 nbConstraintChecks=53677407 nbPropagations=1934868 nbRevisions=29209121 nbUselessRevisions=23869923
8.59 nbAssignments=32354 nbFailedAssignments=12473 nbBacktracks=19692 nbVisitedNodes=55295 nbRestartNogoods=67
8.59 => wckTime=7.71 cpuTime=7.63 mem=16M553
12.51
12.51 search
12.51 run=17 nbConstraintChecks=81285226 nbPropagations=2896301 nbRevisions=43940521 nbUselessRevisions=35915885
12.51 nbAssignments=48722 nbFailedAssignments=18978 nbBacktracks=29544 nbVisitedNodes=83632 nbRestartNogoods=74
12.51 => wckTime=11.625 cpuTime=11.54 mem=16M553
18.09
18.09 search
18.09 run=18 nbConstraintChecks=121693262 nbPropagations=4314139 nbRevisions=65750394 nbUselessRevisions=53753478
18.09 nbAssignments=72249 nbFailedAssignments=27691 nbBacktracks=44324 nbVisitedNodes=123534 nbRestartNogoods=93
18.09 => wckTime=17.212 cpuTime=17.1 mem=16M553
26.43
26.43 search
26.43 run=19 nbConstraintChecks=181111353 nbPropagations=6436762 nbRevisions=98357680 nbUselessRevisions=80438011
26.43 nbAssignments=108137 nbFailedAssignments=41379 nbBacktracks=66494 nbVisitedNodes=185147 nbRestartNogoods=105
26.43 => wckTime=25.549 cpuTime=25.44 mem=16M553
39.96
39.96 search
39.96 run=20 nbConstraintChecks=280515641 nbPropagations=9674962 nbRevisions=148213542 nbUselessRevisions=121208852
39.96 nbAssignments=163100 nbFailedAssignments=63079 nbBacktracks=99746 nbVisitedNodes=280361 nbRestartNogoods=117
39.97 => wckTime=39.084 cpuTime=38.96 mem=16M553
57.90
57.90 search
57.90 run=21 nbConstraintChecks=407197167 nbPropagations=14440211 nbRevisions=221411517 nbUselessRevisions=181133620
57.90 nbAssignments=243139 nbFailedAssignments=93229 nbBacktracks=149624 nbVisitedNodes=416862 nbRestartNogoods=126
57.90 => wckTime=57.022 cpuTime=56.88 mem=16M553
88.73
88.73 search
88.73 run=22 nbConstraintChecks=636031246 nbPropagations=21728057 nbRevisions=333697780 nbUselessRevisions=272937599
88.73 nbAssignments=366664 nbFailedAssignments=141926 nbBacktracks=224447 nbVisitedNodes=629824 nbRestartNogoods=139
88.73 => wckTime=87.846 cpuTime=87.67 mem=16M553
129.56
129.56 search
129.56 run=23 nbConstraintChecks=924815741 nbPropagations=32485903 nbRevisions=498716160 nbUselessRevisions=407968862
129.56 nbAssignments=545591 nbFailedAssignments=208615 nbBacktracks=336675 nbVisitedNodes=933428 nbRestartNogoods=152
129.56 => wckTime=128.679 cpuTime=128.45 mem=16M553
194.95
194.95 search
194.95 run=24 nbConstraintChecks=1389921133 nbPropagations=48683565 nbRevisions=749088205 nbUselessRevisions=613170692
194.95 nbAssignments=821947 nbFailedAssignments=316621 nbBacktracks=505017 nbVisitedNodes=1408415 nbRestartNogoods=171
194.95 => wckTime=194.072 cpuTime=193.76 mem=16M553
243.89
243.89 search
243.89 run=25 nbConstraintChecks=1746520875 nbPropagations=68947947 nbRevisions=1061780608
243.89 nbUselessRevisions=869204428 nbAssignments=1023904 nbFailedAssignments=395827 nbBacktracks=627718
243.89 nbVisitedNodes=1757967 nbRestartNogoods=183
243.89 => wckTime=243.01 cpuTime=242.65 mem=16M553
243.89
243.89 global
243.89 nbConstraintChecks=1746638556 nbPropagations=68949261 nbRevisions=1061791517 nbUselessRevisions=869213647
243.89 nbRestartNogoods=183 solvingWckTime=243.011 solvingCpuTime=242.65 expiredTime=no totalExploration=no
243.89 nbFoundSolutions=1 globalCpuTime=243.13
243.89 => wckTime=243.594 cpuTime=243.08 mem=16M553
243.90
243.90 s SATISFIABLE
243.90 v 8 21 10 22 16 12 10 21 3 22 21 2 5 14 11 13 15 1 6 10 4 21 18 11 17 7 21 1 16 16 0 17 20 15 18 8 18 7 19 15 4 16 16 6 7 20 16 11 13 1
243.90 d NODES 1023904
243.90 d CHECKS 1746638556
243.90
243.90 totalWckTime=243.672 totalCpuTime=243.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-195041-1168109410 -o ROOT/results/node2/solver-195041-1168109410 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195041-1168109410/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: 2.02 2.02 2.00 4/98 14668
/proc/meminfo: memFree=1344936/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=172 CPUtime=0
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 159336607 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10535716 0 0 4096 0 0 0 0 17 0 0 0
/proc/14667/statm: 43 24 18 14 0 3 0
[startup+0.108185 s]
/proc/loadavg: 2.02 2.02 2.00 4/98 14668
/proc/meminfo: memFree=1344936/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=914988 CPUtime=0.09
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 3065 0 1 0 7 2 0 0 22 0 8 0 159336607 936947712 2811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228747 2812 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519259 s]
/proc/loadavg: 2.02 2.02 2.00 4/98 14668
/proc/meminfo: memFree=1344936/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915328 CPUtime=0.5
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 7239 0 1 0 45 5 0 0 25 0 8 0 159336607 937295872 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228832 6978 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34041 s]
/proc/loadavg: 2.02 2.02 2.00 3/105 14675
/proc/meminfo: memFree=1317296/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915460 CPUtime=1.32
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 9631 0 1 0 124 8 0 0 25 0 8 0 159336607 937431040 9369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810752 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228865 9369 2524 14 0 215335 0
[pid=14667/tid=14669] ppid=14665 vsize=915460 CPUtime=0.03
/proc/14667/task/14669/stat : 14669 (java) S 14665 14667 13951 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159336611 937431040 9369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14670] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14670/stat : 14670 (java) S 14665 14667 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159336611 937431040 9369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14671] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14671/stat : 14671 (java) S 14665 14667 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159336611 937431040 9369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14672] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14672/stat : 14672 (java) S 14665 14667 13951 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159336615 937431040 9369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14673] ppid=14665 vsize=915460 CPUtime=0.19
/proc/14667/task/14673/stat : 14673 (java) S 14665 14667 13951 0 -1 64 383 0 0 0 19 0 0 0 16 0 8 0 159336615 937431040 9369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14674] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14674/stat : 14674 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159336615 937431040 9369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14675] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14675/stat : 14675 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159336615 937431040 9369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.97771 s]
/proc/loadavg: 2.02 2.02 2.00 3/105 14675
/proc/meminfo: memFree=1317232/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915460 CPUtime=2.95
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 9647 0 1 0 287 8 0 0 25 0 8 0 159336607 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228865 9384 2524 14 0 215335 0
[pid=14667/tid=14669] ppid=14665 vsize=915460 CPUtime=0.03
/proc/14667/task/14669/stat : 14669 (java) S 14665 14667 13951 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 159336611 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14670] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14670/stat : 14670 (java) S 14665 14667 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159336611 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14671] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14671/stat : 14671 (java) S 14665 14667 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159336611 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14672] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14672/stat : 14672 (java) S 14665 14667 13951 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14673] ppid=14665 vsize=915460 CPUtime=0.22
/proc/14667/task/14673/stat : 14673 (java) S 14665 14667 13951 0 -1 64 398 0 0 0 21 1 0 0 15 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14674] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14674/stat : 14674 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14675] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14675/stat : 14675 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.1793 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 14675
/proc/meminfo: memFree=1317040/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915460 CPUtime=6.15
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 9648 0 1 0 607 8 0 0 25 0 8 0 159336607 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833174 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228865 9384 2524 14 0 215335 0
[pid=14667/tid=14669] ppid=14665 vsize=915460 CPUtime=0.03
/proc/14667/task/14669/stat : 14669 (java) S 14665 14667 13951 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159336611 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14670] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14670/stat : 14670 (java) S 14665 14667 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159336611 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14671] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14671/stat : 14671 (java) S 14665 14667 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159336611 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14672] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14672/stat : 14672 (java) S 14665 14667 13951 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14673] ppid=14665 vsize=915460 CPUtime=0.22
/proc/14667/task/14673/stat : 14673 (java) S 14665 14667 13951 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14674] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14674/stat : 14674 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14675] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14675/stat : 14675 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.6605 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 14675
/proc/meminfo: memFree=1317048/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915460 CPUtime=12.63
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 9648 0 1 0 1255 8 0 0 25 0 8 0 159336607 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228865 9384 2524 14 0 215335 0
[pid=14667/tid=14669] ppid=14665 vsize=915460 CPUtime=0.03
/proc/14667/task/14669/stat : 14669 (java) S 14665 14667 13951 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159336611 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14670] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14670/stat : 14670 (java) S 14665 14667 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159336611 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14671] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14671/stat : 14671 (java) S 14665 14667 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159336611 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14672] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14672/stat : 14672 (java) S 14665 14667 13951 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14673] ppid=14665 vsize=915460 CPUtime=0.23
/proc/14667/task/14673/stat : 14673 (java) S 14665 14667 13951 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14674] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14674/stat : 14674 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14675] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14675/stat : 14675 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159336615 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460
[startup+25.5349 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 14675
/proc/meminfo: memFree=1317112/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915460 CPUtime=25.48
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 9650 0 1 0 2540 8 0 0 25 0 8 0 159336607 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228865 9385 2524 14 0 215335 0
[pid=14667/tid=14669] ppid=14665 vsize=915460 CPUtime=0.03
/proc/14667/task/14669/stat : 14669 (java) S 14665 14667 13951 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14670] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14670/stat : 14670 (java) S 14665 14667 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14671] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14671/stat : 14671 (java) S 14665 14667 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14672] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14672/stat : 14672 (java) S 14665 14667 13951 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14673] ppid=14665 vsize=915460 CPUtime=0.23
/proc/14667/task/14673/stat : 14673 (java) S 14665 14667 13951 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14674] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14674/stat : 14674 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14675] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14675/stat : 14675 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460
[startup+51.1806 s]
/proc/loadavg: 2.00 2.02 2.00 3/105 14675
/proc/meminfo: memFree=1317176/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915460 CPUtime=51.11
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 9650 0 1 0 5102 9 0 0 25 0 8 0 159336607 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819766 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228865 9385 2524 14 0 215335 0
[pid=14667/tid=14669] ppid=14665 vsize=915460 CPUtime=0.03
/proc/14667/task/14669/stat : 14669 (java) S 14665 14667 13951 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14670] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14670/stat : 14670 (java) S 14665 14667 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14671] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14671/stat : 14671 (java) S 14665 14667 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14672] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14672/stat : 14672 (java) S 14665 14667 13951 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14673] ppid=14665 vsize=915460 CPUtime=0.23
/proc/14667/task/14673/stat : 14673 (java) S 14665 14667 13951 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14674] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14674/stat : 14674 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14675] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14675/stat : 14675 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915460
[startup+102.469 s]
/proc/loadavg: 2.00 2.01 2.00 3/105 14675
/proc/meminfo: memFree=1317176/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915460 CPUtime=102.34
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 9650 0 1 0 10225 9 0 0 25 0 8 0 159336607 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228865 9385 2524 14 0 215335 0
[pid=14667/tid=14669] ppid=14665 vsize=915460 CPUtime=0.03
/proc/14667/task/14669/stat : 14669 (java) S 14665 14667 13951 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14670] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14670/stat : 14670 (java) S 14665 14667 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14671] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14671/stat : 14671 (java) S 14665 14667 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14672] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14672/stat : 14672 (java) S 14665 14667 13951 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14673] ppid=14665 vsize=915460 CPUtime=0.23
/proc/14667/task/14673/stat : 14673 (java) S 14665 14667 13951 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14674] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14674/stat : 14674 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14675] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14675/stat : 14675 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915460
[startup+162.518 s]
/proc/loadavg: 2.03 2.02 2.00 3/105 14675
/proc/meminfo: memFree=1317240/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915460 CPUtime=162.31
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 9650 0 1 0 16222 9 0 0 25 0 8 0 159336607 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228865 9385 2524 14 0 215335 0
[pid=14667/tid=14669] ppid=14665 vsize=915460 CPUtime=0.03
/proc/14667/task/14669/stat : 14669 (java) S 14665 14667 13951 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14670] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14670/stat : 14670 (java) S 14665 14667 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14671] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14671/stat : 14671 (java) S 14665 14667 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159336611 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14672] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14672/stat : 14672 (java) S 14665 14667 13951 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14673] ppid=14665 vsize=915460 CPUtime=0.23
/proc/14667/task/14673/stat : 14673 (java) S 14665 14667 13951 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14674] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14674/stat : 14674 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14675] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14675/stat : 14675 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159336615 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 915460
[startup+222.614 s]
/proc/loadavg: 2.04 2.03 2.00 3/105 14675
/proc/meminfo: memFree=1317176/2055920 swapFree=4191880/4192956
[pid=14667] ppid=14665 vsize=915460 CPUtime=222.35
/proc/14667/stat : 14667 (java) R 14665 14667 13951 0 -1 0 9651 0 1 0 22226 9 0 0 25 0 8 0 159336607 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833174 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14667/statm: 228865 9386 2524 14 0 215335 0
[pid=14667/tid=14669] ppid=14665 vsize=915460 CPUtime=0.03
/proc/14667/task/14669/stat : 14669 (java) S 14665 14667 13951 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 159336611 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14670] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14670/stat : 14670 (java) S 14665 14667 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159336611 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14671] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14671/stat : 14671 (java) S 14665 14667 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159336611 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14672] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14672/stat : 14672 (java) S 14665 14667 13951 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 159336615 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14673] ppid=14665 vsize=915460 CPUtime=0.23
/proc/14667/task/14673/stat : 14673 (java) S 14665 14667 13951 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 159336615 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14674] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14674/stat : 14674 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159336615 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14667/tid=14675] ppid=14665 vsize=915460 CPUtime=0
/proc/14667/task/14675/stat : 14675 (java) S 14665 14667 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159336615 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 243.943
CPU time (s): 243.616
CPU user time (s): 243.511
CPU system time (s): 0.104984
CPU usage (%): 99.8658
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.511
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9660
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= 6161
involuntary context switches= 12635
runsolver used 0.476927 s user time and 0.967852 s system time
The end
Begin job on node2 on Sat Jan 6 18:50:10 UTC 2007
IDJOB= 195041
IDBENCH= 3246
FILE ID= node2/195041-1168109410
PBS_JOBID= 3477065
Free space on /tmp= 66323 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195041-1168109410/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-195041-1168109410 -o ROOT/results/node2/solver-195041-1168109410 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195041-1168109410/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 64ec9d79eddb6cf5b66324794f86b124
RANDOM SEED= 936019725
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.259
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 : 5931.00
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.259
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: 1345352 kB
Buffers: 46628 kB
Cached: 186276 kB
SwapCached: 268 kB
Active: 478480 kB
Inactive: 147052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1345352 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2140 kB
Writeback: 0 kB
Mapped: 420860 kB
Slab: 68948 kB
Committed_AS: 4405856 kB
PageTables: 3080 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= 66323 MiB
End job on node2 on Sat Jan 6 18:54:14 UTC 2007