0.31
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.47
0.47 instance
0.47 name=/tmp/evaluation/221802-1168262243/unknown.xml
0.50
0.50 domains being loaded...
0.50
0.50 variables being loaded...
0.53 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.54 => wckTime=0.216 cpuTime=0.09 mem=6M951
0.54
0.54 relations being loaded...
0.63
0.63 constraints being loaded...
0.75 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.75 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=901 maxDegree=23
0.75 maxArity=2
0.75 => wckTime=0.433 cpuTime=0.25 mem=13M794
0.79
0.79 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.642 cpuTime=0.38 mem=15M98
1.01
1.01 preprocessing
1.01 nbConstraintChecks=48144 nbPropagations=623 nbRevisions=6023 nbUselessRevisions=5248 nbSingletonTests=33
1.01 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.01 => wckTime=0.044 cpuTime=0.03 mem=15M98
1.03
1.03 search
1.03 run=0 nbConstraintChecks=38688 nbPropagations=1088 nbRevisions=13865 nbUselessRevisions=12064 nbAssignments=26
1.03 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.068 cpuTime=0.05 mem=15M98
1.05
1.05 search
1.05 run=1 nbConstraintChecks=79333 nbPropagations=2661 nbRevisions=35709 nbUselessRevisions=31018 nbAssignments=58
1.05 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=101 nbRestartNogoods=3 mapSize=25 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.085 cpuTime=0.06 mem=15M98
1.07
1.07 search
1.07 run=2 nbConstraintChecks=146116 nbPropagations=5026 nbRevisions=71777 nbUselessRevisions=62326
1.07 nbAssignments=108 nbFailedAssignments=43 nbBacktracks=47 nbVisitedNodes=189 nbRestartNogoods=5 mapSize=47
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.105 cpuTime=0.07 mem=15M98
1.09
1.09 search
1.09 run=3 nbConstraintChecks=254941 nbPropagations=8619 nbRevisions=131399 nbUselessRevisions=114000
1.09 nbAssignments=184 nbFailedAssignments=81 nbBacktracks=80 nbVisitedNodes=333 nbRestartNogoods=10 mapSize=80
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.131 cpuTime=0.09 mem=15M98
1.12
1.12 search
1.12 run=4 nbConstraintChecks=378696 nbPropagations=13640 nbRevisions=217755 nbUselessRevisions=188805
1.12 nbAssignments=285 nbFailedAssignments=128 nbBacktracks=130 nbVisitedNodes=517 nbRestartNogoods=16 mapSize=129
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.156 cpuTime=0.12 mem=15M98
1.17
1.17 search
1.17 run=5 nbConstraintChecks=583923 nbPropagations=21087 nbRevisions=350292 nbUselessRevisions=303622
1.17 nbAssignments=442 nbFailedAssignments=205 nbBacktracks=206 nbVisitedNodes=809 nbRestartNogoods=20 mapSize=203
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.206 cpuTime=0.16 mem=15M98
1.22
1.22 search
1.22 run=6 nbConstraintChecks=882755 nbPropagations=31945 nbRevisions=548981 nbUselessRevisions=475732
1.22 nbAssignments=669 nbFailedAssignments=314 nbBacktracks=319 nbVisitedNodes=1230 nbRestartNogoods=26 mapSize=314
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.262 cpuTime=0.21 mem=15M98
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1372855 nbPropagations=48261 nbRevisions=856802 nbUselessRevisions=742503
1.31 nbAssignments=1026 nbFailedAssignments=497 nbBacktracks=489 nbVisitedNodes=1898 nbRestartNogoods=32
1.31 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.35 cpuTime=0.3 mem=15M98
1.44
1.44 search
1.44 run=8 nbConstraintChecks=2029057 nbPropagations=72203 nbRevisions=1312599 nbUselessRevisions=1137376
1.44 nbAssignments=1529 nbFailedAssignments=738 nbBacktracks=746 nbVisitedNodes=2835 nbRestartNogoods=38
1.44 mapSize=735 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.482 cpuTime=0.41 mem=15M98
1.58
1.58 INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=15M98)
1.61
1.61 search
1.61 run=9 nbConstraintChecks=2987997 nbPropagations=107345 nbRevisions=1984491 nbUselessRevisions=1719059
1.61 nbAssignments=2296 nbFailedAssignments=1115 nbBacktracks=1130 nbVisitedNodes=4258 nbRestartNogoods=46
1.61 => wckTime=0.647 cpuTime=0.57 mem=15M98
1.86
1.86 search
1.86 run=10 nbConstraintChecks=4525579 nbPropagations=159741 nbRevisions=2997958 nbUselessRevisions=2596578
1.86 nbAssignments=3450 nbFailedAssignments=1689 nbBacktracks=1706 nbVisitedNodes=6413 nbRestartNogoods=54
1.86 => wckTime=0.895 cpuTime=0.81 mem=15M98
2.21
2.21 search
2.21 run=11 nbConstraintChecks=6791832 nbPropagations=238115 nbRevisions=4520068 nbUselessRevisions=3914405
2.21 nbAssignments=5171 nbFailedAssignments=2540 nbBacktracks=2570 nbVisitedNodes=9626 nbRestartNogoods=60
2.21 => wckTime=1.248 cpuTime=1.15 mem=15M98
2.74
2.74 search
2.74 run=12 nbConstraintChecks=10240226 nbPropagations=355531 nbRevisions=6812149 nbUselessRevisions=5898549
2.74 nbAssignments=7744 nbFailedAssignments=3810 nbBacktracks=3868 nbVisitedNodes=14443 nbRestartNogoods=72
2.74 => wckTime=1.774 cpuTime=1.67 mem=15M98
3.54
3.54 search
3.54 run=13 nbConstraintChecks=15575449 nbPropagations=532031 nbRevisions=10293308 nbUselessRevisions=8915247
3.54 nbAssignments=11635 nbFailedAssignments=5741 nbBacktracks=5816 nbVisitedNodes=21678 nbRestartNogoods=86
3.54 => wckTime=2.582 cpuTime=2.47 mem=15M98
4.72
4.72 search
4.72 run=14 nbConstraintChecks=23319941 nbPropagations=795821 nbRevisions=15507852 nbUselessRevisions=13434466
4.72 nbAssignments=17379 nbFailedAssignments=8561 nbBacktracks=8735 nbVisitedNodes=32421 nbRestartNogoods=100
4.72 => wckTime=3.756 cpuTime=3.64 mem=15M98
6.45
6.45 search
6.45 run=15 nbConstraintChecks=34817688 nbPropagations=1188576 nbRevisions=23285960 nbUselessRevisions=20176416
6.45 nbAssignments=25926 nbFailedAssignments=12724 nbBacktracks=13113 nbVisitedNodes=48346 nbRestartNogoods=119
6.45 => wckTime=5.49 cpuTime=5.36 mem=15M98
9.08
9.08 search
9.08 run=16 nbConstraintChecks=51968132 nbPropagations=1775373 nbRevisions=34931057 nbUselessRevisions=30275022
9.08 nbAssignments=38831 nbFailedAssignments=19056 nbBacktracks=19682 nbVisitedNodes=72449 nbRestartNogoods=139
9.08 => wckTime=8.116 cpuTime=7.96 mem=15M98
13.10
13.10 search
13.10 run=17 nbConstraintChecks=78476447 nbPropagations=2658352 nbRevisions=52511177 nbUselessRevisions=45526376
13.10 nbAssignments=58264 nbFailedAssignments=28632 nbBacktracks=29534 nbVisitedNodes=108862 nbRestartNogoods=156
13.10 => wckTime=12.14 cpuTime=11.95 mem=15M98
19.03
19.03 search
19.03 run=18 nbConstraintChecks=117125604 nbPropagations=3976022 nbRevisions=78758716 nbUselessRevisions=68299640
19.03 nbAssignments=87198 nbFailedAssignments=42782 nbBacktracks=44312 nbVisitedNodes=162767 nbRestartNogoods=165
19.03 => wckTime=18.07 cpuTime=17.83 mem=15M98
28.00
28.00 search
28.00 run=19 nbConstraintChecks=176490478 nbPropagations=5952755 nbRevisions=118233310 nbUselessRevisions=102552200
28.00 nbAssignments=130763 nbFailedAssignments=64174 nbBacktracks=66482 nbVisitedNodes=244127 nbRestartNogoods=178
28.00 => wckTime=27.034 cpuTime=26.71 mem=15M98
41.74
41.74 search
41.74 run=20 nbConstraintChecks=267371632 nbPropagations=8933922 nbRevisions=177928133 nbUselessRevisions=154353971
41.74 nbAssignments=197173 nbFailedAssignments=97326 nbBacktracks=99734 nbVisitedNodes=368337 nbRestartNogoods=197
41.74 => wckTime=40.775 cpuTime=40.32 mem=15M98
62.06
62.06 search
62.06 run=21 nbConstraintChecks=401629997 nbPropagations=13403210 nbRevisions=267594702 nbUselessRevisions=232187424
62.06 nbAssignments=295747 nbFailedAssignments=146017 nbBacktracks=149613 nbVisitedNodes=552238 nbRestartNogoods=207
62.06 => wckTime=61.095 cpuTime=60.45 mem=15M98
93.00
93.00 search
93.00 run=22 nbConstraintChecks=607434913 nbPropagations=20130451 nbRevisions=403073024 nbUselessRevisions=349819198
93.00 nbAssignments=443690 nbFailedAssignments=219136 nbBacktracks=224432 nbVisitedNodes=828683 nbRestartNogoods=221
93.00 => wckTime=92.04 cpuTime=91.12 mem=15M98
139.84
139.84 search
139.84 run=23 nbConstraintChecks=918914871 nbPropagations=30267361 nbRevisions=607843693 nbUselessRevisions=527635190
139.84 nbAssignments=665927 nbFailedAssignments=329143 nbBacktracks=336659 nbVisitedNodes=1244717 nbRestartNogoods=226
139.84 => wckTime=138.874 cpuTime=137.54 mem=15M98
207.85
207.85 search
207.85 run=24 nbConstraintChecks=1401295603 nbPropagations=45582693 nbRevisions=918846409 nbUselessRevisions=797764265
207.85 nbAssignments=1002076 nbFailedAssignments=496946 nbBacktracks=505000 nbVisitedNodes=1874298
207.85 nbRestartNogoods=248
207.85 => wckTime=206.884 cpuTime=205.1 mem=15M98
234.68
234.68 search
234.68 run=25 nbConstraintChecks=1597631785 nbPropagations=62998724 nbRevisions=1273170984
234.68 nbUselessRevisions=1105564227 nbAssignments=1137974 nbFailedAssignments=564820 nbBacktracks=573025
234.68 nbVisitedNodes=2128773 nbRestartNogoods=260
234.68 => wckTime=233.72 cpuTime=231.8 mem=15M98
234.68
234.68 global
234.68 nbConstraintChecks=1597679929 nbPropagations=62999347 nbRevisions=1273177007 nbUselessRevisions=1105569475
234.68 nbRestartNogoods=260 solvingWckTime=233.722 solvingCpuTime=231.8 expiredTime=no totalExploration=yes
234.68 nbFoundSolutions=0 globalCpuTime=232.22
234.68 => wckTime=234.366 cpuTime=232.18 mem=15M98
234.69
234.69 s UNSATISFIABLE
234.69 d NODES 1137974
234.69 d CHECKS 1597679929
234.69
234.69 totalWckTime=234.448 totalCpuTime=232.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-221802-1168262243 -o ROOT/results/node12/solver-221802-1168262243 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221802-1168262243/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.97 2.02 1.94 4/88 24981
/proc/meminfo: memFree=1799440/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=18540 CPUtime=0
/proc/24980/stat : 24980 (runsolver) R 24978 24980 24336 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174619323 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24980/statm: 4635 279 244 17 0 2626 0
[startup+0.108123 s]
/proc/loadavg: 1.97 2.02 1.94 4/88 24981
/proc/meminfo: memFree=1799440/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=914988 CPUtime=0.08
/proc/24980/stat : 24980 (java) D 24978 24980 24336 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 174619323 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519198 s]
/proc/loadavg: 1.97 2.02 1.94 4/88 24981
/proc/meminfo: memFree=1799440/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915328 CPUtime=0.37
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 5975 0 1 0 34 3 0 0 18 0 8 0 174619323 937295872 5714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154579342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228832 5714 2126 14 0 215302 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 915328
[startup+1.34034 s]
/proc/loadavg: 1.97 2.02 1.94 3/95 24988
/proc/meminfo: memFree=1775576/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=1.19
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8701 0 1 0 113 6 0 0 23 0 8 0 174619323 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8439 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.2
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 174619331 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915452
[startup+2.97763 s]
/proc/loadavg: 1.97 2.02 1.94 3/95 24988
/proc/meminfo: memFree=1775256/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=2.8
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8744 0 1 0 274 6 0 0 25 0 8 0 174619323 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8481 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 174619327 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 174619331 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 915452
[startup+6.27723 s]
/proc/loadavg: 1.97 2.02 1.94 3/95 24988
/proc/meminfo: memFree=1775192/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=6.07
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8749 0 1 0 601 6 0 0 25 0 8 0 174619323 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8485 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 174619331 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915452
[startup+12.7524 s]
/proc/loadavg: 1.98 2.02 1.94 3/95 24988
/proc/meminfo: memFree=1775320/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=12.49
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8757 0 1 0 1242 7 0 0 25 0 8 0 174619323 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817381 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8492 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915452
[startup+25.6147 s]
/proc/loadavg: 1.98 2.01 1.94 3/95 24988
/proc/meminfo: memFree=1775320/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=25.24
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8762 0 1 0 2517 7 0 0 25 0 8 0 174619323 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8497 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915452
[startup+51.2273 s]
/proc/loadavg: 2.04 2.03 1.95 3/95 24988
/proc/meminfo: memFree=1775384/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=50.62
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8767 0 1 0 5055 7 0 0 25 0 8 0 174619323 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8502 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915452
[startup+102.438 s]
/proc/loadavg: 2.02 2.02 1.95 3/95 24990
/proc/meminfo: memFree=1775320/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=101.36
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8772 0 1 0 10129 7 0 0 25 0 8 0 174619323 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8507 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 915452
[startup+162.497 s]
/proc/loadavg: 2.00 2.02 1.95 3/95 24990
/proc/meminfo: memFree=1775256/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=160.88
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8775 0 1 0 16080 8 0 0 25 0 8 0 174619323 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24980/statm: 228863 8510 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 915452
[startup+222.552 s]
/proc/loadavg: 1.96 2.00 1.94 3/93 25219
/proc/meminfo: memFree=1774896/2055920 swapFree=4160348/4192956
[pid=24980] ppid=24978 vsize=915452 CPUtime=220.63
/proc/24980/stat : 24980 (java) R 24978 24980 24336 0 -1 0 8777 0 1 0 22054 9 0 0 25 0 8 0 174619323 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24980/statm: 228863 8512 2524 14 0 215333 0
[pid=24980/tid=24982] ppid=24978 vsize=915452 CPUtime=0.03
/proc/24980/task/24982/stat : 24982 (java) S 24978 24980 24336 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174619327 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24983] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24983/stat : 24983 (java) S 24978 24980 24336 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24984] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24984/stat : 24984 (java) S 24978 24980 24336 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174619327 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24985] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24985/stat : 24985 (java) S 24978 24980 24336 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174619331 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24986] ppid=24978 vsize=915452 CPUtime=0.22
/proc/24980/task/24986/stat : 24986 (java) S 24978 24980 24336 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 174619331 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24987] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24987/stat : 24987 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 174619331 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24980/tid=24988] ppid=24978 vsize=915452 CPUtime=0
/proc/24980/task/24988/stat : 24988 (java) S 24978 24980 24336 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174619331 937422848 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 234.709
CPU time (s): 232.713
CPU user time (s): 232.615
CPU system time (s): 0.097985
CPU usage (%): 99.1494
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.615
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8870
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= 5864
involuntary context switches= 11682
runsolver used 0.298954 s user time and 0.751885 s system time
The end
Begin job on node12 on Mon Jan 8 13:17:23 UTC 2007
IDJOB= 221802
IDBENCH= 5468
FILE ID= node12/221802-1168262243
PBS_JOBID= 3482427
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-56021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221802-1168262243/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-221802-1168262243 -o ROOT/results/node12/solver-221802-1168262243 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221802-1168262243/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5e9f67184886c7a7c73ebe1fd2f6af54
RANDOM SEED= 400681326
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.265
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.265
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: 1799856 kB
Buffers: 46276 kB
Cached: 121448 kB
SwapCached: 5132 kB
Active: 122660 kB
Inactive: 83124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1799856 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 48844 kB
Slab: 35024 kB
Committed_AS: 4975480 kB
PageTables: 2108 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= 66324 MiB
End job on node12 on Mon Jan 8 13:21:18 UTC 2007