0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/202855-1168072744/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.38 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.38
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3198 maxDegree=26
0.59 maxArity=2
0.59 => wckTime=0.3 cpuTime=0.22 mem=13M779
0.63
0.63 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.482 cpuTime=0.34 mem=13M936
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0050 cpuTime=0.0 mem=13M936
0.83
0.83 search
0.83 run=0 nbConstraintChecks=36310 nbPropagations=568 nbRevisions=6595 nbUselessRevisions=5467 nbAssignments=28
0.83 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.052 cpuTime=0.03 mem=14M912
0.85
0.85 search
0.85 run=1 nbConstraintChecks=82329 nbPropagations=1821 nbRevisions=21706 nbUselessRevisions=18014 nbAssignments=61
0.85 nbFailedAssignments=19 nbBacktracks=25 nbVisitedNodes=97 nbRestartNogoods=4 mapSize=21 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.072 cpuTime=0.04 mem=14M912
0.87
0.87 search
0.87 run=2 nbConstraintChecks=127250 nbPropagations=3749 nbRevisions=45084 nbUselessRevisions=37240
0.87 nbAssignments=105 nbFailedAssignments=32 nbBacktracks=49 nbVisitedNodes=165 nbRestartNogoods=8 mapSize=40
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.092 cpuTime=0.06 mem=14M912
0.89
0.89 search
0.89 run=3 nbConstraintChecks=210361 nbPropagations=6879 nbRevisions=84369 nbUselessRevisions=69336
0.89 nbAssignments=164 nbFailedAssignments=52 nbBacktracks=82 nbVisitedNodes=266 nbRestartNogoods=10 mapSize=70
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.11 cpuTime=0.07 mem=14M912
0.91
0.91 search
0.91 run=4 nbConstraintChecks=306689 nbPropagations=11569 nbRevisions=143876 nbUselessRevisions=118103
0.91 nbAssignments=257 nbFailedAssignments=82 nbBacktracks=137 nbVisitedNodes=415 nbRestartNogoods=12 mapSize=114
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.132 cpuTime=0.09 mem=14M912
0.94
0.94 search
0.94 run=5 nbConstraintChecks=481327 nbPropagations=18513 nbRevisions=235867 nbUselessRevisions=193220
0.94 nbAssignments=390 nbFailedAssignments=133 nbBacktracks=212 nbVisitedNodes=641 nbRestartNogoods=16 mapSize=173
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.167 cpuTime=0.12 mem=14M912
0.99
0.99 search
0.99 run=6 nbConstraintChecks=705150 nbPropagations=28764 nbRevisions=374030 nbUselessRevisions=306053
0.99 nbAssignments=589 nbFailedAssignments=212 nbBacktracks=326 nbVisitedNodes=979 nbRestartNogoods=18 mapSize=275
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.213 cpuTime=0.17 mem=14M912
1.06
1.06 search
1.06 run=7 nbConstraintChecks=1098395 nbPropagations=44305 nbRevisions=588779 nbUselessRevisions=481526
1.06 nbAssignments=875 nbFailedAssignments=321 nbBacktracks=496 nbVisitedNodes=1470 nbRestartNogoods=22 mapSize=418
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.284 cpuTime=0.24 mem=14M912
1.16
1.16 search
1.16 run=8 nbConstraintChecks=1625182 nbPropagations=67350 nbRevisions=908506 nbUselessRevisions=742345
1.16 nbAssignments=1314 nbFailedAssignments=496 nbBacktracks=753 nbVisitedNodes=2216 nbRestartNogoods=25
1.16 mapSize=618 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.384 cpuTime=0.33 mem=14M912
1.31
1.31 search
1.31 run=9 nbConstraintChecks=2385288 nbPropagations=102183 nbRevisions=1393891 nbUselessRevisions=1139079
1.31 nbAssignments=1979 nbFailedAssignments=769 nbBacktracks=1139 nbVisitedNodes=3371 nbRestartNogoods=34
1.31 mapSize=954 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.531 cpuTime=0.47 mem=14M912
1.34
1.34 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=14M912)
1.53
1.53 search
1.53 run=10 nbConstraintChecks=3772180 nbPropagations=155793 nbRevisions=2156426 nbUselessRevisions=1761394
1.53 nbAssignments=3006 nbFailedAssignments=1211 nbBacktracks=1717 nbVisitedNodes=5192 nbRestartNogoods=45
1.53 => wckTime=0.753 cpuTime=0.69 mem=14M912
1.80
1.80 search
1.80 run=11 nbConstraintChecks=5493901 nbPropagations=235000 nbRevisions=3285407 nbUselessRevisions=2684239
1.80 nbAssignments=4434 nbFailedAssignments=1765 nbBacktracks=2581 nbVisitedNodes=7664 nbRestartNogoods=56
1.80 => wckTime=1.026 cpuTime=0.96 mem=14M912
2.19
2.19 search
2.19 run=12 nbConstraintChecks=8020157 nbPropagations=350903 nbRevisions=4948221 nbUselessRevisions=4046525
2.19 nbAssignments=6540 nbFailedAssignments=2568 nbBacktracks=3878 nbVisitedNodes=11320 nbRestartNogoods=63
2.19 => wckTime=1.414 cpuTime=1.34 mem=14M912
2.77
2.77 search
2.77 run=13 nbConstraintChecks=11830732 nbPropagations=522969 nbRevisions=7401451 nbUselessRevisions=6053092
2.77 nbAssignments=9765 nbFailedAssignments=3838 nbBacktracks=5825 nbVisitedNodes=16909 nbRestartNogoods=75
2.77 => wckTime=1.999 cpuTime=1.93 mem=14M912
3.73
3.73 search
3.73 run=14 nbConstraintChecks=18383219 nbPropagations=782592 nbRevisions=11148790 nbUselessRevisions=9115770
3.73 nbAssignments=14632 nbFailedAssignments=5778 nbBacktracks=8745 nbVisitedNodes=25377 nbRestartNogoods=80
3.73 => wckTime=2.958 cpuTime=2.89 mem=14M912
5.12
5.12 search
5.12 run=15 nbConstraintChecks=27509560 nbPropagations=1173861 nbRevisions=16799767 nbUselessRevisions=13735216
5.12 nbAssignments=21933 nbFailedAssignments=8696 nbBacktracks=13123 nbVisitedNodes=38078 nbRestartNogoods=96
5.12 => wckTime=4.348 cpuTime=4.28 mem=14M912
7.35
7.35 search
7.35 run=16 nbConstraintChecks=42779954 nbPropagations=1769703 nbRevisions=25440278 nbUselessRevisions=20790296
7.35 nbAssignments=33116 nbFailedAssignments=13305 nbBacktracks=19693 nbVisitedNodes=57691 nbRestartNogoods=106
7.35 => wckTime=6.577 cpuTime=6.5 mem=14M912
10.36
10.36 search
10.36 run=17 nbConstraintChecks=62653049 nbPropagations=2649484 nbRevisions=38104254 nbUselessRevisions=31122176
10.36 nbAssignments=48946 nbFailedAssignments=19273 nbBacktracks=29545 nbVisitedNodes=84860 nbRestartNogoods=115
10.36 => wckTime=9.581 cpuTime=9.5 mem=14M912
15.24
15.24 search
15.24 run=18 nbConstraintChecks=95283751 nbPropagations=3977527 nbRevisions=57249786 nbUselessRevisions=46734917
15.24 nbAssignments=73490 nbFailedAssignments=29031 nbBacktracks=44324 nbVisitedNodes=127581 nbRestartNogoods=118
15.24 => wckTime=14.467 cpuTime=14.36 mem=14M912
22.61
22.61 search
22.61 run=19 nbConstraintChecks=145053723 nbPropagations=5977667 nbRevisions=86417476 nbUselessRevisions=70557511
22.61 nbAssignments=110613 nbFailedAssignments=43982 nbBacktracks=66493 nbVisitedNodes=192275 nbRestartNogoods=135
22.61 => wckTime=21.832 cpuTime=21.72 mem=14M912
33.35
33.35 search
33.35 run=20 nbConstraintChecks=216744182 nbPropagations=8980571 nbRevisions=130082064 nbUselessRevisions=106230891
33.35 nbAssignments=165665 nbFailedAssignments=65774 nbBacktracks=99746 nbVisitedNodes=287912 nbRestartNogoods=143
33.35 => wckTime=32.576 cpuTime=32.46 mem=14M912
49.81
49.81 search
49.81 run=21 nbConstraintChecks=327132469 nbPropagations=13510012 nbRevisions=196074473 nbUselessRevisions=160152692
49.81 nbAssignments=249921 nbFailedAssignments=100143 nbBacktracks=149626 nbVisitedNodes=435407 nbRestartNogoods=157
49.81 => wckTime=49.034 cpuTime=48.91 mem=14M912
73.80
73.80 search
73.80 run=22 nbConstraintChecks=487319665 nbPropagations=20269079 nbRevisions=294298537 nbUselessRevisions=240397114
73.80 nbAssignments=373227 nbFailedAssignments=148624 nbBacktracks=224446 nbVisitedNodes=649401 nbRestartNogoods=169
73.80 => wckTime=73.023 cpuTime=72.86 mem=14M912
110.63
110.63 search
110.63 run=23 nbConstraintChecks=735182178 nbPropagations=30433312 nbRevisions=442115768 nbUselessRevisions=361127074
110.63 nbAssignments=560655 nbFailedAssignments=223820 nbBacktracks=336674 nbVisitedNodes=976077 nbRestartNogoods=181
110.63 => wckTime=109.852 cpuTime=109.64 mem=14M912
166.24
166.24 search
166.24 run=24 nbConstraintChecks=1110072891 nbPropagations=45734935 nbRevisions=664816086 nbUselessRevisions=542978200
166.24 nbAssignments=840933 nbFailedAssignments=335748 nbBacktracks=505016 nbVisitedNodes=1463641 nbRestartNogoods=195
166.24 => wckTime=165.463 cpuTime=165.21 mem=14M912
212.94
212.94 search
212.94 run=25 nbConstraintChecks=1421763725 nbPropagations=65380014 nbRevisions=950681959 nbUselessRevisions=776448466
212.94 nbAssignments=1078878 nbFailedAssignments=428986 nbBacktracks=649683 nbVisitedNodes=1876322
212.94 nbRestartNogoods=200
212.94 => wckTime=212.163 cpuTime=211.86 mem=14M912
212.94
212.94 global
212.94 nbConstraintChecks=1421763725 nbPropagations=65380054 nbRevisions=950681959 nbUselessRevisions=776448466
212.94 nbRestartNogoods=200 solvingWckTime=212.164 solvingCpuTime=211.86 expiredTime=no totalExploration=no
212.94 nbFoundSolutions=1 globalCpuTime=212.24
212.94 => wckTime=212.65 cpuTime=212.2 mem=14M912
212.94
212.94 s SATISFIABLE
212.94 v 10 18 16 13 14 16 8 5 1 13 7 9 4 11 17 17 5 13 12 18 1 5 13 13 1 17 13 15 9 16 0 3 4 16 2 18 9 4 15 15
212.94 d NODES 1078878
212.94 d CHECKS 1421763725
212.94
212.94 totalWckTime=212.725 totalCpuTime=212.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-202855-1168072744 -o ROOT/results/node43/solver-202855-1168072744 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202855-1168072744/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.91 1.64 1.68 4/80 6756
/proc/meminfo: memFree=1649808/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=172 CPUtime=0
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155673541 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4731684 0 0 4096 0 0 0 0 17 0 0 0
/proc/6755/statm: 55 31 25 14 0 3 0
[startup+0.107372 s]
/proc/loadavg: 1.91 1.64 1.68 4/80 6756
/proc/meminfo: memFree=1649808/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=914988 CPUtime=0.09
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 3079 0 1 0 8 1 0 0 22 0 8 0 155673541 936947712 2825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228747 2825 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515441 s]
/proc/loadavg: 1.91 1.64 1.68 4/80 6756
/proc/meminfo: memFree=1649808/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=915328 CPUtime=0.49
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 7017 0 1 0 43 6 0 0 25 0 8 0 155673541 937295872 6756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228832 6756 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33658 s]
/proc/loadavg: 2.00 1.66 1.68 3/87 6763
/proc/meminfo: memFree=1626072/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=915456 CPUtime=1.31
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 8656 0 1 0 123 8 0 0 25 0 8 0 155673541 937426944 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228864 8394 2513 14 0 215334 0
[pid=6755/tid=6757] ppid=6753 vsize=915456 CPUtime=0.03
/proc/6755/task/6757/stat : 6757 (java) S 6753 6755 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155673544 937426944 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6758] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673545 937426944 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673545 937426944 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6760] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673548 937426944 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6761] ppid=6753 vsize=915456 CPUtime=0.21
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6303 0 -1 64 385 0 0 0 19 2 0 0 15 0 8 0 155673548 937426944 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673548 937426944 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6763] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673548 937426944 8394 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) 915456
[startup+2.98085 s]
/proc/loadavg: 2.00 1.66 1.68 3/87 6763
/proc/meminfo: memFree=1625688/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=915456 CPUtime=2.95
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 8673 0 1 0 287 8 0 0 25 0 8 0 155673541 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228864 8410 2513 14 0 215334 0
[pid=6755/tid=6757] ppid=6753 vsize=915456 CPUtime=0.03
/proc/6755/task/6757/stat : 6757 (java) S 6753 6755 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155673544 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6758] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673545 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673545 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6760] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673548 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6761] ppid=6753 vsize=915456 CPUtime=0.22
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6303 0 -1 64 392 0 0 0 20 2 0 0 15 0 8 0 155673548 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673548 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6763] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673548 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.2704 s]
/proc/loadavg: 2.00 1.66 1.68 3/87 6763
/proc/meminfo: memFree=1625688/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=915456 CPUtime=6.24
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 8679 0 1 0 616 8 0 0 25 0 8 0 155673541 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228864 8416 2513 14 0 215334 0
[pid=6755/tid=6757] ppid=6753 vsize=915456 CPUtime=0.03
/proc/6755/task/6757/stat : 6757 (java) S 6753 6755 6303 0 -1 64 291 0 0 0 3 0 0 0 17 0 8 0 155673544 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6758] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673545 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673545 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6760] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673548 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6761] ppid=6753 vsize=915456 CPUtime=0.22
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6303 0 -1 64 393 0 0 0 20 2 0 0 16 0 8 0 155673548 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673548 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6763] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673548 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915456
[startup+12.7475 s]
/proc/loadavg: 2.00 1.68 1.68 3/87 6763
/proc/meminfo: memFree=1625696/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=915456 CPUtime=12.69
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 8685 0 1 0 1261 8 0 0 25 0 8 0 155673541 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228864 8421 2513 14 0 215334 0
[pid=6755/tid=6757] ppid=6753 vsize=915456 CPUtime=0.03
/proc/6755/task/6757/stat : 6757 (java) S 6753 6755 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155673544 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6758] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673545 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673545 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6760] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673548 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6761] ppid=6753 vsize=915456 CPUtime=0.22
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6303 0 -1 64 393 0 0 0 20 2 0 0 16 0 8 0 155673548 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673548 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6763] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673548 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915456
[startup+25.5996 s]
/proc/loadavg: 2.00 1.69 1.69 3/87 6763
/proc/meminfo: memFree=1625696/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=915456 CPUtime=25.53
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 8690 0 1 0 2545 8 0 0 25 0 8 0 155673541 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228864 8426 2513 14 0 215334 0
[pid=6755/tid=6757] ppid=6753 vsize=915456 CPUtime=0.03
/proc/6755/task/6757/stat : 6757 (java) S 6753 6755 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155673544 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6758] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673545 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673545 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6760] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673548 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6761] ppid=6753 vsize=915456 CPUtime=0.22
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6303 0 -1 64 393 0 0 0 20 2 0 0 16 0 8 0 155673548 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673548 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6763] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673548 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915456
[startup+51.2019 s]
/proc/loadavg: 2.00 1.71 1.70 3/87 6763
/proc/meminfo: memFree=1625760/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=915456 CPUtime=51.12
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 8695 0 1 0 5104 8 0 0 25 0 8 0 155673541 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228864 8431 2513 14 0 215334 0
[pid=6755/tid=6757] ppid=6753 vsize=915456 CPUtime=0.03
/proc/6755/task/6757/stat : 6757 (java) S 6753 6755 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155673544 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6758] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673545 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673545 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6760] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673548 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6761] ppid=6753 vsize=915456 CPUtime=0.22
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6303 0 -1 64 393 0 0 0 20 2 0 0 16 0 8 0 155673548 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673548 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6763] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673548 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915456
[startup+102.402 s]
/proc/loadavg: 2.00 1.76 1.71 3/87 6763
/proc/meminfo: memFree=1625696/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=915456 CPUtime=102.28
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 8697 0 1 0 10219 9 0 0 25 0 8 0 155673541 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818373 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228864 8433 2513 14 0 215334 0
[pid=6755/tid=6757] ppid=6753 vsize=915456 CPUtime=0.03
/proc/6755/task/6757/stat : 6757 (java) S 6753 6755 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155673544 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6758] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673545 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673545 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6760] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673548 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6761] ppid=6753 vsize=915456 CPUtime=0.22
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6303 0 -1 64 393 0 0 0 20 2 0 0 16 0 8 0 155673548 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673548 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6763] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673548 937426944 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915456
[startup+162.449 s]
/proc/loadavg: 2.00 1.80 1.73 3/87 6763
/proc/meminfo: memFree=1625696/2055920 swapFree=4192812/4192956
[pid=6755] ppid=6753 vsize=915456 CPUtime=162.25
/proc/6755/stat : 6755 (java) R 6753 6755 6303 0 -1 0 8700 0 1 0 16216 9 0 0 25 0 8 0 155673541 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 228864 8436 2513 14 0 215334 0
[pid=6755/tid=6757] ppid=6753 vsize=915456 CPUtime=0.03
/proc/6755/task/6757/stat : 6757 (java) S 6753 6755 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155673544 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6758] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155673545 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155673545 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6760] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155673548 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6761] ppid=6753 vsize=915456 CPUtime=0.22
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6303 0 -1 64 393 0 0 0 20 2 0 0 16 0 8 0 155673548 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155673548 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6755/tid=6763] ppid=6753 vsize=915456 CPUtime=0
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155673548 937426944 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 212.98
CPU time (s): 212.71
CPU user time (s): 212.603
CPU system time (s): 0.106983
CPU usage (%): 99.8731
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.603
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8794
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= 5462
involuntary context switches= 6584
runsolver used 0.298954 s user time and 0.6519 s system time
The end
Begin job on node43 on Sat Jan 6 08:39:04 UTC 2007
IDJOB= 202855
IDBENCH= 3889
FILE ID= node43/202855-1168072744
PBS_JOBID= 3475983
Free space on /tmp= 66481 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202855-1168072744/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-202855-1168072744 -o ROOT/results/node43/solver-202855-1168072744 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202855-1168072744/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e1305f5623c59db0134743690ebda389
RANDOM SEED= 743483904
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.278
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.278
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: 1650224 kB
Buffers: 25588 kB
Cached: 268376 kB
SwapCached: 0 kB
Active: 92800 kB
Inactive: 245624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1650224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 64688 kB
Slab: 52668 kB
Committed_AS: 3691804 kB
PageTables: 1848 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= 66483 MiB
End job on node43 on Sat Jan 6 08:42:37 UTC 2007