0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/229198-1168304306/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.38 => wckTime=0.092 cpuTime=0.09 mem=6M951
0.38
0.38 relations being loaded...
0.46
0.46 constraints being loaded...
0.56 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.56 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1352 maxDegree=17
0.56 maxArity=2
0.56 => wckTime=0.263 cpuTime=0.2 mem=11M893
0.59
0.59 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.453 cpuTime=0.32 mem=14M827
0.79
0.79 preprocessing
0.79 nbConstraintChecks=54981 nbPropagations=827 nbRevisions=6060 nbUselessRevisions=4896 nbSingletonTests=50
0.79 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.79 => wckTime=0.045 cpuTime=0.03 mem=14M827
0.81
0.81 search
0.81 run=0 nbConstraintChecks=28823 nbPropagations=1304 nbRevisions=10714 nbUselessRevisions=8452 nbAssignments=24
0.81 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.064 cpuTime=0.06 mem=14M827
0.83
0.83 search
0.83 run=1 nbConstraintChecks=57898 nbPropagations=3160 nbRevisions=26606 nbUselessRevisions=20987 nbAssignments=57
0.83 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=89 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.082 cpuTime=0.07 mem=14M827
0.84
0.84 search
0.84 run=2 nbConstraintChecks=93657 nbPropagations=5679 nbRevisions=49057 nbUselessRevisions=38558 nbAssignments=97
0.84 nbFailedAssignments=30 nbBacktracks=50 nbVisitedNodes=152 nbRestartNogoods=5 mapSize=37 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.094 cpuTime=0.07 mem=14M827
0.85
0.85 search
0.85 run=3 nbConstraintChecks=147771 nbPropagations=9264 nbRevisions=81995 nbUselessRevisions=64123
0.85 nbAssignments=153 nbFailedAssignments=48 nbBacktracks=83 nbVisitedNodes=246 nbRestartNogoods=6 mapSize=64
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.107 cpuTime=0.08 mem=14M827
0.88
0.88 search
0.88 run=4 nbConstraintChecks=243771 nbPropagations=14669 nbRevisions=134318 nbUselessRevisions=104589
0.88 nbAssignments=251 nbFailedAssignments=88 nbBacktracks=135 nbVisitedNodes=418 nbRestartNogoods=9 mapSize=110
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.128 cpuTime=0.11 mem=14M827
0.91
0.91 search
0.91 run=5 nbConstraintChecks=385346 nbPropagations=22585 nbRevisions=213581 nbUselessRevisions=165609
0.91 nbAssignments=390 nbFailedAssignments=145 nbBacktracks=211 nbVisitedNodes=664 nbRestartNogoods=11 mapSize=181
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.16 cpuTime=0.13 mem=14M827
0.95
0.95 search
0.95 run=6 nbConstraintChecks=607081 nbPropagations=34309 nbRevisions=335010 nbUselessRevisions=259229
0.95 nbAssignments=604 nbFailedAssignments=240 nbBacktracks=324 nbVisitedNodes=1034 nbRestartNogoods=15 mapSize=282
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.201 cpuTime=0.17 mem=14M827
1.01
1.01 search
1.01 run=7 nbConstraintChecks=915334 nbPropagations=51621 nbRevisions=516479 nbUselessRevisions=398644
1.01 nbAssignments=905 nbFailedAssignments=366 nbBacktracks=494 nbVisitedNodes=1552 nbRestartNogoods=21 mapSize=426
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.262 cpuTime=0.23 mem=14M827
1.10
1.10 search
1.10 run=8 nbConstraintChecks=1390759 nbPropagations=77469 nbRevisions=789589 nbUselessRevisions=608109
1.10 nbAssignments=1366 nbFailedAssignments=564 nbBacktracks=751 nbVisitedNodes=2367 nbRestartNogoods=26
1.10 mapSize=654 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.353 cpuTime=0.32 mem=14M827
1.23
1.23 search
1.23 run=9 nbConstraintChecks=2065589 nbPropagations=115385 nbRevisions=1193051 nbUselessRevisions=917661
1.23 nbAssignments=2022 nbFailedAssignments=830 nbBacktracks=1136 nbVisitedNodes=3506 nbRestartNogoods=32
1.23 mapSize=984 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.487 cpuTime=0.44 mem=14M827
1.26
1.26 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=14M827)
1.41
1.41 search
1.41 run=10 nbConstraintChecks=3099653 nbPropagations=171882 nbRevisions=1796750 nbUselessRevisions=1380660
1.41 nbAssignments=3007 nbFailedAssignments=1235 nbBacktracks=1712 nbVisitedNodes=5237 nbRestartNogoods=39
1.41 => wckTime=0.665 cpuTime=0.6 mem=14M827
1.65
1.65 search
1.65 run=11 nbConstraintChecks=4628447 nbPropagations=255957 nbRevisions=2698398 nbUselessRevisions=2072999
1.65 nbAssignments=4477 nbFailedAssignments=1836 nbBacktracks=2576 nbVisitedNodes=7818 nbRestartNogoods=43
1.65 => wckTime=0.905 cpuTime=0.84 mem=14M827
2.01
2.01 search
2.01 run=12 nbConstraintChecks=7000900 nbPropagations=382239 nbRevisions=4054443 nbUselessRevisions=3113461
2.01 nbAssignments=6670 nbFailedAssignments=2726 nbBacktracks=3873 nbVisitedNodes=11661 nbRestartNogoods=49
2.01 => wckTime=1.266 cpuTime=1.2 mem=14M827
2.58
2.58 search
2.58 run=13 nbConstraintChecks=10728562 nbPropagations=573190 nbRevisions=6130720 nbUselessRevisions=4708666
2.58 nbAssignments=10100 nbFailedAssignments=4195 nbBacktracks=5819 nbVisitedNodes=17715 nbRestartNogoods=57
2.58 => wckTime=1.829 cpuTime=1.77 mem=14M827
3.37
3.37 search
3.37 run=14 nbConstraintChecks=15629288 nbPropagations=852718 nbRevisions=9157952 nbUselessRevisions=7035106
3.37 nbAssignments=14958 nbFailedAssignments=6125 nbBacktracks=8741 nbVisitedNodes=26171 nbRestartNogoods=66
3.37 => wckTime=2.622 cpuTime=2.55 mem=14M827
4.43
4.43 search
4.43 run=15 nbConstraintChecks=22496801 nbPropagations=1256914 nbRevisions=13531974 nbUselessRevisions=10399332
4.43 nbAssignments=21915 nbFailedAssignments=8700 nbBacktracks=13119 nbVisitedNodes=38087 nbRestartNogoods=76
4.43 => wckTime=3.686 cpuTime=3.61 mem=14M827
6.27
6.27 search
6.27 run=16 nbConstraintChecks=34091020 nbPropagations=1865900 nbRevisions=20172431 nbUselessRevisions=15510636
6.27 nbAssignments=33076 nbFailedAssignments=13287 nbBacktracks=19688 nbVisitedNodes=57691 nbRestartNogoods=83
6.27 => wckTime=5.526 cpuTime=5.45 mem=14M827
8.91
8.91 search
8.91 run=17 nbConstraintChecks=51480146 nbPropagations=2782749 nbRevisions=30120527 nbUselessRevisions=23153890
8.91 nbAssignments=49488 nbFailedAssignments=19839 nbBacktracks=29541 nbVisitedNodes=86278 nbRestartNogoods=89
8.91 => wckTime=8.16 cpuTime=8.08 mem=14M827
12.86
12.86 search
12.86 run=18 nbConstraintChecks=77607345 nbPropagations=4163573 nbRevisions=45172649 nbUselessRevisions=34736134
12.86 nbAssignments=74351 nbFailedAssignments=29917 nbBacktracks=44320 nbVisitedNodes=129884 nbRestartNogoods=93
12.86 => wckTime=12.118 cpuTime=12.03 mem=14M827
18.75
18.75 search
18.75 run=19 nbConstraintChecks=116269993 nbPropagations=6233682 nbRevisions=67675564 nbUselessRevisions=52044429
18.75 nbAssignments=110782 nbFailedAssignments=44174 nbBacktracks=66489 nbVisitedNodes=193279 nbRestartNogoods=103
18.75 => wckTime=18.001 cpuTime=17.91 mem=14M827
22.50
22.50 search
22.50 run=20 nbConstraintChecks=141436878 nbPropagations=8740165 nbRevisions=94937507 nbUselessRevisions=73006150
22.50 nbAssignments=133626 nbFailedAssignments=53160 nbBacktracks=80348 nbVisitedNodes=233099 nbRestartNogoods=111
22.50 => wckTime=21.754 cpuTime=21.66 mem=14M827
22.50
22.50 global
22.50 nbConstraintChecks=141491859 nbPropagations=8740992 nbRevisions=94943567 nbUselessRevisions=73011046
22.50 nbRestartNogoods=111 solvingWckTime=21.754 solvingCpuTime=21.66 expiredTime=no totalExploration=yes
22.50 nbFoundSolutions=0 globalCpuTime=22.02
22.50 => wckTime=22.21 cpuTime=21.98 mem=15M802
22.50
22.50 s UNSATISFIABLE
22.50 d NODES 133626
22.50 d CHECKS 141491859
22.50
22.51 totalWckTime=22.285 totalCpuTime=22.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-229198-1168304306 -o ROOT/results/node2/solver-229198-1168304306 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229198-1168304306/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: 0.93 1.27 1.28 3/78 14142
/proc/meminfo: memFree=1662360/2055920 swapFree=4191880/4192956
[pid=14141] ppid=14139 vsize=1784 CPUtime=0
/proc/14141/stat : 14141 (java) D 14139 14141 11810 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 178826242 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14141/statm: 446 136 102 14 0 91 0
[startup+0.106509 s]
/proc/loadavg: 0.93 1.27 1.28 3/78 14142
/proc/meminfo: memFree=1662360/2055920 swapFree=4191880/4192956
[pid=14141] ppid=14139 vsize=914988 CPUtime=0.09
/proc/14141/stat : 14141 (java) R 14139 14141 11810 0 -1 0 3058 0 1 0 8 1 0 0 17 0 8 0 178826242 936947712 2804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14141/statm: 228747 2804 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514587 s]
/proc/loadavg: 0.93 1.27 1.28 3/78 14142
/proc/meminfo: memFree=1662360/2055920 swapFree=4191880/4192956
[pid=14141] ppid=14139 vsize=915328 CPUtime=0.49
/proc/14141/stat : 14141 (java) S 14139 14141 11810 0 -1 0 6937 0 1 0 46 3 0 0 16 0 8 0 178826242 937295872 6676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14141/statm: 228832 6676 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33673 s]
/proc/loadavg: 0.93 1.27 1.28 2/85 14149
/proc/meminfo: memFree=1638560/2055920 swapFree=4191880/4192956
[pid=14141] ppid=14139 vsize=915452 CPUtime=1.31
/proc/14141/stat : 14141 (java) R 14139 14141 11810 0 -1 0 8696 0 1 0 127 4 0 0 16 0 8 0 178826242 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803481 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14141/statm: 228863 8434 2524 14 0 215333 0
[pid=14141/tid=14143] ppid=14139 vsize=915452 CPUtime=0.02
/proc/14141/task/14143/stat : 14143 (java) S 14139 14141 11810 0 -1 64 242 0 0 0 2 0 0 0 17 0 8 0 178826246 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14141/tid=14144] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11810 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178826246 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178826246 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11810 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178826249 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=915452 CPUtime=0.21
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11810 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 178826249 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11810 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178826249 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14141/tid=14149] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178826249 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.98204 s]
/proc/loadavg: 0.93 1.27 1.28 2/85 14149
/proc/meminfo: memFree=1638368/2055920 swapFree=4191880/4192956
[pid=14141] ppid=14139 vsize=915452 CPUtime=2.96
/proc/14141/stat : 14141 (java) R 14139 14141 11810 0 -1 0 8711 0 1 0 291 5 0 0 17 0 8 0 178826242 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786334 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14141/statm: 228863 8448 2524 14 0 215333 0
[pid=14141/tid=14143] ppid=14139 vsize=915452 CPUtime=0.02
/proc/14141/task/14143/stat : 14143 (java) S 14139 14141 11810 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178826246 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14141/tid=14144] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11810 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178826246 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178826246 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11810 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178826249 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=915452 CPUtime=0.21
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11810 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 178826249 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11810 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178826249 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14141/tid=14149] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178826249 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
[startup+6.26864 s]
/proc/loadavg: 0.93 1.27 1.28 2/85 14149
/proc/meminfo: memFree=1638240/2055920 swapFree=4191880/4192956
[pid=14141] ppid=14139 vsize=915452 CPUtime=6.24
/proc/14141/stat : 14141 (java) R 14139 14141 11810 0 -1 0 8717 0 1 0 619 5 0 0 20 0 8 0 178826242 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14141/statm: 228863 8453 2524 14 0 215333 0
[pid=14141/tid=14143] ppid=14139 vsize=915452 CPUtime=0.02
/proc/14141/task/14143/stat : 14143 (java) S 14139 14141 11810 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178826246 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14141/tid=14144] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11810 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178826246 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178826246 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11810 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178826249 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=915452 CPUtime=0.21
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11810 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 178826249 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11810 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178826249 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14141/tid=14149] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178826249 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452
[startup+12.7498 s]
/proc/loadavg: 0.94 1.26 1.27 2/85 14149
/proc/meminfo: memFree=1638240/2055920 swapFree=4191880/4192956
[pid=14141] ppid=14139 vsize=915452 CPUtime=12.71
/proc/14141/stat : 14141 (java) R 14139 14141 11810 0 -1 0 8722 0 1 0 1266 5 0 0 25 0 8 0 178826242 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14141/statm: 228863 8458 2524 14 0 215333 0
[pid=14141/tid=14143] ppid=14139 vsize=915452 CPUtime=0.02
/proc/14141/task/14143/stat : 14143 (java) S 14139 14141 11810 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178826246 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14141/tid=14144] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14144/stat : 14144 (java) S 14139 14141 11810 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178826246 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14145] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14145/stat : 14145 (java) S 14139 14141 11810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178826246 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14146] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14146/stat : 14146 (java) S 14139 14141 11810 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178826249 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14147] ppid=14139 vsize=915452 CPUtime=0.21
/proc/14141/task/14147/stat : 14147 (java) S 14139 14141 11810 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 178826249 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14141/tid=14148] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14148/stat : 14148 (java) S 14139 14141 11810 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178826249 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14141/tid=14149] ppid=14139 vsize=915452 CPUtime=0
/proc/14141/task/14149/stat : 14149 (java) S 14139 14141 11810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178826249 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 22.5602
CPU time (s): 22.4766
CPU user time (s): 22.4156
CPU system time (s): 0.06099
CPU usage (%): 99.6296
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.4156
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8818
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= 1273
involuntary context switches= 333
runsolver used 0.025996 s user time and 0.06399 s system time
The end
Begin job on node2 on Tue Jan 9 00:58:26 UTC 2007
IDJOB= 229198
IDBENCH= 6285
FILE ID= node2/229198-1168304306
PBS_JOBID= 3502243
Free space on /tmp= 66340 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-63_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229198-1168304306/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-229198-1168304306 -o ROOT/results/node2/solver-229198-1168304306 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229198-1168304306/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 68ec39505c29b43fdbda5606311a9b92
RANDOM SEED= 551771724
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1662776 kB
Buffers: 65796 kB
Cached: 221896 kB
SwapCached: 288 kB
Active: 243664 kB
Inactive: 99456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1662776 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 73716 kB
Slab: 35340 kB
Committed_AS: 4671312 kB
PageTables: 1992 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= 66340 MiB
End job on node2 on Tue Jan 9 00:58:49 UTC 2007