0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.32 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/208179-1168074628/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.49 => wckTime=0.175 cpuTime=0.09 mem=6M951
0.49
0.49 relations being loaded...
0.61
0.61 constraints being loaded...
0.74 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=881 maxDegree=25
0.74 maxArity=2
0.74 => wckTime=0.421 cpuTime=0.26 mem=14M786
0.78
0.78 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.617 cpuTime=0.38 mem=14M168
0.94
0.94 preprocessing
0.94 nbConstraintChecks=0 nbPropagations=26 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.94 detectedInconsistency=no
0.94 => wckTime=0.0050 cpuTime=0.0 mem=14M168
0.99
0.99 search
0.99 run=0 nbConstraintChecks=48173 nbPropagations=566 nbRevisions=9835 nbUselessRevisions=8636 nbAssignments=30
0.99 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.057 cpuTime=0.03 mem=15M209
1.01
1.01 search
1.01 run=1 nbConstraintChecks=104516 nbPropagations=1744 nbRevisions=30966 nbUselessRevisions=27135
1.01 nbAssignments=68 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=119 nbRestartNogoods=4 mapSize=25
1.01 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.078 cpuTime=0.05 mem=15M209
1.04
1.04 search
1.04 run=2 nbConstraintChecks=169353 nbPropagations=3678 nbRevisions=66150 nbUselessRevisions=57903
1.04 nbAssignments=115 nbFailedAssignments=48 nbBacktracks=48 nbVisitedNodes=202 nbRestartNogoods=7 mapSize=47
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.106 cpuTime=0.06 mem=15M209
1.07
1.07 search
1.07 run=3 nbConstraintChecks=267113 nbPropagations=6661 nbRevisions=122132 nbUselessRevisions=106854
1.07 nbAssignments=179 nbFailedAssignments=75 nbBacktracks=81 nbVisitedNodes=317 nbRestartNogoods=10 mapSize=80
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.131 cpuTime=0.08 mem=15M209
1.10
1.10 search
1.10 run=4 nbConstraintChecks=428010 nbPropagations=11298 nbRevisions=212258 nbUselessRevisions=185670
1.10 nbAssignments=278 nbFailedAssignments=118 nbBacktracks=131 nbVisitedNodes=497 nbRestartNogoods=12 mapSize=128
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.163 cpuTime=0.11 mem=15M209
1.15
1.15 search
1.15 run=5 nbConstraintChecks=630166 nbPropagations=18128 nbRevisions=347077 nbUselessRevisions=303470
1.15 nbAssignments=421 nbFailedAssignments=181 nbBacktracks=206 nbVisitedNodes=756 nbRestartNogoods=19 mapSize=200
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.213 cpuTime=0.15 mem=15M209
1.22
1.22 search
1.22 run=6 nbConstraintChecks=985453 nbPropagations=28664 nbRevisions=560563 nbUselessRevisions=489842
1.22 nbAssignments=661 nbFailedAssignments=301 nbBacktracks=320 nbVisitedNodes=1201 nbRestartNogoods=23 mapSize=312
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.282 cpuTime=0.22 mem=15M209
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1461945 nbPropagations=44187 nbRevisions=878394 nbUselessRevisions=767424
1.31 nbAssignments=995 nbFailedAssignments=460 nbBacktracks=490 nbVisitedNodes=1812 nbRestartNogoods=32 mapSize=474
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.371 cpuTime=0.31 mem=15M209
1.44
1.44 search
1.44 run=8 nbConstraintChecks=2177085 nbPropagations=67315 nbRevisions=1360077 nbUselessRevisions=1188596
1.44 nbAssignments=1497 nbFailedAssignments=701 nbBacktracks=746 nbVisitedNodes=2739 nbRestartNogoods=36
1.44 mapSize=724 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.507 cpuTime=0.44 mem=15M209
1.60
1.60 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=15M209)
1.64
1.64 search
1.64 run=9 nbConstraintChecks=3269762 nbPropagations=101961 nbRevisions=2089161 nbUselessRevisions=1826522
1.64 nbAssignments=2235 nbFailedAssignments=1049 nbBacktracks=1130 nbVisitedNodes=4097 nbRestartNogoods=44
1.64 => wckTime=0.703 cpuTime=0.63 mem=15M209
1.90
1.90 search
1.90 run=10 nbConstraintChecks=4848345 nbPropagations=153585 nbRevisions=3179022 nbUselessRevisions=2780664
1.90 nbAssignments=3339 nbFailedAssignments=1570 nbBacktracks=1707 nbVisitedNodes=6138 nbRestartNogoods=55
1.90 => wckTime=0.964 cpuTime=0.88 mem=15M209
2.29
2.29 search
2.29 run=11 nbConstraintChecks=7381148 nbPropagations=230853 nbRevisions=4822510 nbUselessRevisions=4219606
2.29 nbAssignments=4965 nbFailedAssignments=2326 nbBacktracks=2571 nbVisitedNodes=9136 nbRestartNogoods=67
2.29 => wckTime=1.356 cpuTime=1.26 mem=15M209
2.85
2.85 search
2.85 run=12 nbConstraintChecks=11043959 nbPropagations=346389 nbRevisions=7285805 nbUselessRevisions=6375687
2.85 nbAssignments=7466 nbFailedAssignments=3523 nbBacktracks=3868 nbVisitedNodes=13774 nbRestartNogoods=77
2.85 => wckTime=1.911 cpuTime=1.81 mem=15M209
3.72
3.72 search
3.72 run=13 nbConstraintChecks=16722050 nbPropagations=520997 nbRevisions=11018307 nbUselessRevisions=9640541
3.72 nbAssignments=11266 nbFailedAssignments=5371 nbBacktracks=5814 nbVisitedNodes=20853 nbRestartNogoods=93
3.72 => wckTime=2.78 cpuTime=2.67 mem=15M209
4.97
4.97 search
4.97 run=14 nbConstraintChecks=24986217 nbPropagations=780704 nbRevisions=16567289 nbUselessRevisions=14494274
4.97 nbAssignments=16755 nbFailedAssignments=7935 nbBacktracks=8734 nbVisitedNodes=30998 nbRestartNogoods=109
4.97 => wckTime=4.03 cpuTime=3.91 mem=15M209
6.89
6.89 search
6.89 run=15 nbConstraintChecks=37305219 nbPropagations=1170841 nbRevisions=24922047 nbUselessRevisions=21805409
6.89 nbAssignments=25222 nbFailedAssignments=12018 nbBacktracks=13112 nbVisitedNodes=46766 nbRestartNogoods=123
6.89 => wckTime=5.956 cpuTime=5.81 mem=15M209
9.89
9.89 search
9.89 run=16 nbConstraintChecks=57112251 nbPropagations=1762444 nbRevisions=37695692 nbUselessRevisions=32990917
9.89 nbAssignments=38072 nbFailedAssignments=18294 nbBacktracks=19680 nbVisitedNodes=70655 nbRestartNogoods=137
9.89 => wckTime=8.957 cpuTime=8.79 mem=15M209
14.41
14.41 search
14.41 run=17 nbConstraintChecks=86983420 nbPropagations=2655303 nbRevisions=57091367 nbUselessRevisions=49980063
14.41 nbAssignments=57246 nbFailedAssignments=27610 nbBacktracks=29533 nbVisitedNodes=106324 nbRestartNogoods=154
14.41 => wckTime=13.476 cpuTime=13.27 mem=15M209
21.00
21.00 search
21.00 run=18 nbConstraintChecks=130612648 nbPropagations=3994351 nbRevisions=86177866 nbUselessRevisions=75455773
21.00 nbAssignments=85876 nbFailedAssignments=41458 nbBacktracks=44312 nbVisitedNodes=159531 nbRestartNogoods=171
21.00 => wckTime=20.061 cpuTime=19.8 mem=15M209
30.69
30.69 search
30.69 run=19 nbConstraintChecks=193810352 nbPropagations=5989614 nbRevisions=129418543 nbUselessRevisions=113329076
30.69 nbAssignments=128293 nbFailedAssignments=61702 nbBacktracks=66480 nbVisitedNodes=238291 nbRestartNogoods=179
30.69 => wckTime=29.749 cpuTime=29.39 mem=15M209
45.35
45.35 search
45.35 run=20 nbConstraintChecks=290038589 nbPropagations=8978436 nbRevisions=194232245 nbUselessRevisions=170101584
45.35 nbAssignments=192375 nbFailedAssignments=92528 nbBacktracks=99732 nbVisitedNodes=357223 nbRestartNogoods=195
45.35 => wckTime=44.416 cpuTime=43.93 mem=15M209
67.68
67.68 search
67.68 run=21 nbConstraintChecks=436244489 nbPropagations=13470014 nbRevisions=291872909 nbUselessRevisions=255653028
67.68 nbAssignments=289094 nbFailedAssignments=139363 nbBacktracks=149611 nbVisitedNodes=536986 nbRestartNogoods=206
67.68 => wckTime=66.741 cpuTime=66.06 mem=15M209
82.46
82.46 search
82.46 run=22 nbConstraintChecks=532901111 nbPropagations=18960953 nbRevisions=411209148 nbUselessRevisions=360209010
82.46 nbAssignments=353596 nbFailedAssignments=170547 nbBacktracks=182903 nbVisitedNodes=656861 nbRestartNogoods=227
82.46 => wckTime=81.523 cpuTime=80.7 mem=15M209
82.46
82.46 global
82.46 nbConstraintChecks=532901111 nbPropagations=18960979 nbRevisions=411209148 nbUselessRevisions=360209010
82.46 nbRestartNogoods=227 solvingWckTime=81.524 solvingCpuTime=80.7 expiredTime=no totalExploration=no
82.46 nbFoundSolutions=1 globalCpuTime=81.13
82.46 => wckTime=82.144 cpuTime=81.09 mem=15M209
82.46
82.46 s SATISFIABLE
82.46 v 22 21 16 10 23 18 23 12 6 24 19 17 22 18 3 12 3 3 19 2 3 3 8 9 24 0
82.46 d NODES 353596
82.46 d CHECKS 532901111
82.46
82.47 totalWckTime=82.226 totalCpuTime=81.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-208179-1168074628 -o ROOT/results/node42/solver-208179-1168074628 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208179-1168074628/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.90 1.60 1.46 4/80 23980
/proc/meminfo: memFree=1320976/2055920 swapFree=4191892/4192956
[pid=23979] ppid=23977 vsize=18540 CPUtime=0
/proc/23979/stat : 23979 (runsolver) R 23977 23979 23583 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155862031 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23979/statm: 4635 279 244 17 0 2626 0
[startup+0.107764 s]
/proc/loadavg: 1.90 1.60 1.46 4/80 23980
/proc/meminfo: memFree=1320976/2055920 swapFree=4191892/4192956
[pid=23979] ppid=23977 vsize=914988 CPUtime=0.08
/proc/23979/stat : 23979 (java) R 23977 23979 23583 0 -1 0 2991 0 1 0 7 1 0 0 17 0 8 0 155862031 936947712 2737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151975905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23979/statm: 228747 2737 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515809 s]
/proc/loadavg: 1.90 1.60 1.46 4/80 23980
/proc/meminfo: memFree=1320976/2055920 swapFree=4191892/4192956
[pid=23979] ppid=23977 vsize=915328 CPUtime=0.41
/proc/23979/stat : 23979 (java) R 23977 23979 23583 0 -1 0 6129 0 1 0 38 3 0 0 18 0 8 0 155862031 937295872 5868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23979/statm: 228832 5868 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.3419 s]
/proc/loadavg: 1.90 1.60 1.46 3/87 23987
/proc/meminfo: memFree=1295896/2055920 swapFree=4191892/4192956
[pid=23979] ppid=23977 vsize=915456 CPUtime=1.23
/proc/23979/stat : 23979 (java) R 23977 23979 23583 0 -1 0 8966 0 1 0 117 6 0 0 24 0 8 0 155862031 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23979/statm: 228864 8704 2513 14 0 215334 0
[pid=23979/tid=23981] ppid=23977 vsize=915456 CPUtime=0.03
/proc/23979/task/23981/stat : 23981 (java) S 23977 23979 23583 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155862035 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23982] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23982/stat : 23982 (java) S 23977 23979 23583 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155862036 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23983] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23983/stat : 23983 (java) S 23977 23979 23583 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155862036 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23984] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23984/stat : 23984 (java) S 23977 23979 23583 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155862039 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23985] ppid=23977 vsize=915456 CPUtime=0.21
/proc/23979/task/23985/stat : 23985 (java) S 23977 23979 23583 0 -1 64 375 0 0 0 20 1 0 0 15 0 8 0 155862039 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23986] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23986/stat : 23986 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155862039 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23987] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23987/stat : 23987 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155862039 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915456
[startup+2.98808 s]
/proc/loadavg: 1.90 1.60 1.46 3/87 23987
/proc/meminfo: memFree=1295704/2055920 swapFree=4191892/4192956
[pid=23979] ppid=23977 vsize=915456 CPUtime=2.86
/proc/23979/stat : 23979 (java) R 23977 23979 23583 0 -1 0 8983 0 1 0 280 6 0 0 25 0 8 0 155862031 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23979/statm: 228864 8719 2513 14 0 215334 0
[pid=23979/tid=23981] ppid=23977 vsize=915456 CPUtime=0.03
/proc/23979/task/23981/stat : 23981 (java) S 23977 23979 23583 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 155862035 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23982] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23982/stat : 23982 (java) S 23977 23979 23583 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155862036 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23983] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23983/stat : 23983 (java) S 23977 23979 23583 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155862036 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23984] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23984/stat : 23984 (java) S 23977 23979 23583 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23985] ppid=23977 vsize=915456 CPUtime=0.24
/proc/23979/task/23985/stat : 23985 (java) S 23977 23979 23583 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23986] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23986/stat : 23986 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23987] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23987/stat : 23987 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915456
[startup+6.26744 s]
/proc/loadavg: 1.90 1.61 1.46 3/87 23987
/proc/meminfo: memFree=1295704/2055920 swapFree=4191892/4192956
[pid=23979] ppid=23977 vsize=915456 CPUtime=6.11
/proc/23979/stat : 23979 (java) R 23977 23979 23583 0 -1 0 8983 0 1 0 605 6 0 0 25 0 8 0 155862031 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23979/statm: 228864 8719 2513 14 0 215334 0
[pid=23979/tid=23981] ppid=23977 vsize=915456 CPUtime=0.03
/proc/23979/task/23981/stat : 23981 (java) S 23977 23979 23583 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155862035 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23982] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23982/stat : 23982 (java) S 23977 23979 23583 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155862036 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23983] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23983/stat : 23983 (java) S 23977 23979 23583 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155862036 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23984] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23984/stat : 23984 (java) S 23977 23979 23583 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23985] ppid=23977 vsize=915456 CPUtime=0.24
/proc/23979/task/23985/stat : 23985 (java) S 23977 23979 23583 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23986] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23986/stat : 23986 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23987] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23987/stat : 23987 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915456
[startup+12.7532 s]
/proc/loadavg: 1.91 1.61 1.46 3/87 23987
/proc/meminfo: memFree=1295704/2055920 swapFree=4191892/4192956
[pid=23979] ppid=23977 vsize=915456 CPUtime=12.53
/proc/23979/stat : 23979 (java) R 23977 23979 23583 0 -1 0 8983 0 1 0 1247 6 0 0 25 0 8 0 155862031 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793332 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23979/statm: 228864 8719 2513 14 0 215334 0
[pid=23979/tid=23981] ppid=23977 vsize=915456 CPUtime=0.03
/proc/23979/task/23981/stat : 23981 (java) S 23977 23979 23583 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155862035 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23982] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23982/stat : 23982 (java) S 23977 23979 23583 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155862036 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23983] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23983/stat : 23983 (java) S 23977 23979 23583 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155862036 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23984] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23984/stat : 23984 (java) S 23977 23979 23583 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23985] ppid=23977 vsize=915456 CPUtime=0.24
/proc/23979/task/23985/stat : 23985 (java) S 23977 23979 23583 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23986] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23986/stat : 23986 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23987] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23987/stat : 23987 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155862039 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915456
[startup+25.5996 s]
/proc/loadavg: 1.93 1.63 1.47 3/87 23987
/proc/meminfo: memFree=1295768/2055920 swapFree=4191892/4192956
[pid=23979] ppid=23977 vsize=915456 CPUtime=25.27
/proc/23979/stat : 23979 (java) R 23977 23979 23583 0 -1 0 8985 0 1 0 2521 6 0 0 25 0 8 0 155862031 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23979/statm: 228864 8720 2513 14 0 215334 0
[pid=23979/tid=23981] ppid=23977 vsize=915456 CPUtime=0.03
/proc/23979/task/23981/stat : 23981 (java) S 23977 23979 23583 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155862035 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23982] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23982/stat : 23982 (java) S 23977 23979 23583 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155862036 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23983] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23983/stat : 23983 (java) S 23977 23979 23583 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155862036 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23984] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23984/stat : 23984 (java) S 23977 23979 23583 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155862039 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23985] ppid=23977 vsize=915456 CPUtime=0.24
/proc/23979/task/23985/stat : 23985 (java) S 23977 23979 23583 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155862039 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23986] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23986/stat : 23986 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155862039 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23987] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23987/stat : 23987 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155862039 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915456
[startup+51.2044 s]
/proc/loadavg: 1.95 1.66 1.48 3/87 23987
/proc/meminfo: memFree=1295832/2055920 swapFree=4191892/4192956
[pid=23979] ppid=23977 vsize=915456 CPUtime=50.64
/proc/23979/stat : 23979 (java) R 23977 23979 23583 0 -1 0 8985 0 1 0 5058 6 0 0 25 0 8 0 155862031 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23979/statm: 228864 8720 2513 14 0 215334 0
[pid=23979/tid=23981] ppid=23977 vsize=915456 CPUtime=0.03
/proc/23979/task/23981/stat : 23981 (java) S 23977 23979 23583 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155862035 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23982] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23982/stat : 23982 (java) S 23977 23979 23583 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155862036 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23983] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23983/stat : 23983 (java) S 23977 23979 23583 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155862036 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23984] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23984/stat : 23984 (java) S 23977 23979 23583 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155862039 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23985] ppid=23977 vsize=915456 CPUtime=0.24
/proc/23979/task/23985/stat : 23985 (java) S 23977 23979 23583 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155862039 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23986] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23986/stat : 23986 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155862039 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23979/tid=23987] ppid=23977 vsize=915456 CPUtime=0
/proc/23979/task/23987/stat : 23987 (java) S 23977 23979 23583 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155862039 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 82.4945
CPU time (s): 81.6446
CPU user time (s): 81.5656
CPU system time (s): 0.078987
CPU usage (%): 98.9698
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.5656
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8992
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= 2771
involuntary context switches= 5797
runsolver used 0.106983 s user time and 0.250961 s system time
The end
Begin job on node42 on Sat Jan 6 09:10:28 UTC 2007
IDJOB= 208179
IDBENCH= 4356
FILE ID= node42/208179-1168074628
PBS_JOBID= 3476019
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-61021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208179-1168074628/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-208179-1168074628 -o ROOT/results/node42/solver-208179-1168074628 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208179-1168074628/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cf36278b0aaf693be0fe0a8c85db5e94
RANDOM SEED= 846687347
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.229
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.229
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: 1321456 kB
Buffers: 49884 kB
Cached: 564500 kB
SwapCached: 268 kB
Active: 136632 kB
Inactive: 522816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1321456 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 64044 kB
Slab: 60404 kB
Committed_AS: 3495112 kB
PageTables: 1876 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= 66541 MiB
End job on node42 on Sat Jan 6 09:11:51 UTC 2007