0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/218386-1168079629/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.64
0.64 constraints being loaded...
0.78 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.78 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
0.78 => wckTime=0.487 cpuTime=0.45 mem=41M385
0.86
0.86 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.719 cpuTime=0.57 mem=21M86
1.02
1.02 preprocessing
1.02 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.02 detectedInconsistency=no
1.02 => wckTime=0.0020 cpuTime=0.0 mem=21M86
1.13
1.13 search
1.13 run=0 nbConstraintChecks=36300 nbValidityChecks=69304 nbPropagations=494 nbRevisions=5344
1.13 nbUselessRevisions=4155 nbAssignments=44 nbFailedAssignments=29 nbBacktracks=10 nbVisitedNodes=84
1.13 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.111 cpuTime=0.09 mem=21M86
1.20
1.20 search
1.20 run=1 nbConstraintChecks=74406 nbValidityChecks=148779 nbPropagations=1513 nbRevisions=16316
1.20 nbUselessRevisions=12654 nbAssignments=97 nbFailedAssignments=64 nbBacktracks=25 nbVisitedNodes=181
1.20 nbRestartNogoods=10 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.18 cpuTime=0.14 mem=21M86
1.33
1.33 search
1.33 run=2 nbConstraintChecks=177895 nbValidityChecks=356038 nbPropagations=3668 nbRevisions=41664
1.33 nbUselessRevisions=32281 nbAssignments=182 nbFailedAssignments=124 nbBacktracks=47 nbVisitedNodes=345
1.33 nbRestartNogoods=13 mapSize=47 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.313 cpuTime=0.27 mem=21M86
1.44
1.44 search
1.44 run=3 nbConstraintChecks=265929 nbValidityChecks=535363 nbPropagations=6851 nbRevisions=78552
1.44 nbUselessRevisions=60753 nbAssignments=279 nbFailedAssignments=185 nbBacktracks=80 nbVisitedNodes=524
1.45 nbRestartNogoods=16 mapSize=76 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.426 cpuTime=0.38 mem=21M86
1.64
1.64 search
1.64 run=4 nbConstraintChecks=426975 nbValidityChecks=851054 nbPropagations=11764 nbRevisions=136657
1.64 nbUselessRevisions=106100 nbAssignments=433 nbFailedAssignments=286 nbBacktracks=131 nbVisitedNodes=815
1.64 nbRestartNogoods=20 mapSize=122 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.621 cpuTime=0.57 mem=21M86
1.88
1.88 search
1.89 run=5 nbConstraintChecks=626901 nbValidityChecks=1254761 nbPropagations=19494 nbRevisions=225352
1.89 nbUselessRevisions=175160 nbAssignments=661 nbFailedAssignments=436 nbBacktracks=206 nbVisitedNodes=1258
1.89 nbRestartNogoods=24 mapSize=196 nbInferences=0 nbTooLargeKeys=0
1.89 => wckTime=0.866 cpuTime=0.81 mem=21M86
2.29
2.29 search
2.29 run=6 nbConstraintChecks=977633 nbValidityChecks=1925203 nbPropagations=30899 nbRevisions=359335
2.29 nbUselessRevisions=279295 nbAssignments=954 nbFailedAssignments=614 nbBacktracks=319 nbVisitedNodes=1820
2.29 nbRestartNogoods=41 mapSize=305 nbInferences=0 nbTooLargeKeys=0
2.29 => wckTime=1.268 cpuTime=1.2 mem=21M86
2.93
2.93 search
2.93 run=7 nbConstraintChecks=1543993 nbValidityChecks=3078286 nbPropagations=48667 nbRevisions=572423
2.93 nbUselessRevisions=445597 nbAssignments=1493 nbFailedAssignments=980 nbBacktracks=489 nbVisitedNodes=2863
2.93 nbRestartNogoods=50 mapSize=471 nbInferences=0 nbTooLargeKeys=0
2.93 => wckTime=1.911 cpuTime=1.84 mem=21M86
3.85
3.85 search
3.85 run=8 nbConstraintChecks=2325008 nbValidityChecks=4622017 nbPropagations=76790 nbRevisions=901313
3.85 nbUselessRevisions=700823 nbAssignments=2412 nbFailedAssignments=1639 nbBacktracks=745 nbVisitedNodes=4641
3.85 nbRestartNogoods=60 mapSize=710 nbInferences=0 nbTooLargeKeys=0
3.85 => wckTime=2.829 cpuTime=2.73 mem=21M86
5.06
5.06 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=21M86)
5.38
5.38 search
5.39 run=9 nbConstraintChecks=3722451 nbValidityChecks=7243814 nbPropagations=121255 nbRevisions=1416790
5.39 nbUselessRevisions=1098211 nbAssignments=3833 nbFailedAssignments=2673 nbBacktracks=1129 nbVisitedNodes=7411
5.39 nbRestartNogoods=74
5.39 => wckTime=4.366 cpuTime=4.26 mem=21M86
7.66
7.66 search
7.66 run=10 nbConstraintChecks=5860615 nbValidityChecks=11530406 nbPropagations=188228 nbRevisions=2216464
7.66 nbUselessRevisions=1716265 nbAssignments=5767 nbFailedAssignments=4028 nbBacktracks=1705 nbVisitedNodes=11151
7.66 nbRestartNogoods=82
7.66 => wckTime=6.642 cpuTime=6.52 mem=22M56
10.72
10.72 search
10.72 run=11 nbConstraintChecks=8640465 nbValidityChecks=16850837 nbPropagations=287572 nbRevisions=3382358
10.72 nbUselessRevisions=2616229 nbAssignments=8604 nbFailedAssignments=5999 nbBacktracks=2569 nbVisitedNodes=16604
10.72 nbRestartNogoods=99
10.72 => wckTime=9.705 cpuTime=9.57 mem=22M56
15.45
15.45 search
15.45 run=12 nbConstraintChecks=12860561 nbValidityChecks=25065269 nbPropagations=435655 nbRevisions=5114093
15.45 nbUselessRevisions=3958479 nbAssignments=12727 nbFailedAssignments=8822 nbBacktracks=3866 nbVisitedNodes=24533
15.45 nbRestartNogoods=110
15.45 => wckTime=14.432 cpuTime=14.25 mem=22M56
22.47
22.47 search
22.47 run=13 nbConstraintChecks=19112591 nbValidityChecks=37435939 nbPropagations=657602 nbRevisions=7699064
22.47 nbUselessRevisions=5967106 nbAssignments=18900 nbFailedAssignments=13045 nbBacktracks=5815 nbVisitedNodes=36420
22.47 nbRestartNogoods=123
22.47 => wckTime=21.448 cpuTime=21.24 mem=22M56
32.57
32.57 search
32.57 run=14 nbConstraintChecks=28222163 nbValidityChecks=54694614 nbPropagations=993146 nbRevisions=11557512
32.57 nbUselessRevisions=8948312 nbAssignments=28654 nbFailedAssignments=19877 nbBacktracks=8734 nbVisitedNodes=55285
32.57 nbRestartNogoods=129
32.57 => wckTime=31.551 cpuTime=31.31 mem=22M56
49.54
49.54 search
49.54 run=15 nbConstraintChecks=42958851 nbValidityChecks=83118284 nbPropagations=1507891 nbRevisions=17438502
49.54 nbUselessRevisions=13477702 nbAssignments=43621 nbFailedAssignments=30462 nbBacktracks=13115
49.54 nbVisitedNodes=84357 nbRestartNogoods=145
49.54 => wckTime=48.518 cpuTime=48.2 mem=22M56
58.76
58.76 search
58.76 run=16 nbConstraintChecks=51052789 nbValidityChecks=98471092 nbPropagations=2114263 nbRevisions=24371288
58.76 nbUselessRevisions=18819375 nbAssignments=51063 nbFailedAssignments=35625 nbBacktracks=15395
58.76 nbVisitedNodes=98793 nbRestartNogoods=154
58.76 => wckTime=57.741 cpuTime=57.41 mem=22M56
58.76
58.76 global
58.76 nbConstraintChecks=51052789 nbValidityChecks=98471092 nbPropagations=2114283 nbRevisions=24371288
58.76 nbUselessRevisions=18819375 nbRestartNogoods=154 solvingWckTime=57.742 solvingCpuTime=57.41 expiredTime=no
58.76 totalExploration=yes nbFoundSolutions=0 globalCpuTime=58.02
58.76 => wckTime=58.464 cpuTime=57.98 mem=22M56
58.76
58.76 s UNSATISFIABLE
58.76 d NODES 51063
58.76 d CHECKS 51052789
58.76
58.76 totalWckTime=58.54 totalCpuTime=58.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-218386-1168079629 -o ROOT/results/node48/solver-218386-1168079629 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218386-1168079629/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.85 0.97 0.99 7/73 32030
/proc/meminfo: memFree=1635360/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=1784 CPUtime=0
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 156361667 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/32029/statm: 446 140 106 14 0 91 0
[startup+0.110576 s]
/proc/loadavg: 0.85 0.97 0.99 7/73 32030
/proc/meminfo: memFree=1635360/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=914988 CPUtime=0.09
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 3067 0 1 0 8 1 0 0 24 0 8 0 156361667 936947712 2813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228747 2813 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.522617 s]
/proc/loadavg: 0.85 0.97 0.99 7/73 32030
/proc/meminfo: memFree=1635360/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915328 CPUtime=0.49
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 8303 0 1 0 46 3 0 0 25 0 8 0 156361667 937295872 8042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228832 8042 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34969 s]
/proc/loadavg: 0.85 0.97 0.99 4/87 32044
/proc/meminfo: memFree=1522800/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=1.31
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16784 0 1 0 123 8 0 0 25 0 8 0 156361667 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16521 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.16
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 358 0 0 0 16 0 0 0 15 0 8 0 156361675 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98684 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 32044
/proc/meminfo: memFree=1522608/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=2.94
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16802 0 1 0 286 8 0 0 25 0 8 0 156361667 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155086784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16538 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 17 0 8 0 156361671 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.2
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 376 0 0 0 20 0 0 0 16 0 8 0 156361675 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16538 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.27214 s]
/proc/loadavg: 0.94 0.99 0.99 3/87 32044
/proc/meminfo: memFree=1522288/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=6.22
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16808 0 1 0 613 9 0 0 25 0 8 0 156361667 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729037 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16542 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.2
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 380 0 0 0 20 0 0 0 16 0 8 0 156361675 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7567 s]
/proc/loadavg: 1.03 1.01 1.00 3/87 32044
/proc/meminfo: memFree=1522416/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=12.68
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16811 0 1 0 1259 9 0 0 25 0 8 0 156361667 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16545 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.21
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460
[startup+25.6219 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 32044
/proc/meminfo: memFree=1522608/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=25.47
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16811 0 1 0 2538 9 0 0 25 0 8 0 156361667 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726665 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16545 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.21
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+51.3203 s]
/proc/loadavg: 1.43 1.11 1.03 2/75 32276
/proc/meminfo: memFree=1580224/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=51.06
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16811 0 1 0 5095 11 0 0 25 0 8 0 156361667 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 228865 16545 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.21
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 58.8007
CPU time (s): 58.5241
CPU user time (s): 58.3991
CPU system time (s): 0.124981
CPU usage (%): 99.5296
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.3991
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16819
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= 2286
involuntary context switches= 2959
runsolver used 0.068989 s user time and 0.154976 s system time
The end
Begin job on node48 on Sat Jan 6 10:33:50 UTC 2007
IDJOB= 218386
IDBENCH= 5232
FILE ID= node48/218386-1168079629
PBS_JOBID= 3476137
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218386-1168079629/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-218386-1168079629 -o ROOT/results/node48/solver-218386-1168079629 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218386-1168079629/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a7f563e17417029cc0d001ae5faf3c9a
RANDOM SEED= 349781370
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.218
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.218
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: 1636392 kB
Buffers: 30544 kB
Cached: 295992 kB
SwapCached: 0 kB
Active: 71456 kB
Inactive: 275140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6000 kB
Writeback: 0 kB
Mapped: 30176 kB
Slab: 58536 kB
Committed_AS: 3102432 kB
PageTables: 1584 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 node48 on Sat Jan 6 10:34:49 UTC 2007