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/218018-1168079529/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.099 cpuTime=0.1 mem=6M951
0.41
0.41 relations being loaded...
0.68
0.68 constraints being loaded...
0.84 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.84 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.84 => wckTime=0.526 cpuTime=0.49 mem=41M538
0.92
0.92 solver IterativeSystematicSolver being built...
1.09 => wckTime=0.773 cpuTime=0.61 mem=21M118
1.09
1.09 preprocessing
1.09 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.09 detectedInconsistency=no
1.09 => wckTime=0.0020 cpuTime=0.01 mem=21M118
1.18
1.18 search
1.18 run=0 nbConstraintChecks=17042 nbValidityChecks=27535 nbPropagations=219 nbRevisions=1918
1.18 nbUselessRevisions=1494 nbAssignments=21 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=35
1.18 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.089 cpuTime=0.06 mem=21M118
1.24
1.24 search
1.25 run=1 nbConstraintChecks=47771 nbValidityChecks=98267 nbPropagations=928 nbRevisions=9768
1.25 nbUselessRevisions=7794 nbAssignments=80 nbFailedAssignments=48 nbBacktracks=25 nbVisitedNodes=145
1.25 nbRestartNogoods=1 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.154 cpuTime=0.12 mem=21M118
1.30
1.30 search
1.30 run=2 nbConstraintChecks=80578 nbValidityChecks=165024 nbPropagations=2134 nbRevisions=22894
1.30 nbUselessRevisions=18147 nbAssignments=131 nbFailedAssignments=74 nbBacktracks=47 nbVisitedNodes=237
1.30 nbRestartNogoods=2 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.209 cpuTime=0.16 mem=21M118
1.40
1.40 search
1.40 run=3 nbConstraintChecks=145590 nbValidityChecks=295548 nbPropagations=4214 nbRevisions=44729
1.40 nbUselessRevisions=35335 nbAssignments=217 nbFailedAssignments=121 nbBacktracks=83 nbVisitedNodes=394
1.40 nbRestartNogoods=4 mapSize=74 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.308 cpuTime=0.26 mem=21M118
1.50
1.50 search
1.50 run=4 nbConstraintChecks=220122 nbValidityChecks=447523 nbPropagations=7462 nbRevisions=78977
1.50 nbUselessRevisions=62061 nbAssignments=332 nbFailedAssignments=183 nbBacktracks=133 nbVisitedNodes=598
1.50 nbRestartNogoods=8 mapSize=117 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.409 cpuTime=0.36 mem=21M118
1.66
1.66 search
1.66 run=5 nbConstraintChecks=333471 nbValidityChecks=676398 nbPropagations=12307 nbRevisions=129376
1.66 nbUselessRevisions=101400 nbAssignments=493 nbFailedAssignments=266 nbBacktracks=209 nbVisitedNodes=882
1.66 nbRestartNogoods=11 mapSize=182 nbInferences=0 nbTooLargeKeys=0
1.66 => wckTime=0.564 cpuTime=0.51 mem=21M118
1.97
1.97 search
1.97 run=6 nbConstraintChecks=575688 nbValidityChecks=1164998 nbPropagations=20123 nbRevisions=216697
1.97 nbUselessRevisions=169844 nbAssignments=781 nbFailedAssignments=438 nbBacktracks=322 nbVisitedNodes=1426
1.97 nbRestartNogoods=14 mapSize=289 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.881 cpuTime=0.82 mem=21M118
2.33
2.33 search
2.33 run=7 nbConstraintChecks=847226 nbValidityChecks=1708076 nbPropagations=31725 nbRevisions=344119
2.33 nbUselessRevisions=269246 nbAssignments=1165 nbFailedAssignments=648 nbBacktracks=493 nbVisitedNodes=2129
2.33 nbRestartNogoods=16 mapSize=444 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=1.239 cpuTime=1.17 mem=21M118
2.96
2.96 search
2.96 run=8 nbConstraintChecks=1323852 nbValidityChecks=2710298 nbPropagations=50851 nbRevisions=548903
2.96 nbUselessRevisions=427857 nbAssignments=1847 nbFailedAssignments=1069 nbBacktracks=749 nbVisitedNodes=3419
2.96 nbRestartNogoods=20 mapSize=684 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=1.865 cpuTime=1.78 mem=21M118
3.79
3.79 search
3.79 run=9 nbConstraintChecks=1992139 nbValidityChecks=4056170 nbPropagations=79401 nbRevisions=852932
3.79 nbUselessRevisions=663060 nbAssignments=2769 nbFailedAssignments=1602 nbBacktracks=1133 nbVisitedNodes=5125
3.79 nbRestartNogoods=24 mapSize=1027 nbInferences=0 nbTooLargeKeys=0
3.79 => wckTime=2.697 cpuTime=2.59 mem=22M86
3.82
3.82 INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=22M86)
4.99
4.99 search
4.99 run=10 nbConstraintChecks=2975960 nbValidityChecks=6078095 nbPropagations=122821 nbRevisions=1305560
4.99 nbUselessRevisions=1012191 nbAssignments=4128 nbFailedAssignments=2380 nbBacktracks=1710 nbVisitedNodes=7641
4.99 nbRestartNogoods=32
4.99 => wckTime=3.903 cpuTime=3.79 mem=22M86
6.52
6.52 search
6.52 run=11 nbConstraintChecks=4256616 nbValidityChecks=8566801 nbPropagations=184650 nbRevisions=1944249
6.52 nbUselessRevisions=1505304 nbAssignments=5809 nbFailedAssignments=3195 nbBacktracks=2574 nbVisitedNodes=10643
6.52 nbRestartNogoods=49
6.52 => wckTime=5.426 cpuTime=5.3 mem=22M86
9.69
9.69 search
9.69 run=12 nbConstraintChecks=6997694 nbValidityChecks=14013395 nbPropagations=278006 nbRevisions=2949586
9.69 nbUselessRevisions=2285123 nbAssignments=9241 nbFailedAssignments=5325 nbBacktracks=3874 nbVisitedNodes=17035
9.69 nbRestartNogoods=67
9.69 => wckTime=8.601 cpuTime=8.46 mem=22M86
13.24
13.24 search
13.24 run=13 nbConstraintChecks=10029118 nbValidityChecks=20022006 nbPropagations=413894 nbRevisions=4389913
13.24 nbUselessRevisions=3402924 nbAssignments=13267 nbFailedAssignments=7401 nbBacktracks=5820 nbVisitedNodes=24318
13.24 nbRestartNogoods=79
13.24 => wckTime=12.153 cpuTime=11.99 mem=22M86
20.89
20.89 search
20.89 run=14 nbConstraintChecks=16493198 nbValidityChecks=33019313 nbPropagations=630302 nbRevisions=6791066
20.89 nbUselessRevisions=5273567 nbAssignments=20573 nbFailedAssignments=11783 nbBacktracks=8740 nbVisitedNodes=38080
20.89 nbRestartNogoods=95
20.89 => wckTime=19.803 cpuTime=19.6 mem=22M86
29.26
29.26 search
29.26 run=15 nbConstraintChecks=23641992 nbValidityChecks=47404810 nbPropagations=945703 nbRevisions=10225162
29.26 nbUselessRevisions=7945862 nbAssignments=30446 nbFailedAssignments=17274 nbBacktracks=13119
29.26 nbVisitedNodes=56139 nbRestartNogoods=97
29.26 => wckTime=28.172 cpuTime=27.93 mem=22M86
42.92
42.92 search
42.92 run=16 nbConstraintChecks=35308347 nbValidityChecks=70437453 nbPropagations=1415199 nbRevisions=15264748
42.92 nbUselessRevisions=11866381 nbAssignments=44725 nbFailedAssignments=24979 nbBacktracks=19691
42.92 nbVisitedNodes=82243 nbRestartNogoods=107
42.92 => wckTime=41.826 cpuTime=41.52 mem=22M86
64.96
64.96 search
64.96 run=17 nbConstraintChecks=54263874 nbValidityChecks=107192313 nbPropagations=2121024 nbRevisions=22787166
64.96 nbUselessRevisions=17719269 nbAssignments=66315 nbFailedAssignments=36713 nbBacktracks=29543
64.96 nbVisitedNodes=121843 nbRestartNogoods=116
64.96 => wckTime=63.871 cpuTime=63.46 mem=22M86
78.34
78.34 search
78.34 run=18 nbConstraintChecks=65579300 nbValidityChecks=129887924 nbPropagations=2978039 nbRevisions=31950002
78.34 nbUselessRevisions=24854520 nbAssignments=80141 nbFailedAssignments=44064 nbBacktracks=36019
78.34 nbVisitedNodes=147135 nbRestartNogoods=128
78.34 => wckTime=77.25 cpuTime=76.77 mem=22M86
78.34
78.34 global
78.34 nbConstraintChecks=65579300 nbValidityChecks=129887924 nbPropagations=2978059 nbRevisions=31950002
78.34 nbUselessRevisions=24854520 nbRestartNogoods=128 solvingWckTime=77.252 solvingCpuTime=76.77 expiredTime=no
78.34 totalExploration=yes nbFoundSolutions=0 globalCpuTime=77.42
78.34 => wckTime=78.028 cpuTime=77.38 mem=22M86
78.35
78.35 s UNSATISFIABLE
78.35 d NODES 80141
78.35 d CHECKS 65579300
78.35
78.35 totalWckTime=78.11 totalCpuTime=77.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-218018-1168079529 -o ROOT/results/node40/solver-218018-1168079529 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218018-1168079529/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.49 1.83 1.78 4/80 27493
/proc/meminfo: memFree=1663000/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=18540 CPUtime=0
/proc/27492/stat : 27492 (runsolver) R 27490 27492 26920 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156352271 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27492/statm: 4635 279 244 17 0 2626 0
[startup+0.10973 s]
/proc/loadavg: 1.49 1.83 1.78 4/80 27493
/proc/meminfo: memFree=1663000/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=914988 CPUtime=0.09
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 3018 0 1 0 8 1 0 0 17 0 8 0 156352271 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153549371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228747 2764 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517786 s]
/proc/loadavg: 1.49 1.83 1.78 4/80 27493
/proc/meminfo: memFree=1663000/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915328 CPUtime=0.49
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 7612 0 1 0 45 4 0 0 18 0 8 0 156352271 937295872 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228832 7351 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33889 s]
/proc/loadavg: 1.49 1.83 1.78 4/87 27500
/proc/meminfo: memFree=1606688/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=1.31
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16787 0 1 0 122 9 0 0 23 0 8 0 156352271 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16524 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.17
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 357 0 0 0 17 0 0 0 15 0 8 0 156352278 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.9861 s]
/proc/loadavg: 1.61 1.85 1.79 3/87 27500
/proc/meminfo: memFree=1606496/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=2.96
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16806 0 1 0 286 10 0 0 25 0 8 0 156352271 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16542 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 17 0 8 0 156352275 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.21
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 375 0 0 0 21 0 0 0 15 0 8 0 156352278 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.19352 s]
/proc/loadavg: 1.61 1.85 1.79 3/87 27500
/proc/meminfo: memFree=1598496/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=6.14
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16815 0 1 0 604 10 0 0 25 0 8 0 156352271 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16549 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.23
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 156352278 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915460
[startup+12.6674 s]
/proc/loadavg: 1.67 1.86 1.79 3/87 27500
/proc/meminfo: memFree=1598496/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=12.58
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16818 0 1 0 1248 10 0 0 25 0 8 0 156352271 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16550 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.24
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 385 0 0 0 23 1 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915460
[startup+25.535 s]
/proc/loadavg: 1.72 1.86 1.79 3/87 27500
/proc/meminfo: memFree=1598624/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=25.39
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16818 0 1 0 2529 10 0 0 25 0 8 0 156352271 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16550 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.24
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 385 0 0 0 23 1 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915460
[startup+51.1643 s]
/proc/loadavg: 1.81 1.87 1.80 3/87 27500
/proc/meminfo: memFree=1598688/2055920 swapFree=4192812/4192956
[pid=27492] ppid=27490 vsize=915460 CPUtime=50.89
/proc/27492/stat : 27492 (java) R 27490 27492 26920 0 -1 0 16818 0 1 0 5079 10 0 0 25 0 8 0 156352271 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27492/statm: 228865 16550 2517 14 0 215335 0
[pid=27492/tid=27494] ppid=27490 vsize=915460 CPUtime=0.06
/proc/27492/task/27494/stat : 27494 (java) S 27490 27492 26920 0 -1 64 1746 0 0 0 6 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27495] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27495/stat : 27495 (java) S 27490 27492 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27496] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27496/stat : 27496 (java) S 27490 27492 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156352275 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27497] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27497/stat : 27497 (java) S 27490 27492 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27498] ppid=27490 vsize=915460 CPUtime=0.24
/proc/27492/task/27498/stat : 27498 (java) S 27490 27492 26920 0 -1 64 385 0 0 0 23 1 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27499] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27499/stat : 27499 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27492/tid=27500] ppid=27490 vsize=915460 CPUtime=0
/proc/27492/task/27500/stat : 27500 (java) S 27490 27492 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156352278 937431040 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 78.3828
CPU time (s): 77.9741
CPU user time (s): 77.8552
CPU system time (s): 0.118981
CPU usage (%): 99.4787
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.8552
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16824
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= 2581
involuntary context switches= 3640
runsolver used 0.091986 s user time and 0.267959 s system time
The end
Begin job on node40 on Sat Jan 6 10:32:09 UTC 2007
IDJOB= 218018
IDBENCH= 5189
FILE ID= node40/218018-1168079529
PBS_JOBID= 3476071
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218018-1168079529/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-218018-1168079529 -o ROOT/results/node40/solver-218018-1168079529 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218018-1168079529/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d5af35334a8778ebb0d07932167b6266
RANDOM SEED= 276262406
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.239
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.239
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: 1663416 kB
Buffers: 20448 kB
Cached: 203340 kB
SwapCached: 0 kB
Active: 147148 kB
Inactive: 174372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1663416 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6732 kB
Writeback: 0 kB
Mapped: 117976 kB
Slab: 56212 kB
Committed_AS: 3767288 kB
PageTables: 1980 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= 66540 MiB
End job on node40 on Sat Jan 6 10:33:28 UTC 2007