0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/199769-1168071580/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.41
0.41 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=860 maxDegree=22
0.62 maxArity=2
0.62 => wckTime=0.301 cpuTime=0.22 mem=12M803
0.66
0.66 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.496 cpuTime=0.35 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.0030 cpuTime=0.0 mem=13M899
0.87
0.87 search
0.87 run=0 nbConstraintChecks=40696 nbPropagations=500 nbRevisions=8131 nbUselessRevisions=7005 nbAssignments=29
0.87 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.058 cpuTime=0.04 mem=14M923
0.89
0.89 search
0.89 run=1 nbConstraintChecks=82491 nbPropagations=1537 nbRevisions=25560 nbUselessRevisions=22063 nbAssignments=64
0.89 nbFailedAssignments=29 nbBacktracks=25 nbVisitedNodes=114 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.075 cpuTime=0.05 mem=14M923
0.92
0.92 search
0.92 run=2 nbConstraintChecks=146776 nbPropagations=3368 nbRevisions=57039 nbUselessRevisions=49152
0.92 nbAssignments=117 nbFailedAssignments=56 nbBacktracks=47 nbVisitedNodes=212 nbRestartNogoods=7 mapSize=47
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.101 cpuTime=0.07 mem=14M923
0.94
0.94 search
0.94 run=3 nbConstraintChecks=232523 nbPropagations=6331 nbRevisions=108908 nbUselessRevisions=93986
0.94 nbAssignments=193 nbFailedAssignments=94 nbBacktracks=80 nbVisitedNodes=353 nbRestartNogoods=10 mapSize=79
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.125 cpuTime=0.09 mem=14M923
0.97
0.97 search
0.97 run=4 nbConstraintChecks=374730 nbPropagations=11037 nbRevisions=192852 nbUselessRevisions=166569
0.97 nbAssignments=307 nbFailedAssignments=153 nbBacktracks=130 nbVisitedNodes=566 nbRestartNogoods=16 mapSize=129
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.156 cpuTime=0.12 mem=14M923
1.01
1.01 search
1.01 run=5 nbConstraintChecks=577019 nbPropagations=18136 nbRevisions=321073 nbUselessRevisions=277085
1.01 nbAssignments=466 nbFailedAssignments=231 nbBacktracks=205 nbVisitedNodes=862 nbRestartNogoods=20 mapSize=203
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.199 cpuTime=0.16 mem=14M923
1.07
1.07 search
1.07 run=6 nbConstraintChecks=854422 nbPropagations=28586 nbRevisions=510733 nbUselessRevisions=440614
1.07 nbAssignments=693 nbFailedAssignments=340 nbBacktracks=318 nbVisitedNodes=1282 nbRestartNogoods=27 mapSize=314
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.256 cpuTime=0.21 mem=14M923
1.16
1.16 search
1.16 run=7 nbConstraintChecks=1276914 nbPropagations=44065 nbRevisions=794731 nbUselessRevisions=685443
1.16 nbAssignments=1034 nbFailedAssignments=505 nbBacktracks=488 nbVisitedNodes=1914 nbRestartNogoods=32
1.16 mapSize=483 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.341 cpuTime=0.29 mem=14M923
1.29
1.29 search
1.29 run=8 nbConstraintChecks=1939031 nbPropagations=67545 nbRevisions=1229053 nbUselessRevisions=1059508
1.29 nbAssignments=1569 nbFailedAssignments=779 nbBacktracks=745 nbVisitedNodes=2924 nbRestartNogoods=42
1.29 mapSize=738 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.478 cpuTime=0.41 mem=14M923
1.42
1.42 INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=14M923)
1.46
1.46 search
1.46 run=9 nbConstraintChecks=2940619 nbPropagations=102625 nbRevisions=1886630 nbUselessRevisions=1626501
1.46 nbAssignments=2351 nbFailedAssignments=1175 nbBacktracks=1129 nbVisitedNodes=4387 nbRestartNogoods=52
1.46 => wckTime=0.645 cpuTime=0.57 mem=14M923
1.69
1.69 search
1.69 run=10 nbConstraintChecks=4348111 nbPropagations=154634 nbRevisions=2863424 nbUselessRevisions=2468964
1.69 nbAssignments=3516 nbFailedAssignments=1758 nbBacktracks=1706 nbVisitedNodes=6568 nbRestartNogoods=56
1.69 => wckTime=0.879 cpuTime=0.79 mem=14M923
2.03
2.03 search
2.03 run=11 nbConstraintChecks=6493888 nbPropagations=232259 nbRevisions=4326603 nbUselessRevisions=3730936
2.03 nbAssignments=5247 nbFailedAssignments=2620 nbBacktracks=2570 nbVisitedNodes=9823 nbRestartNogoods=63
2.03 => wckTime=1.218 cpuTime=1.13 mem=14M923
2.56
2.56 search
2.56 run=12 nbConstraintChecks=9952846 nbPropagations=349751 nbRevisions=6559022 nbUselessRevisions=5657168
2.56 nbAssignments=7900 nbFailedAssignments=3972 nbBacktracks=3867 nbVisitedNodes=14800 nbRestartNogoods=75
2.56 => wckTime=1.748 cpuTime=1.65 mem=14M923
3.31
3.31 search
3.31 run=13 nbConstraintChecks=14797262 nbPropagations=524362 nbRevisions=9882156 nbUselessRevisions=8524831
3.31 nbAssignments=11787 nbFailedAssignments=5907 nbBacktracks=5813 nbVisitedNodes=22077 nbRestartNogoods=83
3.31 => wckTime=2.499 cpuTime=2.4 mem=14M923
4.42
4.42 search
4.42 run=14 nbConstraintChecks=21846064 nbPropagations=783775 nbRevisions=14791879 nbUselessRevisions=12760185
4.42 nbAssignments=17576 nbFailedAssignments=8772 nbBacktracks=8733 nbVisitedNodes=32874 nbRestartNogoods=94
4.42 => wckTime=3.602 cpuTime=3.49 mem=14M923
6.14
6.14 search
6.14 run=15 nbConstraintChecks=32935352 nbPropagations=1174019 nbRevisions=22191506 nbUselessRevisions=19142472
6.14 nbAssignments=26394 nbFailedAssignments=13208 nbBacktracks=13111 nbVisitedNodes=49397 nbRestartNogoods=100
6.14 => wckTime=5.323 cpuTime=5.19 mem=14M923
8.67
8.67 search
8.67 run=16 nbConstraintChecks=49349358 nbPropagations=1757570 nbRevisions=33280458 nbUselessRevisions=28709312
8.67 nbAssignments=39408 nbFailedAssignments=19650 nbBacktracks=19679 nbVisitedNodes=73711 nbRestartNogoods=113
8.67 => wckTime=7.852 cpuTime=7.7 mem=14M923
12.47
12.47 search
12.47 run=17 nbConstraintChecks=74249393 nbPropagations=2630874 nbRevisions=49951335 nbUselessRevisions=43097275
12.47 nbAssignments=59017 nbFailedAssignments=29403 nbBacktracks=29531 nbVisitedNodes=110378 nbRestartNogoods=125
12.47 => wckTime=11.657 cpuTime=11.46 mem=14M923
18.41
18.41 search
18.41 run=18 nbConstraintChecks=113447683 nbPropagations=3953427 nbRevisions=75343545 nbUselessRevisions=65015421
18.41 nbAssignments=88891 nbFailedAssignments=44495 nbBacktracks=44309 nbVisitedNodes=166412 nbRestartNogoods=143
18.41 => wckTime=17.595 cpuTime=17.35 mem=14M923
27.13
27.13 search
27.13 run=19 nbConstraintChecks=170152498 nbPropagations=5933812 nbRevisions=113428812 nbUselessRevisions=97898800
27.13 nbAssignments=133216 nbFailedAssignments=66648 nbBacktracks=66477 nbVisitedNodes=249331 nbRestartNogoods=156
27.13 => wckTime=26.32 cpuTime=26.0 mem=14M923
40.15
40.16 search
40.16 run=20 nbConstraintChecks=255147417 nbPropagations=8902725 nbRevisions=170565977 nbUselessRevisions=147239691
40.16 nbAssignments=199588 nbFailedAssignments=99763 nbBacktracks=99729 nbVisitedNodes=373667 nbRestartNogoods=177
40.16 => wckTime=39.341 cpuTime=38.91 mem=14M923
60.19
60.19 search
60.19 run=21 nbConstraintChecks=387015716 nbPropagations=13379438 nbRevisions=256991844 nbUselessRevisions=221883564
60.19 nbAssignments=299868 nbFailedAssignments=150161 nbBacktracks=149607 nbVisitedNodes=561756 nbRestartNogoods=200
60.19 => wckTime=59.373 cpuTime=58.75 mem=14M923
89.54
89.54 search
89.54 run=22 nbConstraintChecks=589964085 nbPropagations=20142629 nbRevisions=388230022 nbUselessRevisions=335266778
89.54 nbAssignments=451274 nbFailedAssignments=226744 nbBacktracks=224425 nbVisitedNodes=845968 nbRestartNogoods=220
89.54 => wckTime=88.726 cpuTime=87.96 mem=14M923
105.86
105.86 search
105.86 run=23 nbConstraintChecks=707975132 nbPropagations=28218234 nbRevisions=545376441 nbUselessRevisions=471059548
105.86 nbAssignments=537791 nbFailedAssignments=270540 nbBacktracks=267147 nbVisitedNodes=1008310 nbRestartNogoods=237
105.86 => wckTime=105.042 cpuTime=104.25 mem=14M923
105.86
105.86 global
105.86 nbConstraintChecks=707975132 nbPropagations=28218257 nbRevisions=545376441 nbUselessRevisions=471059548
105.86 nbRestartNogoods=237 solvingWckTime=105.045 solvingCpuTime=104.25 expiredTime=no totalExploration=yes
105.86 nbFoundSolutions=0 globalCpuTime=104.64
105.86 => wckTime=105.544 cpuTime=104.6 mem=14M923
105.86
105.86 s UNSATISFIABLE
105.86 d NODES 537791
105.86 d CHECKS 707975132
105.86
105.86 totalWckTime=105.625 totalCpuTime=104.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-199769-1168071580 -o ROOT/results/node47/solver-199769-1168071580 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199769-1168071580/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.59 1.19 1.14 4/80 1941
/proc/meminfo: memFree=1767560/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=18540 CPUtime=0
/proc/1940/stat : 1940 (runsolver) R 1937 1940 1682 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155557363 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1940/statm: 4635 279 244 17 0 2626 0
[startup+0.110956 s]
/proc/loadavg: 1.59 1.19 1.14 4/80 1941
/proc/meminfo: memFree=1767560/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=914988 CPUtime=0.09
/proc/1940/stat : 1940 (java) R 1937 1940 1682 0 -1 0 3033 0 1 0 8 1 0 0 20 0 8 0 155557363 936947712 2779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1940/statm: 228747 2779 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518988 s]
/proc/loadavg: 1.59 1.19 1.14 4/80 1941
/proc/meminfo: memFree=1767560/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=915328 CPUtime=0.49
/proc/1940/stat : 1940 (java) R 1937 1940 1682 0 -1 0 6883 0 1 0 45 4 0 0 18 0 8 0 155557363 937295872 6622 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1940/statm: 228832 6622 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34307 s]
/proc/loadavg: 1.59 1.19 1.14 3/87 1948
/proc/meminfo: memFree=1744144/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=915452 CPUtime=1.31
/proc/1940/stat : 1940 (java) R 1937 1940 1682 0 -1 0 8578 0 1 0 125 6 0 0 24 0 8 0 155557363 937422848 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1940/statm: 228863 8316 2513 14 0 215333 0
[pid=1940/tid=1942] ppid=1937 vsize=915452 CPUtime=0.02
/proc/1940/task/1942/stat : 1942 (java) S 1937 1940 1682 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155557367 937422848 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1943] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1943/stat : 1943 (java) S 1937 1940 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155557368 937422848 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1944] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1944/stat : 1944 (java) S 1937 1940 1682 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155557368 937422848 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1945] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1945/stat : 1945 (java) S 1937 1940 1682 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155557371 937422848 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1946] ppid=1937 vsize=915452 CPUtime=0.22
/proc/1940/task/1946/stat : 1946 (java) S 1937 1940 1682 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 155557371 937422848 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1947] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1947/stat : 1947 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155557371 937422848 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1948] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1948/stat : 1948 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155557371 937422848 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.98024 s]
/proc/loadavg: 1.59 1.19 1.14 3/87 1948
/proc/meminfo: memFree=1743888/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=915452 CPUtime=2.93
/proc/1940/stat : 1940 (java) R 1937 1940 1682 0 -1 0 8600 0 1 0 287 6 0 0 25 0 8 0 155557363 937422848 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844833 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1940/statm: 228863 8337 2513 14 0 215333 0
[pid=1940/tid=1942] ppid=1937 vsize=915452 CPUtime=0.02
/proc/1940/task/1942/stat : 1942 (java) S 1937 1940 1682 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155557367 937422848 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1943] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1943/stat : 1943 (java) S 1937 1940 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155557368 937422848 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1944] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1944/stat : 1944 (java) S 1937 1940 1682 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155557368 937422848 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1945] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1945/stat : 1945 (java) S 1937 1940 1682 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155557371 937422848 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1946] ppid=1937 vsize=915452 CPUtime=0.23
/proc/1940/task/1946/stat : 1946 (java) S 1937 1940 1682 0 -1 64 386 0 0 0 22 1 0 0 15 0 8 0 155557371 937422848 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1947] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1947/stat : 1947 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155557371 937422848 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1948] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1948/stat : 1948 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155557371 937422848 8337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.2676 s]
/proc/loadavg: 1.62 1.20 1.14 3/87 1948
/proc/meminfo: memFree=1743888/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=915452 CPUtime=6.19
/proc/1940/stat : 1940 (java) R 1937 1940 1682 0 -1 0 8610 0 1 0 613 6 0 0 25 0 8 0 155557363 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1940/statm: 228863 8346 2513 14 0 215333 0
[pid=1940/tid=1942] ppid=1937 vsize=915452 CPUtime=0.02
/proc/1940/task/1942/stat : 1942 (java) S 1937 1940 1682 0 -1 64 269 0 0 0 2 0 0 0 17 0 8 0 155557367 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1943] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1943/stat : 1943 (java) S 1937 1940 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155557368 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1944] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1944/stat : 1944 (java) S 1937 1940 1682 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155557368 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1945] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1945/stat : 1945 (java) S 1937 1940 1682 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155557371 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1946] ppid=1937 vsize=915452 CPUtime=0.24
/proc/1940/task/1946/stat : 1946 (java) S 1937 1940 1682 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 155557371 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1947] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1947/stat : 1947 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155557371 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1948] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1948/stat : 1948 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155557371 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.7463 s]
/proc/loadavg: 1.65 1.21 1.15 3/87 1948
/proc/meminfo: memFree=1743896/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=915452 CPUtime=12.61
/proc/1940/stat : 1940 (java) R 1937 1940 1682 0 -1 0 8614 0 1 0 1255 6 0 0 25 0 8 0 155557363 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1940/statm: 228863 8350 2513 14 0 215333 0
[pid=1940/tid=1942] ppid=1937 vsize=915452 CPUtime=0.02
/proc/1940/task/1942/stat : 1942 (java) S 1937 1940 1682 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155557367 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1943] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1943/stat : 1943 (java) S 1937 1940 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155557368 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1944] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1944/stat : 1944 (java) S 1937 1940 1682 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155557368 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1945] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1945/stat : 1945 (java) S 1937 1940 1682 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155557371 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1946] ppid=1937 vsize=915452 CPUtime=0.24
/proc/1940/task/1946/stat : 1946 (java) S 1937 1940 1682 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 155557371 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1947] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1947/stat : 1947 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155557371 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1948] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1948/stat : 1948 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155557371 937422848 8350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452
[startup+25.6097 s]
/proc/loadavg: 1.73 1.25 1.16 3/87 1948
/proc/meminfo: memFree=1743832/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=915452 CPUtime=25.36
/proc/1940/stat : 1940 (java) R 1937 1940 1682 0 -1 0 8617 0 1 0 2530 6 0 0 25 0 8 0 155557363 937422848 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1940/statm: 228863 8353 2513 14 0 215333 0
[pid=1940/tid=1942] ppid=1937 vsize=915452 CPUtime=0.02
/proc/1940/task/1942/stat : 1942 (java) S 1937 1940 1682 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155557367 937422848 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1943] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1943/stat : 1943 (java) S 1937 1940 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155557368 937422848 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1944] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1944/stat : 1944 (java) S 1937 1940 1682 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155557368 937422848 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1945] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1945/stat : 1945 (java) S 1937 1940 1682 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155557371 937422848 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1946] ppid=1937 vsize=915452 CPUtime=0.24
/proc/1940/task/1946/stat : 1946 (java) S 1937 1940 1682 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 155557371 937422848 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1947] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1947/stat : 1947 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155557371 937422848 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1948] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1948/stat : 1948 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155557371 937422848 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915452
[startup+51.2104 s]
/proc/loadavg: 1.82 1.31 1.18 3/87 1948
/proc/meminfo: memFree=1743832/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=915452 CPUtime=50.72
/proc/1940/stat : 1940 (java) R 1937 1940 1682 0 -1 0 8622 0 1 0 5066 6 0 0 25 0 8 0 155557363 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1940/statm: 228863 8358 2513 14 0 215333 0
[pid=1940/tid=1942] ppid=1937 vsize=915452 CPUtime=0.02
/proc/1940/task/1942/stat : 1942 (java) S 1937 1940 1682 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155557367 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1943] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1943/stat : 1943 (java) S 1937 1940 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155557368 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1944] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1944/stat : 1944 (java) S 1937 1940 1682 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155557368 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1945] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1945/stat : 1945 (java) S 1937 1940 1682 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155557371 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1946] ppid=1937 vsize=915452 CPUtime=0.24
/proc/1940/task/1946/stat : 1946 (java) S 1937 1940 1682 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 155557371 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1947] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1947/stat : 1947 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155557371 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1948] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1948/stat : 1948 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155557371 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915452
[startup+102.437 s]
/proc/loadavg: 1.92 1.41 1.22 3/87 2010
/proc/meminfo: memFree=1678176/2055920 swapFree=4192812/4192956
[pid=1940] ppid=1937 vsize=915452 CPUtime=101.69
/proc/1940/stat : 1940 (java) R 1937 1940 1682 0 -1 0 8627 0 1 0 10160 9 0 0 25 0 8 0 155557363 937422848 8363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814452 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1940/statm: 228863 8363 2513 14 0 215333 0
[pid=1940/tid=1942] ppid=1937 vsize=915452 CPUtime=0.02
/proc/1940/task/1942/stat : 1942 (java) S 1937 1940 1682 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155557367 937422848 8363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1943] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1943/stat : 1943 (java) S 1937 1940 1682 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155557368 937422848 8363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1944] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1944/stat : 1944 (java) S 1937 1940 1682 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155557368 937422848 8363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1945] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1945/stat : 1945 (java) S 1937 1940 1682 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155557371 937422848 8363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1946] ppid=1937 vsize=915452 CPUtime=0.24
/proc/1940/task/1946/stat : 1946 (java) S 1937 1940 1682 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 155557371 937422848 8363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1947] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1947/stat : 1947 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155557371 937422848 8363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1940/tid=1948] ppid=1937 vsize=915452 CPUtime=0
/proc/1940/task/1948/stat : 1948 (java) S 1937 1940 1682 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155557371 937422848 8363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 105.895
CPU time (s): 105.137
CPU user time (s): 105.037
CPU system time (s): 0.099984
CPU usage (%): 99.2845
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.037
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8718
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= 3239
involuntary context switches= 5438
runsolver used 0.156976 s user time and 0.319951 s system time
The end
Begin job on node47 on Sat Jan 6 08:19:40 UTC 2007
IDJOB= 199769
IDBENCH= 3635
FILE ID= node47/199769-1168071580
PBS_JOBID= 3475959
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-46021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199769-1168071580/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-199769-1168071580 -o ROOT/results/node47/solver-199769-1168071580 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199769-1168071580/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a641d5227836e99889f0b65812e13203
RANDOM SEED= 118202738
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: 1767976 kB
Buffers: 25352 kB
Cached: 146688 kB
SwapCached: 0 kB
Active: 79700 kB
Inactive: 136492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1767976 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3764 kB
Writeback: 0 kB
Mapped: 64380 kB
Slab: 56964 kB
Committed_AS: 3575644 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= 66529 MiB
End job on node47 on Sat Jan 6 08:21:27 UTC 2007