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/217183-1168079350/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.38 variables being loaded...
0.41 nbVariables=45 nbDomainTypes=1 minDomainSize=21 maxDomainSize=21
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.54
0.54 constraints being loaded...
0.66 nbConstraints=394 nbRelationTypes=394 nbExtensionStructures=394 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=394 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2167 maxDegree=25
0.66 maxArity=2
0.66 => wckTime=0.351 cpuTime=0.28 mem=14M819
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.548 cpuTime=0.4 mem=14M187
0.88
0.88 preprocessing
0.88 nbConstraintChecks=0 nbPropagations=45 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.88 detectedInconsistency=no
0.88 => wckTime=0.0080 cpuTime=0.01 mem=15M162
0.92
0.92 search
0.92 run=0 nbConstraintChecks=40167 nbPropagations=560 nbRevisions=6466 nbUselessRevisions=5219 nbAssignments=26
0.92 nbFailedAssignments=7 nbBacktracks=13 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.055 cpuTime=0.04 mem=15M162
0.95
0.95 search
0.95 run=1 nbConstraintChecks=90256 nbPropagations=1758 nbRevisions=20904 nbUselessRevisions=16981 nbAssignments=57
0.95 nbFailedAssignments=15 nbBacktracks=29 nbVisitedNodes=88 nbRestartNogoods=1 mapSize=23 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.08 cpuTime=0.05 mem=15M162
0.97
0.97 search
0.97 run=2 nbConstraintChecks=162704 nbPropagations=3937 nbRevisions=47773 nbUselessRevisions=39017
0.97 nbAssignments=106 nbFailedAssignments=31 nbBacktracks=52 nbVisitedNodes=167 nbRestartNogoods=3 mapSize=45
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.101 cpuTime=0.07 mem=15M162
0.99
0.99 search
0.99 run=3 nbConstraintChecks=282836 nbPropagations=7474 nbRevisions=93614 nbUselessRevisions=76336
0.99 nbAssignments=166 nbFailedAssignments=50 nbBacktracks=86 nbVisitedNodes=272 nbRestartNogoods=5 mapSize=75
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.124 cpuTime=0.09 mem=15M162
1.02
1.02 search
1.02 run=4 nbConstraintChecks=430317 nbPropagations=12826 nbRevisions=163552 nbUselessRevisions=133144
1.02 nbAssignments=253 nbFailedAssignments=78 nbBacktracks=136 nbVisitedNodes=416 nbRestartNogoods=9 mapSize=119
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.152 cpuTime=0.11 mem=15M162
1.07
1.07 search
1.07 run=5 nbConstraintChecks=709035 nbPropagations=21351 nbRevisions=280434 nbUselessRevisions=228172
1.07 nbAssignments=406 nbFailedAssignments=148 nbBacktracks=214 nbVisitedNodes=684 nbRestartNogoods=14 mapSize=186
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.203 cpuTime=0.16 mem=15M162
1.13
1.13 search
1.13 run=6 nbConstraintChecks=1021123 nbPropagations=33907 nbRevisions=454814 nbUselessRevisions=369973
1.13 nbAssignments=607 nbFailedAssignments=229 nbBacktracks=327 nbVisitedNodes=1031 nbRestartNogoods=16 mapSize=283
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.262 cpuTime=0.22 mem=15M162
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1449734 nbPropagations=51800 nbRevisions=704826 nbUselessRevisions=573030
1.21 nbAssignments=880 nbFailedAssignments=325 nbBacktracks=497 nbVisitedNodes=1500 nbRestartNogoods=18 mapSize=424
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.343 cpuTime=0.29 mem=15M162
1.32
1.32 search
1.32 run=8 nbConstraintChecks=2062413 nbPropagations=77522 nbRevisions=1070506 nbUselessRevisions=871039
1.32 nbAssignments=1314 nbFailedAssignments=494 nbBacktracks=754 nbVisitedNodes=2233 nbRestartNogoods=23
1.33 mapSize=635 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.458 cpuTime=0.4 mem=15M162
1.51
1.51 search
1.51 run=9 nbConstraintChecks=3046570 nbPropagations=115819 nbRevisions=1616241 nbUselessRevisions=1314652
1.51 nbAssignments=1967 nbFailedAssignments=751 nbBacktracks=1142 nbVisitedNodes=3367 nbRestartNogoods=31
1.51 mapSize=965 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.642 cpuTime=0.58 mem=15M162
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=15M162)
1.77
1.77 search
1.77 run=10 nbConstraintChecks=4640722 nbPropagations=173171 nbRevisions=2447127 nbUselessRevisions=1989162
1.77 nbAssignments=2950 nbFailedAssignments=1147 nbBacktracks=1722 nbVisitedNodes=5067 nbRestartNogoods=34
1.77 => wckTime=0.901 cpuTime=0.83 mem=15M162
2.13
2.13 search
2.13 run=11 nbConstraintChecks=6910471 nbPropagations=259702 nbRevisions=3706961 nbUselessRevisions=3013336
2.13 nbAssignments=4445 nbFailedAssignments=1767 nbBacktracks=2590 nbVisitedNodes=7684 nbRestartNogoods=38
2.13 => wckTime=1.26 cpuTime=1.18 mem=15M162
2.61
2.61 search
2.61 run=12 nbConstraintChecks=9992860 nbPropagations=385931 nbRevisions=5545335 nbUselessRevisions=4508378
2.61 nbAssignments=6598 nbFailedAssignments=2615 nbBacktracks=3888 nbVisitedNodes=11405 nbRestartNogoods=41
2.61 => wckTime=1.743 cpuTime=1.66 mem=15M162
3.41
3.41 search
3.41 run=13 nbConstraintChecks=15152000 nbPropagations=576054 nbRevisions=8349384 nbUselessRevisions=6792579
3.41 nbAssignments=9910 nbFailedAssignments=3971 nbBacktracks=5834 nbVisitedNodes=17180 nbRestartNogoods=47
3.41 => wckTime=2.54 cpuTime=2.44 mem=15M162
4.55
4.55 search
4.55 run=14 nbConstraintChecks=22639653 nbPropagations=859944 nbRevisions=12523265 nbUselessRevisions=10190754
4.55 nbAssignments=14756 nbFailedAssignments=5891 nbBacktracks=8753 nbVisitedNodes=25610 nbRestartNogoods=55
4.55 => wckTime=3.687 cpuTime=3.58 mem=15M162
6.28
6.28 search
6.28 run=15 nbConstraintChecks=33891285 nbPropagations=1283660 nbRevisions=18789589 nbUselessRevisions=15294924
6.28 nbAssignments=22048 nbFailedAssignments=8795 nbBacktracks=13133 nbVisitedNodes=38222 nbRestartNogoods=64
6.28 => wckTime=5.412 cpuTime=5.3 mem=15M162
8.87
8.87 search
8.87 run=16 nbConstraintChecks=50594020 nbPropagations=1920538 nbRevisions=28180075 nbUselessRevisions=22938955
8.87 nbAssignments=33066 nbFailedAssignments=13235 nbBacktracks=19702 nbVisitedNodes=57401 nbRestartNogoods=73
8.87 => wckTime=8.003 cpuTime=7.86 mem=15M162
12.68
12.68 search
12.68 run=17 nbConstraintChecks=75647714 nbPropagations=2867253 nbRevisions=42171295 nbUselessRevisions=34334935
12.68 nbAssignments=49143 nbFailedAssignments=19452 nbBacktracks=29554 nbVisitedNodes=85149 nbRestartNogoods=88
12.68 => wckTime=11.814 cpuTime=11.63 mem=15M162
18.13
18.13 search
18.13 run=18 nbConstraintChecks=110625658 nbPropagations=4267499 nbRevisions=62797607 nbUselessRevisions=51145358
18.13 nbAssignments=72854 nbFailedAssignments=28375 nbBacktracks=44334 nbVisitedNodes=125879 nbRestartNogoods=100
18.13 => wckTime=17.263 cpuTime=17.03 mem=15M162
27.19
27.19 search
27.19 run=19 nbConstraintChecks=170780700 nbPropagations=6399815 nbRevisions=94423682 nbUselessRevisions=76923221
27.19 nbAssignments=110041 nbFailedAssignments=43382 nbBacktracks=66503 nbVisitedNodes=191025 nbRestartNogoods=112
27.19 => wckTime=26.322 cpuTime=26.01 mem=15M162
30.30
30.30 search
30.30 run=20 nbConstraintChecks=190963189 nbPropagations=8790561 nbRevisions=129806039 nbUselessRevisions=105754981
30.30 nbAssignments=123139 nbFailedAssignments=48757 nbBacktracks=74181 nbVisitedNodes=213997 nbRestartNogoods=123
30.30 => wckTime=29.437 cpuTime=29.09 mem=15M162
30.30
30.30 global
30.31 nbConstraintChecks=190963189 nbPropagations=8790606 nbRevisions=129806039 nbUselessRevisions=105754981
30.31 nbRestartNogoods=123 solvingWckTime=29.438 solvingCpuTime=29.09 expiredTime=no totalExploration=no
30.31 nbFoundSolutions=1 globalCpuTime=29.54
30.31 => wckTime=29.995 cpuTime=29.49 mem=15M162
30.31
30.31 s SATISFIABLE
30.31 v 5 5 1 12 18 4 9 19 2 8 6 2 8 13 6 1 1 5 13 12 18 2 7 7 4 11 7 8 7 9 3 18 15 7 17 5 20 5 13 19 7 7 20 8 2
30.31 d NODES 123139
30.31 d CHECKS 190963189
30.31
30.31 totalWckTime=30.074 totalCpuTime=29.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-217183-1168079350 -o ROOT/results/node10/solver-217183-1168079350 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217183-1168079350/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.73 1.96 1.93 4/93 29332
/proc/meminfo: memFree=1569880/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=18540 CPUtime=0
/proc/29331/stat : 29331 (runsolver) R 29329 29331 29264 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156330566 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29331/statm: 4635 279 244 17 0 2626 0
[startup+0.10997 s]
/proc/loadavg: 1.73 1.96 1.93 4/93 29332
/proc/meminfo: memFree=1569880/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=914988 CPUtime=0.09
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 3050 0 1 0 8 1 0 0 17 0 8 0 156330566 936947712 2796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153784897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228747 2796 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519026 s]
/proc/loadavg: 1.73 1.96 1.93 4/93 29332
/proc/meminfo: memFree=1569880/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915328 CPUtime=0.5
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 7025 0 1 0 46 4 0 0 18 0 8 0 156330566 937295872 6764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228832 6764 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34813 s]
/proc/loadavg: 1.73 1.96 1.93 3/100 29339
/proc/meminfo: memFree=1544672/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=1.32
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9020 0 1 0 126 6 0 0 20 0 8 0 156330566 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8758 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156330570 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.2
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 156330573 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.99135 s]
/proc/loadavg: 1.73 1.96 1.93 3/100 29339
/proc/meminfo: memFree=1544544/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=2.95
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9035 0 1 0 289 6 0 0 25 0 8 0 156330566 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8772 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.23
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.2708 s]
/proc/loadavg: 1.75 1.96 1.93 3/100 29339
/proc/meminfo: memFree=1544480/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=6.2
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9036 0 1 0 614 6 0 0 25 0 8 0 156330566 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8772 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.23
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7597 s]
/proc/loadavg: 1.85 1.97 1.94 3/100 29339
/proc/meminfo: memFree=1544608/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=12.62
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9036 0 1 0 1256 6 0 0 25 0 8 0 156330566 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8772 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.23
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456
[startup+25.6104 s]
/proc/loadavg: 1.89 1.97 1.94 4/100 29339
/proc/meminfo: memFree=1544672/2055920 swapFree=4178332/4192956
[pid=29331] ppid=29329 vsize=915456 CPUtime=25.36
/proc/29331/stat : 29331 (java) R 29329 29331 29264 0 -1 0 9038 0 1 0 2530 6 0 0 25 0 8 0 156330566 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29331/statm: 228864 8773 2513 14 0 215334 0
[pid=29331/tid=29333] ppid=29329 vsize=915456 CPUtime=0.03
/proc/29331/task/29333/stat : 29333 (java) S 29329 29331 29264 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156330570 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29334] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29334/stat : 29334 (java) S 29329 29331 29264 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330570 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29335] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29335/stat : 29335 (java) S 29329 29331 29264 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330570 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29336] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29336/stat : 29336 (java) S 29329 29331 29264 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156330573 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29337] ppid=29329 vsize=915456 CPUtime=0.23
/proc/29331/task/29337/stat : 29337 (java) S 29329 29331 29264 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 156330573 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29338] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29338/stat : 29338 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156330573 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29331/tid=29339] ppid=29329 vsize=915456 CPUtime=0
/proc/29331/task/29339/stat : 29339 (java) S 29329 29331 29264 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330573 937426944 8773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 30.3408
CPU time (s): 30.0294
CPU user time (s): 29.9584
CPU system time (s): 0.070989
CPU usage (%): 98.9737
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.9584
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9046
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= 1446
involuntary context switches= 2927
runsolver used 0.044993 s user time and 0.100984 s system time
The end
Begin job on node10 on Sat Jan 6 10:29:12 UTC 2007
IDJOB= 217183
IDBENCH= 5122
FILE ID= node10/217183-1168079350
PBS_JOBID= 3475836
Free space on /tmp= 66355 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-1-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217183-1168079350/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-217183-1168079350 -o ROOT/results/node10/solver-217183-1168079350 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217183-1168079350/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 438e8ba11659cae5f336047ba28f6562
RANDOM SEED= 237902636
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.232
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.232
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: 1570360 kB
Buffers: 46316 kB
Cached: 253252 kB
SwapCached: 2420 kB
Active: 167524 kB
Inactive: 229904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1570360 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 2228 kB
Writeback: 0 kB
Mapped: 117484 kB
Slab: 72608 kB
Committed_AS: 4390288 kB
PageTables: 2396 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= 66355 MiB
End job on node10 on Sat Jan 6 10:29:45 UTC 2007