0.30
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/230611-1168081089/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.099 cpuTime=0.07 mem=6M951
0.40
0.40 relations being loaded...
0.53
0.53 constraints being loaded...
0.66 nbConstraints=466 nbRelationTypes=466 nbExtensionStructures=466 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=466 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4553 maxDegree=30
0.66 maxArity=2
0.66 => wckTime=0.355 cpuTime=0.26 mem=15M761
0.70
0.70 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.547 cpuTime=0.38 mem=15M225
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0080 cpuTime=0.0 mem=15M225
0.91
0.91 search
0.91 run=0 nbConstraintChecks=57616 nbPropagations=629 nbRevisions=8857 nbUselessRevisions=7241 nbAssignments=28
0.91 nbFailedAssignments=11 nbBacktracks=13 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.056 cpuTime=0.04 mem=15M225
0.93
0.93 search
0.93 run=1 nbConstraintChecks=115091 nbPropagations=1877 nbRevisions=25881 nbUselessRevisions=20978
0.93 nbAssignments=57 nbFailedAssignments=22 nbBacktracks=28 nbVisitedNodes=96 nbRestartNogoods=3 mapSize=25
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.081 cpuTime=0.05 mem=15M225
0.96
0.96 search
0.96 run=2 nbConstraintChecks=226257 nbPropagations=4220 nbRevisions=59086 nbUselessRevisions=47737
0.96 nbAssignments=107 nbFailedAssignments=43 nbBacktracks=52 nbVisitedNodes=184 nbRestartNogoods=4 mapSize=47
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.104 cpuTime=0.07 mem=15M225
0.98
0.98 search
0.98 run=3 nbConstraintChecks=347695 nbPropagations=7888 nbRevisions=111613 nbUselessRevisions=90376
0.98 nbAssignments=169 nbFailedAssignments=66 nbBacktracks=85 nbVisitedNodes=290 nbRestartNogoods=6 mapSize=79
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.126 cpuTime=0.09 mem=15M225
1.01
1.01 search
1.01 run=4 nbConstraintChecks=546118 nbPropagations=13458 nbRevisions=193475 nbUselessRevisions=156730
1.01 nbAssignments=259 nbFailedAssignments=100 nbBacktracks=135 nbVisitedNodes=447 nbRestartNogoods=11 mapSize=121
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.162 cpuTime=0.13 mem=15M225
1.07
1.07 search
1.07 run=5 nbConstraintChecks=885309 nbPropagations=22212 nbRevisions=326157 nbUselessRevisions=263916
1.08 nbAssignments=407 nbFailedAssignments=169 nbBacktracks=210 nbVisitedNodes=717 nbRestartNogoods=15 mapSize=193
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.221 cpuTime=0.18 mem=15M225
1.15
1.15 search
1.15 run=6 nbConstraintChecks=1366855 nbPropagations=35463 nbRevisions=530964 nbUselessRevisions=429092
1.15 nbAssignments=631 nbFailedAssignments=273 nbBacktracks=324 nbVisitedNodes=1127 nbRestartNogoods=22 mapSize=299
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.302 cpuTime=0.26 mem=15M225
1.26
1.26 search
1.26 run=7 nbConstraintChecks=1993475 nbPropagations=54953 nbRevisions=837754 nbUselessRevisions=677881
1.26 nbAssignments=946 nbFailedAssignments=413 nbBacktracks=494 nbVisitedNodes=1697 nbRestartNogoods=28 mapSize=456
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.408 cpuTime=0.37 mem=15M225
1.42
1.42 search
1.42 run=8 nbConstraintChecks=3013870 nbPropagations=84064 nbRevisions=1297989 nbUselessRevisions=1050561
1.42 nbAssignments=1410 nbFailedAssignments=615 nbBacktracks=751 nbVisitedNodes=2533 nbRestartNogoods=33
1.42 mapSize=703 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.571 cpuTime=0.53 mem=15M225
1.65
1.65 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=15M225)
1.67
1.67 search
1.67 run=9 nbConstraintChecks=4624921 nbPropagations=127946 nbRevisions=1999096 nbUselessRevisions=1618121
1.67 nbAssignments=2116 nbFailedAssignments=932 nbBacktracks=1136 nbVisitedNodes=3810 nbRestartNogoods=39
1.67 => wckTime=0.82 cpuTime=0.76 mem=15M225
2.02
2.02 search
2.02 run=10 nbConstraintChecks=7004137 nbPropagations=194046 nbRevisions=3066653 nbUselessRevisions=2483736
2.02 nbAssignments=3182 nbFailedAssignments=1417 nbBacktracks=1712 nbVisitedNodes=5761 nbRestartNogoods=46
2.02 => wckTime=1.163 cpuTime=1.09 mem=15M225
2.48
2.48 search
2.48 run=11 nbConstraintChecks=10249548 nbPropagations=292157 nbRevisions=4648400 nbUselessRevisions=3766549
2.48 nbAssignments=4726 nbFailedAssignments=2090 nbBacktracks=2580 nbVisitedNodes=8549 nbRestartNogoods=54
2.48 => wckTime=1.625 cpuTime=1.55 mem=15M225
3.21
3.21 search
3.21 run=12 nbConstraintChecks=15663638 nbPropagations=439412 nbRevisions=7015987 nbUselessRevisions=5682551
3.21 nbAssignments=7066 nbFailedAssignments=3128 nbBacktracks=3877 nbVisitedNodes=12802 nbRestartNogoods=60
3.21 => wckTime=2.356 cpuTime=2.28 mem=15M225
4.29
4.29 search
4.29 run=13 nbConstraintChecks=23484250 nbPropagations=661869 nbRevisions=10590147 nbUselessRevisions=8575063
4.29 nbAssignments=10615 nbFailedAssignments=4726 nbBacktracks=5823 nbVisitedNodes=19292 nbRestartNogoods=65
4.29 => wckTime=3.439 cpuTime=3.37 mem=15M225
5.88
5.88 search
5.88 run=14 nbConstraintChecks=34881412 nbPropagations=994421 nbRevisions=15948202 nbUselessRevisions=12919898
5.88 nbAssignments=15875 nbFailedAssignments=7062 nbBacktracks=8742 nbVisitedNodes=28843 nbRestartNogoods=79
5.88 => wckTime=5.027 cpuTime=4.95 mem=15M225
8.32
8.32 search
8.32 run=15 nbConstraintChecks=52944209 nbPropagations=1493539 nbRevisions=23984035 nbUselessRevisions=19424942
8.32 nbAssignments=23789 nbFailedAssignments=10593 nbBacktracks=13121 nbVisitedNodes=43177 nbRestartNogoods=88
8.32 => wckTime=7.463 cpuTime=7.38 mem=15M225
11.94
11.94 search
11.94 run=16 nbConstraintChecks=79646850 nbPropagations=2245187 nbRevisions=36184497 nbUselessRevisions=29327505
11.94 nbAssignments=35978 nbFailedAssignments=16208 nbBacktracks=19691 nbVisitedNodes=65491 nbRestartNogoods=103
11.94 => wckTime=11.088 cpuTime=11.0 mem=15M225
17.43
17.43 search
17.43 run=17 nbConstraintChecks=119594450 nbPropagations=3377787 nbRevisions=54644691 nbUselessRevisions=44322924
17.43 nbAssignments=54005 nbFailedAssignments=24378 nbBacktracks=29544 nbVisitedNodes=98401 nbRestartNogoods=117
17.43 => wckTime=16.574 cpuTime=16.49 mem=15M225
25.93
25.93 search
25.93 run=18 nbConstraintChecks=183036845 nbPropagations=5090124 nbRevisions=82427691 nbUselessRevisions=66842332
25.93 nbAssignments=81390 nbFailedAssignments=36981 nbBacktracks=44323 nbVisitedNodes=148339 nbRestartNogoods=138
25.93 => wckTime=25.08 cpuTime=24.99 mem=15M225
38.50
38.50 search
38.50 run=19 nbConstraintChecks=275501339 nbPropagations=7663901 nbRevisions=124271308 nbUselessRevisions=100781214
38.50 nbAssignments=122006 nbFailedAssignments=55425 nbBacktracks=66492 nbVisitedNodes=222486 nbRestartNogoods=144
38.50 => wckTime=37.648 cpuTime=37.55 mem=15M225
57.68
57.68 search
57.68 run=20 nbConstraintChecks=416946107 nbPropagations=11548850 nbRevisions=187843381 nbUselessRevisions=152428233
57.68 nbAssignments=183104 nbFailedAssignments=83265 nbBacktracks=99744 nbVisitedNodes=334203 nbRestartNogoods=154
57.68 => wckTime=56.83 cpuTime=56.72 mem=15M225
86.84
86.84 search
86.84 run=21 nbConstraintChecks=632134158 nbPropagations=17418415 nbRevisions=284517302 nbUselessRevisions=231070621
86.84 nbAssignments=275274 nbFailedAssignments=125551 nbBacktracks=149623 nbVisitedNodes=502829 nbRestartNogoods=166
86.84 => wckTime=85.987 cpuTime=85.87 mem=15M225
89.03
89.03 search
89.03 run=22 nbConstraintChecks=648230794 nbPropagations=23435814 nbRevisions=383658193 nbUselessRevisions=311726971
89.03 nbAssignments=282149 nbFailedAssignments=128657 nbBacktracks=153393 nbVisitedNodes=515343 nbRestartNogoods=179
89.03 => wckTime=88.175 cpuTime=88.06 mem=15M225
89.03
89.03 global
89.03 nbConstraintChecks=648230794 nbPropagations=23435864 nbRevisions=383658193 nbUselessRevisions=311726971
89.03 nbRestartNogoods=179 solvingWckTime=88.176 solvingCpuTime=88.06 expiredTime=no totalExploration=yes
89.03 nbFoundSolutions=0 globalCpuTime=88.49
89.03 => wckTime=88.725 cpuTime=88.44 mem=15M225
89.03
89.03 s UNSATISFIABLE
89.03 d NODES 282149
89.03 d CHECKS 648230794
89.03
89.03 totalWckTime=88.801 totalCpuTime=88.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-230611-1168081089 -o ROOT/results/node35/solver-230611-1168081089 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230611-1168081089/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.11 0.82 1.45 3/68 14260
/proc/meminfo: memFree=1637568/2055920 swapFree=4192812/4192956
[pid=14259] ppid=14257 vsize=1784 CPUtime=0
/proc/14259/stat : 14259 (java) D 14257 14259 14076 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156503776 1826816 136 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14259/statm: 446 136 102 14 0 91 0
[startup+0.107055 s]
/proc/loadavg: 0.11 0.82 1.45 3/68 14260
/proc/meminfo: memFree=1637568/2055920 swapFree=4192812/4192956
[pid=14259] ppid=14257 vsize=914988 CPUtime=0.09
/proc/14259/stat : 14259 (java) R 14257 14259 14076 0 -1 0 3005 0 1 0 7 2 0 0 22 0 8 0 156503776 936947712 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14259/statm: 228747 2751 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515103 s]
/proc/loadavg: 0.11 0.82 1.45 3/68 14260
/proc/meminfo: memFree=1637568/2055920 swapFree=4192812/4192956
[pid=14259] ppid=14257 vsize=915328 CPUtime=0.48
/proc/14259/stat : 14259 (java) S 14257 14259 14076 0 -1 0 6935 0 1 0 43 5 0 0 16 0 8 0 156503776 937295872 6674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14259/statm: 228832 6674 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3362 s]
/proc/loadavg: 0.11 0.82 1.45 2/75 14267
/proc/meminfo: memFree=1612040/2055920 swapFree=4192812/4192956
[pid=14259] ppid=14257 vsize=915460 CPUtime=1.3
/proc/14259/stat : 14259 (java) R 14257 14259 14076 0 -1 0 9093 0 1 0 123 7 0 0 16 0 8 0 156503776 937431040 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812493 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14259/statm: 228865 8831 2513 14 0 215335 0
[pid=14259/tid=14261] ppid=14257 vsize=915460 CPUtime=0.03
/proc/14259/task/14261/stat : 14261 (java) S 14257 14259 14076 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 156503780 937431040 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14262] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 14076 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14263] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 14076 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156503783 937431040 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=915460 CPUtime=0.18
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 14076 0 -1 64 380 0 0 0 17 1 0 0 16 0 8 0 156503783 937431040 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156503783 937431040 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14267] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156503783 937431040 8831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98639 s]
/proc/loadavg: 0.18 0.82 1.45 2/75 14270
/proc/meminfo: memFree=1611784/2055920 swapFree=4192812/4192956
[pid=14259] ppid=14257 vsize=915460 CPUtime=2.94
/proc/14259/stat : 14259 (java) R 14257 14259 14076 0 -1 0 9109 0 1 0 287 7 0 0 18 0 8 0 156503776 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14259/statm: 228865 8846 2513 14 0 215335 0
[pid=14259/tid=14261] ppid=14257 vsize=915460 CPUtime=0.03
/proc/14259/task/14261/stat : 14261 (java) S 14257 14259 14076 0 -1 64 373 0 0 0 3 0 0 0 17 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14262] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 14076 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14263] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 14076 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=915460 CPUtime=0.21
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 14076 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14267] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.28178 s]
/proc/loadavg: 0.18 0.82 1.45 2/75 14270
/proc/meminfo: memFree=1611720/2055920 swapFree=4192812/4192956
[pid=14259] ppid=14257 vsize=915460 CPUtime=6.23
/proc/14259/stat : 14259 (java) R 14257 14259 14076 0 -1 0 9111 0 1 0 616 7 0 0 18 0 8 0 156503776 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14259/statm: 228865 8846 2513 14 0 215335 0
[pid=14259/tid=14261] ppid=14257 vsize=915460 CPUtime=0.03
/proc/14259/task/14261/stat : 14261 (java) S 14257 14259 14076 0 -1 64 373 0 0 0 3 0 0 0 17 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14262] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 14076 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14263] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 14076 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=915460 CPUtime=0.21
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 14076 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14267] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7575 s]
/proc/loadavg: 0.31 0.83 1.44 2/75 14300
/proc/meminfo: memFree=1609352/2055920 swapFree=4192812/4192956
[pid=14259] ppid=14257 vsize=915460 CPUtime=12.7
/proc/14259/stat : 14259 (java) R 14257 14259 14076 0 -1 0 9111 0 1 0 1263 7 0 0 25 0 8 0 156503776 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14259/statm: 228865 8846 2513 14 0 215335 0
[pid=14259/tid=14261] ppid=14257 vsize=915460 CPUtime=0.03
/proc/14259/task/14261/stat : 14261 (java) S 14257 14259 14076 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14262] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 14076 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14263] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 14076 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=915460 CPUtime=0.21
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 14076 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14267] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915460
[startup+25.5921 s]
/proc/loadavg: 0.41 0.83 1.44 2/75 14320
/proc/meminfo: memFree=1609432/2055920 swapFree=4192812/4192956
[pid=14259] ppid=14257 vsize=915460 CPUtime=25.51
/proc/14259/stat : 14259 (java) R 14257 14259 14076 0 -1 0 9111 0 1 0 2544 7 0 0 25 0 8 0 156503776 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14259/statm: 228865 8846 2513 14 0 215335 0
[pid=14259/tid=14261] ppid=14257 vsize=915460 CPUtime=0.03
/proc/14259/task/14261/stat : 14261 (java) S 14257 14259 14076 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14262] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 14076 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14263] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 14076 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=915460 CPUtime=0.21
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 14076 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14267] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915460
[startup+51.2771 s]
/proc/loadavg: 0.61 0.85 1.43 2/75 14321
/proc/meminfo: memFree=1611360/2055920 swapFree=4192812/4192956
[pid=14259] ppid=14257 vsize=915460 CPUtime=51.2
/proc/14259/stat : 14259 (java) R 14257 14259 14076 0 -1 0 9111 0 1 0 5112 8 0 0 25 0 8 0 156503776 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14259/statm: 228865 8846 2513 14 0 215335 0
[pid=14259/tid=14261] ppid=14257 vsize=915460 CPUtime=0.03
/proc/14259/task/14261/stat : 14261 (java) S 14257 14259 14076 0 -1 64 373 0 0 0 3 0 0 0 16 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14259/tid=14262] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14262/stat : 14262 (java) S 14257 14259 14076 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14263] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14263/stat : 14263 (java) S 14257 14259 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156503780 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14264] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14264/stat : 14264 (java) S 14257 14259 14076 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14265] ppid=14257 vsize=915460 CPUtime=0.21
/proc/14259/task/14265/stat : 14265 (java) S 14257 14259 14076 0 -1 64 395 0 0 0 20 1 0 0 16 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14266] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14266/stat : 14266 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14259/tid=14267] ppid=14257 vsize=915460 CPUtime=0
/proc/14259/task/14267/stat : 14267 (java) S 14257 14259 14076 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156503783 937431040 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 89.0523
CPU time (s): 88.9585
CPU user time (s): 88.8685
CPU system time (s): 0.089986
CPU usage (%): 99.8946
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.8685
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= 9118
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= 2651
involuntary context switches= 307
runsolver used 0.091986 s user time and 0.234964 s system time
The end
Begin job on node35 on Sat Jan 6 10:58:20 UTC 2007
IDJOB= 230611
IDBENCH= 6423
FILE ID= node35/230611-1168081089
PBS_JOBID= 3476111
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-86_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230611-1168081089/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-230611-1168081089 -o ROOT/results/node35/solver-230611-1168081089 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230611-1168081089/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2d8d62737575f084a34b2ade7a7fba70
RANDOM SEED= 18434439
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.234
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.234
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: 1638048 kB
Buffers: 28228 kB
Cached: 294024 kB
SwapCached: 0 kB
Active: 79876 kB
Inactive: 262548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1638048 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1948 kB
Writeback: 0 kB
Mapped: 30352 kB
Slab: 61232 kB
Committed_AS: 3056948 kB
PageTables: 1620 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= 66559 MiB
End job on node35 on Sat Jan 6 11:00:07 UTC 2007