0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/221775-1168080082/unknown.xml
0.34
0.34 domains being loaded...
0.34
0.34 variables being loaded...
0.37 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.37 => wckTime=0.09 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.46
0.46 constraints being loaded...
0.58 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=908 maxDegree=23
0.58 maxArity=2
0.58 => wckTime=0.291 cpuTime=0.22 mem=13M794
0.61
0.61 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.473 cpuTime=0.33 mem=14M39
0.76
0.76 preprocessing
0.76 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.76 detectedInconsistency=no
0.76 => wckTime=0.0040 cpuTime=0.01 mem=14M39
0.81
0.81 search
0.81 run=0 nbConstraintChecks=37431 nbPropagations=471 nbRevisions=7808 nbUselessRevisions=6703 nbAssignments=27
0.81 nbFailedAssignments=11 nbBacktracks=12 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.05 cpuTime=0.04 mem=15M64
0.83
0.83 search
0.83 run=1 nbConstraintChecks=83972 nbPropagations=1539 nbRevisions=25789 nbUselessRevisions=22222 nbAssignments=64
0.83 nbFailedAssignments=28 nbBacktracks=27 nbVisitedNodes=114 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.069 cpuTime=0.06 mem=15M64
0.85
0.85 search
0.85 run=2 nbConstraintChecks=164725 nbPropagations=3501 nbRevisions=60371 nbUselessRevisions=51990
0.85 nbAssignments=118 nbFailedAssignments=53 nbBacktracks=50 nbVisitedNodes=210 nbRestartNogoods=4 mapSize=49
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.094 cpuTime=0.07 mem=15M64
0.88
0.88 search
0.88 run=3 nbConstraintChecks=257548 nbPropagations=6587 nbRevisions=115470 nbUselessRevisions=99591
0.88 nbAssignments=190 nbFailedAssignments=86 nbBacktracks=83 nbVisitedNodes=341 nbRestartNogoods=7 mapSize=82
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.118 cpuTime=0.09 mem=15M64
0.90
0.91 search
0.91 run=4 nbConstraintChecks=397560 nbPropagations=11287 nbRevisions=201135 nbUselessRevisions=173533
0.91 nbAssignments=298 nbFailedAssignments=139 nbBacktracks=133 nbVisitedNodes=542 nbRestartNogoods=12 mapSize=132
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.146 cpuTime=0.12 mem=15M64
0.95
0.95 search
0.95 run=5 nbConstraintChecks=590749 nbPropagations=18230 nbRevisions=329046 nbUselessRevisions=284155
0.95 nbAssignments=443 nbFailedAssignments=203 nbBacktracks=210 nbVisitedNodes=806 nbRestartNogoods=18 mapSize=209
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.186 cpuTime=0.16 mem=15M64
1.00
1.00 search
1.00 run=6 nbConstraintChecks=887284 nbPropagations=28542 nbRevisions=522042 nbUselessRevisions=450811
1.00 nbAssignments=674 nbFailedAssignments=316 nbBacktracks=323 nbVisitedNodes=1232 nbRestartNogoods=22 mapSize=321
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.244 cpuTime=0.21 mem=15M64
1.08
1.08 search
1.08 run=7 nbConstraintChecks=1310503 nbPropagations=43858 nbRevisions=811767 nbUselessRevisions=701392
1.08 nbAssignments=1017 nbFailedAssignments=483 nbBacktracks=494 nbVisitedNodes=1863 nbRestartNogoods=26
1.08 mapSize=489 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.325 cpuTime=0.29 mem=15M64
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1962362 nbPropagations=66825 nbRevisions=1250909 nbUselessRevisions=1081432
1.21 nbAssignments=1525 nbFailedAssignments=729 nbBacktracks=753 nbVisitedNodes=2810 nbRestartNogoods=36
1.21 mapSize=745 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.455 cpuTime=0.41 mem=15M64
1.34
1.34 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=15M64)
1.38
1.38 search
1.38 run=9 nbConstraintChecks=2920326 nbPropagations=100793 nbRevisions=1904058 nbUselessRevisions=1646581
1.38 nbAssignments=2274 nbFailedAssignments=1089 nbBacktracks=1137 nbVisitedNodes=4199 nbRestartNogoods=39
1.38 => wckTime=0.617 cpuTime=0.56 mem=15M64
1.62
1.62 search
1.62 run=10 nbConstraintChecks=4418021 nbPropagations=151792 nbRevisions=2897136 nbUselessRevisions=2506925
1.62 nbAssignments=3408 nbFailedAssignments=1642 nbBacktracks=1713 nbVisitedNodes=6310 nbRestartNogoods=46
1.62 => wckTime=0.859 cpuTime=0.8 mem=15M64
1.94
1.94 search
1.94 run=11 nbConstraintChecks=6697909 nbPropagations=228576 nbRevisions=4404290 nbUselessRevisions=3813766
1.94 nbAssignments=5100 nbFailedAssignments=2466 nbBacktracks=2578 nbVisitedNodes=9470 nbRestartNogoods=53
1.94 => wckTime=1.182 cpuTime=1.12 mem=15M64
2.43
2.43 search
2.43 run=12 nbConstraintChecks=10217474 nbPropagations=344501 nbRevisions=6695182 nbUselessRevisions=5799475
2.43 nbAssignments=7720 nbFailedAssignments=3783 nbBacktracks=3877 nbVisitedNodes=14379 nbRestartNogoods=62
2.43 => wckTime=1.67 cpuTime=1.61 mem=15M64
3.12
3.12 search
3.12 run=13 nbConstraintChecks=15052650 nbPropagations=516624 nbRevisions=10088348 nbUselessRevisions=8741585
3.12 nbAssignments=11527 nbFailedAssignments=5639 nbBacktracks=5823 nbVisitedNodes=21455 nbRestartNogoods=77
3.12 => wckTime=2.357 cpuTime=2.29 mem=15M64
4.16
4.16 search
4.16 run=14 nbConstraintChecks=22415994 nbPropagations=773578 nbRevisions=15149425 nbUselessRevisions=13129765
4.16 nbAssignments=17239 nbFailedAssignments=8427 nbBacktracks=8743 nbVisitedNodes=32098 nbRestartNogoods=91
4.16 => wckTime=3.399 cpuTime=3.34 mem=15M64
5.78
5.78 search
5.78 run=15 nbConstraintChecks=33935987 nbPropagations=1160412 nbRevisions=22788569 nbUselessRevisions=19752711
5.78 nbAssignments=25827 nbFailedAssignments=12633 nbBacktracks=13121 nbVisitedNodes=48133 nbRestartNogoods=103
5.78 => wckTime=5.017 cpuTime=4.94 mem=15M64
8.23
8.23 search
8.23 run=16 nbConstraintChecks=51487872 nbPropagations=1743247 nbRevisions=34338661 nbUselessRevisions=29766350
8.23 nbAssignments=38830 nbFailedAssignments=19063 nbBacktracks=19689 nbVisitedNodes=72385 nbRestartNogoods=113
8.23 => wckTime=7.468 cpuTime=7.39 mem=15M64
11.84
11.84 search
11.84 run=17 nbConstraintChecks=77176554 nbPropagations=2616358 nbRevisions=51660597 nbUselessRevisions=44789566
11.84 nbAssignments=58189 nbFailedAssignments=28564 nbBacktracks=29543 nbVisitedNodes=108483 nbRestartNogoods=128
11.84 => wckTime=11.083 cpuTime=11.0 mem=15M64
17.33
17.33 search
17.33 run=18 nbConstraintChecks=116392268 nbPropagations=3928987 nbRevisions=77763549 nbUselessRevisions=67430597
17.33 nbAssignments=87395 nbFailedAssignments=42986 nbBacktracks=44321 nbVisitedNodes=163002 nbRestartNogoods=139
17.33 => wckTime=16.57 cpuTime=16.49 mem=15M64
25.66
25.66 search
25.66 run=19 nbConstraintChecks=176424564 nbPropagations=5907601 nbRevisions=117260779 nbUselessRevisions=101701187
25.66 nbAssignments=131296 nbFailedAssignments=64714 nbBacktracks=66491 nbVisitedNodes=244977 nbRestartNogoods=157
25.66 => wckTime=24.899 cpuTime=24.79 mem=15M64
38.25
38.25 search
38.25 run=20 nbConstraintChecks=267239319 nbPropagations=8886462 nbRevisions=176977560 nbUselessRevisions=153532937
38.25 nbAssignments=197136 nbFailedAssignments=97296 nbBacktracks=99743 nbVisitedNodes=368034 nbRestartNogoods=176
38.25 => wckTime=37.493 cpuTime=37.38 mem=15M64
57.06
57.06 search
57.06 run=21 nbConstraintChecks=402275084 nbPropagations=13368619 nbRevisions=266915970 nbUselessRevisions=231608855
57.06 nbAssignments=295898 nbFailedAssignments=146176 nbBacktracks=149621 nbVisitedNodes=552902 nbRestartNogoods=186
57.06 => wckTime=56.298 cpuTime=56.17 mem=15M64
85.12
85.12 search
85.12 run=22 nbConstraintChecks=604445138 nbPropagations=20093971 nbRevisions=402021285 nbUselessRevisions=348904898
85.12 nbAssignments=443695 nbFailedAssignments=219150 nbBacktracks=224439 nbVisitedNodes=829251 nbRestartNogoods=203
85.12 => wckTime=84.363 cpuTime=84.2 mem=15M64
127.79
127.79 search
127.79 run=23 nbConstraintChecks=913462743 nbPropagations=30207346 nbRevisions=605748203 nbUselessRevisions=525806783
127.79 nbAssignments=665639 nbFailedAssignments=328861 nbBacktracks=336667 nbVisitedNodes=1244107 nbRestartNogoods=221
127.79 => wckTime=127.03 cpuTime=126.82 mem=15M64
192.53
192.53 search
192.53 run=24 nbConstraintChecks=1384646833 nbPropagations=45433950 nbRevisions=913895030 nbUselessRevisions=793462748
192.53 nbAssignments=999046 nbFailedAssignments=493923 nbBacktracks=505009 nbVisitedNodes=1867481 nbRestartNogoods=240
192.53 => wckTime=191.769 cpuTime=191.53 mem=15M64
221.79
221.79 search
221.79 run=25 nbConstraintChecks=1599232375 nbPropagations=62960156 nbRevisions=1269400241
221.79 nbUselessRevisions=1102298462 nbAssignments=1147915 nbFailedAssignments=567926 nbBacktracks=579876
221.79 nbVisitedNodes=2146248 nbRestartNogoods=248
221.79 => wckTime=221.031 cpuTime=220.78 mem=15M64
221.79
221.79 global
221.79 nbConstraintChecks=1599232375 nbPropagations=62960180 nbRevisions=1269400241 nbUselessRevisions=1102298462
221.79 nbRestartNogoods=248 solvingWckTime=221.032 solvingCpuTime=220.78 expiredTime=no totalExploration=yes
221.79 nbFoundSolutions=0 globalCpuTime=221.16
221.79 => wckTime=221.508 cpuTime=221.11 mem=15M64
221.80
221.80 s UNSATISFIABLE
221.80 d NODES 1147915
221.80 d CHECKS 1599232375
221.80
221.80 totalWckTime=221.584 totalCpuTime=221.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-221775-1168080082 -o ROOT/results/node62/solver-221775-1168080082 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221775-1168080082/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.50 1.86 1.82 4/80 2776
/proc/meminfo: memFree=1106528/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=1788 CPUtime=0
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 156405973 1830912 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2775/statm: 446 158 123 14 0 91 0
[startup+0.10742 s]
/proc/loadavg: 1.50 1.86 1.82 4/80 2776
/proc/meminfo: memFree=1106528/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=914988 CPUtime=0.09
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 3141 0 1 0 8 1 0 0 24 0 8 0 156405973 936947712 2887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228747 2887 1477 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.5155 s]
/proc/loadavg: 1.50 1.86 1.82 4/80 2776
/proc/meminfo: memFree=1106528/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=915328 CPUtime=0.5
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 7204 0 1 0 45 5 0 0 25 0 8 0 156405973 937295872 6943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228832 6948 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33666 s]
/proc/loadavg: 1.62 1.88 1.83 3/87 2783
/proc/meminfo: memFree=1082856/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=915452 CPUtime=1.31
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 8622 0 1 0 125 6 0 0 25 0 8 0 156405973 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228863 8360 2513 14 0 215333 0
[pid=2775/tid=2777] ppid=2773 vsize=915452 CPUtime=0.03
/proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2234 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405977 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2778] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405977 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2779] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405977 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2780] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156405980 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2781] ppid=2773 vsize=915452 CPUtime=0.19
/proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2234 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 156405980 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2782] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156405980 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2783] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405980 937422848 8360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.98799 s]
/proc/loadavg: 1.62 1.88 1.83 3/87 2783
/proc/meminfo: memFree=1082728/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=915452 CPUtime=2.96
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 8639 0 1 0 290 6 0 0 25 0 8 0 156405973 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831605 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228863 8376 2513 14 0 215333 0
[pid=2775/tid=2777] ppid=2773 vsize=915452 CPUtime=0.03
/proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2234 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 156405977 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2778] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405977 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2779] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405977 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2780] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156405980 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2781] ppid=2773 vsize=915452 CPUtime=0.2
/proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2234 0 -1 64 388 0 0 0 19 1 0 0 15 0 8 0 156405980 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2782] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156405980 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2783] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405980 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
[startup+6.27264 s]
/proc/loadavg: 1.62 1.88 1.83 3/87 2783
/proc/meminfo: memFree=1082600/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=915452 CPUtime=6.24
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 8647 0 1 0 618 6 0 0 25 0 8 0 156405973 937422848 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814467 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228863 8383 2513 14 0 215333 0
[pid=2775/tid=2777] ppid=2773 vsize=915452 CPUtime=0.03
/proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2234 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405977 937422848 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2778] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405977 937422848 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2779] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405977 937422848 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2780] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156405980 937422848 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2781] ppid=2773 vsize=915452 CPUtime=0.2
/proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2234 0 -1 64 388 0 0 0 19 1 0 0 15 0 8 0 156405980 937422848 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2782] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156405980 937422848 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2783] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405980 937422848 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452
[startup+12.7559 s]
/proc/loadavg: 1.68 1.88 1.83 4/87 2783
/proc/meminfo: memFree=1082600/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=915452 CPUtime=12.73
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 8655 0 1 0 1266 7 0 0 25 0 8 0 156405973 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807675 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228863 8390 2513 14 0 215333 0
[pid=2775/tid=2777] ppid=2773 vsize=915452 CPUtime=0.03
/proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2234 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405977 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2778] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405977 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2779] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405977 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2780] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156405980 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2781] ppid=2773 vsize=915452 CPUtime=0.2
/proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2234 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156405980 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2782] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156405980 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2783] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405980 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915452
[startup+25.6055 s]
/proc/loadavg: 1.73 1.89 1.83 3/87 2783
/proc/meminfo: memFree=1082600/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=915452 CPUtime=25.55
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 8657 0 1 0 2548 7 0 0 25 0 8 0 156405973 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228863 8392 2513 14 0 215333 0
[pid=2775/tid=2777] ppid=2773 vsize=915452 CPUtime=0.03
/proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2234 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405977 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2778] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405977 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2779] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405977 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2780] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156405980 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2781] ppid=2773 vsize=915452 CPUtime=0.2
/proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2234 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156405980 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2782] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156405980 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2783] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405980 937422848 8392 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
[startup+51.2065 s]
/proc/loadavg: 1.83 1.90 1.83 3/87 2783
/proc/meminfo: memFree=1082600/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=915452 CPUtime=51.12
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 8662 0 1 0 5105 7 0 0 25 0 8 0 156405973 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228863 8397 2513 14 0 215333 0
[pid=2775/tid=2777] ppid=2773 vsize=915452 CPUtime=0.03
/proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2234 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405977 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2778] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405977 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2779] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405977 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2780] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156405980 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2781] ppid=2773 vsize=915452 CPUtime=0.2
/proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2234 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156405980 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2782] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156405980 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2783] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405980 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915452
[startup+102.507 s]
/proc/loadavg: 1.93 1.91 1.84 3/87 2783
/proc/meminfo: memFree=1082664/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=915452 CPUtime=102.37
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 8667 0 1 0 10230 7 0 0 25 0 8 0 156405973 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813761 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228863 8402 2513 14 0 215333 0
[pid=2775/tid=2777] ppid=2773 vsize=915452 CPUtime=0.03
/proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2234 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405977 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2778] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405977 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2779] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405977 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2780] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156405980 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2781] ppid=2773 vsize=915452 CPUtime=0.2
/proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2234 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156405980 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2782] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156405980 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2783] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405980 937422848 8402 18446744073709551615 134512640 134570532 4294956480 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) 915452
[startup+162.54 s]
/proc/loadavg: 1.58 1.83 1.81 2/72 2797
/proc/meminfo: memFree=1114664/2055920 swapFree=4192812/4192956
[pid=2775] ppid=2773 vsize=915452 CPUtime=162.36
/proc/2775/stat : 2775 (java) R 2773 2775 2234 0 -1 0 8670 0 1 0 16229 7 0 0 25 0 8 0 156405973 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800347 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2775/statm: 228863 8405 2513 14 0 215333 0
[pid=2775/tid=2777] ppid=2773 vsize=915452 CPUtime=0.03
/proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2234 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405977 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2778] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2234 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405977 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2779] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2234 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405977 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2780] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156405980 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2781] ppid=2773 vsize=915452 CPUtime=0.2
/proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2234 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 156405980 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2782] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2234 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156405980 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2775/tid=2783] ppid=2773 vsize=915452 CPUtime=0
/proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2234 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405980 937422848 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 221.946
CPU time (s): 221.61
CPU user time (s): 221.528
CPU system time (s): 0.081987
CPU usage (%): 99.8485
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.528
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= 8764
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= 5586
involuntary context switches= 6572
runsolver used 0.285956 s user time and 0.632903 s system time
The end
Begin job on node62 on Sat Jan 6 10:41:22 UTC 2007
IDJOB= 221775
IDBENCH= 5467
FILE ID= node62/221775-1168080082
PBS_JOBID= 3476082
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-53021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221775-1168080082/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-221775-1168080082 -o ROOT/results/node62/solver-221775-1168080082 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221775-1168080082/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 52ce1adbb69405dbd0eb9fe0ed582574
RANDOM SEED= 364088269
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.259
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.259
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: 1106944 kB
Buffers: 59268 kB
Cached: 766116 kB
SwapCached: 0 kB
Active: 149596 kB
Inactive: 720864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1106944 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3940 kB
Writeback: 0 kB
Mapped: 65260 kB
Slab: 63796 kB
Committed_AS: 3655576 kB
PageTables: 1956 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= 66550 MiB
End job on node62 on Sat Jan 6 10:45:05 UTC 2007