0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/231124-1168081125/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.52
0.52 constraints being loaded...
0.66 nbConstraints=496 nbRelationTypes=496 nbExtensionStructures=496 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=496 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5010 maxDegree=30
0.66 maxArity=2
0.66 => wckTime=0.365 cpuTime=0.28 mem=15M859
0.70
0.70 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.557 cpuTime=0.4 mem=15M277
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0080 cpuTime=0.01 mem=15M277
0.91
0.91 search
0.91 run=0 nbConstraintChecks=47207 nbPropagations=582 nbRevisions=6984 nbUselessRevisions=5816 nbAssignments=23
0.91 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.058 cpuTime=0.06 mem=15M277
0.95
0.95 search
0.95 run=1 nbConstraintChecks=121644 nbPropagations=1932 nbRevisions=24886 nbUselessRevisions=20425
0.95 nbAssignments=61 nbFailedAssignments=23 nbBacktracks=29 nbVisitedNodes=104 nbRestartNogoods=3 mapSize=25
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.095 cpuTime=0.08 mem=15M277
0.98
0.98 search
0.98 run=2 nbConstraintChecks=215026 nbPropagations=4156 nbRevisions=57032 nbUselessRevisions=46685
0.98 nbAssignments=106 nbFailedAssignments=43 nbBacktracks=51 nbVisitedNodes=184 nbRestartNogoods=4 mapSize=46
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.122 cpuTime=0.11 mem=15M277
1.01
1.01 search
1.01 run=3 nbConstraintChecks=336774 nbPropagations=7619 nbRevisions=108663 nbUselessRevisions=89246
1.01 nbAssignments=172 nbFailedAssignments=69 nbBacktracks=84 nbVisitedNodes=297 nbRestartNogoods=5 mapSize=78
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.155 cpuTime=0.14 mem=15M277
1.06
1.06 search
1.06 run=4 nbConstraintChecks=516543 nbPropagations=12867 nbRevisions=188393 nbUselessRevisions=154883
1.06 nbAssignments=258 nbFailedAssignments=101 nbBacktracks=134 nbVisitedNodes=453 nbRestartNogoods=10 mapSize=123
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.203 cpuTime=0.19 mem=15M277
1.15
1.15 search
1.15 run=5 nbConstraintChecks=860515 nbPropagations=21212 nbRevisions=319352 nbUselessRevisions=262152
1.15 nbAssignments=402 nbFailedAssignments=166 nbBacktracks=209 nbVisitedNodes=715 nbRestartNogoods=13 mapSize=193
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.293 cpuTime=0.27 mem=15M277
1.27
1.27 search
1.27 run=6 nbConstraintChecks=1308378 nbPropagations=33975 nbRevisions=521953 nbUselessRevisions=428826
1.27 nbAssignments=612 nbFailedAssignments=258 nbBacktracks=323 nbVisitedNodes=1094 nbRestartNogoods=17 mapSize=300
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.412 cpuTime=0.39 mem=15M277
1.45
1.45 search
1.45 run=7 nbConstraintChecks=2044900 nbPropagations=53495 nbRevisions=837700 nbUselessRevisions=688537
1.45 nbAssignments=944 nbFailedAssignments=414 nbBacktracks=495 nbVisitedNodes=1701 nbRestartNogoods=23 mapSize=469
1.45 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.599 cpuTime=0.57 mem=15M277
1.72
1.72 search
1.72 run=8 nbConstraintChecks=3085861 nbPropagations=82702 nbRevisions=1313149 nbUselessRevisions=1078955
1.72 nbAssignments=1420 nbFailedAssignments=630 nbBacktracks=751 nbVisitedNodes=2572 nbRestartNogoods=25
1.72 mapSize=705 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.862 cpuTime=0.83 mem=15M277
2.06
2.06 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=15M277)
2.09
2.09 search
2.09 run=9 nbConstraintChecks=4608392 nbPropagations=125970 nbRevisions=2022894 nbUselessRevisions=1661500
2.09 nbAssignments=2121 nbFailedAssignments=943 nbBacktracks=1135 nbVisitedNodes=3846 nbRestartNogoods=32
2.09 => wckTime=1.235 cpuTime=1.19 mem=15M277
2.60
2.60 search
2.60 run=10 nbConstraintChecks=6981938 nbPropagations=190914 nbRevisions=3095044 nbUselessRevisions=2542104
2.60 nbAssignments=3211 nbFailedAssignments=1452 nbBacktracks=1711 nbVisitedNodes=5823 nbRestartNogoods=37
2.60 => wckTime=1.745 cpuTime=1.69 mem=15M277
3.28
3.28 search
3.28 run=11 nbConstraintChecks=10276934 nbPropagations=286311 nbRevisions=4672952 nbUselessRevisions=3838681
3.28 nbAssignments=4781 nbFailedAssignments=2154 nbBacktracks=2575 nbVisitedNodes=8676 nbRestartNogoods=49
3.28 => wckTime=2.426 cpuTime=2.36 mem=15M277
4.42
4.42 search
4.42 run=12 nbConstraintChecks=15568313 nbPropagations=429917 nbRevisions=7069013 nbUselessRevisions=5806643
4.42 nbAssignments=7204 nbFailedAssignments=3275 nbBacktracks=3873 nbVisitedNodes=13122 nbRestartNogoods=58
4.42 => wckTime=3.562 cpuTime=3.49 mem=15M277
6.11
6.11 search
6.11 run=13 nbConstraintChecks=23433957 nbPropagations=644929 nbRevisions=10696147 nbUselessRevisions=8789526
6.11 nbAssignments=10847 nbFailedAssignments=4968 nbBacktracks=5820 nbVisitedNodes=19763 nbRestartNogoods=66
6.11 => wckTime=5.26 cpuTime=5.19 mem=15M277
8.54
8.54 search
8.54 run=14 nbConstraintChecks=34714161 nbPropagations=965235 nbRevisions=16085215 nbUselessRevisions=13224301
8.54 nbAssignments=16206 nbFailedAssignments=7404 nbBacktracks=8739 nbVisitedNodes=29506 nbRestartNogoods=81
8.54 => wckTime=7.691 cpuTime=7.62 mem=15M277
12.36
12.36 search
12.36 run=15 nbConstraintChecks=52587644 nbPropagations=1448527 nbRevisions=24315368 nbUselessRevisions=20011135
12.36 nbAssignments=24396 nbFailedAssignments=11210 nbBacktracks=13118 nbVisitedNodes=44542 nbRestartNogoods=94
12.36 => wckTime=11.509 cpuTime=11.44 mem=15M277
18.16
18.16 search
18.16 run=16 nbConstraintChecks=79948247 nbPropagations=2179218 nbRevisions=36785065 nbUselessRevisions=30297517
18.16 nbAssignments=36594 nbFailedAssignments=16834 nbBacktracks=19687 nbVisitedNodes=66866 nbRestartNogoods=106
18.16 => wckTime=17.304 cpuTime=17.23 mem=15M277
26.85
26.85 search
26.85 run=17 nbConstraintChecks=120526178 nbPropagations=3277539 nbRevisions=55491432 nbUselessRevisions=45709032
26.85 nbAssignments=54856 nbFailedAssignments=25239 nbBacktracks=29540 nbVisitedNodes=100175 nbRestartNogoods=113
26.85 => wckTime=25.993 cpuTime=25.91 mem=15M277
39.66
39.66 search
39.66 run=18 nbConstraintChecks=180623693 nbPropagations=4923148 nbRevisions=83467650 nbUselessRevisions=68755385
39.66 nbAssignments=82353 nbFailedAssignments=37952 nbBacktracks=44319 nbVisitedNodes=150583 nbRestartNogoods=124
39.66 => wckTime=38.807 cpuTime=38.72 mem=15M277
59.40
59.40 search
59.40 run=19 nbConstraintChecks=273790411 nbPropagations=7405567 nbRevisions=125834671 nbUselessRevisions=103660546
59.40 nbAssignments=124034 nbFailedAssignments=57460 nbBacktracks=66488 nbVisitedNodes=226914 nbRestartNogoods=138
59.40 => wckTime=58.55 cpuTime=58.46 mem=15M277
89.72
89.72 search
89.72 run=20 nbConstraintChecks=416560537 nbPropagations=11159578 nbRevisions=189926866 nbUselessRevisions=156438641
89.72 nbAssignments=186546 nbFailedAssignments=86715 nbBacktracks=99741 nbVisitedNodes=341530 nbRestartNogoods=143
89.72 => wckTime=88.869 cpuTime=88.74 mem=15M277
122.01
122.01 search
122.01 run=21 nbConstraintChecks=568364251 nbPropagations=16263366 nbRevisions=277294052 nbUselessRevisions=228401009
122.01 nbAssignments=252945 nbFailedAssignments=117755 nbBacktracks=135101 nbVisitedNodes=463115 nbRestartNogoods=157
122.01 => wckTime=121.155 cpuTime=121.01 mem=15M277
122.01
122.01 global
122.01 nbConstraintChecks=568364251 nbPropagations=16263416 nbRevisions=277294052 nbUselessRevisions=228401009
122.01 nbRestartNogoods=157 solvingWckTime=121.156 solvingCpuTime=121.01 expiredTime=no totalExploration=yes
122.01 nbFoundSolutions=0 globalCpuTime=121.46
122.01 => wckTime=121.716 cpuTime=121.41 mem=15M277
122.01
122.01 s UNSATISFIABLE
122.01 d NODES 252945
122.01 d CHECKS 568364251
122.01
122.01 totalWckTime=121.792 totalCpuTime=121.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-231124-1168081125 -o ROOT/results/node17/solver-231124-1168081125 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231124-1168081125/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.13 0.47 1.12 4/81 15391
/proc/meminfo: memFree=1608344/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=172 CPUtime=0
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156507834 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 1 0 0
/proc/15390/statm: 55 31 25 14 0 3 0
[startup+0.103366 s]
/proc/loadavg: 0.13 0.47 1.12 4/81 15391
/proc/meminfo: memFree=1608344/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=914988 CPUtime=0.09
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 3073 0 1 0 8 1 0 0 16 0 8 0 156507834 936947712 2819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15390/statm: 228747 2819 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511407 s]
/proc/loadavg: 0.13 0.47 1.12 4/81 15391
/proc/meminfo: memFree=1608344/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=915328 CPUtime=0.49
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 6996 0 1 0 45 4 0 0 16 0 8 0 156507834 937295872 6735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15390/statm: 228832 6736 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33349 s]
/proc/loadavg: 0.20 0.48 1.12 2/88 15398
/proc/meminfo: memFree=1582304/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=915460 CPUtime=1.33
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 9215 0 1 0 126 7 0 0 17 0 8 0 156507834 937431040 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15390/statm: 228865 8953 2513 14 0 215335 0
[pid=15390/tid=15392] ppid=15388 vsize=915460 CPUtime=0.03
/proc/15390/task/15392/stat : 15392 (java) S 15388 15390 12945 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 156507838 937431040 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15390/tid=15393] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15393/stat : 15393 (java) S 15388 15390 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156507838 937431040 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15394] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15394/stat : 15394 (java) S 15388 15390 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156507838 937431040 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15395] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15395/stat : 15395 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156507841 937431040 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15396] ppid=15388 vsize=915460 CPUtime=0.2
/proc/15390/task/15396/stat : 15396 (java) S 15388 15390 12945 0 -1 64 379 0 0 0 19 1 0 0 16 0 8 0 156507841 937431040 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15397] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15397/stat : 15397 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156507841 937431040 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15398] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15398/stat : 15398 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156507841 937431040 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915460
[startup+2.98567 s]
/proc/loadavg: 0.20 0.48 1.12 2/88 15398
/proc/meminfo: memFree=1582240/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=915460 CPUtime=2.98
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 9235 0 1 0 291 7 0 0 17 0 8 0 156507834 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15390/statm: 228865 8970 2513 14 0 215335 0
[pid=15390/tid=15392] ppid=15388 vsize=915460 CPUtime=0.03
/proc/15390/task/15392/stat : 15392 (java) S 15388 15390 12945 0 -1 64 387 0 0 0 3 0 0 0 17 0 8 0 156507838 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15393] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15393/stat : 15393 (java) S 15388 15390 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156507838 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15394] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15394/stat : 15394 (java) S 15388 15390 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156507838 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15395] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15395/stat : 15395 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156507841 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15396] ppid=15388 vsize=915460 CPUtime=0.23
/proc/15390/task/15396/stat : 15396 (java) S 15388 15390 12945 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156507841 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15390/tid=15397] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15397/stat : 15397 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156507841 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15398] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15398/stat : 15398 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156507841 937431040 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 915460
[startup+6.27 s]
/proc/loadavg: 0.20 0.48 1.12 2/88 15398
/proc/meminfo: memFree=1582176/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=915460 CPUtime=6.26
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 9236 0 1 0 619 7 0 0 22 0 8 0 156507834 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15390/statm: 228865 8971 2513 14 0 215335 0
[pid=15390/tid=15392] ppid=15388 vsize=915460 CPUtime=0.03
/proc/15390/task/15392/stat : 15392 (java) S 15388 15390 12945 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15393] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15393/stat : 15393 (java) S 15388 15390 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15394] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15394/stat : 15394 (java) S 15388 15390 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15395] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15395/stat : 15395 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15396] ppid=15388 vsize=915460 CPUtime=0.23
/proc/15390/task/15396/stat : 15396 (java) S 15388 15390 12945 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15390/tid=15397] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15397/stat : 15397 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15398] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15398/stat : 15398 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915460
[startup+12.7517 s]
/proc/loadavg: 0.33 0.50 1.11 2/88 15398
/proc/meminfo: memFree=1582176/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=915460 CPUtime=12.74
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 9237 0 1 0 1267 7 0 0 25 0 8 0 156507834 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15390/statm: 228865 8971 2513 14 0 215335 0
[pid=15390/tid=15392] ppid=15388 vsize=915460 CPUtime=0.03
/proc/15390/task/15392/stat : 15392 (java) S 15388 15390 12945 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15393] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15393/stat : 15393 (java) S 15388 15390 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15394] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15394/stat : 15394 (java) S 15388 15390 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15395] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15395/stat : 15395 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15396] ppid=15388 vsize=915460 CPUtime=0.23
/proc/15390/task/15396/stat : 15396 (java) S 15388 15390 12945 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15390/tid=15397] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15397/stat : 15397 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15398] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15398/stat : 15398 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915460
[startup+25.58 s]
/proc/loadavg: 0.43 0.52 1.11 2/88 15399
/proc/meminfo: memFree=1584032/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=915460 CPUtime=25.57
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 9237 0 1 0 2549 8 0 0 25 0 8 0 156507834 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15390/statm: 228865 8971 2513 14 0 215335 0
[pid=15390/tid=15392] ppid=15388 vsize=915460 CPUtime=0.03
/proc/15390/task/15392/stat : 15392 (java) S 15388 15390 12945 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15393] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15393/stat : 15393 (java) S 15388 15390 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15394] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15394/stat : 15394 (java) S 15388 15390 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15395] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15395/stat : 15395 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15396] ppid=15388 vsize=915460 CPUtime=0.23
/proc/15390/task/15396/stat : 15396 (java) S 15388 15390 12945 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15390/tid=15397] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15397/stat : 15397 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15398] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15398/stat : 15398 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915460
[startup+51.2697 s]
/proc/loadavg: 0.65 0.56 1.11 2/88 15399
/proc/meminfo: memFree=1584032/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=915460 CPUtime=51.25
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 9237 0 1 0 5117 8 0 0 25 0 8 0 156507834 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15390/statm: 228865 8971 2513 14 0 215335 0
[pid=15390/tid=15392] ppid=15388 vsize=915460 CPUtime=0.03
/proc/15390/task/15392/stat : 15392 (java) S 15388 15390 12945 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15393] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15393/stat : 15393 (java) S 15388 15390 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15394] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15394/stat : 15394 (java) S 15388 15390 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15395] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15395/stat : 15395 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15396] ppid=15388 vsize=915460 CPUtime=0.23
/proc/15390/task/15396/stat : 15396 (java) S 15388 15390 12945 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15390/tid=15397] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15397/stat : 15397 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15398] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15398/stat : 15398 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 915460
[startup+102.545 s]
/proc/loadavg: 0.90 0.64 1.10 2/88 15454
/proc/meminfo: memFree=1581520/2055920 swapFree=4192812/4192956
[pid=15390] ppid=15388 vsize=915460 CPUtime=102.48
/proc/15390/stat : 15390 (java) R 15388 15390 12945 0 -1 0 9237 0 1 0 10239 9 0 0 25 0 8 0 156507834 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15390/statm: 228865 8971 2513 14 0 215335 0
[pid=15390/tid=15392] ppid=15388 vsize=915460 CPUtime=0.03
/proc/15390/task/15392/stat : 15392 (java) S 15388 15390 12945 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15393] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15393/stat : 15393 (java) S 15388 15390 12945 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15394] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15394/stat : 15394 (java) S 15388 15390 12945 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156507838 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15395] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15395/stat : 15395 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15396] ppid=15388 vsize=915460 CPUtime=0.23
/proc/15390/task/15396/stat : 15396 (java) S 15388 15390 12945 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15390/tid=15397] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15397/stat : 15397 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15390/tid=15398] ppid=15388 vsize=915460 CPUtime=0
/proc/15390/task/15398/stat : 15398 (java) S 15388 15390 12945 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156507841 937431040 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 122.075
CPU time (s): 121.957
CPU user time (s): 121.859
CPU system time (s): 0.097985
CPU usage (%): 99.9038
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.859
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9242
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= 3285
involuntary context switches= 2739
runsolver used 0.108983 s user time and 0.331949 s system time
The end
Begin job on node17 on Sat Jan 6 10:58:47 UTC 2007
IDJOB= 231124
IDBENCH= 6450
FILE ID= node17/231124-1168081125
PBS_JOBID= 3475828
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-94_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231124-1168081125/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-231124-1168081125 -o ROOT/results/node17/solver-231124-1168081125 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231124-1168081125/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d3591a27f1534e5d39a514212d4fb4fe
RANDOM SEED= 585303088
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.236
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.236
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: 1608760 kB
Buffers: 47536 kB
Cached: 252548 kB
SwapCached: 0 kB
Active: 147052 kB
Inactive: 211268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1608760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4036 kB
Writeback: 0 kB
Mapped: 77200 kB
Slab: 73976 kB
Committed_AS: 3833888 kB
PageTables: 2076 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= 66320 MiB
End job on node17 on Sat Jan 6 11:00:59 UTC 2007