0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/195412-1168069814/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.40 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.61 nbConstraints=326 nbRelationTypes=326 nbExtensionStructures=326 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=326 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2234 maxDegree=24
0.61 maxArity=2
0.61 => wckTime=0.306 cpuTime=0.23 mem=12M811
0.65
0.65 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.491 cpuTime=0.36 mem=13M915
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0040 cpuTime=0.0 mem=13M915
0.85
0.85 search
0.85 run=0 nbConstraintChecks=34778 nbPropagations=526 nbRevisions=5585 nbUselessRevisions=4510 nbAssignments=24
0.85 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.049 cpuTime=0.02 mem=14M890
0.86
0.86 search
0.86 run=1 nbConstraintChecks=82180 nbPropagations=1679 nbRevisions=18834 nbUselessRevisions=15019 nbAssignments=58
0.86 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=94 nbRestartNogoods=3 mapSize=23 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.069 cpuTime=0.04 mem=14M890
0.88
0.88 search
0.89 run=2 nbConstraintChecks=142681 nbPropagations=3635 nbRevisions=41989 nbUselessRevisions=33281
0.89 nbAssignments=97 nbFailedAssignments=32 nbBacktracks=50 nbVisitedNodes=159 nbRestartNogoods=4 mapSize=41
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.09 cpuTime=0.05 mem=14M890
0.90
0.90 search
0.90 run=3 nbConstraintChecks=214089 nbPropagations=6601 nbRevisions=77683 nbUselessRevisions=61648
0.90 nbAssignments=152 nbFailedAssignments=50 nbBacktracks=83 nbVisitedNodes=250 nbRestartNogoods=5 mapSize=68
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.106 cpuTime=0.07 mem=14M890
0.93
0.93 search
0.93 run=4 nbConstraintChecks=340164 nbPropagations=11231 nbRevisions=134796 nbUselessRevisions=107170
0.93 nbAssignments=241 nbFailedAssignments=84 nbBacktracks=134 nbVisitedNodes=403 nbRestartNogoods=6 mapSize=112
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.131 cpuTime=0.09 mem=14M890
0.96
0.96 search
0.96 run=5 nbConstraintChecks=491130 nbPropagations=18032 nbRevisions=219952 nbUselessRevisions=175201
0.96 nbAssignments=368 nbFailedAssignments=129 nbBacktracks=210 nbVisitedNodes=613 nbRestartNogoods=9 mapSize=173
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.165 cpuTime=0.12 mem=14M890
1.01
1.01 search
1.01 run=6 nbConstraintChecks=747760 nbPropagations=28531 nbRevisions=355110 nbUselessRevisions=283538
1.01 nbAssignments=575 nbFailedAssignments=214 nbBacktracks=325 nbVisitedNodes=968 nbRestartNogoods=11 mapSize=274
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.217 cpuTime=0.17 mem=14M890
1.08
1.08 search
1.08 run=7 nbConstraintChecks=1127495 nbPropagations=44284 nbRevisions=559250 nbUselessRevisions=446706
1.08 nbAssignments=873 nbFailedAssignments=336 nbBacktracks=495 nbVisitedNodes=1483 nbRestartNogoods=16 mapSize=417
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.29 cpuTime=0.24 mem=14M890
1.20
1.20 search
1.20 run=8 nbConstraintChecks=1726488 nbPropagations=68194 nbRevisions=867778 nbUselessRevisions=692374
1.20 nbAssignments=1304 nbFailedAssignments=503 nbBacktracks=753 nbVisitedNodes=2225 nbRestartNogoods=22
1.20 mapSize=625 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.403 cpuTime=0.35 mem=14M890
1.37
1.37 search
1.37 run=9 nbConstraintChecks=2681110 nbPropagations=104804 nbRevisions=1352355 nbUselessRevisions=1079518
1.37 nbAssignments=1980 nbFailedAssignments=789 nbBacktracks=1137 nbVisitedNodes=3421 nbRestartNogoods=27
1.37 mapSize=965 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.577 cpuTime=0.51 mem=14M890
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=14M890)
1.59
1.59 search
1.59 run=10 nbConstraintChecks=3968422 nbPropagations=159012 nbRevisions=2068257 nbUselessRevisions=1649377
1.59 nbAssignments=2918 nbFailedAssignments=1144 nbBacktracks=1713 nbVisitedNodes=5042 nbRestartNogoods=35
1.59 => wckTime=0.794 cpuTime=0.72 mem=14M890
1.91
1.91 search
1.91 run=11 nbConstraintChecks=6006771 nbPropagations=241569 nbRevisions=3163695 nbUselessRevisions=2524011
1.91 nbAssignments=4429 nbFailedAssignments=1785 nbBacktracks=2578 nbVisitedNodes=7705 nbRestartNogoods=43
1.91 => wckTime=1.115 cpuTime=1.04 mem=14M890
2.37
2.37 search
2.37 run=12 nbConstraintChecks=9061360 nbPropagations=364938 nbRevisions=4801463 nbUselessRevisions=3827730
2.37 nbAssignments=6614 nbFailedAssignments=2667 nbBacktracks=3875 nbVisitedNodes=11525 nbRestartNogoods=48
2.37 => wckTime=1.577 cpuTime=1.5 mem=14M890
3.05
3.05 search
3.05 run=13 nbConstraintChecks=13795733 nbPropagations=551092 nbRevisions=7262491 nbUselessRevisions=5781801
3.05 nbAssignments=9885 nbFailedAssignments=3984 nbBacktracks=5822 nbVisitedNodes=17230 nbRestartNogoods=57
3.05 => wckTime=2.253 cpuTime=2.17 mem=14M890
4.03
4.03 search
4.03 run=14 nbConstraintChecks=20595195 nbPropagations=829674 nbRevisions=10965397 nbUselessRevisions=8726143
4.03 nbAssignments=14904 nbFailedAssignments=6075 nbBacktracks=8745 nbVisitedNodes=26064 nbRestartNogoods=68
4.03 => wckTime=3.236 cpuTime=3.15 mem=14M890
5.57
5.57 search
5.57 run=15 nbConstraintChecks=31406041 nbPropagations=1252547 nbRevisions=16618772 nbUselessRevisions=13229010
5.57 nbAssignments=22595 nbFailedAssignments=9380 nbBacktracks=13124 nbVisitedNodes=39665 nbRestartNogoods=75
5.57 => wckTime=4.779 cpuTime=4.7 mem=14M890
7.79
7.79 search
7.79 run=16 nbConstraintChecks=47099721 nbPropagations=1882370 nbRevisions=25035710 nbUselessRevisions=19924435
7.79 nbAssignments=33544 nbFailedAssignments=13755 nbBacktracks=19692 nbVisitedNodes=58750 nbRestartNogoods=83
7.79 => wckTime=6.996 cpuTime=6.91 mem=14M890
11.28
11.28 search
11.28 run=17 nbConstraintChecks=71881932 nbPropagations=2838689 nbRevisions=37874135 nbUselessRevisions=30148825
11.28 nbAssignments=50934 nbFailedAssignments=21289 nbBacktracks=29544 nbVisitedNodes=89570 nbRestartNogoods=97
11.28 => wckTime=10.482 cpuTime=10.4 mem=14M890
16.29
16.29 search
16.29 run=18 nbConstraintChecks=107764546 nbPropagations=4266314 nbRevisions=57001700 nbUselessRevisions=45356315
16.29 nbAssignments=75951 nbFailedAssignments=31524 nbBacktracks=44322 nbVisitedNodes=133237 nbRestartNogoods=115
16.29 => wckTime=15.495 cpuTime=15.4 mem=14M890
23.61
23.61 search
23.61 run=19 nbConstraintChecks=159008575 nbPropagations=6376077 nbRevisions=85469739 nbUselessRevisions=68056153
23.61 nbAssignments=113099 nbFailedAssignments=46495 nbBacktracks=66492 nbVisitedNodes=198202 nbRestartNogoods=130
23.61 => wckTime=22.813 cpuTime=22.72 mem=14M890
35.31
35.31 search
35.31 run=20 nbConstraintChecks=242333583 nbPropagations=9579845 nbRevisions=128888240 nbUselessRevisions=102706837
35.31 nbAssignments=170632 nbFailedAssignments=70768 nbBacktracks=99747 nbVisitedNodes=299759 nbRestartNogoods=136
35.31 => wckTime=34.516 cpuTime=34.42 mem=14M890
47.58
47.58 search
47.58 run=21 nbConstraintChecks=330176782 nbPropagations=13920096 nbRevisions=187622054 nbUselessRevisions=149535206
47.58 nbAssignments=230902 nbFailedAssignments=95302 nbBacktracks=135443 nbVisitedNodes=404932 nbRestartNogoods=146
47.58 => wckTime=46.78 cpuTime=46.68 mem=14M890
47.58
47.58 global
47.58 nbConstraintChecks=330176782 nbPropagations=13920136 nbRevisions=187622054 nbUselessRevisions=149535206
47.58 nbRestartNogoods=146 solvingWckTime=46.781 solvingCpuTime=46.68 expiredTime=no totalExploration=no
47.58 nbFoundSolutions=1 globalCpuTime=47.09
47.58 => wckTime=47.276 cpuTime=47.04 mem=14M890
47.58
47.58 s SATISFIABLE
47.58 v 16 5 3 17 16 18 8 11 3 16 10 0 8 18 13 16 8 1 9 10 7 16 8 5 7 6 12 2 12 0 8 5 12 9 9 13 12 5 13 6
47.58 d NODES 230902
47.58 d CHECKS 330176782
47.58
47.58 totalWckTime=47.354 totalCpuTime=47.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-195412-1168069814 -o ROOT/results/node59/solver-195412-1168069814 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195412-1168069814/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.94 0.98 0.99 5/80 23105
/proc/meminfo: memFree=1533152/2055920 swapFree=4192812/4192956
[pid=23104] ppid=23102 vsize=18540 CPUtime=0
/proc/23104/stat : 23104 (runsolver) R 23102 23104 22681 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155379355 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23104/statm: 4635 279 244 17 0 2626 0
[startup+0.103623 s]
/proc/loadavg: 0.94 0.98 0.99 5/80 23105
/proc/meminfo: memFree=1533152/2055920 swapFree=4192812/4192956
[pid=23104] ppid=23102 vsize=914988 CPUtime=0.08
/proc/23104/stat : 23104 (java) S 23102 23104 22681 0 -1 0 2995 0 1 0 7 1 0 0 22 0 8 0 155379355 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23104/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511669 s]
/proc/loadavg: 0.94 0.98 0.99 5/80 23105
/proc/meminfo: memFree=1533152/2055920 swapFree=4192812/4192956
[pid=23104] ppid=23102 vsize=915328 CPUtime=0.48
/proc/23104/stat : 23104 (java) R 23102 23104 22681 0 -1 0 6926 0 1 0 44 4 0 0 25 0 8 0 155379355 937295872 6665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23104/statm: 228832 6665 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33494 s]
/proc/loadavg: 0.95 0.98 0.99 2/75 23112
/proc/meminfo: memFree=1529928/2055920 swapFree=4192812/4192956
[pid=23104] ppid=23102 vsize=915456 CPUtime=1.3
/proc/23104/stat : 23104 (java) R 23102 23104 22681 0 -1 0 8639 0 1 0 124 6 0 0 17 0 8 0 155379355 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23104/statm: 228864 8377 2513 14 0 215334 0
[pid=23104/tid=23106] ppid=23102 vsize=915456 CPUtime=0.03
/proc/23104/task/23106/stat : 23106 (java) S 23102 23104 22681 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155379359 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23107] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23107/stat : 23107 (java) S 23102 23104 22681 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23108] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23108/stat : 23108 (java) S 23102 23104 22681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23109] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23109/stat : 23109 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155379363 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23110] ppid=23102 vsize=915456 CPUtime=0.2
/proc/23104/task/23110/stat : 23110 (java) S 23102 23104 22681 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 155379363 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23111] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23111/stat : 23111 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155379363 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23112] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23112/stat : 23112 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379363 937426944 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.98613 s]
/proc/loadavg: 0.95 0.98 0.99 2/75 23120
/proc/meminfo: memFree=1529480/2055920 swapFree=4192812/4192956
[pid=23104] ppid=23102 vsize=915456 CPUtime=2.95
/proc/23104/stat : 23104 (java) R 23102 23104 22681 0 -1 0 8666 0 1 0 289 6 0 0 18 0 8 0 155379355 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795452 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23104/statm: 228864 8403 2513 14 0 215334 0
[pid=23104/tid=23106] ppid=23102 vsize=915456 CPUtime=0.03
/proc/23104/task/23106/stat : 23106 (java) S 23102 23104 22681 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155379359 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23107] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23107/stat : 23107 (java) S 23102 23104 22681 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23108] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23108/stat : 23108 (java) S 23102 23104 22681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23109] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23109/stat : 23109 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155379363 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23110] ppid=23102 vsize=915456 CPUtime=0.21
/proc/23104/task/23110/stat : 23110 (java) S 23102 23104 22681 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155379363 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23111] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23111/stat : 23111 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155379363 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23112] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23112/stat : 23112 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379363 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.26348 s]
/proc/loadavg: 0.95 0.98 0.99 2/75 23126
/proc/meminfo: memFree=1531144/2055920 swapFree=4192812/4192956
[pid=23104] ppid=23102 vsize=915456 CPUtime=6.22
/proc/23104/stat : 23104 (java) R 23102 23104 22681 0 -1 0 8673 0 1 0 616 6 0 0 25 0 8 0 155379355 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23104/statm: 228864 8410 2513 14 0 215334 0
[pid=23104/tid=23106] ppid=23102 vsize=915456 CPUtime=0.03
/proc/23104/task/23106/stat : 23106 (java) S 23102 23104 22681 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 155379359 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23107] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23107/stat : 23107 (java) S 23102 23104 22681 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23108] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23108/stat : 23108 (java) S 23102 23104 22681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23109] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23109/stat : 23109 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155379363 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23110] ppid=23102 vsize=915456 CPUtime=0.21
/proc/23104/task/23110/stat : 23110 (java) S 23102 23104 22681 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155379363 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23111] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23111/stat : 23111 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155379363 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23112] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23112/stat : 23112 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379363 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456
[startup+12.7502 s]
/proc/loadavg: 0.95 0.98 0.99 2/72 23182
/proc/meminfo: memFree=1536168/2055920 swapFree=4192812/4192956
[pid=23104] ppid=23102 vsize=915456 CPUtime=12.71
/proc/23104/stat : 23104 (java) R 23102 23104 22681 0 -1 0 8679 0 1 0 1263 8 0 0 25 0 8 0 155379355 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807481 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23104/statm: 228864 8415 2513 14 0 215334 0
[pid=23104/tid=23106] ppid=23102 vsize=915456 CPUtime=0.03
/proc/23104/task/23106/stat : 23106 (java) S 23102 23104 22681 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155379359 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23107] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23107/stat : 23107 (java) S 23102 23104 22681 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23108] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23108/stat : 23108 (java) S 23102 23104 22681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23109] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23109/stat : 23109 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155379363 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23110] ppid=23102 vsize=915456 CPUtime=0.21
/proc/23104/task/23110/stat : 23110 (java) S 23102 23104 22681 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155379363 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23111] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23111/stat : 23111 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155379363 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23112] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23112/stat : 23112 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379363 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915456
[startup+25.5836 s]
/proc/loadavg: 0.96 0.98 0.99 2/72 23182
/proc/meminfo: memFree=1536360/2055920 swapFree=4192812/4192956
[pid=23104] ppid=23102 vsize=915456 CPUtime=25.54
/proc/23104/stat : 23104 (java) R 23102 23104 22681 0 -1 0 8684 0 1 0 2546 8 0 0 25 0 8 0 155379355 937426944 8420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807481 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23104/statm: 228864 8420 2513 14 0 215334 0
[pid=23104/tid=23106] ppid=23102 vsize=915456 CPUtime=0.03
/proc/23104/task/23106/stat : 23106 (java) S 23102 23104 22681 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155379359 937426944 8420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23107] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23107/stat : 23107 (java) S 23102 23104 22681 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23108] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23108/stat : 23108 (java) S 23102 23104 22681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155379360 937426944 8420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23109] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23109/stat : 23109 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155379363 937426944 8420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23110] ppid=23102 vsize=915456 CPUtime=0.21
/proc/23104/task/23110/stat : 23110 (java) S 23102 23104 22681 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155379363 937426944 8420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23111] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23111/stat : 23111 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155379363 937426944 8420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23104/tid=23112] ppid=23102 vsize=915456 CPUtime=0
/proc/23104/task/23112/stat : 23112 (java) S 23102 23104 22681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379363 937426944 8420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 47.6316
CPU time (s): 47.5478
CPU user time (s): 47.4578
CPU system time (s): 0.089986
CPU usage (%): 99.8241
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.4578
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8779
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= 1891
involuntary context switches= 1787
runsolver used 0.051992 s user time and 0.132979 s system time
The end
Begin job on node59 on Sat Jan 6 07:50:14 UTC 2007
IDJOB= 195412
IDBENCH= 3267
FILE ID= node59/195412-1168069814
PBS_JOBID= 3475932
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb40-19/frb40-19-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195412-1168069814/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-195412-1168069814 -o ROOT/results/node59/solver-195412-1168069814 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195412-1168069814/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fc994d6707406f653ffa075a37201005
RANDOM SEED= 623927236
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: 1533824 kB
Buffers: 43812 kB
Cached: 363304 kB
SwapCached: 0 kB
Active: 77612 kB
Inactive: 369544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1533824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4024 kB
Writeback: 0 kB
Mapped: 59348 kB
Slab: 60256 kB
Committed_AS: 3667552 kB
PageTables: 1940 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= 66549 MiB
End job on node59 on Sat Jan 6 07:51:03 UTC 2007