0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/199713-1168071556/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.50
0.50 constraints being loaded...
0.62 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=853 maxDegree=22
0.62 maxArity=2
0.62 => wckTime=0.3 cpuTime=0.22 mem=12M803
0.66
0.66 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.493 cpuTime=0.34 mem=13M899
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=23 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0040 cpuTime=0.0 mem=13M899
0.86
0.86 search
0.86 run=0 nbConstraintChecks=29780 nbPropagations=437 nbRevisions=6510 nbUselessRevisions=5693 nbAssignments=28
0.86 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.048 cpuTime=0.03 mem=14M923
0.88
0.88 search
0.88 run=1 nbConstraintChecks=79614 nbPropagations=1437 nbRevisions=22873 nbUselessRevisions=19877 nbAssignments=64
0.88 nbFailedAssignments=28 nbBacktracks=26 nbVisitedNodes=112 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.069 cpuTime=0.05 mem=14M923
0.91
0.91 search
0.91 run=2 nbConstraintChecks=143627 nbPropagations=3235 nbRevisions=53178 nbUselessRevisions=46066
0.91 nbAssignments=118 nbFailedAssignments=55 nbBacktracks=48 nbVisitedNodes=208 nbRestartNogoods=7 mapSize=46
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.095 cpuTime=0.06 mem=14M923
0.93
0.93 search
0.93 run=3 nbConstraintChecks=226623 nbPropagations=6087 nbRevisions=102074 nbUselessRevisions=88307
0.93 nbAssignments=189 nbFailedAssignments=88 nbBacktracks=81 nbVisitedNodes=335 nbRestartNogoods=11 mapSize=78
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.118 cpuTime=0.08 mem=14M923
0.96
0.96 search
0.96 run=4 nbConstraintChecks=373900 nbPropagations=10605 nbRevisions=182445 nbUselessRevisions=157524
0.96 nbAssignments=303 nbFailedAssignments=147 nbBacktracks=132 nbVisitedNodes=544 nbRestartNogoods=18 mapSize=127
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.147 cpuTime=0.11 mem=14M923
1.00
1.00 search
1.00 run=5 nbConstraintChecks=534107 nbPropagations=17181 nbRevisions=299343 nbUselessRevisions=258315
1.00 nbAssignments=447 nbFailedAssignments=210 nbBacktracks=208 nbVisitedNodes=808 nbRestartNogoods=23 mapSize=201
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.184 cpuTime=0.15 mem=14M923
1.05
1.05 search
1.05 run=6 nbConstraintChecks=790355 nbPropagations=26957 nbRevisions=473998 nbUselessRevisions=408872
1.05 nbAssignments=671 nbFailedAssignments=315 nbBacktracks=322 nbVisitedNodes=1223 nbRestartNogoods=27 mapSize=314
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.237 cpuTime=0.2 mem=14M923
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1208145 nbPropagations=41772 nbRevisions=742369 nbUselessRevisions=640212
1.14 nbAssignments=1014 nbFailedAssignments=483 nbBacktracks=492 nbVisitedNodes=1862 nbRestartNogoods=34
1.14 mapSize=481 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.322 cpuTime=0.27 mem=14M923
1.26
1.26 search
1.26 run=8 nbConstraintChecks=1824125 nbPropagations=64065 nbRevisions=1150903 nbUselessRevisions=992443
1.26 nbAssignments=1518 nbFailedAssignments=725 nbBacktracks=748 nbVisitedNodes=2805 nbRestartNogoods=44
1.26 mapSize=734 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.447 cpuTime=0.39 mem=14M923
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=14M923)
1.43
1.43 search
1.43 run=9 nbConstraintChecks=2803027 nbPropagations=97953 nbRevisions=1780070 nbUselessRevisions=1535149
1.43 nbAssignments=2295 nbFailedAssignments=1113 nbBacktracks=1135 nbVisitedNodes=4268 nbRestartNogoods=53
1.43 => wckTime=0.617 cpuTime=0.54 mem=14M923
1.66
1.66 search
1.66 run=10 nbConstraintChecks=4172318 nbPropagations=148221 nbRevisions=2715059 nbUselessRevisions=2340819
1.66 nbAssignments=3419 nbFailedAssignments=1655 nbBacktracks=1711 nbVisitedNodes=6358 nbRestartNogoods=55
1.66 => wckTime=0.842 cpuTime=0.76 mem=14M923
1.96
1.96 search
1.96 run=11 nbConstraintChecks=6080058 nbPropagations=222407 nbRevisions=4088764 nbUselessRevisions=3524617
1.96 nbAssignments=5093 nbFailedAssignments=2460 nbBacktracks=2575 nbVisitedNodes=9465 nbRestartNogoods=67
1.96 => wckTime=1.145 cpuTime=1.06 mem=14M923
2.47
2.47 search
2.47 run=12 nbConstraintChecks=9394558 nbPropagations=335219 nbRevisions=6205205 nbUselessRevisions=5348661
2.47 nbAssignments=7734 nbFailedAssignments=3800 nbBacktracks=3872 nbVisitedNodes=14413 nbRestartNogoods=75
2.47 => wckTime=1.656 cpuTime=1.56 mem=14M923
3.22
3.22 search
3.22 run=13 nbConstraintChecks=14229674 nbPropagations=505595 nbRevisions=9418216 nbUselessRevisions=8119099
3.22 nbAssignments=11629 nbFailedAssignments=5743 nbBacktracks=5819 nbVisitedNodes=21731 nbRestartNogoods=80
3.22 => wckTime=2.403 cpuTime=2.31 mem=14M923
4.33
4.33 search
4.33 run=14 nbConstraintChecks=21376349 nbPropagations=761512 nbRevisions=14260501 nbUselessRevisions=12296439
4.33 nbAssignments=17461 nbFailedAssignments=8652 nbBacktracks=8738 nbVisitedNodes=32663 nbRestartNogoods=91
4.33 => wckTime=3.52 cpuTime=3.41 mem=14M923
6.04
6.04 search
6.04 run=15 nbConstraintChecks=32405883 nbPropagations=1146790 nbRevisions=21576954 nbUselessRevisions=18607096
6.04 nbAssignments=26191 nbFailedAssignments=12999 nbBacktracks=13116 nbVisitedNodes=49012 nbRestartNogoods=106
6.04 => wckTime=5.223 cpuTime=5.09 mem=14M923
8.60
8.60 search
8.60 run=16 nbConstraintChecks=49244306 nbPropagations=1727324 nbRevisions=32657735 nbUselessRevisions=28165690
8.60 nbAssignments=39307 nbFailedAssignments=19542 nbBacktracks=19685 nbVisitedNodes=73545 nbRestartNogoods=116
8.60 => wckTime=7.79 cpuTime=7.64 mem=14M923
12.48
12.48 search
12.48 run=17 nbConstraintChecks=74636840 nbPropagations=2602460 nbRevisions=49421068 nbUselessRevisions=42631627
12.48 nbAssignments=58985 nbFailedAssignments=29363 nbBacktracks=29537 nbVisitedNodes=110441 nbRestartNogoods=133
12.48 => wckTime=11.671 cpuTime=11.49 mem=14M923
18.09
18.09 search
18.09 run=18 nbConstraintChecks=111151084 nbPropagations=3909767 nbRevisions=74432565 nbUselessRevisions=64220350
18.09 nbAssignments=88296 nbFailedAssignments=43891 nbBacktracks=44317 nbVisitedNodes=165260 nbRestartNogoods=151
18.09 => wckTime=17.272 cpuTime=17.05 mem=14M923
26.33
26.33 search
26.33 run=19 nbConstraintChecks=168834453 nbPropagations=5880852 nbRevisions=112309539 nbUselessRevisions=96923933
26.34 nbAssignments=132654 nbFailedAssignments=66076 nbBacktracks=66485 nbVisitedNodes=248384 nbRestartNogoods=172
26.34 => wckTime=25.522 cpuTime=25.25 mem=14M923
38.46
38.46 search
38.46 run=20 nbConstraintChecks=255695270 nbPropagations=8852482 nbRevisions=169584201 nbUselessRevisions=146388532
38.46 nbAssignments=199315 nbFailedAssignments=99482 nbBacktracks=99737 nbVisitedNodes=373462 nbRestartNogoods=192
38.46 => wckTime=37.643 cpuTime=37.35 mem=14M923
56.81
56.81 search
56.81 run=21 nbConstraintChecks=388233598 nbPropagations=13338076 nbRevisions=256299840 nbUselessRevisions=221279381
56.81 nbAssignments=299835 nbFailedAssignments=150120 nbBacktracks=149616 nbVisitedNodes=562059 nbRestartNogoods=206
56.81 => wckTime=55.993 cpuTime=55.68 mem=14M923
84.71
84.71 search
84.71 run=22 nbConstraintChecks=590216322 nbPropagations=20110468 nbRevisions=387856528 nbUselessRevisions=334935421
84.71 nbAssignments=450928 nbFailedAssignments=226390 nbBacktracks=224435 nbVisitedNodes=845655 nbRestartNogoods=216
84.71 => wckTime=83.896 cpuTime=83.55 mem=14M923
100.40
100.40 search
100.40 run=23 nbConstraintChecks=704845115 nbPropagations=28159756 nbRevisions=544656642 nbUselessRevisions=470425188
100.40 nbAssignments=534420 nbFailedAssignments=268489 nbBacktracks=265829 nbVisitedNodes=1002515 nbRestartNogoods=230
100.40 => wckTime=99.583 cpuTime=99.23 mem=14M923
100.40
100.40 global
100.40 nbConstraintChecks=704845115 nbPropagations=28159779 nbRevisions=544656642 nbUselessRevisions=470425188
100.40 nbRestartNogoods=230 solvingWckTime=99.584 solvingCpuTime=99.23 expiredTime=no totalExploration=yes
100.40 nbFoundSolutions=0 globalCpuTime=99.63
100.40 => wckTime=100.08 cpuTime=99.57 mem=14M923
100.40
100.40 s UNSATISFIABLE
100.40 d NODES 534420
100.40 d CHECKS 704845115
100.40
100.40 totalWckTime=100.166 totalCpuTime=99.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-199713-1168071556 -o ROOT/results/node47/solver-199713-1168071556 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199713-1168071556/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.50 1.14 1.12 4/80 1883
/proc/meminfo: memFree=1767944/2055920 swapFree=4192812/4192956
[pid=1882] ppid=1880 vsize=9948 CPUtime=0
/proc/1882/stat : 1882 (java) S 1880 1882 1670 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 155554844 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/1882/statm: 2487 472 386 14 0 1142 0
[startup+0.104072 s]
/proc/loadavg: 1.50 1.14 1.12 4/80 1883
/proc/meminfo: memFree=1767944/2055920 swapFree=4192812/4192956
[pid=1882] ppid=1880 vsize=914988 CPUtime=0.09
/proc/1882/stat : 1882 (java) R 1880 1882 1670 0 -1 0 2988 0 1 0 8 1 0 0 19 0 8 0 155554844 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155584179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1882/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512111 s]
/proc/loadavg: 1.50 1.14 1.12 4/80 1883
/proc/meminfo: memFree=1767944/2055920 swapFree=4192812/4192956
[pid=1882] ppid=1880 vsize=915328 CPUtime=0.49
/proc/1882/stat : 1882 (java) R 1880 1882 1670 0 -1 0 6866 0 1 0 45 4 0 0 18 0 8 0 155554844 937295872 6605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1882/statm: 228832 6605 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3332 s]
/proc/loadavg: 1.50 1.14 1.12 3/87 1890
/proc/meminfo: memFree=1744528/2055920 swapFree=4192812/4192956
[pid=1882] ppid=1880 vsize=915452 CPUtime=1.3
/proc/1882/stat : 1882 (java) R 1880 1882 1670 0 -1 0 8583 0 1 0 124 6 0 0 24 0 8 0 155554844 937422848 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785391 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1882/statm: 228863 8321 2513 14 0 215333 0
[pid=1882/tid=1884] ppid=1880 vsize=915452 CPUtime=0.03
/proc/1882/task/1884/stat : 1884 (java) S 1880 1882 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155554848 937422848 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1885] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1885/stat : 1885 (java) S 1880 1882 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554849 937422848 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1886] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1886/stat : 1886 (java) S 1880 1882 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554849 937422848 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1887] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1887/stat : 1887 (java) S 1880 1882 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155554852 937422848 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1888] ppid=1880 vsize=915452 CPUtime=0.22
/proc/1882/task/1888/stat : 1888 (java) S 1880 1882 1670 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 155554852 937422848 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1889] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1889/stat : 1889 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155554852 937422848 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1890] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1890/stat : 1890 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554852 937422848 8321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.97037 s]
/proc/loadavg: 1.50 1.14 1.12 3/87 1890
/proc/meminfo: memFree=1744272/2055920 swapFree=4192812/4192956
[pid=1882] ppid=1880 vsize=915452 CPUtime=2.92
/proc/1882/stat : 1882 (java) R 1880 1882 1670 0 -1 0 8602 0 1 0 286 6 0 0 25 0 8 0 155554844 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1882/statm: 228863 8339 2513 14 0 215333 0
[pid=1882/tid=1884] ppid=1880 vsize=915452 CPUtime=0.03
/proc/1882/task/1884/stat : 1884 (java) S 1880 1882 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155554848 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1885] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1885/stat : 1885 (java) S 1880 1882 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554849 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1886] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1886/stat : 1886 (java) S 1880 1882 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554849 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1887] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1887/stat : 1887 (java) S 1880 1882 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155554852 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1888] ppid=1880 vsize=915452 CPUtime=0.23
/proc/1882/task/1888/stat : 1888 (java) S 1880 1882 1670 0 -1 64 387 0 0 0 22 1 0 0 15 0 8 0 155554852 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1889] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1889/stat : 1889 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155554852 937422848 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1890] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1890/stat : 1890 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554852 937422848 8339 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.26272 s]
/proc/loadavg: 1.54 1.15 1.13 3/87 1890
/proc/meminfo: memFree=1744208/2055920 swapFree=4192812/4192956
[pid=1882] ppid=1880 vsize=915452 CPUtime=6.18
/proc/1882/stat : 1882 (java) R 1880 1882 1670 0 -1 0 8612 0 1 0 612 6 0 0 25 0 8 0 155554844 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1882/statm: 228863 8348 2513 14 0 215333 0
[pid=1882/tid=1884] ppid=1880 vsize=915452 CPUtime=0.03
/proc/1882/task/1884/stat : 1884 (java) S 1880 1882 1670 0 -1 64 269 0 0 0 3 0 0 0 17 0 8 0 155554848 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1885] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1885/stat : 1885 (java) S 1880 1882 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554849 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1886] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1886/stat : 1886 (java) S 1880 1882 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554849 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1887] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1887/stat : 1887 (java) S 1880 1882 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155554852 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1888] ppid=1880 vsize=915452 CPUtime=0.23
/proc/1882/task/1888/stat : 1888 (java) S 1880 1882 1670 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155554852 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1889] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1889/stat : 1889 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155554852 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1890] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1890/stat : 1890 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554852 937422848 8348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915452
[startup+12.7384 s]
/proc/loadavg: 1.58 1.16 1.13 3/87 1890
/proc/meminfo: memFree=1744216/2055920 swapFree=4192812/4192956
[pid=1882] ppid=1880 vsize=915452 CPUtime=12.59
/proc/1882/stat : 1882 (java) R 1880 1882 1670 0 -1 0 8616 0 1 0 1253 6 0 0 25 0 8 0 155554844 937422848 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1882/statm: 228863 8352 2513 14 0 215333 0
[pid=1882/tid=1884] ppid=1880 vsize=915452 CPUtime=0.03
/proc/1882/task/1884/stat : 1884 (java) S 1880 1882 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155554848 937422848 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1885] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1885/stat : 1885 (java) S 1880 1882 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554849 937422848 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1886] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1886/stat : 1886 (java) S 1880 1882 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554849 937422848 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1887] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1887/stat : 1887 (java) S 1880 1882 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155554852 937422848 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1888] ppid=1880 vsize=915452 CPUtime=0.23
/proc/1882/task/1888/stat : 1888 (java) S 1880 1882 1670 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155554852 937422848 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1889] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1889/stat : 1889 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155554852 937422848 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1890] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1890/stat : 1890 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554852 937422848 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915452
[startup+25.6038 s]
/proc/loadavg: 1.59 1.19 1.14 2/75 1935
/proc/meminfo: memFree=1767984/2055920 swapFree=4192812/4192956
[pid=1882] ppid=1880 vsize=915452 CPUtime=25.38
/proc/1882/stat : 1882 (java) R 1880 1882 1670 0 -1 0 8619 0 1 0 2531 7 0 0 25 0 8 0 155554844 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1882/statm: 228863 8355 2513 14 0 215333 0
[pid=1882/tid=1884] ppid=1880 vsize=915452 CPUtime=0.03
/proc/1882/task/1884/stat : 1884 (java) S 1880 1882 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155554848 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1885] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1885/stat : 1885 (java) S 1880 1882 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554849 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1886] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1886/stat : 1886 (java) S 1880 1882 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554849 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1887] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1887/stat : 1887 (java) S 1880 1882 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155554852 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1888] ppid=1880 vsize=915452 CPUtime=0.23
/proc/1882/task/1888/stat : 1888 (java) S 1880 1882 1670 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155554852 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1889] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1889/stat : 1889 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155554852 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1890] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1890/stat : 1890 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554852 937422848 8355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915452
[startup+51.2185 s]
/proc/loadavg: 1.73 1.25 1.16 3/87 1948
/proc/meminfo: memFree=1743832/2055920 swapFree=4192812/4192956
[pid=1882] ppid=1880 vsize=915452 CPUtime=50.97
/proc/1882/stat : 1882 (java) R 1880 1882 1670 0 -1 0 8624 0 1 0 5090 7 0 0 25 0 8 0 155554844 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1882/statm: 228863 8360 2513 14 0 215333 0
[pid=1882/tid=1884] ppid=1880 vsize=915452 CPUtime=0.03
/proc/1882/task/1884/stat : 1884 (java) S 1880 1882 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155554848 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1885] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1885/stat : 1885 (java) S 1880 1882 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554849 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1886] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1886/stat : 1886 (java) S 1880 1882 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554849 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1887] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1887/stat : 1887 (java) S 1880 1882 1670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155554852 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1888] ppid=1880 vsize=915452 CPUtime=0.23
/proc/1882/task/1888/stat : 1888 (java) S 1880 1882 1670 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155554852 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1882/tid=1889] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1889/stat : 1889 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155554852 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1882/tid=1890] ppid=1880 vsize=915452 CPUtime=0
/proc/1882/task/1890/stat : 1890 (java) S 1880 1882 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554852 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 100.422
CPU time (s): 100.11
CPU user time (s): 100.026
CPU system time (s): 0.083987
CPU usage (%): 99.6889
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.026
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= 8721
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= 3171
involuntary context switches= 2561
runsolver used 0.136979 s user time and 0.314952 s system time
The end
Begin job on node47 on Sat Jan 6 08:19:16 UTC 2007
IDJOB= 199713
IDBENCH= 3633
FILE ID= node47/199713-1168071556
PBS_JOBID= 3475958
Free space on /tmp= 66532 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 mac.xml 1 XSax /tmp/evaluation/199713-1168071556/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-199713-1168071556 -o ROOT/results/node47/solver-199713-1168071556 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199713-1168071556/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f66f924f2e0721e2592069e4e3d60368
RANDOM SEED= 731936484
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: 2055920 kB
MemFree: 1768424 kB
Buffers: 25336 kB
Cached: 146432 kB
SwapCached: 0 kB
Active: 79332 kB
Inactive: 136496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768424 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 64256 kB
Slab: 56932 kB
Committed_AS: 3573096 kB
PageTables: 1936 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= 66532 MiB
End job on node47 on Sat Jan 6 08:20:56 UTC 2007