0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/203032-1168072793/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=330 nbRelationTypes=330 nbExtensionStructures=330 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=330 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2751 maxDegree=22
0.64 maxArity=2
0.64 => wckTime=0.322 cpuTime=0.24 mem=12M803
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.52 cpuTime=0.37 mem=13M911
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0050 cpuTime=0.0 mem=13M911
0.90
0.90 search
0.90 run=0 nbConstraintChecks=42580 nbPropagations=587 nbRevisions=7167 nbUselessRevisions=5760 nbAssignments=26
0.90 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.055 cpuTime=0.03 mem=14M886
0.92
0.92 search
0.92 run=1 nbConstraintChecks=90072 nbPropagations=1842 nbRevisions=22463 nbUselessRevisions=18100 nbAssignments=62
0.92 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=100 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.078 cpuTime=0.05 mem=14M886
0.94
0.94 search
0.94 run=2 nbConstraintChecks=151623 nbPropagations=3846 nbRevisions=47723 nbUselessRevisions=38234
0.94 nbAssignments=103 nbFailedAssignments=38 nbBacktracks=49 nbVisitedNodes=170 nbRestartNogoods=7 mapSize=40
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.101 cpuTime=0.06 mem=14M886
0.96
0.96 search
0.96 run=3 nbConstraintChecks=239068 nbPropagations=7019 nbRevisions=87983 nbUselessRevisions=70345
0.96 nbAssignments=167 nbFailedAssignments=59 nbBacktracks=84 nbVisitedNodes=273 nbRestartNogoods=9 mapSize=66
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.12 cpuTime=0.08 mem=14M886
0.99
0.99 search
0.99 run=4 nbConstraintChecks=401374 nbPropagations=12299 nbRevisions=157165 nbUselessRevisions=125562
0.99 nbAssignments=276 nbFailedAssignments=112 nbBacktracks=136 nbVisitedNodes=468 nbRestartNogoods=12 mapSize=113
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.153 cpuTime=0.11 mem=14M886
1.04
1.04 search
1.04 run=5 nbConstraintChecks=591561 nbPropagations=20092 nbRevisions=260176 nbUselessRevisions=207690
1.04 nbAssignments=421 nbFailedAssignments=173 nbBacktracks=213 nbVisitedNodes=713 nbRestartNogoods=14 mapSize=170
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.195 cpuTime=0.15 mem=14M886
1.09
1.09 search
1.09 run=6 nbConstraintChecks=889474 nbPropagations=31665 nbRevisions=413483 nbUselessRevisions=329401
1.09 nbAssignments=617 nbFailedAssignments=252 nbBacktracks=326 nbVisitedNodes=1054 nbRestartNogoods=18 mapSize=266
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.251 cpuTime=0.2 mem=14M886
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1312974 nbPropagations=48929 nbRevisions=644038 nbUselessRevisions=512919
1.18 nbAssignments=940 nbFailedAssignments=398 nbBacktracks=497 nbVisitedNodes=1620 nbRestartNogoods=22 mapSize=415
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.338 cpuTime=0.28 mem=14M886
1.30
1.30 search
1.30 run=8 nbConstraintChecks=1897574 nbPropagations=74046 nbRevisions=982326 nbUselessRevisions=782940
1.30 nbAssignments=1380 nbFailedAssignments=576 nbBacktracks=753 nbVisitedNodes=2384 nbRestartNogoods=27
1.30 mapSize=633 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.457 cpuTime=0.39 mem=14M886
1.48
1.48 search
1.48 run=9 nbConstraintChecks=2877608 nbPropagations=112112 nbRevisions=1496006 nbUselessRevisions=1191610
1.48 nbAssignments=2061 nbFailedAssignments=865 nbBacktracks=1139 nbVisitedNodes=3578 nbRestartNogoods=34
1.48 mapSize=966 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.64 cpuTime=0.56 mem=14M886
1.51
1.51 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=14M886)
1.72
1.72 search
1.72 run=10 nbConstraintChecks=4287247 nbPropagations=169252 nbRevisions=2270501 nbUselessRevisions=1808592
1.72 nbAssignments=3124 nbFailedAssignments=1345 nbBacktracks=1715 nbVisitedNodes=5441 nbRestartNogoods=39
1.72 => wckTime=0.881 cpuTime=0.79 mem=14M886
2.06
2.06 search
2.06 run=11 nbConstraintChecks=6416871 nbPropagations=254172 nbRevisions=3422664 nbUselessRevisions=2725161
2.06 nbAssignments=4632 nbFailedAssignments=1982 nbBacktracks=2579 nbVisitedNodes=8059 nbRestartNogoods=45
2.06 => wckTime=1.216 cpuTime=1.13 mem=14M886
2.58
2.58 search
2.58 run=12 nbConstraintChecks=9809740 nbPropagations=382521 nbRevisions=5165248 nbUselessRevisions=4108497
2.58 nbAssignments=6893 nbFailedAssignments=2941 nbBacktracks=3876 nbVisitedNodes=12033 nbRestartNogoods=50
2.59 => wckTime=1.745 cpuTime=1.64 mem=14M886
3.34
3.34 search
3.34 run=13 nbConstraintChecks=14714836 nbPropagations=574856 nbRevisions=7781299 nbUselessRevisions=6186790
3.34 nbAssignments=10302 nbFailedAssignments=4400 nbBacktracks=5822 nbVisitedNodes=18011 nbRestartNogoods=55
3.34 => wckTime=2.499 cpuTime=2.4 mem=14M886
4.46
4.46 search
4.46 run=14 nbConstraintChecks=21718794 nbPropagations=862887 nbRevisions=11706147 nbUselessRevisions=9311978
4.46 nbAssignments=15444 nbFailedAssignments=6615 nbBacktracks=8742 nbVisitedNodes=27091 nbRestartNogoods=62
4.46 => wckTime=3.624 cpuTime=3.51 mem=14M886
6.17
6.17 search
6.17 run=15 nbConstraintChecks=32770538 nbPropagations=1293500 nbRevisions=17568900 nbUselessRevisions=13973353
6.17 nbAssignments=23049 nbFailedAssignments=9836 nbBacktracks=13121 nbVisitedNodes=40482 nbRestartNogoods=75
6.17 => wckTime=5.333 cpuTime=5.2 mem=14M886
8.57
8.57 search
8.57 run=16 nbConstraintChecks=47867409 nbPropagations=1928789 nbRevisions=26244803 nbUselessRevisions=20884186
8.57 nbAssignments=34291 nbFailedAssignments=14503 nbBacktracks=19691 nbVisitedNodes=60067 nbRestartNogoods=89
8.57 => wckTime=7.729 cpuTime=7.57 mem=14M886
12.33
12.33 search
12.33 run=17 nbConstraintChecks=72619311 nbPropagations=2880412 nbRevisions=39239024 nbUselessRevisions=31220835
12.33 nbAssignments=51208 nbFailedAssignments=21564 nbBacktracks=29543 nbVisitedNodes=89757 nbRestartNogoods=96
12.33 => wckTime=11.493 cpuTime=11.31 mem=14M886
18.10
18.10 search
18.10 run=18 nbConstraintChecks=109914532 nbPropagations=4316512 nbRevisions=58921403 nbUselessRevisions=46885932
18.10 nbAssignments=76806 nbFailedAssignments=32376 nbBacktracks=44321 nbVisitedNodes=134789 nbRestartNogoods=104
18.10 => wckTime=17.256 cpuTime=17.01 mem=14M886
26.45
26.45 search
26.45 run=19 nbConstraintChecks=163946517 nbPropagations=6450879 nbRevisions=88084550 nbUselessRevisions=70076033
26.45 nbAssignments=113931 nbFailedAssignments=47327 nbBacktracks=66489 nbVisitedNodes=199268 nbRestartNogoods=113
26.45 => wckTime=25.606 cpuTime=25.28 mem=14M886
39.29
39.29 search
39.29 run=20 nbConstraintChecks=248180013 nbPropagations=9658266 nbRevisions=131863671 nbUselessRevisions=104851899
39.29 nbAssignments=170261 nbFailedAssignments=70400 nbBacktracks=99743 nbVisitedNodes=297437 nbRestartNogoods=128
39.29 => wckTime=38.448 cpuTime=38.02 mem=14M886
45.91
45.91 search
45.91 run=21 nbConstraintChecks=291636592 nbPropagations=13411302 nbRevisions=183065510 nbUselessRevisions=145494465
45.91 nbAssignments=198540 nbFailedAssignments=82258 nbBacktracks=116165 nbVisitedNodes=346781 nbRestartNogoods=132
45.91 => wckTime=45.07 cpuTime=44.58 mem=14M886
45.91
45.91 global
45.91 nbConstraintChecks=291636592 nbPropagations=13411342 nbRevisions=183065510 nbUselessRevisions=145494465
45.91 nbRestartNogoods=132 solvingWckTime=45.071 solvingCpuTime=44.58 expiredTime=no totalExploration=yes
45.91 nbFoundSolutions=0 globalCpuTime=45.0
45.91 => wckTime=45.595 cpuTime=44.95 mem=14M886
45.91
45.91 s UNSATISFIABLE
45.91 d NODES 198540
45.91 d CHECKS 291636592
45.91
45.92 totalWckTime=45.678 totalCpuTime=45.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-203032-1168072793 -o ROOT/results/node72/solver-203032-1168072793 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203032-1168072793/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.98 1.83 1.42 5/93 32182
/proc/meminfo: memFree=1288936/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=906644 CPUtime=0.02
/proc/32181/stat : 32181 (java) S 32179 32181 31814 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 155688124 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 226661 1818 1036 14 0 214244 0
[pid=32181/tid=32183] ppid=32179 vsize=906644 CPUtime=0
/proc/32181/task/32183/stat : 32183 (java) R 32179 32181 31814 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155688127 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104048 s]
/proc/loadavg: 1.98 1.83 1.42 5/93 32182
/proc/meminfo: memFree=1288936/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=914988 CPUtime=0.08
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 2980 0 1 0 7 1 0 0 20 0 8 0 155688124 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154107903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228747 2726 1423 14 0 215242 0
[pid=32181/tid=32183] ppid=32179 vsize=914988 CPUtime=0
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155688127 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512083 s]
/proc/loadavg: 1.98 1.83 1.42 5/93 32182
/proc/meminfo: memFree=1288936/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915328 CPUtime=0.49
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 6770 0 1 0 45 4 0 0 22 0 8 0 155688124 937295872 6509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228832 6509 2137 14 0 215302 0
[pid=32181/tid=32183] ppid=32179 vsize=915328 CPUtime=0
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155688127 937295872 6509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33316 s]
/proc/loadavg: 1.98 1.83 1.42 3/100 32189
/proc/meminfo: memFree=1265520/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=1.3
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8623 0 1 0 124 6 0 0 25 0 8 0 155688124 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8361 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155688127 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.21
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 377 0 0 0 20 1 0 0 15 0 8 0 155688131 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.9703 s]
/proc/loadavg: 1.98 1.83 1.42 3/100 32189
/proc/meminfo: memFree=1265264/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=2.93
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8664 0 1 0 286 7 0 0 25 0 8 0 155688124 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8401 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 155688127 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.23
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155688131 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.17159 s]
/proc/loadavg: 1.98 1.83 1.42 3/100 32189
/proc/meminfo: memFree=1265200/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=6.1
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8670 0 1 0 603 7 0 0 25 0 8 0 155688124 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8406 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155688127 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.23
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155688131 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915456
[startup+12.6382 s]
/proc/loadavg: 1.98 1.83 1.42 3/100 32189
/proc/meminfo: memFree=1265208/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=12.5
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8678 0 1 0 1243 7 0 0 25 0 8 0 155688124 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8413 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155688127 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.23
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155688131 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915456
[startup+25.5023 s]
/proc/loadavg: 1.98 1.84 1.43 3/100 32189
/proc/meminfo: memFree=1265144/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=25.25
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8681 0 1 0 2518 7 0 0 25 0 8 0 155688124 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8416 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155688127 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.23
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155688131 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 45.9397
CPU time (s): 45.4971
CPU user time (s): 45.4141
CPU system time (s): 0.082987
CPU usage (%): 99.0366
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.4141
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8778
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= 2039
involuntary context switches= 3209
runsolver used 0.054991 s user time and 0.162975 s system time
The end
Begin job on node72 on Sat Jan 6 08:39:53 UTC 2007
IDJOB= 203032
IDBENCH= 3904
FILE ID= node72/203032-1168072793
PBS_JOBID= 3475972
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203032-1168072793/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-203032-1168072793 -o ROOT/results/node72/solver-203032-1168072793 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203032-1168072793/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d52e5670b32f8342bb66c4f4342e01aa
RANDOM SEED= 219151816
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.223
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.223
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: 1289352 kB
Buffers: 40268 kB
Cached: 433556 kB
SwapCached: 0 kB
Active: 311152 kB
Inactive: 382516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1289352 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2016 kB
Writeback: 0 kB
Mapped: 248892 kB
Slab: 57116 kB
Committed_AS: 3378840 kB
PageTables: 2652 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= 66546 MiB
End job on node72 on Sat Jan 6 08:40:39 UTC 2007