0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/229133-1168080943/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.41 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.41
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1408 maxDegree=18
0.59 maxArity=2
0.59 => wckTime=0.271 cpuTime=0.2 mem=11M893
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.458 cpuTime=0.33 mem=13M735
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.0030 cpuTime=0.0 mem=13M735
0.83
0.83 search
0.83 run=0 nbConstraintChecks=27599 nbPropagations=504 nbRevisions=4618 nbUselessRevisions=3544 nbAssignments=26
0.83 nbFailedAssignments=10 nbBacktracks=12 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.048 cpuTime=0.02 mem=14M710
0.84
0.84 search
0.84 run=1 nbConstraintChecks=52876 nbPropagations=1492 nbRevisions=13802 nbUselessRevisions=10674 nbAssignments=58
0.84 nbFailedAssignments=19 nbBacktracks=31 nbVisitedNodes=92 nbRestartNogoods=3 mapSize=23 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.064 cpuTime=0.03 mem=14M710
0.86
0.86 search
0.86 run=2 nbConstraintChecks=100980 nbPropagations=3331 nbRevisions=31633 nbUselessRevisions=24433
0.86 nbAssignments=107 nbFailedAssignments=36 nbBacktracks=56 nbVisitedNodes=172 nbRestartNogoods=4 mapSize=43
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.085 cpuTime=0.04 mem=14M710
0.88
0.88 search
0.88 run=3 nbConstraintChecks=162154 nbPropagations=6229 nbRevisions=59895 nbUselessRevisions=46051
0.88 nbAssignments=166 nbFailedAssignments=56 nbBacktracks=90 nbVisitedNodes=267 nbRestartNogoods=7 mapSize=68
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.099 cpuTime=0.06 mem=14M710
0.90
0.90 search
0.90 run=4 nbConstraintChecks=257153 nbPropagations=10927 nbRevisions=106882 nbUselessRevisions=82179
0.90 nbAssignments=256 nbFailedAssignments=89 nbBacktracks=142 nbVisitedNodes=422 nbRestartNogoods=11 mapSize=112
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.121 cpuTime=0.08 mem=14M710
0.93
0.93 search
0.93 run=5 nbConstraintChecks=371950 nbPropagations=17836 nbRevisions=175790 nbUselessRevisions=134927
0.93 nbAssignments=387 nbFailedAssignments=138 nbBacktracks=217 nbVisitedNodes=637 nbRestartNogoods=12 mapSize=167
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.15 cpuTime=0.1 mem=14M710
0.97
0.97 search
0.97 run=6 nbConstraintChecks=567262 nbPropagations=28360 nbRevisions=283488 nbUselessRevisions=217420
0.97 nbAssignments=584 nbFailedAssignments=216 nbBacktracks=330 nbVisitedNodes=975 nbRestartNogoods=17 mapSize=258
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.193 cpuTime=0.15 mem=14M710
1.03
1.03 search
1.03 run=7 nbConstraintChecks=851068 nbPropagations=44043 nbRevisions=446411 nbUselessRevisions=342238
1.03 nbAssignments=875 nbFailedAssignments=330 nbBacktracks=503 nbVisitedNodes=1479 nbRestartNogoods=25 mapSize=402
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.253 cpuTime=0.2 mem=14M710
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1271697 nbPropagations=67480 nbRevisions=689653 nbUselessRevisions=528335
1.13 nbAssignments=1297 nbFailedAssignments=491 nbBacktracks=761 nbVisitedNodes=2190 nbRestartNogoods=29
1.13 mapSize=609 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.345 cpuTime=0.29 mem=14M710
1.26
1.26 search
1.26 run=9 nbConstraintChecks=1932905 nbPropagations=103148 nbRevisions=1064194 nbUselessRevisions=815113
1.26 nbAssignments=1957 nbFailedAssignments=759 nbBacktracks=1147 nbVisitedNodes=3346 nbRestartNogoods=32
1.26 mapSize=932 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.481 cpuTime=0.41 mem=14M710
1.30
1.30 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=14M710)
1.44
1.44 search
1.44 run=10 nbConstraintChecks=2927640 nbPropagations=156232 nbRevisions=1629957 nbUselessRevisions=1249344
1.44 nbAssignments=2911 nbFailedAssignments=1134 nbBacktracks=1723 nbVisitedNodes=4992 nbRestartNogoods=42
1.44 => wckTime=0.661 cpuTime=0.58 mem=14M710
1.66
1.66 search
1.66 run=11 nbConstraintChecks=4140813 nbPropagations=234223 nbRevisions=2451967 nbUselessRevisions=1881576
1.66 nbAssignments=4299 nbFailedAssignments=1649 nbBacktracks=2587 nbVisitedNodes=7390 nbRestartNogoods=44
1.66 => wckTime=0.881 cpuTime=0.79 mem=14M710
2.01
2.01 search
2.01 run=12 nbConstraintChecks=6259456 nbPropagations=350859 nbRevisions=3679987 nbUselessRevisions=2822353
2.01 nbAssignments=6390 nbFailedAssignments=2435 nbBacktracks=3887 nbVisitedNodes=10985 nbRestartNogoods=49
2.01 => wckTime=1.232 cpuTime=1.15 mem=14M710
2.58
2.58 search
2.58 run=13 nbConstraintChecks=9961881 nbPropagations=531183 nbRevisions=5608429 nbUselessRevisions=4300508
2.58 nbAssignments=9720 nbFailedAssignments=3812 nbBacktracks=5833 nbVisitedNodes=16862 nbRestartNogoods=55
2.58 => wckTime=1.805 cpuTime=1.72 mem=14M710
3.33
3.33 search
3.33 run=14 nbConstraintChecks=14847293 nbPropagations=798605 nbRevisions=8456980 nbUselessRevisions=6476816
3.33 nbAssignments=14467 nbFailedAssignments=5635 nbBacktracks=8752 nbVisitedNodes=25064 nbRestartNogoods=65
3.33 => wckTime=2.554 cpuTime=2.46 mem=14M710
4.45
4.45 search
4.45 run=15 nbConstraintChecks=21812486 nbPropagations=1200497 nbRevisions=12720660 nbUselessRevisions=9739456
4.45 nbAssignments=21814 nbFailedAssignments=8600 nbBacktracks=13130 nbVisitedNodes=37844 nbRestartNogoods=77
4.45 => wckTime=3.671 cpuTime=3.58 mem=14M710
6.02
6.02 search
6.02 run=16 nbConstraintChecks=31756214 nbPropagations=1791711 nbRevisions=18994259 nbUselessRevisions=14549395
6.02 nbAssignments=32462 nbFailedAssignments=12674 nbBacktracks=19700 nbVisitedNodes=56187 nbRestartNogoods=86
6.02 => wckTime=5.243 cpuTime=5.15 mem=14M710
8.72
8.72 search
8.72 run=17 nbConstraintChecks=49563360 nbPropagations=2698591 nbRevisions=28754741 nbUselessRevisions=22048240
8.72 nbAssignments=49475 nbFailedAssignments=19830 nbBacktracks=29552 nbVisitedNodes=86203 nbRestartNogoods=97
8.72 => wckTime=7.942 cpuTime=7.84 mem=14M710
12.39
12.39 search
12.39 run=18 nbConstraintChecks=73152911 nbPropagations=4044280 nbRevisions=43175570 nbUselessRevisions=33124547
12.39 nbAssignments=73526 nbFailedAssignments=29093 nbBacktracks=44331 nbVisitedNodes=127754 nbRestartNogoods=109
12.39 => wckTime=11.614 cpuTime=11.52 mem=14M710
18.02
18.02 search
18.02 run=19 nbConstraintChecks=110009965 nbPropagations=6050419 nbRevisions=64637839 nbUselessRevisions=49582235
18.02 nbAssignments=109662 nbFailedAssignments=43050 nbBacktracks=66503 nbVisitedNodes=190086 nbRestartNogoods=114
18.02 => wckTime=17.243 cpuTime=17.15 mem=14M710
26.44
26.44 search
26.44 run=20 nbConstraintChecks=164960579 nbPropagations=9045231 nbRevisions=96615255 nbUselessRevisions=74072385
26.44 nbAssignments=163289 nbFailedAssignments=63422 nbBacktracks=99756 nbVisitedNodes=282206 nbRestartNogoods=129
26.44 => wckTime=25.665 cpuTime=25.57 mem=14M710
31.38
31.38 search
31.38 run=21 nbConstraintChecks=197620738 nbPropagations=12614957 nbRevisions=134799368 nbUselessRevisions=103310886
31.38 nbAssignments=194739 nbFailedAssignments=75471 nbBacktracks=119158 nbVisitedNodes=336250 nbRestartNogoods=138
31.38 => wckTime=30.598 cpuTime=30.5 mem=14M710
31.38
31.38 global
31.38 nbConstraintChecks=197620738 nbPropagations=12614997 nbRevisions=134799368 nbUselessRevisions=103310886
31.38 nbRestartNogoods=138 solvingWckTime=30.6 solvingCpuTime=30.5 expiredTime=no totalExploration=yes
31.38 nbFoundSolutions=0 globalCpuTime=30.88
31.38 => wckTime=31.061 cpuTime=30.83 mem=14M710
31.38
31.38 s UNSATISFIABLE
31.38 d NODES 194739
31.38 d CHECKS 197620738
31.38
31.38 totalWckTime=31.135 totalCpuTime=30.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-229133-1168080943 -o ROOT/results/node21/solver-229133-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229133-1168080943/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.11 0.34 0.89 1/81 21728
/proc/meminfo: memFree=1696336/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=168 CPUtime=0
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156490549 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 1 0 0
/proc/21727/statm: 42 23 18 14 0 2 0
[startup+0.102638 s]
/proc/loadavg: 0.11 0.34 0.89 1/81 21728
/proc/meminfo: memFree=1696336/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=912588 CPUtime=0.07
/proc/21727/stat : 21727 (java) D 21725 21727 21205 0 -1 0 2751 0 1 0 5 2 0 0 24 0 8 0 156490549 934490112 2497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228147 2497 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588
[startup+0.510893 s]
/proc/loadavg: 0.11 0.34 0.89 1/81 21728
/proc/meminfo: memFree=1696336/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915328 CPUtime=0.48
/proc/21727/stat : 21727 (java) S 21725 21727 21205 0 -1 0 6672 0 1 0 43 5 0 0 16 0 8 0 156490549 937295872 6411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21727/statm: 228832 6411 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33304 s]
/proc/loadavg: 0.11 0.34 0.89 2/88 21765
/proc/meminfo: memFree=1671000/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=1.3
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8594 0 1 0 123 7 0 0 17 0 8 0 156490549 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21727/statm: 228863 8332 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.2
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 156490558 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.98535 s]
/proc/loadavg: 0.18 0.35 0.89 2/88 21765
/proc/meminfo: memFree=1670744/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=2.95
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8609 0 1 0 288 7 0 0 18 0 8 0 156490549 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851608 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228863 8346 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.21
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156490558 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8346 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) 915452
[startup+6.26697 s]
/proc/loadavg: 0.18 0.35 0.89 2/88 21765
/proc/meminfo: memFree=1670744/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=6.22
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8618 0 1 0 615 7 0 0 19 0 8 0 156490549 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228863 8354 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.21
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156490558 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8354 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) 915452
[startup+12.7552 s]
/proc/loadavg: 0.39 0.39 0.90 3/100 21777
/proc/meminfo: memFree=1646392/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=12.71
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8622 0 1 0 1264 7 0 0 25 0 8 0 156490549 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228863 8358 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.21
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156490558 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452
[startup+25.6026 s]
/proc/loadavg: 0.55 0.42 0.91 2/88 21777
/proc/meminfo: memFree=1670424/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=25.55
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8625 0 1 0 2548 7 0 0 25 0 8 0 156490549 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228863 8361 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.21
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156490558 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 31.417
CPU time (s): 31.3442
CPU user time (s): 31.2622
CPU system time (s): 0.081987
CPU usage (%): 99.7684
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.2622
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8719
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= 1460
involuntary context switches= 997
runsolver used 0.031995 s user time and 0.106983 s system time
The end
Begin job on node21 on Sat Jan 6 10:55:54 UTC 2007
IDJOB= 229133
IDBENCH= 6282
FILE ID= node21/229133-1168080943
PBS_JOBID= 3476105
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229133-1168080943/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-229133-1168080943 -o ROOT/results/node21/solver-229133-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229133-1168080943/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 89930ff3a56a06b2255baa2b0edc5800
RANDOM SEED= 873349504
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.261
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.261
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: 1696880 kB
Buffers: 34552 kB
Cached: 190800 kB
SwapCached: 0 kB
Active: 179096 kB
Inactive: 109244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1696880 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 81948 kB
Slab: 55928 kB
Committed_AS: 2941648 kB
PageTables: 1988 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= 66544 MiB
End job on node21 on Sat Jan 6 10:56:41 UTC 2007