0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/207777-1168183226/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.43 => wckTime=0.111 cpuTime=0.1 mem=7M931
0.43
0.43 relations being loaded...
0.48
0.48 constraints being loaded...
0.65 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.65 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.65 nbSharedBinaryRepresentations=25502 maxDegree=25 maxArity=3
0.65 => wckTime=0.331 cpuTime=0.23 mem=15M388
0.71
0.71 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.575 cpuTime=0.39 mem=18M820
1.14
1.14 preprocessing
1.14 nbConstraintChecks=339652 nbValidityChecks=368481 nbPropagations=4619 nbRevisions=9170 nbUselessRevisions=4039
1.14 nbSingletonTests=96 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=26428 detectedInconsistency=no
1.14 => wckTime=0.241 cpuTime=0.2 mem=18M820
1.21
1.21 search
1.21 run=0 nbConstraintChecks=66116 nbValidityChecks=68688 nbPropagations=6288 nbRevisions=13958
1.21 nbUselessRevisions=6773 nbAssignments=25 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=40
1.21 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.307 cpuTime=0.25 mem=18M820
1.31
1.31 search
1.31 run=1 nbConstraintChecks=221845 nbValidityChecks=236732 nbPropagations=15967 nbRevisions=36637
1.31 nbUselessRevisions=18184 nbAssignments=65 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=95
1.31 nbRestartNogoods=4 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.407 cpuTime=0.34 mem=18M820
1.38
1.38 search
1.38 run=2 nbConstraintChecks=326821 nbValidityChecks=345168 nbPropagations=28455 nbRevisions=67240
1.38 nbUselessRevisions=33911 nbAssignments=110 nbFailedAssignments=35 nbBacktracks=51 nbVisitedNodes=170
1.38 nbRestartNogoods=6 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.477 cpuTime=0.41 mem=19M795
1.52
1.52 search
1.52 run=3 nbConstraintChecks=590828 nbValidityChecks=595663 nbPropagations=46492 nbRevisions=112891
1.52 nbUselessRevisions=57836 nbAssignments=175 nbFailedAssignments=58 nbBacktracks=86 nbVisitedNodes=278
1.52 nbRestartNogoods=10 mapSize=70 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.62 cpuTime=0.55 mem=19M795
1.73
1.73 search
1.73 run=4 nbConstraintChecks=970764 nbValidityChecks=983446 nbPropagations=71317 nbRevisions=175629
1.73 nbUselessRevisions=90492 nbAssignments=275 nbFailedAssignments=88 nbBacktracks=136 nbVisitedNodes=425
1.73 nbRestartNogoods=20 mapSize=105 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.824 cpuTime=0.75 mem=19M795
1.96
1.96 search
1.96 run=5 nbConstraintChecks=1381471 nbValidityChecks=1392824 nbPropagations=107525 nbRevisions=269747
1.96 nbUselessRevisions=140383 nbAssignments=423 nbFailedAssignments=140 nbBacktracks=213 nbVisitedNodes=654
1.96 nbRestartNogoods=28 mapSize=161 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=1.057 cpuTime=0.98 mem=19M795
2.29
2.29 search
2.29 run=6 nbConstraintChecks=1962259 nbValidityChecks=1981474 nbPropagations=157579 nbRevisions=400055
2.29 nbUselessRevisions=209094 nbAssignments=629 nbFailedAssignments=214 nbBacktracks=332 nbVisitedNodes=983
2.29 nbRestartNogoods=36 mapSize=234 nbInferences=0 nbTooLargeKeys=0
2.29 => wckTime=1.391 cpuTime=1.32 mem=20M771
2.62
2.62 search
2.63 run=7 nbConstraintChecks=2493370 nbValidityChecks=2523155 nbPropagations=225159 nbRevisions=577783
2.63 nbUselessRevisions=303219 nbAssignments=911 nbFailedAssignments=314 nbBacktracks=502 nbVisitedNodes=1439
2.63 nbRestartNogoods=43 mapSize=337 nbInferences=0 nbTooLargeKeys=0
2.63 => wckTime=1.724 cpuTime=1.64 mem=20M771
3.20
3.20 search
3.20 run=8 nbConstraintChecks=3512091 nbValidityChecks=3501400 nbPropagations=317626 nbRevisions=823938
3.20 nbUselessRevisions=434296 nbAssignments=1307 nbFailedAssignments=431 nbBacktracks=758 nbVisitedNodes=2056
3.20 nbRestartNogoods=49 mapSize=487 nbInferences=0 nbTooLargeKeys=0
3.20 => wckTime=2.301 cpuTime=2.21 mem=21M746
3.85
3.85 search
3.85 run=9 nbConstraintChecks=4530647 nbValidityChecks=4539957 nbPropagations=441448 nbRevisions=1153259
3.85 nbUselessRevisions=609431 nbAssignments=1899 nbFailedAssignments=627 nbBacktracks=1142 nbVisitedNodes=2978
3.85 nbRestartNogoods=54 mapSize=689 nbInferences=0 nbTooLargeKeys=0
3.85 => wckTime=2.948 cpuTime=2.82 mem=23M696
4.81
4.81 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=25M646)
4.87
4.87 search
4.87 run=10 nbConstraintChecks=6212264 nbValidityChecks=6306727 nbPropagations=618340 nbRevisions=1622192
4.87 nbUselessRevisions=857725 nbAssignments=2836 nbFailedAssignments=940 nbBacktracks=1724 nbVisitedNodes=4450
4.87 nbRestartNogoods=63
4.87 => wckTime=3.969 cpuTime=3.83 mem=25M646
6.34
6.34 search
6.34 run=11 nbConstraintChecks=8916140 nbValidityChecks=9056590 nbPropagations=876857 nbRevisions=2303298
6.34 nbUselessRevisions=1218020 nbAssignments=4137 nbFailedAssignments=1340 nbBacktracks=2589 nbVisitedNodes=6522
6.34 nbRestartNogoods=74
6.34 => wckTime=5.441 cpuTime=5.29 mem=25M646
8.31
8.31 search
8.31 run=12 nbConstraintChecks=12200078 nbValidityChecks=12809518 nbPropagations=1254179 nbRevisions=3278067
8.31 nbUselessRevisions=1721977 nbAssignments=6218 nbFailedAssignments=2083 nbBacktracks=3887 nbVisitedNodes=9998
8.31 nbRestartNogoods=89
8.31 => wckTime=7.405 cpuTime=7.21 mem=25M646
11.38
11.38 search
11.38 run=13 nbConstraintChecks=17761863 nbValidityChecks=18429106 nbPropagations=1812505 nbRevisions=4746556
11.38 nbUselessRevisions=2491192 nbAssignments=9274 nbFailedAssignments=3107 nbBacktracks=5836 nbVisitedNodes=14957
11.38 nbRestartNogoods=109
11.38 => wckTime=10.477 cpuTime=10.25 mem=25M646
15.04
15.04 search
15.04 run=14 nbConstraintChecks=24231719 nbValidityChecks=25074503 nbPropagations=2595864 nbRevisions=6829517
15.04 nbUselessRevisions=3592092 nbAssignments=13325 nbFailedAssignments=4199 nbBacktracks=8755 nbVisitedNodes=21670
15.04 nbRestartNogoods=123
15.04 => wckTime=14.137 cpuTime=13.87 mem=25M646
21.30
21.30 search
21.30 run=15 nbConstraintChecks=34983090 nbValidityChecks=36881227 nbPropagations=3739198 nbRevisions=9826121
21.30 nbUselessRevisions=5157052 nbAssignments=20001 nbFailedAssignments=6464 nbBacktracks=13138 nbVisitedNodes=32465
21.30 nbRestartNogoods=140
21.30 => wckTime=20.398 cpuTime=20.07 mem=25M646
29.63
29.64 search
29.64 run=16 nbConstraintChecks=49183833 nbValidityChecks=52608478 nbPropagations=5388387 nbRevisions=14097829
29.64 nbUselessRevisions=7362940 nbAssignments=29446 nbFailedAssignments=9304 nbBacktracks=19706 nbVisitedNodes=47835
29.64 nbRestartNogoods=151
29.64 => wckTime=28.734 cpuTime=28.32 mem=25M646
43.33
43.33 search
43.33 run=17 nbConstraintChecks=73108669 nbValidityChecks=78030287 nbPropagations=7866791 nbRevisions=20600481
43.33 nbUselessRevisions=10755820 nbAssignments=44101 nbFailedAssignments=14090 nbBacktracks=29559
43.33 nbVisitedNodes=71894 nbRestartNogoods=163
43.33 => wckTime=42.432 cpuTime=41.89 mem=25M646
61.49
61.49 search
61.49 run=18 nbConstraintChecks=104782121 nbValidityChecks=111409904 nbPropagations=11472819 nbRevisions=30164936
61.49 nbUselessRevisions=15803096 nbAssignments=64040 nbFailedAssignments=20370 nbBacktracks=43057
61.49 nbVisitedNodes=104359 nbRestartNogoods=199
61.49 => wckTime=60.586 cpuTime=59.85 mem=25M646
61.49
61.49 global
61.49 nbConstraintChecks=105121773 nbValidityChecks=111778385 nbPropagations=11477438 nbRevisions=30174106
61.49 nbUselessRevisions=15807135 nbRestartNogoods=199 solvingWckTime=60.587 solvingCpuTime=59.85 expiredTime=no
61.49 totalExploration=no nbFoundSolutions=1 globalCpuTime=60.28
61.49 => wckTime=61.17 cpuTime=60.24 mem=25M646
61.49
61.49 s SATISFIABLE
61.49 v 4 3 3 1 21 1 22 0 2 3 8 23 11 8 7 1 18 29 23 0 10 2 17 9 24 29 13 6 25 10 6 3 1 3 15 4 20 0 19 2 14 1 5 3 12 3 9 5 16 6 4 5 5 8 31 39 40 69 69 71 80 109 115 125 128 131 135 135 137 138 141 144 149 155 155 0
61.49 d NODES 64040
61.49 d CHECKS 105121773
61.49
61.49 totalWckTime=61.25 totalCpuTime=60.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-207777-1168183226 -o ROOT/results/node3/solver-207777-1168183226 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207777-1168183226/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: 2.09 2.08 2.06 4/94 1093
/proc/meminfo: memFree=1272344/2055920 swapFree=4192812/4192956
[pid=1092] ppid=1090 vsize=18540 CPUtime=0
/proc/1092/stat : 1092 (runsolver) R 1090 1092 532 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 166718247 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1092/statm: 4635 279 244 17 0 2626 0
[startup+0.102897 s]
/proc/loadavg: 2.09 2.08 2.06 4/94 1093
/proc/meminfo: memFree=1272344/2055920 swapFree=4192812/4192956
[pid=1092] ppid=1090 vsize=912760 CPUtime=0.07
/proc/1092/stat : 1092 (java) R 1090 1092 532 0 -1 0 2773 0 1 0 6 1 0 0 25 0 8 0 166718247 934666240 2519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1092/statm: 228190 2519 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.510961 s]
/proc/loadavg: 2.09 2.08 2.06 4/94 1093
/proc/meminfo: memFree=1272344/2055920 swapFree=4192812/4192956
[pid=1092] ppid=1090 vsize=915328 CPUtime=0.48
/proc/1092/stat : 1092 (java) R 1090 1092 532 0 -1 0 6913 0 1 0 44 4 0 0 25 0 8 0 166718247 937295872 6652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1092/statm: 228832 6652 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33209 s]
/proc/loadavg: 2.09 2.08 2.06 3/101 1100
/proc/meminfo: memFree=1244960/2055920 swapFree=4192812/4192956
[pid=1092] ppid=1090 vsize=915460 CPUtime=1.28
/proc/1092/stat : 1092 (java) R 1090 1092 532 0 -1 0 9695 0 1 0 121 7 0 0 25 0 8 0 166718247 937431040 9433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841457 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1092/statm: 228865 9433 2527 14 0 215335 0
[pid=1092/tid=1094] ppid=1090 vsize=915460 CPUtime=0.04
/proc/1092/task/1094/stat : 1094 (java) S 1090 1092 532 0 -1 64 739 0 0 0 4 0 0 0 16 0 8 0 166718252 937431040 9433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1095] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1095/stat : 1095 (java) S 1090 1092 532 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166718252 937431040 9433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1096] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1096/stat : 1096 (java) S 1090 1092 532 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166718252 937431040 9433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1097] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1097/stat : 1097 (java) S 1090 1092 532 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166718256 937431040 9433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1098] ppid=1090 vsize=915460 CPUtime=0.22
/proc/1092/task/1098/stat : 1098 (java) S 1090 1092 532 0 -1 64 385 0 0 0 21 1 0 0 15 0 8 0 166718256 937431040 9433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1099] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1099/stat : 1099 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166718256 937431040 9433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1100] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1100/stat : 1100 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166718256 937431040 9433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915460
[startup+2.98536 s]
/proc/loadavg: 2.09 2.08 2.06 3/101 1100
/proc/meminfo: memFree=1243168/2055920 swapFree=4192812/4192956
[pid=1092] ppid=1090 vsize=915460 CPUtime=2.93
/proc/1092/stat : 1092 (java) R 1090 1092 532 0 -1 0 10312 0 1 0 285 8 0 0 25 0 8 0 166718247 937431040 10048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1092/statm: 228865 10048 2527 14 0 215335 0
[pid=1092/tid=1094] ppid=1090 vsize=915460 CPUtime=0.04
/proc/1092/task/1094/stat : 1094 (java) S 1090 1092 532 0 -1 64 739 0 0 0 4 0 0 0 17 0 8 0 166718252 937431040 10048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1095] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1095/stat : 1095 (java) S 1090 1092 532 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166718252 937431040 10048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1096] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1096/stat : 1096 (java) S 1090 1092 532 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166718252 937431040 10048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1097] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1097/stat : 1097 (java) S 1090 1092 532 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166718256 937431040 10048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1098] ppid=1090 vsize=915460 CPUtime=0.24
/proc/1092/task/1098/stat : 1098 (java) S 1090 1092 532 0 -1 64 391 0 0 0 23 1 0 0 15 0 8 0 166718256 937431040 10048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1099] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1099/stat : 1099 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166718256 937431040 10048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1100] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1100/stat : 1100 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166718256 937431040 10048 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) 915460
[startup+6.26989 s]
/proc/loadavg: 2.09 2.07 2.06 3/101 1100
/proc/meminfo: memFree=1237920/2055920 swapFree=4192812/4192956
[pid=1092] ppid=1090 vsize=915460 CPUtime=6.18
/proc/1092/stat : 1092 (java) R 1090 1092 532 0 -1 0 11301 0 1 0 609 9 0 0 25 0 8 0 166718247 937431040 11035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073693976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1092/statm: 228865 11035 2527 14 0 215335 0
[pid=1092/tid=1094] ppid=1090 vsize=915460 CPUtime=0.04
/proc/1092/task/1094/stat : 1094 (java) S 1090 1092 532 0 -1 64 739 0 0 0 4 0 0 0 17 0 8 0 166718252 937431040 11035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1095] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1095/stat : 1095 (java) S 1090 1092 532 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166718252 937431040 11035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1096] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1096/stat : 1096 (java) S 1090 1092 532 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166718252 937431040 11035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1097] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1097/stat : 1097 (java) S 1090 1092 532 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166718256 937431040 11035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1098] ppid=1090 vsize=915460 CPUtime=0.28
/proc/1092/task/1098/stat : 1098 (java) S 1090 1092 532 0 -1 64 408 0 0 0 26 2 0 0 15 0 8 0 166718256 937431040 11035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1099] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1099/stat : 1099 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166718256 937431040 11035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1100] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1100/stat : 1100 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166718256 937431040 11035 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) 915460
[startup+12.7529 s]
/proc/loadavg: 2.08 2.07 2.06 3/101 1100
/proc/meminfo: memFree=1235232/2055920 swapFree=4192812/4192956
[pid=1092] ppid=1090 vsize=915460 CPUtime=12.58
/proc/1092/stat : 1092 (java) R 1090 1092 532 0 -1 0 11314 0 1 0 1248 10 0 0 25 0 8 0 166718247 937431040 11046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1092/statm: 228865 11046 2527 14 0 215335 0
[pid=1092/tid=1094] ppid=1090 vsize=915460 CPUtime=0.04
/proc/1092/task/1094/stat : 1094 (java) S 1090 1092 532 0 -1 64 739 0 0 0 4 0 0 0 16 0 8 0 166718252 937431040 11046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1095] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1095/stat : 1095 (java) S 1090 1092 532 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166718252 937431040 11046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1096] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1096/stat : 1096 (java) S 1090 1092 532 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166718252 937431040 11046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1097] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1097/stat : 1097 (java) S 1090 1092 532 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166718256 937431040 11046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1098] ppid=1090 vsize=915460 CPUtime=0.29
/proc/1092/task/1098/stat : 1098 (java) S 1090 1092 532 0 -1 64 410 0 0 0 27 2 0 0 16 0 8 0 166718256 937431040 11046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1099] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1099/stat : 1099 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166718256 937431040 11046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1100] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1100/stat : 1100 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166718256 937431040 11046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915460
[startup+25.609 s]
/proc/loadavg: 2.06 2.07 2.06 3/101 1100
/proc/meminfo: memFree=1218912/2055920 swapFree=4192812/4192956
[pid=1092] ppid=1090 vsize=915460 CPUtime=25.32
/proc/1092/stat : 1092 (java) R 1090 1092 532 0 -1 0 11319 0 1 0 2522 10 0 0 25 0 8 0 166718247 937431040 11051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1092/statm: 228865 11051 2527 14 0 215335 0
[pid=1092/tid=1094] ppid=1090 vsize=915460 CPUtime=0.04
/proc/1092/task/1094/stat : 1094 (java) S 1090 1092 532 0 -1 64 739 0 0 0 4 0 0 0 16 0 8 0 166718252 937431040 11051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1095] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1095/stat : 1095 (java) S 1090 1092 532 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166718252 937431040 11051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1096] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1096/stat : 1096 (java) S 1090 1092 532 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166718252 937431040 11051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1097] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1097/stat : 1097 (java) S 1090 1092 532 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166718256 937431040 11051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1098] ppid=1090 vsize=915460 CPUtime=0.29
/proc/1092/task/1098/stat : 1098 (java) S 1090 1092 532 0 -1 64 410 0 0 0 27 2 0 0 16 0 8 0 166718256 937431040 11051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1099] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1099/stat : 1099 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166718256 937431040 11051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1100] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1100/stat : 1100 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166718256 937431040 11051 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915460
[startup+51.2302 s]
/proc/loadavg: 2.04 2.06 2.06 3/101 1100
/proc/meminfo: memFree=1200672/2055920 swapFree=4192812/4192956
[pid=1092] ppid=1090 vsize=915460 CPUtime=50.69
/proc/1092/stat : 1092 (java) R 1090 1092 532 0 -1 0 11326 0 1 0 5059 10 0 0 25 0 8 0 166718247 937431040 11058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1092/statm: 228865 11058 2527 14 0 215335 0
[pid=1092/tid=1094] ppid=1090 vsize=915460 CPUtime=0.04
/proc/1092/task/1094/stat : 1094 (java) S 1090 1092 532 0 -1 64 739 0 0 0 4 0 0 0 16 0 8 0 166718252 937431040 11058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1095] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1095/stat : 1095 (java) S 1090 1092 532 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166718252 937431040 11058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1096] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1096/stat : 1096 (java) S 1090 1092 532 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166718252 937431040 11058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1097] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1097/stat : 1097 (java) S 1090 1092 532 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166718256 937431040 11058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1098] ppid=1090 vsize=915460 CPUtime=0.29
/proc/1092/task/1098/stat : 1098 (java) S 1090 1092 532 0 -1 64 411 0 0 0 27 2 0 0 17 0 8 0 166718256 937431040 11058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1099] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1099/stat : 1099 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166718256 937431040 11058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1092/tid=1100] ppid=1090 vsize=915460 CPUtime=0
/proc/1092/task/1100/stat : 1100 (java) S 1090 1092 532 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166718256 937431040 11058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 61.519
CPU time (s): 60.8537
CPU user time (s): 60.7408
CPU system time (s): 0.112982
CPU usage (%): 98.9186
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.7408
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11418
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= 2565
involuntary context switches= 5289
runsolver used 0.067989 s user time and 0.221966 s system time
The end
Begin job on node3 on Sun Jan 7 15:20:26 UTC 2007
IDJOB= 207777
IDBENCH= 4333
FILE ID= node3/207777-1168183226
PBS_JOBID= 3478922
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-843_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207777-1168183226/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-207777-1168183226 -o ROOT/results/node3/solver-207777-1168183226 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207777-1168183226/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dc26c52f8f326d22ddbb7a0f34897f67
RANDOM SEED= 788980970
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.279
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.279
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: 1272888 kB
Buffers: 44376 kB
Cached: 293788 kB
SwapCached: 0 kB
Active: 490248 kB
Inactive: 231040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1272888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2108 kB
Writeback: 0 kB
Mapped: 410836 kB
Slab: 45928 kB
Committed_AS: 5074640 kB
PageTables: 2796 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 node3 on Sun Jan 7 15:21:28 UTC 2007