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/199740-1168136177/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=836 maxDegree=22
0.63 maxArity=2
0.63 => wckTime=0.302 cpuTime=0.23 mem=12M803
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.504 cpuTime=0.36 mem=14M973
0.88
0.88 preprocessing
0.88 nbConstraintChecks=40646 nbPropagations=556 nbRevisions=5266 nbUselessRevisions=4527 nbSingletonTests=29
0.88 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.043 cpuTime=0.03 mem=14M973
0.90
0.90 search
0.90 run=0 nbConstraintChecks=32366 nbPropagations=970 nbRevisions=11920 nbUselessRevisions=10200 nbAssignments=26
0.90 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.065 cpuTime=0.04 mem=14M973
0.92
0.92 search
0.92 run=1 nbConstraintChecks=86309 nbPropagations=2553 nbRevisions=34485 nbUselessRevisions=29469 nbAssignments=65
0.92 nbFailedAssignments=29 nbBacktracks=27 nbVisitedNodes=116 nbRestartNogoods=4 mapSize=27 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.085 cpuTime=0.06 mem=14M973
0.94
0.94 search
0.94 run=2 nbConstraintChecks=135291 nbPropagations=4777 nbRevisions=67702 nbUselessRevisions=57903
0.94 nbAssignments=111 nbFailedAssignments=48 nbBacktracks=49 nbVisitedNodes=197 nbRestartNogoods=9 mapSize=47
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.101 cpuTime=0.07 mem=14M973
0.96
0.96 search
0.96 run=3 nbConstraintChecks=225745 nbPropagations=8062 nbRevisions=119639 nbUselessRevisions=102384
0.96 nbAssignments=181 nbFailedAssignments=80 nbBacktracks=82 nbVisitedNodes=324 nbRestartNogoods=12 mapSize=80
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.125 cpuTime=0.09 mem=14M973
0.99
0.99 search
0.99 run=4 nbConstraintChecks=350075 nbPropagations=12902 nbRevisions=199155 nbUselessRevisions=170667
0.99 nbAssignments=286 nbFailedAssignments=129 nbBacktracks=132 nbVisitedNodes=516 nbRestartNogoods=18 mapSize=129
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.15 cpuTime=0.11 mem=14M973
1.04
1.04 search
1.04 run=5 nbConstraintChecks=589466 nbPropagations=20654 nbRevisions=328662 nbUselessRevisions=282110
1.04 nbAssignments=475 nbFailedAssignments=212 nbBacktracks=207 nbVisitedNodes=821 nbRestartNogoods=25 mapSize=204
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.199 cpuTime=0.16 mem=14M973
1.09
1.09 search
1.09 run=6 nbConstraintChecks=888596 nbPropagations=32096 nbRevisions=523204 nbUselessRevisions=449611
1.09 nbAssignments=723 nbFailedAssignments=320 nbBacktracks=321 nbVisitedNodes=1239 nbRestartNogoods=34 mapSize=315
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.256 cpuTime=0.21 mem=14M973
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1326350 nbPropagations=48682 nbRevisions=814976 nbUselessRevisions=700814
1.18 nbAssignments=1068 nbFailedAssignments=490 nbBacktracks=493 nbVisitedNodes=1883 nbRestartNogoods=39
1.18 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.342 cpuTime=0.29 mem=14M973
1.32
1.32 search
1.32 run=8 nbConstraintChecks=1975392 nbPropagations=73177 nbRevisions=1253813 nbUselessRevisions=1078528
1.32 nbAssignments=1603 nbFailedAssignments=764 nbBacktracks=749 nbVisitedNodes=2893 nbRestartNogoods=43
1.32 mapSize=737 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.483 cpuTime=0.41 mem=14M973
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=14M973)
1.48
1.48 search
1.48 run=9 nbConstraintChecks=2908153 nbPropagations=108823 nbRevisions=1902594 nbUselessRevisions=1637146
1.48 nbAssignments=2360 nbFailedAssignments=1132 nbBacktracks=1133 nbVisitedNodes=4310 nbRestartNogoods=51
1.48 => wckTime=0.641 cpuTime=0.56 mem=14M973
1.72
1.72 search
1.72 run=10 nbConstraintChecks=4336858 nbPropagations=161459 nbRevisions=2871189 nbUselessRevisions=2471396
1.72 nbAssignments=3511 nbFailedAssignments=1702 nbBacktracks=1710 nbVisitedNodes=6463 nbRestartNogoods=57
1.72 => wckTime=0.878 cpuTime=0.79 mem=14M973
2.05
2.05 search
2.05 run=11 nbConstraintChecks=6507477 nbPropagations=240033 nbRevisions=4336201 nbUselessRevisions=3734241
2.05 nbAssignments=5275 nbFailedAssignments=2597 nbBacktracks=2574 nbVisitedNodes=9761 nbRestartNogoods=64
2.05 => wckTime=1.216 cpuTime=1.12 mem=14M973
2.59
2.59 search
2.59 run=12 nbConstraintChecks=9955813 nbPropagations=358640 nbRevisions=6573627 nbUselessRevisions=5663024
2.59 nbAssignments=7957 nbFailedAssignments=3977 nbBacktracks=3871 nbVisitedNodes=14800 nbRestartNogoods=75
2.59 => wckTime=1.753 cpuTime=1.65 mem=14M973
3.33
3.33 search
3.33 run=13 nbConstraintChecks=14702961 nbPropagations=534043 nbRevisions=9891004 nbUselessRevisions=8523919
3.33 nbAssignments=11824 nbFailedAssignments=5896 nbBacktracks=5817 nbVisitedNodes=22024 nbRestartNogoods=85
3.33 => wckTime=2.491 cpuTime=2.39 mem=14M973
4.46
4.46 search
4.46 run=14 nbConstraintChecks=21915904 nbPropagations=795149 nbRevisions=14842097 nbUselessRevisions=12795261
4.46 nbAssignments=17648 nbFailedAssignments=8797 nbBacktracks=8737 nbVisitedNodes=32912 nbRestartNogoods=89
4.46 => wckTime=3.617 cpuTime=3.5 mem=14M973
6.20
6.20 search
6.20 run=15 nbConstraintChecks=33199490 nbPropagations=1188051 nbRevisions=22317209 nbUselessRevisions=19243213
6.20 nbAssignments=26468 nbFailedAssignments=13235 nbBacktracks=13115 nbVisitedNodes=49463 nbRestartNogoods=103
6.20 => wckTime=5.361 cpuTime=5.24 mem=14M973
8.75
8.75 search
8.75 run=16 nbConstraintChecks=49754436 nbPropagations=1775856 nbRevisions=33511924 nbUselessRevisions=28900171
8.75 nbAssignments=39508 nbFailedAssignments=19703 nbBacktracks=19683 nbVisitedNodes=73880 nbRestartNogoods=118
8.75 => wckTime=7.916 cpuTime=7.77 mem=14M973
12.63
12.63 search
12.63 run=17 nbConstraintChecks=75089218 nbPropagations=2658511 nbRevisions=50378668 nbUselessRevisions=43453403
12.63 nbAssignments=59162 nbFailedAssignments=29501 nbBacktracks=29535 nbVisitedNodes=110714 nbRestartNogoods=130
12.63 => wckTime=11.793 cpuTime=11.61 mem=14M973
18.42
18.42 search
18.42 run=18 nbConstraintChecks=112976386 nbPropagations=3982875 nbRevisions=75757397 nbUselessRevisions=65358879
18.42 nbAssignments=88638 nbFailedAssignments=44194 nbBacktracks=44313 nbVisitedNodes=166019 nbRestartNogoods=147
18.42 => wckTime=17.582 cpuTime=17.35 mem=14M973
27.10
27.10 search
27.10 run=19 nbConstraintChecks=169277556 nbPropagations=5964790 nbRevisions=113779316 nbUselessRevisions=98183732
27.10 nbAssignments=132729 nbFailedAssignments=66113 nbBacktracks=66481 nbVisitedNodes=248517 nbRestartNogoods=159
27.10 => wckTime=26.266 cpuTime=25.97 mem=14M973
40.30
40.30 search
40.30 run=20 nbConstraintChecks=255823263 nbPropagations=8947052 nbRevisions=171136485 nbUselessRevisions=147703914
40.30 nbAssignments=199693 nbFailedAssignments=99821 nbBacktracks=99733 nbVisitedNodes=374011 nbRestartNogoods=180
40.30 => wckTime=39.466 cpuTime=39.06 mem=14M973
60.20
60.20 search
60.20 run=21 nbConstraintChecks=386437535 nbPropagations=13434076 nbRevisions=257651588 nbUselessRevisions=222415838
60.20 nbAssignments=299918 nbFailedAssignments=150164 nbBacktracks=149611 nbVisitedNodes=561908 nbRestartNogoods=197
60.20 => wckTime=59.364 cpuTime=58.8 mem=14M973
88.75
88.75 search
88.75 run=22 nbConstraintChecks=587661047 nbPropagations=20202054 nbRevisions=388848443 nbUselessRevisions=335747437
88.75 nbAssignments=451014 nbFailedAssignments=226438 nbBacktracks=224430 nbVisitedNodes=845431 nbRestartNogoods=210
88.75 => wckTime=87.908 cpuTime=87.25 mem=14M973
102.50
102.50 search
102.50 run=23 nbConstraintChecks=686561478 nbPropagations=28081346 nbRevisions=541953891 nbUselessRevisions=468022279
102.50 nbAssignments=524337 nbFailedAssignments=263707 nbBacktracks=260485 nbVisitedNodes=983153 nbRestartNogoods=230
102.50 => wckTime=101.658 cpuTime=101.0 mem=14M973
102.50
102.50 global
102.50 nbConstraintChecks=686602124 nbPropagations=28081902 nbRevisions=541959157 nbUselessRevisions=468026806
102.50 nbRestartNogoods=230 solvingWckTime=101.659 solvingCpuTime=101.0 expiredTime=no totalExploration=yes
102.50 nbFoundSolutions=0 globalCpuTime=101.41
102.50 => wckTime=102.166 cpuTime=101.36 mem=14M973
102.50
102.50 s UNSATISFIABLE
102.50 d NODES 524337
102.50 d CHECKS 686602124
102.50
102.50 totalWckTime=102.248 totalCpuTime=101.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-199740-1168136177 -o ROOT/results/node58/solver-199740-1168136177 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199740-1168136177/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.89 1.91 1.90 4/73 12475
/proc/meminfo: memFree=1517144/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=47976 CPUtime=0
/proc/12474/stat : 12474 (java) D 12472 12474 11963 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 162015677 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/12474/statm: 11994 972 769 14 0 1707 0
[startup+0.102705 s]
/proc/loadavg: 1.89 1.91 1.90 4/73 12475
/proc/meminfo: memFree=1517144/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=911488 CPUtime=0.06
/proc/12474/stat : 12474 (java) R 12472 12474 11963 0 -1 0 2623 0 1 0 5 1 0 0 20 0 8 0 162015677 933363712 2370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153606053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 227872 2370 1280 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.510738 s]
/proc/loadavg: 1.89 1.91 1.90 4/73 12475
/proc/meminfo: memFree=1517144/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=915328 CPUtime=0.48
/proc/12474/stat : 12474 (java) R 12472 12474 11963 0 -1 0 6687 0 1 0 43 5 0 0 18 0 8 0 162015677 937295872 6426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228832 6426 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33181 s]
/proc/loadavg: 1.89 1.91 1.90 3/80 12482
/proc/meminfo: memFree=1493344/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=915452 CPUtime=1.28
/proc/12474/stat : 12474 (java) R 12472 12474 11963 0 -1 0 8679 0 1 0 121 7 0 0 24 0 8 0 162015677 937422848 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228863 8417 2524 14 0 215333 0
[pid=12474/tid=12476] ppid=12472 vsize=915452 CPUtime=0.03
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11963 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162015682 937422848 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162015683 937422848 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162015683 937422848 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162015686 937422848 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915452 CPUtime=0.22
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11963 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 162015686 937422848 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162015687 937422848 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162015687 937422848 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.97694 s]
/proc/loadavg: 1.89 1.91 1.90 3/80 12482
/proc/meminfo: memFree=1493152/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=915452 CPUtime=2.92
/proc/12474/stat : 12474 (java) R 12472 12474 11963 0 -1 0 8704 0 1 0 285 7 0 0 25 0 8 0 162015677 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228863 8441 2524 14 0 215333 0
[pid=12474/tid=12476] ppid=12472 vsize=915452 CPUtime=0.03
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11963 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162015682 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162015683 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162015683 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162015686 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915452 CPUtime=0.23
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11963 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 162015686 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162015687 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162015687 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
[startup+6.17822 s]
/proc/loadavg: 1.90 1.91 1.90 3/80 12482
/proc/meminfo: memFree=1492968/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=915452 CPUtime=6.09
/proc/12474/stat : 12474 (java) R 12472 12474 11963 0 -1 0 8708 0 1 0 602 7 0 0 25 0 8 0 162015677 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228863 8445 2524 14 0 215333 0
[pid=12474/tid=12476] ppid=12472 vsize=915452 CPUtime=0.03
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11963 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162015682 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162015683 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162015683 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162015686 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915452 CPUtime=0.23
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11963 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 162015686 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162015687 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162015687 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915452
[startup+12.6488 s]
/proc/loadavg: 1.91 1.91 1.90 4/80 12482
/proc/meminfo: memFree=1492968/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=915452 CPUtime=12.5
/proc/12474/stat : 12474 (java) R 12472 12474 11963 0 -1 0 8719 0 1 0 1243 7 0 0 25 0 8 0 162015677 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228863 8455 2524 14 0 215333 0
[pid=12474/tid=12476] ppid=12472 vsize=915452 CPUtime=0.03
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11963 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162015682 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162015683 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162015683 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162015686 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915452 CPUtime=0.23
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11963 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 162015686 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162015687 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162015687 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915452
[startup+25.5009 s]
/proc/loadavg: 1.93 1.92 1.91 3/80 12482
/proc/meminfo: memFree=1492968/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=915452 CPUtime=25.25
/proc/12474/stat : 12474 (java) R 12472 12474 11963 0 -1 0 8721 0 1 0 2518 7 0 0 25 0 8 0 162015677 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228863 8457 2524 14 0 215333 0
[pid=12474/tid=12476] ppid=12472 vsize=915452 CPUtime=0.03
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11963 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162015682 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162015683 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162015683 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162015686 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915452 CPUtime=0.23
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11963 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 162015686 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162015687 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162015687 937422848 8457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915452
[startup+51.1111 s]
/proc/loadavg: 1.95 1.92 1.91 3/80 12482
/proc/meminfo: memFree=1493040/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=915452 CPUtime=50.65
/proc/12474/stat : 12474 (java) R 12472 12474 11963 0 -1 0 8726 0 1 0 5058 7 0 0 25 0 8 0 162015677 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12474/statm: 228863 8462 2524 14 0 215333 0
[pid=12474/tid=12476] ppid=12472 vsize=915452 CPUtime=0.03
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11963 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162015682 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162015683 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162015683 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162015686 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915452 CPUtime=0.23
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11963 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 162015686 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162015687 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162015687 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915452
[startup+102.332 s]
/proc/loadavg: 1.98 1.93 1.91 3/82 12570
/proc/meminfo: memFree=1492624/2055920 swapFree=4192812/4192956
[pid=12474] ppid=12472 vsize=915452 CPUtime=101.71
/proc/12474/stat : 12474 (java) R 12472 12474 11963 0 -1 0 8731 0 1 0 10163 8 0 0 25 0 8 0 162015677 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788288 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12474/statm: 228863 8467 2524 14 0 215333 0
[pid=12474/tid=12476] ppid=12472 vsize=915452 CPUtime=0.03
/proc/12474/task/12476/stat : 12476 (java) S 12472 12474 11963 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 162015682 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12477] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12477/stat : 12477 (java) S 12472 12474 11963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162015683 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12478] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12478/stat : 12478 (java) S 12472 12474 11963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162015683 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12479] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12479/stat : 12479 (java) S 12472 12474 11963 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162015686 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12480] ppid=12472 vsize=915452 CPUtime=0.23
/proc/12474/task/12480/stat : 12480 (java) S 12472 12474 11963 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 162015686 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12474/tid=12481] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12481/stat : 12481 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162015687 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12474/tid=12482] ppid=12472 vsize=915452 CPUtime=0
/proc/12474/task/12482/stat : 12482 (java) S 12472 12474 11963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162015687 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 102.541
CPU time (s): 101.899
CPU user time (s): 101.809
CPU system time (s): 0.089986
CPU usage (%): 99.3733
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.809
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8824
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= 3170
involuntary context switches= 4174
runsolver used 0.122981 s user time and 0.331949 s system time
The end
Begin job on node58 on Sun Jan 7 02:16:17 UTC 2007
IDJOB= 199740
IDBENCH= 3634
FILE ID= node58/199740-1168136177
PBS_JOBID= 3478032
Free space on /tmp= 66533 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-51021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199740-1168136177/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-199740-1168136177 -o ROOT/results/node58/solver-199740-1168136177 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199740-1168136177/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dfd37b796ddfc1cae49c6231c5a6ea71
RANDOM SEED= 801491308
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.223
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.223
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: 1517560 kB
Buffers: 27840 kB
Cached: 424972 kB
SwapCached: 0 kB
Active: 81832 kB
Inactive: 393016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1517560 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 35592 kB
Slab: 49136 kB
Committed_AS: 2505044 kB
PageTables: 1684 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= 66535 MiB
End job on node58 on Sun Jan 7 02:18:00 UTC 2007