0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/199712-1168136022/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.49 => wckTime=0.179 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
0.57
0.57 constraints being loaded...
0.68 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=853 maxDegree=22
0.69 maxArity=2
0.69 => wckTime=0.374 cpuTime=0.21 mem=12M803
0.72
0.72 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.57 cpuTime=0.34 mem=14M973
0.93
0.93 preprocessing
0.93 nbConstraintChecks=39503 nbPropagations=536 nbRevisions=4873 nbUselessRevisions=4185 nbSingletonTests=29
0.93 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.042 cpuTime=0.02 mem=14M973
0.95
0.95 search
0.95 run=0 nbConstraintChecks=32735 nbPropagations=955 nbRevisions=11589 nbUselessRevisions=9960 nbAssignments=26
0.95 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.064 cpuTime=0.04 mem=14M973
0.97
0.97 search
0.97 run=1 nbConstraintChecks=95954 nbPropagations=2725 nbRevisions=35238 nbUselessRevisions=30256 nbAssignments=77
0.97 nbFailedAssignments=30 nbBacktracks=26 nbVisitedNodes=118 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.085 cpuTime=0.06 mem=14M973
0.99
0.99 search
0.99 run=2 nbConstraintChecks=152297 nbPropagations=5225 nbRevisions=71612 nbUselessRevisions=61624
0.99 nbAssignments=126 nbFailedAssignments=52 nbBacktracks=48 nbVisitedNodes=205 nbRestartNogoods=7 mapSize=48
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.103 cpuTime=0.07 mem=14M973
1.01
1.01 search
1.01 run=3 nbConstraintChecks=254973 nbPropagations=9009 nbRevisions=128628 nbUselessRevisions=110619
1.01 nbAssignments=207 nbFailedAssignments=83 nbBacktracks=84 nbVisitedNodes=333 nbRestartNogoods=12 mapSize=82
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.127 cpuTime=0.09 mem=14M973
1.04
1.04 search
1.04 run=4 nbConstraintChecks=384486 nbPropagations=14409 nbRevisions=215138 nbUselessRevisions=185146
1.04 nbAssignments=313 nbFailedAssignments=133 nbBacktracks=135 nbVisitedNodes=531 nbRestartNogoods=13 mapSize=132
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.152 cpuTime=0.11 mem=14M973
1.07
1.07 search
1.07 run=5 nbConstraintChecks=576330 nbPropagations=22128 nbRevisions=344801 nbUselessRevisions=296604
1.08 nbAssignments=474 nbFailedAssignments=215 nbBacktracks=210 nbVisitedNodes=825 nbRestartNogoods=20 mapSize=205
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.191 cpuTime=0.15 mem=14M973
1.12
1.12 search
1.12 run=6 nbConstraintChecks=855655 nbPropagations=33083 nbRevisions=534153 nbUselessRevisions=459309
1.12 nbAssignments=692 nbFailedAssignments=316 nbBacktracks=323 nbVisitedNodes=1222 nbRestartNogoods=24 mapSize=314
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.241 cpuTime=0.2 mem=14M973
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1283779 nbPropagations=49265 nbRevisions=820279 nbUselessRevisions=705253
1.20 nbAssignments=1053 nbFailedAssignments=501 nbBacktracks=493 nbVisitedNodes=1896 nbRestartNogoods=28
1.20 mapSize=481 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.315 cpuTime=0.27 mem=14M973
1.32
1.32 search
1.32 run=8 nbConstraintChecks=1884683 nbPropagations=73047 nbRevisions=1244446 nbUselessRevisions=1070353
1.32 nbAssignments=1575 nbFailedAssignments=751 nbBacktracks=749 nbVisitedNodes=2845 nbRestartNogoods=36
1.32 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.436 cpuTime=0.37 mem=14M973
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=14M973)
1.47
1.47 search
1.47 run=9 nbConstraintChecks=2861802 nbPropagations=108514 nbRevisions=1890233 nbUselessRevisions=1626987
1.47 nbAssignments=2350 nbFailedAssignments=1137 nbBacktracks=1133 nbVisitedNodes=4294 nbRestartNogoods=46
1.47 => wckTime=0.588 cpuTime=0.52 mem=14M973
1.68
1.68 search
1.68 run=10 nbConstraintChecks=4184092 nbPropagations=160487 nbRevisions=2841377 nbUselessRevisions=2447102
1.68 nbAssignments=3484 nbFailedAssignments=1689 nbBacktracks=1710 nbVisitedNodes=6400 nbRestartNogoods=57
1.68 => wckTime=0.794 cpuTime=0.72 mem=14M973
1.99
1.99 search
1.99 run=11 nbConstraintChecks=6436683 nbPropagations=238670 nbRevisions=4294488 nbUselessRevisions=3699851
1.99 nbAssignments=5249 nbFailedAssignments=2585 nbBacktracks=2574 nbVisitedNodes=9714 nbRestartNogoods=65
1.99 => wckTime=1.111 cpuTime=1.03 mem=14M973
2.44
2.44 search
2.44 run=12 nbConstraintChecks=9626783 nbPropagations=354820 nbRevisions=6465674 nbUselessRevisions=5572134
2.45 nbAssignments=7826 nbFailedAssignments=3860 nbBacktracks=3871 nbVisitedNodes=14527 nbRestartNogoods=78
2.45 => wckTime=1.562 cpuTime=1.48 mem=14M973
3.11
3.11 search
3.11 run=13 nbConstraintChecks=14232431 nbPropagations=527017 nbRevisions=9681611 nbUselessRevisions=8345138
3.11 nbAssignments=11642 nbFailedAssignments=5724 nbBacktracks=5817 nbVisitedNodes=21658 nbRestartNogoods=89
3.11 => wckTime=2.224 cpuTime=2.14 mem=14M973
4.14
4.14 search
4.14 run=14 nbConstraintChecks=21477677 nbPropagations=784889 nbRevisions=14530081 nbUselessRevisions=12527596
4.14 nbAssignments=17458 nbFailedAssignments=8617 nbBacktracks=8737 nbVisitedNodes=32536 nbRestartNogoods=96
4.14 => wckTime=3.256 cpuTime=3.18 mem=14M973
5.71
5.71 search
5.71 run=15 nbConstraintChecks=32605994 nbPropagations=1173810 nbRevisions=21893040 nbUselessRevisions=18881727
5.71 nbAssignments=26264 nbFailedAssignments=13040 nbBacktracks=13115 nbVisitedNodes=49016 nbRestartNogoods=106
5.71 => wckTime=4.831 cpuTime=4.75 mem=14M973
8.13
8.13 search
8.13 run=16 nbConstraintChecks=49750895 nbPropagations=1760734 nbRevisions=33080398 nbUselessRevisions=28535745
8.13 nbAssignments=39548 nbFailedAssignments=19741 nbBacktracks=19684 nbVisitedNodes=73921 nbRestartNogoods=120
8.13 => wckTime=7.246 cpuTime=7.14 mem=14M973
11.71
11.71 search
11.71 run=17 nbConstraintChecks=75307345 nbPropagations=2643565 nbRevisions=49952867 nbUselessRevisions=43091756
11.71 nbAssignments=59243 nbFailedAssignments=29579 nbBacktracks=29536 nbVisitedNodes=110824 nbRestartNogoods=136
11.71 => wckTime=10.822 cpuTime=10.72 mem=14M973
16.86
16.86 search
16.86 run=18 nbConstraintChecks=111936835 nbPropagations=3959154 nbRevisions=75103173 nbUselessRevisions=64793217
16.86 nbAssignments=88669 nbFailedAssignments=44223 nbBacktracks=44315 nbVisitedNodes=165952 nbRestartNogoods=155
16.86 => wckTime=15.972 cpuTime=15.86 mem=14M973
24.80
24.80 search
24.80 run=19 nbConstraintChecks=169100990 nbPropagations=5935331 nbRevisions=113017842 nbUselessRevisions=97521290
24.80 nbAssignments=133098 nbFailedAssignments=66482 nbBacktracks=66484 nbVisitedNodes=249210 nbRestartNogoods=174
24.80 => wckTime=23.916 cpuTime=23.8 mem=14M973
36.83
36.83 search
36.83 run=20 nbConstraintChecks=255478194 nbPropagations=8907532 nbRevisions=170231297 nbUselessRevisions=146927272
36.83 nbAssignments=199674 nbFailedAssignments=99800 nbBacktracks=99737 nbVisitedNodes=374056 nbRestartNogoods=181
36.83 => wckTime=35.949 cpuTime=35.83 mem=14M973
54.99
54.99 search
54.99 run=21 nbConstraintChecks=386399827 nbPropagations=13379008 nbRevisions=256525828 nbUselessRevisions=221466566
54.99 nbAssignments=299568 nbFailedAssignments=149812 nbBacktracks=149615 nbVisitedNodes=561255 nbRestartNogoods=200
54.99 => wckTime=54.104 cpuTime=53.96 mem=14M973
82.62
82.62 search
82.62 run=22 nbConstraintChecks=587470512 nbPropagations=20125947 nbRevisions=387401629 nbUselessRevisions=334552445
82.62 nbAssignments=450301 nbFailedAssignments=225722 nbBacktracks=224433 nbVisitedNodes=844024 nbRestartNogoods=213
82.62 => wckTime=81.741 cpuTime=81.59 mem=14M973
95.45
95.45 search
95.45 run=23 nbConstraintChecks=680860684 nbPropagations=27919565 nbRevisions=538928291 nbUselessRevisions=465500889
95.45 nbAssignments=519269 nbFailedAssignments=260693 nbBacktracks=258422 nbVisitedNodes=973602 nbRestartNogoods=227
95.45 => wckTime=94.571 cpuTime=94.4 mem=14M973
95.46
95.46 global
95.46 nbConstraintChecks=680900187 nbPropagations=27920101 nbRevisions=538933164 nbUselessRevisions=465505074
95.46 nbRestartNogoods=227 solvingWckTime=94.572 solvingCpuTime=94.4 expiredTime=no totalExploration=yes
95.46 nbFoundSolutions=0 globalCpuTime=94.78
95.46 => wckTime=95.145 cpuTime=94.74 mem=14M973
95.46
95.46 s UNSATISFIABLE
95.46 d NODES 519269
95.46 d CHECKS 680900187
95.46
95.46 totalWckTime=95.224 totalCpuTime=94.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-199712-1168136022 -o ROOT/results/node6/solver-199712-1168136022 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199712-1168136022/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.99 1.99 4/88 28607
/proc/meminfo: memFree=1357024/2055924 swapFree=4165672/4192956
[pid=28606] ppid=28604 vsize=172 CPUtime=0
/proc/28606/stat : 28606 (java) R 28604 28606 27210 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 161997705 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2188068 0 0 4096 0 0 0 0 17 0 0 0
/proc/28606/statm: 43 24 18 14 0 3 0
[startup+0.108188 s]
/proc/loadavg: 1.89 1.99 1.99 4/88 28607
/proc/meminfo: memFree=1357024/2055924 swapFree=4165672/4192956
[pid=28606] ppid=28604 vsize=914988 CPUtime=0.08
/proc/28606/stat : 28606 (java) R 28604 28606 27210 0 -1 0 2969 0 1 0 6 2 0 0 24 0 8 0 161997705 936947712 2715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153788138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28606/statm: 228747 2717 1420 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516236 s]
/proc/loadavg: 1.89 1.99 1.99 4/88 28607
/proc/meminfo: memFree=1357024/2055924 swapFree=4165672/4192956
[pid=28606] ppid=28604 vsize=915328 CPUtime=0.39
/proc/28606/stat : 28606 (java) R 28604 28606 27210 0 -1 0 6142 0 1 0 35 4 0 0 18 0 8 0 161997705 937295872 5881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28606/statm: 228832 5882 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33933 s]
/proc/loadavg: 1.89 1.99 1.99 3/95 28614
/proc/meminfo: memFree=1333352/2055924 swapFree=4165672/4192956
[pid=28606] ppid=28604 vsize=915452 CPUtime=1.22
/proc/28606/stat : 28606 (java) R 28604 28606 27210 0 -1 0 8680 0 1 0 115 7 0 0 23 0 8 0 161997705 937422848 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28606/statm: 228863 8418 2524 14 0 215333 0
[pid=28606/tid=28608] ppid=28604 vsize=915452 CPUtime=0.02
/proc/28606/task/28608/stat : 28608 (java) S 28604 28606 27210 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 161997709 937422848 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28609] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28609/stat : 28609 (java) S 28604 28606 27210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161997710 937422848 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28610] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28610/stat : 28610 (java) S 28604 28606 27210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161997710 937422848 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28611] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28611/stat : 28611 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161997713 937422848 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28612] ppid=28604 vsize=915452 CPUtime=0.22
/proc/28606/task/28612/stat : 28612 (java) S 28604 28606 27210 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 161997713 937422848 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28613] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28613/stat : 28613 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161997713 937422848 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28614] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28614/stat : 28614 (java) S 28604 28606 27210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161997713 937422848 8418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915452
[startup+2.99253 s]
/proc/loadavg: 1.89 1.99 1.99 3/95 28614
/proc/meminfo: memFree=1333160/2055924 swapFree=4165672/4192956
[pid=28606] ppid=28604 vsize=915452 CPUtime=2.87
/proc/28606/stat : 28606 (java) R 28604 28606 27210 0 -1 0 8704 0 1 0 280 7 0 0 25 0 8 0 161997705 937422848 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793749 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28606/statm: 228863 8441 2524 14 0 215333 0
[pid=28606/tid=28608] ppid=28604 vsize=915452 CPUtime=0.02
/proc/28606/task/28608/stat : 28608 (java) S 28604 28606 27210 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 161997709 937422848 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28609] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28609/stat : 28609 (java) S 28604 28606 27210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161997710 937422848 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28610] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28610/stat : 28610 (java) S 28604 28606 27210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161997710 937422848 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28611] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28611/stat : 28611 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161997713 937422848 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28612] ppid=28604 vsize=915452 CPUtime=0.23
/proc/28606/task/28612/stat : 28612 (java) S 28604 28606 27210 0 -1 64 390 0 0 0 22 1 0 0 15 0 8 0 161997713 937422848 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28613] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28613/stat : 28613 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161997713 937422848 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28614] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28614/stat : 28614 (java) S 28604 28606 27210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161997713 937422848 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915452
[startup+6.27491 s]
/proc/loadavg: 1.90 1.99 1.99 3/95 28614
/proc/meminfo: memFree=1332968/2055924 swapFree=4165672/4192956
[pid=28606] ppid=28604 vsize=915452 CPUtime=6.16
/proc/28606/stat : 28606 (java) R 28604 28606 27210 0 -1 0 8712 0 1 0 609 7 0 0 25 0 8 0 161997705 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28606/statm: 228863 8448 2524 14 0 215333 0
[pid=28606/tid=28608] ppid=28604 vsize=915452 CPUtime=0.02
/proc/28606/task/28608/stat : 28608 (java) S 28604 28606 27210 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 161997709 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28609] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28609/stat : 28609 (java) S 28604 28606 27210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161997710 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28610] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28610/stat : 28610 (java) S 28604 28606 27210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161997710 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28611] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28611/stat : 28611 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161997713 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28612] ppid=28604 vsize=915452 CPUtime=0.23
/proc/28606/task/28612/stat : 28612 (java) S 28604 28606 27210 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 161997713 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28613] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28613/stat : 28613 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161997713 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28614] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28614/stat : 28614 (java) S 28604 28606 27210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161997713 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915452
[startup+12.7707 s]
/proc/loadavg: 1.91 1.99 1.99 3/95 28614
/proc/meminfo: memFree=1332968/2055924 swapFree=4165672/4192956
[pid=28606] ppid=28604 vsize=915452 CPUtime=12.63
/proc/28606/stat : 28606 (java) R 28604 28606 27210 0 -1 0 8719 0 1 0 1256 7 0 0 25 0 8 0 161997705 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28606/statm: 228863 8455 2524 14 0 215333 0
[pid=28606/tid=28608] ppid=28604 vsize=915452 CPUtime=0.02
/proc/28606/task/28608/stat : 28608 (java) S 28604 28606 27210 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 161997709 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28609] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28609/stat : 28609 (java) S 28604 28606 27210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161997710 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28610] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28610/stat : 28610 (java) S 28604 28606 27210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161997710 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28611] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28611/stat : 28611 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161997713 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28612] ppid=28604 vsize=915452 CPUtime=0.23
/proc/28606/task/28612/stat : 28612 (java) S 28604 28606 27210 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 161997713 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28613] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28613/stat : 28613 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161997713 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28614] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28614/stat : 28614 (java) S 28604 28606 27210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161997713 937422848 8455 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) 915452
[startup+25.6212 s]
/proc/loadavg: 1.93 1.99 1.99 3/95 28614
/proc/meminfo: memFree=1332968/2055924 swapFree=4165672/4192956
[pid=28606] ppid=28604 vsize=915452 CPUtime=25.47
/proc/28606/stat : 28606 (java) R 28604 28606 27210 0 -1 0 8724 0 1 0 2540 7 0 0 25 0 8 0 161997705 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28606/statm: 228863 8460 2524 14 0 215333 0
[pid=28606/tid=28608] ppid=28604 vsize=915452 CPUtime=0.02
/proc/28606/task/28608/stat : 28608 (java) S 28604 28606 27210 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 161997709 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28609] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28609/stat : 28609 (java) S 28604 28606 27210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161997710 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28610] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28610/stat : 28610 (java) S 28604 28606 27210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161997710 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28611] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28611/stat : 28611 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161997713 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28612] ppid=28604 vsize=915452 CPUtime=0.23
/proc/28606/task/28612/stat : 28612 (java) S 28604 28606 27210 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 161997713 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28613] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28613/stat : 28613 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161997713 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28614] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28614/stat : 28614 (java) S 28604 28606 27210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161997713 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915452
[startup+51.2542 s]
/proc/loadavg: 1.95 1.99 1.99 3/95 28614
/proc/meminfo: memFree=1332904/2055924 swapFree=4165672/4192956
[pid=28606] ppid=28604 vsize=915452 CPUtime=51.09
/proc/28606/stat : 28606 (java) R 28604 28606 27210 0 -1 0 8726 0 1 0 5102 7 0 0 25 0 8 0 161997705 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793179 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28606/statm: 228863 8462 2524 14 0 215333 0
[pid=28606/tid=28608] ppid=28604 vsize=915452 CPUtime=0.02
/proc/28606/task/28608/stat : 28608 (java) S 28604 28606 27210 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 161997709 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28609] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28609/stat : 28609 (java) S 28604 28606 27210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161997710 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28610] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28610/stat : 28610 (java) S 28604 28606 27210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161997710 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28611] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28611/stat : 28611 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161997713 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28612] ppid=28604 vsize=915452 CPUtime=0.23
/proc/28606/task/28612/stat : 28612 (java) S 28604 28606 27210 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 161997713 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28613] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28613/stat : 28613 (java) S 28604 28606 27210 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161997713 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28606/tid=28614] ppid=28604 vsize=915452 CPUtime=0
/proc/28606/task/28614/stat : 28614 (java) S 28604 28606 27210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161997713 937422848 8462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 95.4997
CPU time (s): 95.2655
CPU user time (s): 95.1815
CPU system time (s): 0.083987
CPU usage (%): 99.7548
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.1815
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8823
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= 3090
involuntary context switches= 5777
runsolver used 0.112982 s user time and 0.320951 s system time
The end
Begin job on node6 on Sun Jan 7 02:13:43 UTC 2007
IDJOB= 199712
IDBENCH= 3633
FILE ID= node6/199712-1168136022
PBS_JOBID= 3477737
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-55021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199712-1168136022/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-199712-1168136022 -o ROOT/results/node6/solver-199712-1168136022 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199712-1168136022/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f66f924f2e0721e2592069e4e3d60368
RANDOM SEED= 232478523
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1357504 kB
Buffers: 62488 kB
Cached: 505012 kB
SwapCached: 2476 kB
Active: 167268 kB
Inactive: 441068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1357504 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 52124 kB
Slab: 74804 kB
Committed_AS: 4526488 kB
PageTables: 2400 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= 66529 MiB
End job on node6 on Sun Jan 7 02:15:18 UTC 2007