0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/230231-1168081045/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.54
0.54 constraints being loaded...
0.67 nbConstraints=447 nbRelationTypes=447 nbExtensionStructures=447 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=447 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4257 maxDegree=29
0.67 maxArity=2
0.67 => wckTime=0.364 cpuTime=0.27 mem=14M770
0.72
0.72 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.562 cpuTime=0.39 mem=15M191
0.88
0.88 preprocessing
0.88 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.88 detectedInconsistency=no
0.88 => wckTime=0.0090 cpuTime=0.01 mem=15M191
0.93
0.93 search
0.93 run=0 nbConstraintChecks=52548 nbPropagations=588 nbRevisions=8037 nbUselessRevisions=6597 nbAssignments=25
0.93 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.059 cpuTime=0.05 mem=15M191
0.96
0.96 search
0.96 run=1 nbConstraintChecks=114381 nbPropagations=1813 nbRevisions=25219 nbUselessRevisions=20726
0.96 nbAssignments=58 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=102 nbRestartNogoods=2 mapSize=24
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.087 cpuTime=0.06 mem=15M191
0.98
0.98 search
0.98 run=2 nbConstraintChecks=209119 nbPropagations=4007 nbRevisions=57288 nbUselessRevisions=47114
0.98 nbAssignments=106 nbFailedAssignments=43 nbBacktracks=50 nbVisitedNodes=187 nbRestartNogoods=4 mapSize=47
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.109 cpuTime=0.08 mem=15M191
1.01
1.01 search
1.01 run=3 nbConstraintChecks=329856 nbPropagations=7437 nbRevisions=108721 nbUselessRevisions=89344
1.01 nbAssignments=170 nbFailedAssignments=69 nbBacktracks=84 nbVisitedNodes=298 nbRestartNogoods=8 mapSize=77
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.132 cpuTime=0.1 mem=15M191
1.05
1.05 search
1.05 run=4 nbConstraintChecks=547445 nbPropagations=12979 nbRevisions=195312 nbUselessRevisions=160591
1.05 nbAssignments=270 nbFailedAssignments=114 nbBacktracks=134 nbVisitedNodes=479 nbRestartNogoods=10 mapSize=125
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.172 cpuTime=0.14 mem=15M191
1.10
1.10 search
1.10 run=5 nbConstraintChecks=853099 nbPropagations=21370 nbRevisions=330708 nbUselessRevisions=272543
1.10 nbAssignments=418 nbFailedAssignments=182 nbBacktracks=210 nbVisitedNodes=743 nbRestartNogoods=16 mapSize=198
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.227 cpuTime=0.19 mem=15M191
1.19
1.19 search
1.19 run=6 nbConstraintChecks=1342506 nbPropagations=34424 nbRevisions=545438 nbUselessRevisions=449904
1.19 nbAssignments=649 nbFailedAssignments=295 nbBacktracks=323 nbVisitedNodes=1170 nbRestartNogoods=19 mapSize=306
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.317 cpuTime=0.28 mem=15M191
1.30
1.30 search
1.30 run=7 nbConstraintChecks=1975398 nbPropagations=53559 nbRevisions=863671 nbUselessRevisions=712538
1.30 nbAssignments=978 nbFailedAssignments=450 nbBacktracks=493 nbVisitedNodes=1760 nbRestartNogoods=24 mapSize=462
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.424 cpuTime=0.38 mem=15M191
1.47
1.47 search
1.47 run=8 nbConstraintChecks=3034185 nbPropagations=82721 nbRevisions=1350242 nbUselessRevisions=1112789
1.47 nbAssignments=1474 nbFailedAssignments=685 nbBacktracks=749 nbVisitedNodes=2680 nbRestartNogoods=30
1.47 mapSize=710 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.595 cpuTime=0.55 mem=15M191
1.67
1.67 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=15M191)
1.71
1.71 search
1.71 run=9 nbConstraintChecks=4529576 nbPropagations=126266 nbRevisions=2088031 nbUselessRevisions=1721721
1.71 nbAssignments=2196 nbFailedAssignments=1017 nbBacktracks=1134 nbVisitedNodes=4002 nbRestartNogoods=36
1.71 => wckTime=0.839 cpuTime=0.77 mem=15M191
2.05
2.05 search
2.05 run=10 nbConstraintChecks=6886994 nbPropagations=191954 nbRevisions=3211542 nbUselessRevisions=2649438
2.05 nbAssignments=3311 nbFailedAssignments=1550 nbBacktracks=1712 nbVisitedNodes=6060 nbRestartNogoods=47
2.05 => wckTime=1.178 cpuTime=1.1 mem=15M191
2.54
2.54 search
2.54 run=11 nbConstraintChecks=10339650 nbPropagations=290848 nbRevisions=4911245 nbUselessRevisions=4052936
2.54 nbAssignments=4967 nbFailedAssignments=2337 nbBacktracks=2576 nbVisitedNodes=9106 nbRestartNogoods=59
2.54 => wckTime=1.669 cpuTime=1.59 mem=15M191
3.29
3.29 search
3.29 run=12 nbConstraintChecks=15688365 nbPropagations=439978 nbRevisions=7466591 nbUselessRevisions=6156798
3.29 nbAssignments=7475 nbFailedAssignments=3543 nbBacktracks=3874 nbVisitedNodes=13724 nbRestartNogoods=67
3.29 => wckTime=2.417 cpuTime=2.33 mem=15M191
4.37
4.37 search
4.37 run=13 nbConstraintChecks=23313743 nbPropagations=661543 nbRevisions=11267156 nbUselessRevisions=9286542
4.37 nbAssignments=11098 nbFailedAssignments=5213 nbBacktracks=5823 nbVisitedNodes=20377 nbRestartNogoods=79
4.37 => wckTime=3.497 cpuTime=3.39 mem=15M191
6.04
6.04 search
6.04 run=14 nbConstraintChecks=35114743 nbPropagations=994568 nbRevisions=17025481 nbUselessRevisions=14036560
6.04 nbAssignments=16701 nbFailedAssignments=7890 nbBacktracks=8745 nbVisitedNodes=30732 nbRestartNogoods=92
6.04 => wckTime=5.165 cpuTime=5.04 mem=15M191
8.53
8.53 search
8.53 run=15 nbConstraintChecks=53008314 nbPropagations=1494522 nbRevisions=25680043 nbUselessRevisions=21176592
8.53 nbAssignments=25142 nbFailedAssignments=11948 nbBacktracks=13123 nbVisitedNodes=46271 nbRestartNogoods=101
8.53 => wckTime=7.655 cpuTime=7.51 mem=15M191
12.18
12.18 search
12.18 run=16 nbConstraintChecks=79002313 nbPropagations=2237817 nbRevisions=38595290 nbUselessRevisions=31838806
12.18 nbAssignments=37628 nbFailedAssignments=17862 nbBacktracks=19691 nbVisitedNodes=69146 nbRestartNogoods=116
12.18 => wckTime=11.302 cpuTime=11.13 mem=15M191
17.75
17.75 search
17.75 run=17 nbConstraintChecks=119215723 nbPropagations=3358423 nbRevisions=58071728 nbUselessRevisions=47923216
17.75 nbAssignments=56511 nbFailedAssignments=26887 nbBacktracks=29544 nbVisitedNodes=104027 nbRestartNogoods=136
17.75 => wckTime=16.875 cpuTime=16.65 mem=15M191
26.14
26.14 search
26.14 run=18 nbConstraintChecks=179204535 nbPropagations=5041720 nbRevisions=87394303 nbUselessRevisions=72139491
26.14 nbAssignments=84934 nbFailedAssignments=40528 nbBacktracks=44322 nbVisitedNodes=156458 nbRestartNogoods=144
26.14 => wckTime=25.266 cpuTime=24.96 mem=15M191
38.80
38.80 search
38.80 run=19 nbConstraintChecks=270616650 nbPropagations=7573860 nbRevisions=131551743 nbUselessRevisions=108619671
38.80 nbAssignments=127281 nbFailedAssignments=60703 nbBacktracks=66490 nbVisitedNodes=234563 nbRestartNogoods=156
38.80 => wckTime=37.922 cpuTime=37.5 mem=15M191
57.94
57.94 search
57.94 run=20 nbConstraintChecks=407901733 nbPropagations=11387092 nbRevisions=198338014 nbUselessRevisions=163840307
57.94 nbAssignments=190956 nbFailedAssignments=91122 nbBacktracks=99742 nbVisitedNodes=351990 nbRestartNogoods=162
57.94 => wckTime=57.065 cpuTime=56.47 mem=15M191
63.42
63.42 search
63.42 run=21 nbConstraintChecks=447342661 nbPropagations=15566740 nbRevisions=271663222 nbUselessRevisions=224489434
63.42 nbAssignments=209172 nbFailedAssignments=99873 nbBacktracks=109208 nbVisitedNodes=385599 nbRestartNogoods=178
63.42 => wckTime=62.547 cpuTime=61.9 mem=15M191
63.42
63.42 global
63.42 nbConstraintChecks=447342661 nbPropagations=15566790 nbRevisions=271663222 nbUselessRevisions=224489434
63.42 nbRestartNogoods=178 solvingWckTime=62.548 solvingCpuTime=61.9 expiredTime=no totalExploration=yes
63.42 nbFoundSolutions=0 globalCpuTime=62.34
63.42 => wckTime=63.113 cpuTime=62.29 mem=15M191
63.43
63.43 s UNSATISFIABLE
63.43 d NODES 209172
63.43 d CHECKS 447342661
63.43
63.43 totalWckTime=63.194 totalCpuTime=62.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-230231-1168081045 -o ROOT/results/node59/solver-230231-1168081045 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230231-1168081045/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.65 1.04 1.52 3/80 25093
/proc/meminfo: memFree=1463960/2055920 swapFree=4192812/4192956
[pid=25092] ppid=25090 vsize=18540 CPUtime=0
/proc/25092/stat : 25092 (runsolver) R 25090 25092 24376 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156504214 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25092/statm: 4635 279 244 17 0 2626 0
[startup+0.10267 s]
/proc/loadavg: 0.65 1.04 1.52 3/80 25093
/proc/meminfo: memFree=1463960/2055920 swapFree=4192812/4192956
[pid=25092] ppid=25090 vsize=914988 CPUtime=0.08
/proc/25092/stat : 25092 (java) R 25090 25092 24376 0 -1 0 2994 0 1 0 7 1 0 0 20 0 8 0 156504214 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072923466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25092/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510715 s]
/proc/loadavg: 0.65 1.04 1.52 3/80 25093
/proc/meminfo: memFree=1463960/2055920 swapFree=4192812/4192956
[pid=25092] ppid=25090 vsize=915328 CPUtime=0.48
/proc/25092/stat : 25092 (java) R 25090 25092 24376 0 -1 0 6807 0 1 0 44 4 0 0 22 0 8 0 156504214 937295872 6546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073569390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25092/statm: 228832 6546 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33212 s]
/proc/loadavg: 0.65 1.04 1.52 3/87 25100
/proc/meminfo: memFree=1438688/2055920 swapFree=4192812/4192956
[pid=25092] ppid=25090 vsize=915460 CPUtime=1.3
/proc/25092/stat : 25092 (java) R 25090 25092 24376 0 -1 0 9006 0 1 0 124 6 0 0 25 0 8 0 156504214 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25092/statm: 228865 8744 2513 14 0 215335 0
[pid=25092/tid=25094] ppid=25090 vsize=915460 CPUtime=0.03
/proc/25092/task/25094/stat : 25094 (java) S 25090 25092 24376 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 156504218 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25095] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25095/stat : 25095 (java) S 25090 25092 24376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504218 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25096] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25096/stat : 25096 (java) S 25090 25092 24376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504218 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25097] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25097/stat : 25097 (java) S 25090 25092 24376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156504221 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25098] ppid=25090 vsize=915460 CPUtime=0.22
/proc/25092/task/25098/stat : 25098 (java) S 25090 25092 24376 0 -1 64 377 0 0 0 21 1 0 0 15 0 8 0 156504221 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25099] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25099/stat : 25099 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156504221 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25100] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25100/stat : 25100 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156504222 937431040 8744 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) 915460
[startup+2.98098 s]
/proc/loadavg: 0.75 1.05 1.53 3/87 25100
/proc/meminfo: memFree=1438624/2055920 swapFree=4192812/4192956
[pid=25092] ppid=25090 vsize=915460 CPUtime=2.93
/proc/25092/stat : 25092 (java) R 25090 25092 24376 0 -1 0 9022 0 1 0 287 6 0 0 25 0 8 0 156504214 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25092/statm: 228865 8759 2513 14 0 215335 0
[pid=25092/tid=25094] ppid=25090 vsize=915460 CPUtime=0.03
/proc/25092/task/25094/stat : 25094 (java) S 25090 25092 24376 0 -1 64 364 0 0 0 3 0 0 0 17 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25095] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25095/stat : 25095 (java) S 25090 25092 24376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25096] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25096/stat : 25096 (java) S 25090 25092 24376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25097] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25097/stat : 25097 (java) S 25090 25092 24376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25098] ppid=25090 vsize=915460 CPUtime=0.24
/proc/25092/task/25098/stat : 25098 (java) S 25090 25092 24376 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25099] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25099/stat : 25099 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25100] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25100/stat : 25100 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156504222 937431040 8759 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) 915460
[startup+6.18133 s]
/proc/loadavg: 0.75 1.05 1.53 3/87 25100
/proc/meminfo: memFree=1438624/2055920 swapFree=4192812/4192956
[pid=25092] ppid=25090 vsize=915460 CPUtime=6.1
/proc/25092/stat : 25092 (java) R 25090 25092 24376 0 -1 0 9024 0 1 0 604 6 0 0 25 0 8 0 156504214 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25092/statm: 228865 8759 2513 14 0 215335 0
[pid=25092/tid=25094] ppid=25090 vsize=915460 CPUtime=0.03
/proc/25092/task/25094/stat : 25094 (java) S 25090 25092 24376 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25095] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25095/stat : 25095 (java) S 25090 25092 24376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25096] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25096/stat : 25096 (java) S 25090 25092 24376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25097] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25097/stat : 25097 (java) S 25090 25092 24376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25098] ppid=25090 vsize=915460 CPUtime=0.24
/proc/25092/task/25098/stat : 25098 (java) S 25090 25092 24376 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25099] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25099/stat : 25099 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25100] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25100/stat : 25100 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156504222 937431040 8759 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) 915460
[startup+12.656 s]
/proc/loadavg: 0.95 1.08 1.53 3/87 25100
/proc/meminfo: memFree=1438752/2055920 swapFree=4192812/4192956
[pid=25092] ppid=25090 vsize=915460 CPUtime=12.51
/proc/25092/stat : 25092 (java) R 25090 25092 24376 0 -1 0 9024 0 1 0 1245 6 0 0 25 0 8 0 156504214 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25092/statm: 228865 8759 2513 14 0 215335 0
[pid=25092/tid=25094] ppid=25090 vsize=915460 CPUtime=0.03
/proc/25092/task/25094/stat : 25094 (java) S 25090 25092 24376 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25095] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25095/stat : 25095 (java) S 25090 25092 24376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25096] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25096/stat : 25096 (java) S 25090 25092 24376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25097] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25097/stat : 25097 (java) S 25090 25092 24376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25098] ppid=25090 vsize=915460 CPUtime=0.24
/proc/25092/task/25098/stat : 25098 (java) S 25090 25092 24376 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25099] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25099/stat : 25099 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25100] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25100/stat : 25100 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156504222 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915460
[startup+25.5055 s]
/proc/loadavg: 1.11 1.11 1.54 3/87 25100
/proc/meminfo: memFree=1438688/2055920 swapFree=4192812/4192956
[pid=25092] ppid=25090 vsize=915460 CPUtime=25.24
/proc/25092/stat : 25092 (java) R 25090 25092 24376 0 -1 0 9024 0 1 0 2518 6 0 0 25 0 8 0 156504214 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25092/statm: 228865 8759 2513 14 0 215335 0
[pid=25092/tid=25094] ppid=25090 vsize=915460 CPUtime=0.03
/proc/25092/task/25094/stat : 25094 (java) S 25090 25092 24376 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25095] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25095/stat : 25095 (java) S 25090 25092 24376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25096] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25096/stat : 25096 (java) S 25090 25092 24376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25097] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25097/stat : 25097 (java) S 25090 25092 24376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25098] ppid=25090 vsize=915460 CPUtime=0.24
/proc/25092/task/25098/stat : 25098 (java) S 25090 25092 24376 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25099] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25099/stat : 25099 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25100] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25100/stat : 25100 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156504222 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915460
[startup+51.1123 s]
/proc/loadavg: 1.41 1.18 1.55 3/87 25100
/proc/meminfo: memFree=1438752/2055920 swapFree=4192812/4192956
[pid=25092] ppid=25090 vsize=915460 CPUtime=50.62
/proc/25092/stat : 25092 (java) R 25090 25092 24376 0 -1 0 9024 0 1 0 5056 6 0 0 25 0 8 0 156504214 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25092/statm: 228865 8759 2513 14 0 215335 0
[pid=25092/tid=25094] ppid=25090 vsize=915460 CPUtime=0.03
/proc/25092/task/25094/stat : 25094 (java) S 25090 25092 24376 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25095] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25095/stat : 25095 (java) S 25090 25092 24376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25096] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25096/stat : 25096 (java) S 25090 25092 24376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156504218 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25097] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25097/stat : 25097 (java) S 25090 25092 24376 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25098] ppid=25090 vsize=915460 CPUtime=0.24
/proc/25092/task/25098/stat : 25098 (java) S 25090 25092 24376 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25099] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25099/stat : 25099 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156504221 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25092/tid=25100] ppid=25090 vsize=915460 CPUtime=0
/proc/25092/task/25100/stat : 25100 (java) S 25090 25092 24376 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156504222 937431040 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 63.4739
CPU time (s): 62.8424
CPU user time (s): 62.7675
CPU system time (s): 0.074988
CPU usage (%): 99.0052
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.7675
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9033
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= 2429
involuntary context switches= 4032
runsolver used 0.082987 s user time and 0.209968 s system time
The end
Begin job on node59 on Sat Jan 6 10:57:36 UTC 2007
IDJOB= 230231
IDBENCH= 6403
FILE ID= node59/230231-1168081045
PBS_JOBID= 3476055
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230231-1168081045/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-230231-1168081045 -o ROOT/results/node59/solver-230231-1168081045 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230231-1168081045/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e2d49e8ea7d70b79d64d673a64543e9f
RANDOM SEED= 503382380
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: 1464504 kB
Buffers: 45336 kB
Cached: 421824 kB
SwapCached: 0 kB
Active: 104416 kB
Inactive: 412224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1464504 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2004 kB
Writeback: 0 kB
Mapped: 69688 kB
Slab: 59900 kB
Committed_AS: 3718100 kB
PageTables: 1972 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= 66547 MiB
End job on node59 on Sat Jan 6 10:58:47 UTC 2007