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/228813-1168080913/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.46
0.46 constraints being loaded...
0.57 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1370 maxDegree=19
0.57 maxArity=2
0.57 => wckTime=0.273 cpuTime=0.19 mem=11M828
0.60
0.60 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.459 cpuTime=0.32 mem=13M736
0.76
0.76 preprocessing
0.76 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.76 detectedInconsistency=no
0.76 => wckTime=0.0030 cpuTime=0.0 mem=13M736
0.80
0.80 search
0.80 run=0 nbConstraintChecks=22578 nbPropagations=441 nbRevisions=4000 nbUselessRevisions=3124 nbAssignments=25
0.80 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.80 nbTooLargeKeys=0
0.80 => wckTime=0.049 cpuTime=0.02 mem=14M711
0.82
0.82 search
0.82 run=1 nbConstraintChecks=59495 nbPropagations=1526 nbRevisions=14444 nbUselessRevisions=11136 nbAssignments=60
0.82 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=100 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.067 cpuTime=0.04 mem=14M711
0.84
0.84 search
0.84 run=2 nbConstraintChecks=101791 nbPropagations=3428 nbRevisions=33126 nbUselessRevisions=25443
0.84 nbAssignments=106 nbFailedAssignments=38 nbBacktracks=48 nbVisitedNodes=175 nbRestartNogoods=4 mapSize=37
0.84 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.088 cpuTime=0.05 mem=14M711
0.85
0.85 search
0.85 run=3 nbConstraintChecks=151628 nbPropagations=6282 nbRevisions=61056 nbUselessRevisions=46908
0.85 nbAssignments=162 nbFailedAssignments=57 nbBacktracks=82 nbVisitedNodes=265 nbRestartNogoods=8 mapSize=63
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.1 cpuTime=0.06 mem=14M711
0.88
0.88 search
0.88 run=4 nbConstraintChecks=261003 nbPropagations=10969 nbRevisions=109032 nbUselessRevisions=83677
0.88 nbAssignments=261 nbFailedAssignments=98 nbBacktracks=133 nbVisitedNodes=436 nbRestartNogoods=9 mapSize=105
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.123 cpuTime=0.08 mem=14M711
0.91
0.91 search
0.91 run=5 nbConstraintChecks=379588 nbPropagations=17803 nbRevisions=180291 nbUselessRevisions=138779
0.91 nbAssignments=386 nbFailedAssignments=140 nbBacktracks=211 nbVisitedNodes=641 nbRestartNogoods=14 mapSize=167
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.15 cpuTime=0.11 mem=14M711
0.95
0.95 search
0.95 run=6 nbConstraintChecks=592758 nbPropagations=28378 nbRevisions=290355 nbUselessRevisions=223684
0.95 nbAssignments=576 nbFailedAssignments=210 nbBacktracks=324 nbVisitedNodes=967 nbRestartNogoods=17 mapSize=258
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.191 cpuTime=0.15 mem=14M711
1.00
1.00 search
1.00 run=7 nbConstraintChecks=896089 nbPropagations=44477 nbRevisions=459111 nbUselessRevisions=353433
1.00 nbAssignments=901 nbFailedAssignments=358 nbBacktracks=494 nbVisitedNodes=1534 nbRestartNogoods=23 mapSize=402
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.251 cpuTime=0.2 mem=14M711
1.09
1.09 search
1.09 run=8 nbConstraintChecks=1336571 nbPropagations=68797 nbRevisions=715723 nbUselessRevisions=550848
1.09 nbAssignments=1345 nbFailedAssignments=541 nbBacktracks=752 nbVisitedNodes=2306 nbRestartNogoods=28
1.09 mapSize=617 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.339 cpuTime=0.29 mem=14M711
1.24
1.24 search
1.24 run=9 nbConstraintChecks=2078493 nbPropagations=106184 nbRevisions=1116922 nbUselessRevisions=859250
1.24 nbAssignments=2043 nbFailedAssignments=849 nbBacktracks=1136 nbVisitedNodes=3543 nbRestartNogoods=32
1.24 mapSize=952 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.488 cpuTime=0.42 mem=14M711
1.27
1.27 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=14M711)
1.44
1.44 search
1.44 run=10 nbConstraintChecks=3211999 nbPropagations=164353 nbRevisions=1743489 nbUselessRevisions=1341351
1.44 nbAssignments=3116 nbFailedAssignments=1339 nbBacktracks=1713 nbVisitedNodes=5457 nbRestartNogoods=42
1.44 => wckTime=0.683 cpuTime=0.61 mem=14M711
1.68
1.68 search
1.68 run=11 nbConstraintChecks=4774694 nbPropagations=250229 nbRevisions=2670073 nbUselessRevisions=2052837
1.68 nbAssignments=4621 nbFailedAssignments=1975 nbBacktracks=2578 nbVisitedNodes=8092 nbRestartNogoods=48
1.68 => wckTime=0.927 cpuTime=0.85 mem=14M711
2.04
2.04 search
2.04 run=12 nbConstraintChecks=7104213 nbPropagations=377720 nbRevisions=4054591 nbUselessRevisions=3116878
2.04 nbAssignments=6868 nbFailedAssignments=2921 nbBacktracks=3875 nbVisitedNodes=12060 nbRestartNogoods=55
2.04 => wckTime=1.29 cpuTime=1.2 mem=14M711
2.61
2.61 search
2.61 run=13 nbConstraintChecks=10721327 nbPropagations=570198 nbRevisions=6145855 nbUselessRevisions=4722903
2.61 nbAssignments=10359 nbFailedAssignments=4460 nbBacktracks=5821 nbVisitedNodes=18237 nbRestartNogoods=63
2.61 => wckTime=1.852 cpuTime=1.76 mem=14M711
3.40
3.40 search
3.40 run=14 nbConstraintChecks=15873952 nbPropagations=854878 nbRevisions=9215430 nbUselessRevisions=7077017
3.40 nbAssignments=15213 nbFailedAssignments=6389 nbBacktracks=8740 nbVisitedNodes=26655 nbRestartNogoods=74
3.40 => wckTime=2.648 cpuTime=2.55 mem=14M711
4.64
4.64 search
4.64 run=15 nbConstraintChecks=23983753 nbPropagations=1279809 nbRevisions=13840134 nbUselessRevisions=10626430
4.64 nbAssignments=22882 nbFailedAssignments=9671 nbBacktracks=13118 nbVisitedNodes=40119 nbRestartNogoods=82
4.64 => wckTime=3.883 cpuTime=3.77 mem=14M711
6.50
6.50 search
6.50 run=16 nbConstraintChecks=36099090 nbPropagations=1919016 nbRevisions=20776704 nbUselessRevisions=15948026
6.50 nbAssignments=34161 nbFailedAssignments=14377 nbBacktracks=19687 nbVisitedNodes=59980 nbRestartNogoods=87
6.50 => wckTime=5.745 cpuTime=5.62 mem=14M711
9.20
9.20 search
9.20 run=17 nbConstraintChecks=53799906 nbPropagations=2865533 nbRevisions=31034404 nbUselessRevisions=23813555
9.20 nbAssignments=50489 nbFailedAssignments=20848 nbBacktracks=29539 nbVisitedNodes=88358 nbRestartNogoods=96
9.20 => wckTime=8.447 cpuTime=8.3 mem=14M711
13.42
13.42 search
13.42 run=18 nbConstraintChecks=80049817 nbPropagations=4275458 nbRevisions=46320850 nbUselessRevisions=35542426
13.42 nbAssignments=75144 nbFailedAssignments=30721 nbBacktracks=44318 nbVisitedNodes=131336 nbRestartNogoods=111
13.42 => wckTime=12.663 cpuTime=12.52 mem=14M711
15.55
15.55 search
15.55 run=19 nbConstraintChecks=93372206 nbPropagations=5918092 nbRevisions=64143931 nbUselessRevisions=49224085
15.55 nbAssignments=87383 nbFailedAssignments=35639 nbBacktracks=51640 nbVisitedNodes=152681 nbRestartNogoods=113
15.55 => wckTime=14.8 cpuTime=14.65 mem=14M711
15.56
15.56 global
15.56 nbConstraintChecks=93372206 nbPropagations=5918132 nbRevisions=64143931 nbUselessRevisions=49224085
15.56 nbRestartNogoods=113 solvingWckTime=14.801 solvingCpuTime=14.66 expiredTime=no totalExploration=yes
15.56 nbFoundSolutions=0 globalCpuTime=15.04
15.56 => wckTime=15.263 cpuTime=14.98 mem=14M711
15.56
15.56 s UNSATISFIABLE
15.56 d NODES 87383
15.56 d CHECKS 93372206
15.56
15.56 totalWckTime=15.338 totalCpuTime=15.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-228813-1168080913 -o ROOT/results/node4/solver-228813-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228813-1168080913/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.56 1.40 1.77 3/93 13077
/proc/meminfo: memFree=1128624/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=18540 CPUtime=0
/proc/13076/stat : 13076 (runsolver) R 13074 13076 12315 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156488028 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13076/statm: 4635 279 244 17 0 2626 0
[startup+0.107557 s]
/proc/loadavg: 0.56 1.40 1.77 3/93 13077
/proc/meminfo: memFree=1128624/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=914988 CPUtime=0.08
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 3075 0 1 0 7 1 0 0 24 0 8 0 156488028 936947712 2821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519595 s]
/proc/loadavg: 0.56 1.40 1.77 3/93 13077
/proc/meminfo: memFree=1128624/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915328 CPUtime=0.5
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 6939 0 1 0 46 4 0 0 25 0 8 0 156488028 937295872 6678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228832 6678 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34867 s]
/proc/loadavg: 0.56 1.40 1.77 3/100 13084
/proc/meminfo: memFree=1105272/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915452 CPUtime=1.32
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 8592 0 1 0 126 6 0 0 25 0 8 0 156488028 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228863 8330 2513 14 0 215333 0
[pid=13076/tid=13078] ppid=13074 vsize=915452 CPUtime=0.02
/proc/13076/task/13078/stat : 13078 (java) S 13074 13076 12315 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156488032 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13079] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13079/stat : 13079 (java) S 13074 13076 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488033 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13080] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13080/stat : 13080 (java) S 13074 13076 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488033 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13081] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13081/stat : 13081 (java) S 13074 13076 12315 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488036 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13082] ppid=13074 vsize=915452 CPUtime=0.19
/proc/13076/task/13082/stat : 13082 (java) R 13074 13076 12315 0 -1 64 383 0 0 0 19 0 0 0 16 0 8 0 156488036 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153534163 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13083] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13083/stat : 13083 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156488036 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13084] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13084/stat : 13084 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488036 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
[startup+2.98783 s]
/proc/loadavg: 0.76 1.43 1.78 3/100 13084
/proc/meminfo: memFree=1105144/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915452 CPUtime=2.94
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 8606 0 1 0 288 6 0 0 25 0 8 0 156488028 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228863 8343 2513 14 0 215333 0
[pid=13076/tid=13078] ppid=13074 vsize=915452 CPUtime=0.02
/proc/13076/task/13078/stat : 13078 (java) S 13074 13076 12315 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156488032 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13079] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13079/stat : 13079 (java) S 13074 13076 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488033 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13080] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13080/stat : 13080 (java) S 13074 13076 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488033 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13081] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13081/stat : 13081 (java) S 13074 13076 12315 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488036 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13082] ppid=13074 vsize=915452 CPUtime=0.2
/proc/13076/task/13082/stat : 13082 (java) S 13074 13076 12315 0 -1 64 387 0 0 0 20 0 0 0 16 0 8 0 156488036 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13083] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13083/stat : 13083 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156488036 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13084] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13084/stat : 13084 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488036 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26814 s]
/proc/loadavg: 0.76 1.43 1.78 3/100 13084
/proc/meminfo: memFree=1105144/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915452 CPUtime=6.2
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 8612 0 1 0 614 6 0 0 25 0 8 0 156488028 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228863 8348 2513 14 0 215333 0
[pid=13076/tid=13078] ppid=13074 vsize=915452 CPUtime=0.02
/proc/13076/task/13078/stat : 13078 (java) S 13074 13076 12315 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156488032 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13079] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13079/stat : 13079 (java) S 13074 13076 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488033 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13080] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13080/stat : 13080 (java) S 13074 13076 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488033 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13081] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13081/stat : 13081 (java) S 13074 13076 12315 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488036 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13082] ppid=13074 vsize=915452 CPUtime=0.2
/proc/13076/task/13082/stat : 13082 (java) S 13074 13076 12315 0 -1 64 387 0 0 0 20 0 0 0 16 0 8 0 156488036 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13083] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13083/stat : 13083 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156488036 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13084] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13084/stat : 13084 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488036 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
[startup+12.7508 s]
/proc/loadavg: 0.87 1.43 1.78 2/88 13084
/proc/meminfo: memFree=1129240/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915452 CPUtime=12.66
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 8617 0 1 0 1260 6 0 0 25 0 8 0 156488028 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13076/statm: 228863 8353 2513 14 0 215333 0
[pid=13076/tid=13078] ppid=13074 vsize=915452 CPUtime=0.02
/proc/13076/task/13078/stat : 13078 (java) S 13074 13076 12315 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156488032 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13079] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13079/stat : 13079 (java) S 13074 13076 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488033 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13080] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13080/stat : 13080 (java) S 13074 13076 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488033 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13081] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13081/stat : 13081 (java) S 13074 13076 12315 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488036 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13082] ppid=13074 vsize=915452 CPUtime=0.2
/proc/13076/task/13082/stat : 13082 (java) S 13074 13076 12315 0 -1 64 387 0 0 0 20 0 0 0 16 0 8 0 156488036 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13083] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13083/stat : 13083 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156488036 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13084] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13084/stat : 13084 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488036 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 15.5911
CPU time (s): 15.4846
CPU user time (s): 15.4147
CPU system time (s): 0.069989
CPU usage (%): 99.3174
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4147
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8713
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= 1402
involuntary context switches= 1999
runsolver used 0.016997 s user time and 0.050992 s system time
The end
Begin job on node4 on Sat Jan 6 10:55:17 UTC 2007
IDJOB= 228813
IDBENCH= 6236
FILE ID= node4/228813-1168080913
PBS_JOBID= 3475805
Free space on /tmp= 66306 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-55_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228813-1168080913/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-228813-1168080913 -o ROOT/results/node4/solver-228813-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228813-1168080913/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c7ae2533d1bb5f38eb528bed6db9306d
RANDOM SEED= 458004915
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: 1129296 kB
Buffers: 74004 kB
Cached: 682160 kB
SwapCached: 268 kB
Active: 454376 kB
Inactive: 376284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1129296 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3708 kB
Writeback: 0 kB
Mapped: 102732 kB
Slab: 80588 kB
Committed_AS: 4569288 kB
PageTables: 2504 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= 66306 MiB
End job on node4 on Sat Jan 6 10:55:40 UTC 2007