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/202676-1168428108/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.41 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=339 nbRelationTypes=339 nbExtensionStructures=339 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=339 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2928 maxDegree=24
0.62 maxArity=2
0.62 => wckTime=0.305 cpuTime=0.23 mem=12M803
0.66
0.66 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.493 cpuTime=0.35 mem=13M925
0.81
0.81 preprocessing
0.81 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.81 detectedInconsistency=no
0.81 => wckTime=0.0050 cpuTime=0.0 mem=13M925
0.86
0.86 search
0.86 run=0 nbConstraintChecks=34288 nbPropagations=537 nbRevisions=5547 nbUselessRevisions=4579 nbAssignments=25
0.86 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.05 cpuTime=0.03 mem=14M900
0.88
0.88 search
0.88 run=1 nbConstraintChecks=75627 nbPropagations=1662 nbRevisions=18163 nbUselessRevisions=14734 nbAssignments=55
0.88 nbFailedAssignments=15 nbBacktracks=26 nbVisitedNodes=88 nbRestartNogoods=3 mapSize=21 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.069 cpuTime=0.04 mem=14M900
0.90
0.90 search
0.90 run=2 nbConstraintChecks=151146 nbPropagations=3794 nbRevisions=43917 nbUselessRevisions=35382
0.90 nbAssignments=101 nbFailedAssignments=32 nbBacktracks=49 nbVisitedNodes=166 nbRestartNogoods=5 mapSize=41
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.093 cpuTime=0.06 mem=14M900
0.92
0.92 search
0.92 run=3 nbConstraintChecks=222544 nbPropagations=6917 nbRevisions=83020 nbUselessRevisions=66793
0.92 nbAssignments=160 nbFailedAssignments=54 nbBacktracks=82 nbVisitedNodes=263 nbRestartNogoods=9 mapSize=68
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.109 cpuTime=0.07 mem=14M900
0.94
0.94 search
0.94 run=4 nbConstraintChecks=323273 nbPropagations=11571 nbRevisions=142360 nbUselessRevisions=114629
0.94 nbAssignments=251 nbFailedAssignments=87 nbBacktracks=134 nbVisitedNodes=415 nbRestartNogoods=11 mapSize=112
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.131 cpuTime=0.09 mem=14M900
0.97
0.97 search
0.97 run=5 nbConstraintChecks=466258 nbPropagations=18442 nbRevisions=230495 nbUselessRevisions=185908
0.97 nbAssignments=373 nbFailedAssignments=124 nbBacktracks=210 nbVisitedNodes=619 nbRestartNogoods=13 mapSize=174
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.162 cpuTime=0.12 mem=14M900
1.02
1.02 search
1.02 run=6 nbConstraintChecks=734221 nbPropagations=28908 nbRevisions=367217 nbUselessRevisions=296115
1.02 nbAssignments=568 nbFailedAssignments=198 nbBacktracks=325 nbVisitedNodes=948 nbRestartNogoods=18 mapSize=271
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.211 cpuTime=0.17 mem=14M900
1.09
1.09 search
1.09 run=7 nbConstraintChecks=1135993 nbPropagations=44872 nbRevisions=581215 nbUselessRevisions=468808
1.09 nbAssignments=864 nbFailedAssignments=318 nbBacktracks=497 nbVisitedNodes=1469 nbRestartNogoods=22 mapSize=421
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.283 cpuTime=0.24 mem=14M900
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1827973 nbPropagations=70132 nbRevisions=926622 nbUselessRevisions=748359
1.22 nbAssignments=1322 nbFailedAssignments=515 nbBacktracks=753 nbVisitedNodes=2284 nbRestartNogoods=25
1.22 mapSize=657 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.409 cpuTime=0.35 mem=14M900
1.39
1.39 search
1.39 run=9 nbConstraintChecks=2801731 nbPropagations=108063 nbRevisions=1449293 nbUselessRevisions=1170446
1.39 nbAssignments=1973 nbFailedAssignments=775 nbBacktracks=1139 nbVisitedNodes=3427 nbRestartNogoods=32
1.39 mapSize=978 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.578 cpuTime=0.5 mem=14M900
1.42
1.42 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M900)
1.63
1.63 search
1.63 run=10 nbConstraintChecks=4348583 nbPropagations=166393 nbRevisions=2256494 nbUselessRevisions=1820580
1.63 nbAssignments=3014 nbFailedAssignments=1233 nbBacktracks=1717 nbVisitedNodes=5286 nbRestartNogoods=37
1.63 => wckTime=0.82 cpuTime=0.73 mem=14M900
1.90
1.90 search
1.90 run=11 nbConstraintChecks=6152051 nbPropagations=250090 nbRevisions=3414095 nbUselessRevisions=2755664
1.90 nbAssignments=4400 nbFailedAssignments=1748 nbBacktracks=2583 nbVisitedNodes=7679 nbRestartNogoods=42
1.90 => wckTime=1.096 cpuTime=1.01 mem=14M900
2.38
2.39 search
2.39 run=12 nbConstraintChecks=9381814 nbPropagations=377020 nbRevisions=5175786 nbUselessRevisions=4177896
2.39 nbAssignments=6652 nbFailedAssignments=2695 nbBacktracks=3881 nbVisitedNodes=11668 nbRestartNogoods=50
2.39 => wckTime=1.577 cpuTime=1.48 mem=14M900
3.13
4.08 search
4.08 run=13 nbConstraintChecks=14460052 nbPropagations=570329 nbRevisions=7886250 nbUselessRevisions=6366333
4.08 nbAssignments=10050 nbFailedAssignments=4140 nbBacktracks=5828 nbVisitedNodes=17702 nbRestartNogoods=57
4.08 => wckTime=2.319 cpuTime=2.22 mem=14M900
4.15
4.15 search
4.15 run=14 nbConstraintChecks=21328294 nbPropagations=855856 nbRevisions=11881473 nbUselessRevisions=9586220
4.15 nbAssignments=14935 nbFailedAssignments=6102 nbBacktracks=8747 nbVisitedNodes=26248 nbRestartNogoods=61
4.15 => wckTime=3.34 cpuTime=3.24 mem=14M900
5.73
5.73 search
5.73 run=15 nbConstraintChecks=32080873 nbPropagations=1284776 nbRevisions=17865593 nbUselessRevisions=14406086
5.73 nbAssignments=22403 nbFailedAssignments=9185 nbBacktracks=13127 nbVisitedNodes=39368 nbRestartNogoods=66
5.73 => wckTime=4.918 cpuTime=4.81 mem=14M900
8.13
8.83 search
8.83 run=16 nbConstraintChecks=48029972 nbPropagations=1928241 nbRevisions=26893137 nbUselessRevisions=21687947
8.83 nbAssignments=33524 nbFailedAssignments=13731 nbBacktracks=19697 nbVisitedNodes=58973 nbRestartNogoods=72
8.83 => wckTime=7.326 cpuTime=7.2 mem=14M900
11.95
11.95 search
11.95 run=17 nbConstraintChecks=72358748 nbPropagations=2888982 nbRevisions=40471709 nbUselessRevisions=32655377
11.95 nbAssignments=50163 nbFailedAssignments=20511 nbBacktracks=29551 nbVisitedNodes=88291 nbRestartNogoods=84
11.95 => wckTime=11.141 cpuTime=10.98 mem=14M900
17.78
18.23 search
18.23 run=18 nbConstraintChecks=110019828 nbPropagations=4339054 nbRevisions=61021560 nbUselessRevisions=49245466
18.23 nbAssignments=75682 nbFailedAssignments=31249 nbBacktracks=44329 nbVisitedNodes=133286 nbRestartNogoods=99
18.23 => wckTime=16.972 cpuTime=16.82 mem=14M900
26.48
26.48 search
26.48 run=19 nbConstraintChecks=165560093 nbPropagations=6522763 nbRevisions=91949008 nbUselessRevisions=74216142
26.48 nbAssignments=113533 nbFailedAssignments=46926 nbBacktracks=66498 nbVisitedNodes=200064 nbRestartNogoods=108
26.48 => wckTime=25.675 cpuTime=25.52 mem=14M900
39.21
39.39 search
39.39 run=20 nbConstraintChecks=247680116 nbPropagations=9788406 nbRevisions=138346892 nbUselessRevisions=111710078
39.39 nbAssignments=170065 nbFailedAssignments=70198 nbBacktracks=99752 nbVisitedNodes=299690 nbRestartNogoods=122
39.39 => wckTime=38.406 cpuTime=38.22 mem=14M900
59.24
59.24 search
59.24 run=21 nbConstraintChecks=377863240 nbPropagations=14747829 nbRevisions=209017855 nbUselessRevisions=168827942
59.24 nbAssignments=257159 nbFailedAssignments=107408 nbBacktracks=149630 nbVisitedNodes=454472 nbRestartNogoods=134
59.24 => wckTime=58.429 cpuTime=58.24 mem=14M900
88.90
88.90 search
88.90 run=22 nbConstraintChecks=572150801 nbPropagations=22205808 nbRevisions=315534849 nbUselessRevisions=254923194
88.90 nbAssignments=385484 nbFailedAssignments=160908 nbBacktracks=224450 nbVisitedNodes=680947 nbRestartNogoods=146
88.90 => wckTime=88.088 cpuTime=87.87 mem=14M900
124.73
124.73 search
124.73 run=23 nbConstraintChecks=806582929 nbPropagations=32644575 nbRevisions=464828722 nbUselessRevisions=375571464
124.73 nbAssignments=538273 nbFailedAssignments=224433 nbBacktracks=313715 nbVisitedNodes=950340 nbRestartNogoods=157
124.73 => wckTime=123.922 cpuTime=123.62 mem=14M900
124.73
124.73 global
124.73 nbConstraintChecks=806582929 nbPropagations=32644615 nbRevisions=464828722 nbUselessRevisions=375571464
124.73 nbRestartNogoods=157 solvingWckTime=123.923 solvingCpuTime=123.62 expiredTime=no totalExploration=yes
124.73 nbFoundSolutions=0 globalCpuTime=124.02
124.73 => wckTime=124.42 cpuTime=123.97 mem=14M900
124.74
124.74 s UNSATISFIABLE
124.74 d NODES 538273
124.74 d CHECKS 806582929
124.74
124.74 totalWckTime=124.513 totalCpuTime=124.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-202676-1168428108 -o ROOT/results/node10/solver-202676-1168428108 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202676-1168428108/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.00 0.00 0.00 1/81 10469
/proc/meminfo: memFree=1566880/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=1784 CPUtime=0
/proc/10468/stat : 10468 (java) R 10466 10468 10347 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 191206258 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10468/statm: 446 158 123 14 0 91 0
[startup+0.102917 s]
/proc/loadavg: 0.00 0.00 0.00 1/81 10469
/proc/meminfo: memFree=1566880/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=914988 CPUtime=0.07
/proc/10468/stat : 10468 (java) D 10466 10468 10347 0 -1 0 2987 0 1 0 6 1 0 0 22 0 8 0 191206258 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10468/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511977 s]
/proc/loadavg: 0.00 0.00 0.00 1/81 10469
/proc/meminfo: memFree=1566880/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=915328 CPUtime=0.47
/proc/10468/stat : 10468 (java) R 10466 10468 10347 0 -1 0 6884 0 1 0 43 4 0 0 24 0 8 0 191206258 937295872 6623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10468/statm: 228832 6623 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33808 s]
/proc/loadavg: 0.00 0.00 0.00 3/93 10481
/proc/meminfo: memFree=1333688/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=915456 CPUtime=1.29
/proc/10468/stat : 10468 (java) R 10466 10468 10347 0 -1 0 8638 0 1 0 122 7 0 0 25 0 8 0 191206258 937426944 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803355 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10468/statm: 228864 8376 2513 14 0 215334 0
[pid=10468/tid=10475] ppid=10466 vsize=915456 CPUtime=0.03
/proc/10468/task/10475/stat : 10475 (java) S 10466 10468 10347 0 -1 64 289 0 0 0 3 0 0 0 17 0 8 0 191206262 937426944 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10476] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10476/stat : 10476 (java) S 10466 10468 10347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 191206262 937426944 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10477] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10477/stat : 10477 (java) S 10466 10468 10347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 191206262 937426944 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10478] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10478/stat : 10478 (java) S 10466 10468 10347 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 191206266 937426944 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10479] ppid=10466 vsize=915456 CPUtime=0.2
/proc/10468/task/10479/stat : 10479 (java) S 10466 10468 10347 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 191206266 937426944 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10480] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10480/stat : 10480 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 191206266 937426944 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10481] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10481/stat : 10481 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 191206266 937426944 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.9803 s]
/proc/loadavg: 0.00 0.00 0.00 3/93 10481
/proc/meminfo: memFree=1167992/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=915456 CPUtime=2.93
/proc/10468/stat : 10468 (java) R 10466 10468 10347 0 -1 0 8666 0 1 0 286 7 0 0 25 0 8 0 191206258 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10468/statm: 228864 8403 2513 14 0 215334 0
[pid=10468/tid=10475] ppid=10466 vsize=915456 CPUtime=0.03
/proc/10468/task/10475/stat : 10475 (java) S 10466 10468 10347 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 191206262 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10476] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10476/stat : 10476 (java) S 10466 10468 10347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 191206262 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10477] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10477/stat : 10477 (java) S 10466 10468 10347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 191206262 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10478] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10478/stat : 10478 (java) S 10466 10468 10347 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 191206266 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10479] ppid=10466 vsize=915456 CPUtime=0.22
/proc/10468/task/10479/stat : 10479 (java) S 10466 10468 10347 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 191206266 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10480] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10480/stat : 10480 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 191206266 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10481] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10481/stat : 10481 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 191206266 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.25274 s]
/proc/loadavg: 0.16 0.03 0.01 3/93 10481
/proc/meminfo: memFree=717048/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=915456 CPUtime=6.18
/proc/10468/stat : 10468 (java) R 10466 10468 10347 0 -1 0 8674 0 1 0 611 7 0 0 25 0 8 0 191206258 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803925 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10468/statm: 228864 8410 2513 14 0 215334 0
[pid=10468/tid=10475] ppid=10466 vsize=915456 CPUtime=0.03
/proc/10468/task/10475/stat : 10475 (java) S 10466 10468 10347 0 -1 64 289 0 0 0 3 0 0 0 17 0 8 0 191206262 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10476] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10476/stat : 10476 (java) S 10466 10468 10347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 191206262 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10477] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10477/stat : 10477 (java) S 10466 10468 10347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 191206262 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10478] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10478/stat : 10478 (java) S 10466 10468 10347 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 191206266 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10479] ppid=10466 vsize=915456 CPUtime=0.22
/proc/10468/task/10479/stat : 10479 (java) S 10466 10468 10347 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 191206266 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10480] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10480/stat : 10480 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 191206266 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10481] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10481/stat : 10481 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 191206266 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456
[startup+12.7396 s]
/proc/loadavg: 0.47 0.10 0.03 2/93 10482
/proc/meminfo: memFree=16632/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=915456 CPUtime=12.62
/proc/10468/stat : 10468 (java) R 10466 10468 10347 0 -1 0 8679 0 1 0 1250 12 0 0 25 0 8 0 191206258 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 228864 8415 2513 14 0 215334 0
[pid=10468/tid=10475] ppid=10466 vsize=915456 CPUtime=0.03
/proc/10468/task/10475/stat : 10475 (java) S 10466 10468 10347 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 191206262 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10476] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10476/stat : 10476 (java) S 10466 10468 10347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 191206262 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10477] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10477/stat : 10477 (java) S 10466 10468 10347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 191206262 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10478] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10478/stat : 10478 (java) S 10466 10468 10347 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 191206266 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10479] ppid=10466 vsize=915456 CPUtime=0.22
/proc/10468/task/10479/stat : 10479 (java) S 10466 10468 10347 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 191206266 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10480] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10480/stat : 10480 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 191206266 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10481] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10481/stat : 10481 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 191206266 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456
[startup+25.5814 s]
/proc/loadavg: 1.18 0.27 0.09 4/93 10482
/proc/meminfo: memFree=15928/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=915456 CPUtime=25.47
/proc/10468/stat : 10468 (java) R 10466 10468 10347 0 -1 0 8683 0 1 0 2530 17 0 0 25 0 8 0 191206258 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 228864 8419 2513 14 0 215334 0
[pid=10468/tid=10475] ppid=10466 vsize=915456 CPUtime=0.03
/proc/10468/task/10475/stat : 10475 (java) S 10466 10468 10347 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 191206262 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10476] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10476/stat : 10476 (java) S 10466 10468 10347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 191206262 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10477] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10477/stat : 10477 (java) S 10466 10468 10347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 191206262 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10478] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10478/stat : 10478 (java) S 10466 10468 10347 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 191206266 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10479] ppid=10466 vsize=915456 CPUtime=0.22
/proc/10468/task/10479/stat : 10479 (java) S 10466 10468 10347 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 191206266 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10480] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10480/stat : 10480 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 191206266 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10481] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10481/stat : 10481 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 191206266 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915456
[startup+51.2608 s]
/proc/loadavg: 1.37 0.39 0.13 2/88 10490
/proc/meminfo: memFree=910568/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=915456 CPUtime=51.12
/proc/10468/stat : 10468 (java) R 10466 10468 10347 0 -1 0 8688 0 1 0 5091 21 0 0 25 0 8 0 191206258 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 228864 8424 2513 14 0 215334 0
[pid=10468/tid=10475] ppid=10466 vsize=915456 CPUtime=0.03
/proc/10468/task/10475/stat : 10475 (java) S 10466 10468 10347 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 191206262 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10476] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10476/stat : 10476 (java) S 10466 10468 10347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 191206262 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10477] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10477/stat : 10477 (java) S 10466 10468 10347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 191206262 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10478] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10478/stat : 10478 (java) S 10466 10468 10347 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 191206266 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10479] ppid=10466 vsize=915456 CPUtime=0.22
/proc/10468/task/10479/stat : 10479 (java) S 10466 10468 10347 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 191206266 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10480] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10480/stat : 10480 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 191206266 937426944 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10481] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10481/stat : 10481 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 191206266 937426944 8424 18446744073709551615 134512640 134570532 4294956464 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.554 s]
/proc/loadavg: 1.55 0.57 0.20 2/93 10519
/proc/meminfo: memFree=240960/2055920 swapFree=4178216/4192956
[pid=10468] ppid=10466 vsize=915456 CPUtime=102.37
/proc/10468/stat : 10468 (java) R 10466 10468 10347 0 -1 0 8692 0 1 0 10215 22 0 0 25 0 8 0 191206258 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10468/statm: 228864 8428 2513 14 0 215334 0
[pid=10468/tid=10475] ppid=10466 vsize=915456 CPUtime=0.03
/proc/10468/task/10475/stat : 10475 (java) S 10466 10468 10347 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 191206262 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10476] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10476/stat : 10476 (java) S 10466 10468 10347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 191206262 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10477] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10477/stat : 10477 (java) S 10466 10468 10347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 191206262 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10478] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10478/stat : 10478 (java) S 10466 10468 10347 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 191206266 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10479] ppid=10466 vsize=915456 CPUtime=0.22
/proc/10468/task/10479/stat : 10479 (java) S 10466 10468 10347 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 191206266 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10480] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10480/stat : 10480 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 191206266 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10468/tid=10481] ppid=10466 vsize=915456 CPUtime=0
/proc/10468/task/10481/stat : 10481 (java) S 10466 10468 10347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 191206266 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 124.767
CPU time (s): 124.494
CPU user time (s): 124.132
CPU system time (s): 0.361944
CPU usage (%): 99.7816
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.132
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8784
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= 3676
involuntary context switches= 4255
runsolver used 0.123981 s user time and 0.332949 s system time
The end
Begin job on node10 on Wed Jan 10 11:21:50 UTC 2007
IDJOB= 202676
IDBENCH= 3876
FILE ID= node10/202676-1168428108
PBS_JOBID= 3523643
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202676-1168428108/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-202676-1168428108 -o ROOT/results/node10/solver-202676-1168428108 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202676-1168428108/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 479f9449235bd0b9c09bd60353b3e5ce
RANDOM SEED= 873644642
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.232
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.232
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: 1567296 kB
Buffers: 46252 kB
Cached: 355828 kB
SwapCached: 2112 kB
Active: 241532 kB
Inactive: 194544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1567296 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 3688 kB
Writeback: 0 kB
Mapped: 43548 kB
Slab: 37664 kB
Committed_AS: 5747420 kB
PageTables: 2064 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= 65805 MiB
End job on node10 on Wed Jan 10 11:24:03 UTC 2007