0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/221719-1168080077/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.64 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=861 maxDegree=23
0.64 maxArity=2
0.64 => wckTime=0.321 cpuTime=0.23 mem=13M794
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.518 cpuTime=0.36 mem=14M41
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0030 cpuTime=0.01 mem=14M41
0.89
0.89 search
0.89 run=0 nbConstraintChecks=28141 nbPropagations=396 nbRevisions=5708 nbUselessRevisions=4990 nbAssignments=24
0.89 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.047 cpuTime=0.03 mem=15M65
0.91
0.91 search
0.91 run=1 nbConstraintChecks=75889 nbPropagations=1334 nbRevisions=20831 nbUselessRevisions=18186 nbAssignments=60
0.91 nbFailedAssignments=24 nbBacktracks=26 nbVisitedNodes=103 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.07 cpuTime=0.05 mem=15M65
0.93
0.93 search
0.93 run=2 nbConstraintChecks=138263 nbPropagations=3022 nbRevisions=49323 nbUselessRevisions=42940
0.93 nbAssignments=107 nbFailedAssignments=45 nbBacktracks=48 nbVisitedNodes=187 nbRestartNogoods=6 mapSize=46
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.096 cpuTime=0.06 mem=15M65
0.96
0.96 search
0.96 run=3 nbConstraintChecks=227165 nbPropagations=5841 nbRevisions=98487 nbUselessRevisions=85590
0.96 nbAssignments=182 nbFailedAssignments=82 nbBacktracks=81 nbVisitedNodes=327 nbRestartNogoods=8 mapSize=79
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.122 cpuTime=0.08 mem=15M65
0.99
0.99 search
0.99 run=4 nbConstraintChecks=351830 nbPropagations=10129 nbRevisions=174648 nbUselessRevisions=151663
0.99 nbAssignments=279 nbFailedAssignments=124 nbBacktracks=131 nbVisitedNodes=501 nbRestartNogoods=13 mapSize=127
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.149 cpuTime=0.11 mem=15M65
1.03
1.03 search
1.03 run=5 nbConstraintChecks=550075 nbPropagations=16759 nbRevisions=295333 nbUselessRevisions=256418
1.03 nbAssignments=435 nbFailedAssignments=199 nbBacktracks=206 nbVisitedNodes=787 nbRestartNogoods=18 mapSize=202
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.194 cpuTime=0.15 mem=15M65
1.09
1.09 search
1.09 run=6 nbConstraintChecks=842757 nbPropagations=26796 nbRevisions=482019 nbUselessRevisions=418501
1.09 nbAssignments=670 nbFailedAssignments=315 nbBacktracks=319 nbVisitedNodes=1220 nbRestartNogoods=22 mapSize=312
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.256 cpuTime=0.2 mem=15M65
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1294297 nbPropagations=41897 nbRevisions=768717 nbUselessRevisions=667387
1.19 nbAssignments=1013 nbFailedAssignments=483 nbBacktracks=489 nbVisitedNodes=1853 nbRestartNogoods=28
1.19 mapSize=479 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.349 cpuTime=0.29 mem=15M65
1.34
1.34 search
1.34 run=8 nbConstraintChecks=1988509 nbPropagations=64774 nbRevisions=1210553 nbUselessRevisions=1050713
1.34 nbAssignments=1546 nbFailedAssignments=755 nbBacktracks=746 nbVisitedNodes=2835 nbRestartNogoods=34
1.34 mapSize=731 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.503 cpuTime=0.43 mem=15M65
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=15M65)
1.51
1.51 search
1.51 run=9 nbConstraintChecks=2858487 nbPropagations=98252 nbRevisions=1854564 nbUselessRevisions=1609619
1.51 nbAssignments=2272 nbFailedAssignments=1092 nbBacktracks=1130 nbVisitedNodes=4186 nbRestartNogoods=40
1.51 => wckTime=0.667 cpuTime=0.59 mem=15M65
1.78
1.78 search
1.78 run=10 nbConstraintChecks=4389382 nbPropagations=149248 nbRevisions=2845408 nbUselessRevisions=2469322
1.78 nbAssignments=3433 nbFailedAssignments=1671 nbBacktracks=1707 nbVisitedNodes=6358 nbRestartNogoods=46
1.78 => wckTime=0.937 cpuTime=0.84 mem=15M65
2.14
2.14 search
2.14 run=11 nbConstraintChecks=6810004 nbPropagations=226856 nbRevisions=4363821 nbUselessRevisions=3785411
2.14 nbAssignments=5188 nbFailedAssignments=2558 nbBacktracks=2572 nbVisitedNodes=9637 nbRestartNogoods=54
2.14 => wckTime=1.299 cpuTime=1.2 mem=15M65
2.64
2.64 search
2.64 run=12 nbConstraintChecks=9996843 nbPropagations=341830 nbRevisions=6614993 nbUselessRevisions=5737499
2.64 nbAssignments=7716 nbFailedAssignments=3783 nbBacktracks=3870 nbVisitedNodes=14344 nbRestartNogoods=63
2.64 => wckTime=1.8 cpuTime=1.7 mem=15M65
3.45
3.45 search
3.45 run=13 nbConstraintChecks=15340936 nbPropagations=515381 nbRevisions=10052497 nbUselessRevisions=8719350
3.45 nbAssignments=11586 nbFailedAssignments=5703 nbBacktracks=5816 nbVisitedNodes=21577 nbRestartNogoods=74
3.45 => wckTime=2.616 cpuTime=2.5 mem=15M65
4.64
4.64 search
4.64 run=14 nbConstraintChecks=23056748 nbPropagations=775274 nbRevisions=15214046 nbUselessRevisions=13197887
4.64 nbAssignments=17291 nbFailedAssignments=8484 nbBacktracks=8736 nbVisitedNodes=32191 nbRestartNogoods=86
4.64 => wckTime=3.799 cpuTime=3.68 mem=15M65
6.36
6.36 search
6.36 run=15 nbConstraintChecks=34043634 nbPropagations=1161781 nbRevisions=22877385 nbUselessRevisions=19847090
6.36 nbAssignments=25813 nbFailedAssignments=12624 nbBacktracks=13114 nbVisitedNodes=48064 nbRestartNogoods=89
6.36 => wckTime=5.526 cpuTime=5.39 mem=15M65
9.04
9.04 search
9.04 run=16 nbConstraintChecks=51493523 nbPropagations=1743012 nbRevisions=34452900 nbUselessRevisions=29891921
9.04 nbAssignments=38716 nbFailedAssignments=18954 nbBacktracks=19682 nbVisitedNodes=72154 nbRestartNogoods=94
9.04 => wckTime=8.205 cpuTime=8.04 mem=15M65
13.07
13.07 search
13.07 run=17 nbConstraintChecks=77670633 nbPropagations=2618124 nbRevisions=51903475 nbUselessRevisions=45037093
13.07 nbAssignments=58085 nbFailedAssignments=28466 nbBacktracks=29536 nbVisitedNodes=108347 nbRestartNogoods=110
13.07 => wckTime=12.234 cpuTime=12.03 mem=15M65
18.84
18.84 search
18.84 run=18 nbConstraintChecks=115029565 nbPropagations=3921911 nbRevisions=77826782 nbUselessRevisions=67535193
18.84 nbAssignments=86858 nbFailedAssignments=42456 nbBacktracks=44314 nbVisitedNodes=161913 nbRestartNogoods=122
18.84 => wckTime=17.998 cpuTime=17.74 mem=15M65
28.01
28.01 search
28.01 run=19 nbConstraintChecks=175150908 nbPropagations=5894109 nbRevisions=117245565 nbUselessRevisions=101750690
28.01 nbAssignments=130982 nbFailedAssignments=64406 nbBacktracks=66482 nbVisitedNodes=244475 nbRestartNogoods=145
28.01 => wckTime=27.173 cpuTime=26.84 mem=15M65
42.03
42.03 search
42.03 run=20 nbConstraintChecks=268223351 nbPropagations=8882070 nbRevisions=177308423 nbUselessRevisions=153892204
42.03 nbAssignments=197551 nbFailedAssignments=97719 nbBacktracks=99734 nbVisitedNodes=369167 nbRestartNogoods=173
42.03 => wckTime=41.189 cpuTime=40.72 mem=15M65
62.26
62.26 search
62.26 run=21 nbConstraintChecks=400668571 nbPropagations=13345598 nbRevisions=266985192 nbUselessRevisions=231752084
62.26 nbAssignments=295452 nbFailedAssignments=145739 nbBacktracks=149612 nbVisitedNodes=551808 nbRestartNogoods=183
62.26 => wckTime=61.423 cpuTime=60.77 mem=15M65
93.31
93.31 search
93.31 run=22 nbConstraintChecks=605034243 nbPropagations=20061678 nbRevisions=402276592 nbUselessRevisions=349250135
93.31 nbAssignments=443586 nbFailedAssignments=219050 nbBacktracks=224430 nbVisitedNodes=828772 nbRestartNogoods=188
93.31 => wckTime=92.469 cpuTime=91.54 mem=15M65
140.81
140.81 search
140.81 run=23 nbConstraintChecks=921189352 nbPropagations=30214073 nbRevisions=607533557 nbUselessRevisions=527512762
140.81 nbAssignments=667424 nbFailedAssignments=330655 nbBacktracks=336658 nbVisitedNodes=1247845 nbRestartNogoods=206
140.81 => wckTime=139.97 cpuTime=138.6 mem=15M65
148.92
148.92 search
148.92 run=24 nbConstraintChecks=974819716 nbPropagations=40950436 nbRevisions=824662549 nbUselessRevisions=716086625
148.92 nbAssignments=705542 nbFailedAssignments=349619 nbBacktracks=355788 nbVisitedNodes=1319178 nbRestartNogoods=224
148.92 => wckTime=148.085 cpuTime=146.64 mem=15M65
148.93
148.93 global
148.93 nbConstraintChecks=974819716 nbPropagations=40950460 nbRevisions=824662549 nbUselessRevisions=716086625
148.93 nbRestartNogoods=224 solvingWckTime=148.087 solvingCpuTime=146.64 expiredTime=no totalExploration=no
148.93 nbFoundSolutions=1 globalCpuTime=147.06
148.93 => wckTime=148.608 cpuTime=147.0 mem=15M65
148.93
148.93 s SATISFIABLE
148.93 v 4 4 21 13 5 7 19 6 14 0 0 1 15 23 8 22 2 0 20 10 16 6 19 16
148.93 d NODES 705542
148.93 d CHECKS 974819716
148.93
148.93 totalWckTime=148.691 totalCpuTime=147.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-221719-1168080077 -o ROOT/results/node18/solver-221719-1168080077 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221719-1168080077/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.42 1.58 1.75 2/93 24708
/proc/meminfo: memFree=1060376/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=18540 CPUtime=0
/proc/24707/stat : 24707 (runsolver) R 24705 24707 24584 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156402580 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24707/statm: 4635 279 244 17 0 2626 0
[startup+0.102578 s]
/proc/loadavg: 1.42 1.58 1.75 2/93 24708
/proc/meminfo: memFree=1060376/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=914988 CPUtime=0.08
/proc/24707/stat : 24707 (java) R 24705 24707 24584 0 -1 0 2953 0 1 0 7 1 0 0 20 0 8 0 156402580 936947712 2699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152893280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24707/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510615 s]
/proc/loadavg: 1.42 1.58 1.75 2/93 24708
/proc/meminfo: memFree=1060376/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=915328 CPUtime=0.49
/proc/24707/stat : 24707 (java) R 24705 24707 24584 0 -1 0 6899 0 1 0 44 5 0 0 22 0 8 0 156402580 937295872 6638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24707/statm: 228832 6638 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33169 s]
/proc/loadavg: 1.42 1.58 1.75 3/100 24715
/proc/meminfo: memFree=1036896/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=915452 CPUtime=1.29
/proc/24707/stat : 24707 (java) R 24705 24707 24584 0 -1 0 8607 0 1 0 123 6 0 0 25 0 8 0 156402580 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24707/statm: 228863 8345 2513 14 0 215333 0
[pid=24707/tid=24709] ppid=24705 vsize=915452 CPUtime=0.03
/proc/24707/task/24709/stat : 24709 (java) S 24705 24707 24584 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156402584 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24710] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24710/stat : 24710 (java) S 24705 24707 24584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156402585 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24711] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24711/stat : 24711 (java) S 24705 24707 24584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402585 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24712] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24712/stat : 24712 (java) S 24705 24707 24584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156402588 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24713] ppid=24705 vsize=915452 CPUtime=0.23
/proc/24707/task/24713/stat : 24713 (java) S 24705 24707 24584 0 -1 64 379 0 0 0 22 1 0 0 15 0 8 0 156402588 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24714] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24714/stat : 24714 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156402588 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24715] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24715/stat : 24715 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402588 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.96885 s]
/proc/loadavg: 1.47 1.58 1.76 3/100 24715
/proc/meminfo: memFree=1036704/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=915452 CPUtime=2.91
/proc/24707/stat : 24707 (java) R 24705 24707 24584 0 -1 0 8639 0 1 0 285 6 0 0 25 0 8 0 156402580 937422848 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861741 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24707/statm: 228863 8376 2513 14 0 215333 0
[pid=24707/tid=24709] ppid=24705 vsize=915452 CPUtime=0.03
/proc/24707/task/24709/stat : 24709 (java) S 24705 24707 24584 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156402584 937422848 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24710] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24710/stat : 24710 (java) S 24705 24707 24584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156402585 937422848 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24711] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24711/stat : 24711 (java) S 24705 24707 24584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402585 937422848 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24712] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24712/stat : 24712 (java) S 24705 24707 24584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156402588 937422848 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24713] ppid=24705 vsize=915452 CPUtime=0.24
/proc/24707/task/24713/stat : 24713 (java) S 24705 24707 24584 0 -1 64 389 0 0 0 23 1 0 0 15 0 8 0 156402588 937422848 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24714] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24714/stat : 24714 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156402588 937422848 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24715] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24715/stat : 24715 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402588 937422848 8376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915452
[startup+6.25817 s]
/proc/loadavg: 1.47 1.58 1.76 3/100 24715
/proc/meminfo: memFree=1036640/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=915452 CPUtime=6.17
/proc/24707/stat : 24707 (java) R 24705 24707 24584 0 -1 0 8646 0 1 0 611 6 0 0 25 0 8 0 156402580 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24707/statm: 228863 8383 2513 14 0 215333 0
[pid=24707/tid=24709] ppid=24705 vsize=915452 CPUtime=0.03
/proc/24707/task/24709/stat : 24709 (java) S 24705 24707 24584 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156402584 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24710] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24710/stat : 24710 (java) S 24705 24707 24584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156402585 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24711] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24711/stat : 24711 (java) S 24705 24707 24584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402585 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24712] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24712/stat : 24712 (java) S 24705 24707 24584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156402588 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24713] ppid=24705 vsize=915452 CPUtime=0.25
/proc/24707/task/24713/stat : 24713 (java) S 24705 24707 24584 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 156402588 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24714] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24714/stat : 24714 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156402588 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24715] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24715/stat : 24715 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402588 937422848 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915452
[startup+12.7348 s]
/proc/loadavg: 1.55 1.60 1.76 3/100 24715
/proc/meminfo: memFree=1036640/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=915452 CPUtime=12.59
/proc/24707/stat : 24707 (java) R 24705 24707 24584 0 -1 0 8651 0 1 0 1253 6 0 0 25 0 8 0 156402580 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24707/statm: 228863 8387 2513 14 0 215333 0
[pid=24707/tid=24709] ppid=24705 vsize=915452 CPUtime=0.03
/proc/24707/task/24709/stat : 24709 (java) S 24705 24707 24584 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156402584 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24710] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24710/stat : 24710 (java) S 24705 24707 24584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156402585 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24711] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24711/stat : 24711 (java) S 24705 24707 24584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402585 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24712] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24712/stat : 24712 (java) S 24705 24707 24584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156402588 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24713] ppid=24705 vsize=915452 CPUtime=0.25
/proc/24707/task/24713/stat : 24713 (java) S 24705 24707 24584 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 156402588 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24714] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24714/stat : 24714 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156402588 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24715] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24715/stat : 24715 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402588 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915452
[startup+25.603 s]
/proc/loadavg: 1.62 1.61 1.76 3/100 24715
/proc/meminfo: memFree=1036704/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=915452 CPUtime=25.34
/proc/24707/stat : 24707 (java) R 24705 24707 24584 0 -1 0 8656 0 1 0 2528 6 0 0 25 0 8 0 156402580 937422848 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24707/statm: 228863 8392 2513 14 0 215333 0
[pid=24707/tid=24709] ppid=24705 vsize=915452 CPUtime=0.03
/proc/24707/task/24709/stat : 24709 (java) S 24705 24707 24584 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156402584 937422848 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24710] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24710/stat : 24710 (java) S 24705 24707 24584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156402585 937422848 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24711] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24711/stat : 24711 (java) S 24705 24707 24584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402585 937422848 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24712] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24712/stat : 24712 (java) S 24705 24707 24584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156402588 937422848 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24713] ppid=24705 vsize=915452 CPUtime=0.25
/proc/24707/task/24713/stat : 24713 (java) S 24705 24707 24584 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 156402588 937422848 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24714] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24714/stat : 24714 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156402588 937422848 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24715] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24715/stat : 24715 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402588 937422848 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915452
[startup+51.2105 s]
/proc/loadavg: 1.75 1.64 1.76 3/100 24715
/proc/meminfo: memFree=1036768/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=915452 CPUtime=50.72
/proc/24707/stat : 24707 (java) R 24705 24707 24584 0 -1 0 8661 0 1 0 5065 7 0 0 25 0 8 0 156402580 937422848 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24707/statm: 228863 8397 2513 14 0 215333 0
[pid=24707/tid=24709] ppid=24705 vsize=915452 CPUtime=0.03
/proc/24707/task/24709/stat : 24709 (java) S 24705 24707 24584 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156402584 937422848 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24710] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24710/stat : 24710 (java) S 24705 24707 24584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156402585 937422848 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24711] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24711/stat : 24711 (java) S 24705 24707 24584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402585 937422848 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24712] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24712/stat : 24712 (java) S 24705 24707 24584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156402588 937422848 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24713] ppid=24705 vsize=915452 CPUtime=0.25
/proc/24707/task/24713/stat : 24713 (java) S 24705 24707 24584 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 156402588 937422848 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24714] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24714/stat : 24714 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156402588 937422848 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24715] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24715/stat : 24715 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402588 937422848 8397 18446744073709551615 134512640 134570532 4294956464 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.415 s]
/proc/loadavg: 1.94 1.71 1.78 3/100 24715
/proc/meminfo: memFree=1036768/2055920 swapFree=4192812/4192956
[pid=24707] ppid=24705 vsize=915452 CPUtime=101.45
/proc/24707/stat : 24707 (java) R 24705 24707 24584 0 -1 0 8666 0 1 0 10138 7 0 0 25 0 8 0 156402580 937422848 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24707/statm: 228863 8402 2513 14 0 215333 0
[pid=24707/tid=24709] ppid=24705 vsize=915452 CPUtime=0.03
/proc/24707/task/24709/stat : 24709 (java) S 24705 24707 24584 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156402584 937422848 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24710] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24710/stat : 24710 (java) S 24705 24707 24584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156402585 937422848 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24711] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24711/stat : 24711 (java) S 24705 24707 24584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156402585 937422848 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24712] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24712/stat : 24712 (java) S 24705 24707 24584 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156402588 937422848 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24713] ppid=24705 vsize=915452 CPUtime=0.25
/proc/24707/task/24713/stat : 24713 (java) S 24705 24707 24584 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 156402588 937422848 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24714] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24714/stat : 24714 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156402588 937422848 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24707/tid=24715] ppid=24705 vsize=915452 CPUtime=0
/proc/24707/task/24715/stat : 24715 (java) S 24705 24707 24584 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156402588 937422848 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 148.971
CPU time (s): 147.566
CPU user time (s): 147.476
CPU system time (s): 0.089986
CPU usage (%): 99.0564
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.476
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8760
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= 4115
involuntary context switches= 9874
runsolver used 0.199969 s user time and 0.468928 s system time
The end
Begin job on node18 on Sat Jan 6 10:41:19 UTC 2007
IDJOB= 221719
IDBENCH= 5465
FILE ID= node18/221719-1168080077
PBS_JOBID= 3475855
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-48021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221719-1168080077/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-221719-1168080077 -o ROOT/results/node18/solver-221719-1168080077 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221719-1168080077/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 23b670d8c9599bc75edae4d191ae20d2
RANDOM SEED= 477819006
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.231
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.231
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: 1060856 kB
Buffers: 70272 kB
Cached: 707580 kB
SwapCached: 0 kB
Active: 492352 kB
Inactive: 403680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1060856 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2224 kB
Writeback: 0 kB
Mapped: 147212 kB
Slab: 83716 kB
Committed_AS: 4873948 kB
PageTables: 2244 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= 66285 MiB
End job on node18 on Sat Jan 6 10:43:48 UTC 2007