0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/229180-1168080943/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.45 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1382 maxDegree=18
0.63 maxArity=2
0.63 => wckTime=0.284 cpuTime=0.21 mem=11M893
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.482 cpuTime=0.34 mem=13M736
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0030 cpuTime=0.01 mem=13M736
0.89
0.89 search
0.89 run=0 nbConstraintChecks=34529 nbPropagations=616 nbRevisions=5870 nbUselessRevisions=4558 nbAssignments=26
0.89 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.054 cpuTime=0.04 mem=14M711
0.91
0.91 search
0.91 run=1 nbConstraintChecks=78243 nbPropagations=1954 nbRevisions=19381 nbUselessRevisions=14920 nbAssignments=66
0.91 nbFailedAssignments=25 nbBacktracks=28 nbVisitedNodes=115 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.075 cpuTime=0.05 mem=14M711
0.93
0.93 search
0.93 run=2 nbConstraintChecks=121459 nbPropagations=4064 nbRevisions=40730 nbUselessRevisions=31285
0.93 nbAssignments=113 nbFailedAssignments=43 nbBacktracks=50 nbVisitedNodes=192 nbRestartNogoods=9 mapSize=43
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.096 cpuTime=0.07 mem=14M711
0.94
0.94 search
0.94 run=3 nbConstraintChecks=182895 nbPropagations=7244 nbRevisions=73272 nbUselessRevisions=56176
0.94 nbAssignments=174 nbFailedAssignments=65 nbBacktracks=84 nbVisitedNodes=295 nbRestartNogoods=14 mapSize=70
0.94 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.111 cpuTime=0.08 mem=14M711
0.96
0.97 search
0.97 run=4 nbConstraintChecks=264522 nbPropagations=11932 nbRevisions=120518 nbUselessRevisions=92372
0.97 nbAssignments=257 nbFailedAssignments=92 nbBacktracks=134 nbVisitedNodes=433 nbRestartNogoods=18 mapSize=109
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.131 cpuTime=0.1 mem=14M711
1.00
1.00 search
1.00 run=5 nbConstraintChecks=407124 nbPropagations=19044 nbRevisions=193622 nbUselessRevisions=148279
1.00 nbAssignments=391 nbFailedAssignments=147 nbBacktracks=209 nbVisitedNodes=665 nbRestartNogoods=22 mapSize=175
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.164 cpuTime=0.13 mem=14M711
1.04
1.04 search
1.04 run=6 nbConstraintChecks=606341 nbPropagations=29896 nbRevisions=306127 nbUselessRevisions=234533
1.04 nbAssignments=598 nbFailedAssignments=234 nbBacktracks=324 nbVisitedNodes=1035 nbRestartNogoods=25 mapSize=276
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.211 cpuTime=0.17 mem=14M711
1.11
1.11 search
1.11 run=7 nbConstraintChecks=903489 nbPropagations=45939 nbRevisions=473004 nbUselessRevisions=362285
1.11 nbAssignments=874 nbFailedAssignments=331 nbBacktracks=495 nbVisitedNodes=1509 nbRestartNogoods=28 mapSize=425
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.272 cpuTime=0.23 mem=14M711
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1357942 nbPropagations=70012 nbRevisions=725739 nbUselessRevisions=555670
1.21 nbAssignments=1324 nbFailedAssignments=518 nbBacktracks=751 nbVisitedNodes=2300 nbRestartNogoods=33
1.21 mapSize=650 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.379 cpuTime=0.32 mem=14M711
1.35
1.35 search
1.35 run=9 nbConstraintChecks=1981911 nbPropagations=105645 nbRevisions=1103503 nbUselessRevisions=845576
1.35 nbAssignments=1970 nbFailedAssignments=771 nbBacktracks=1136 nbVisitedNodes=3438 nbRestartNogoods=41
1.35 mapSize=987 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.517 cpuTime=0.44 mem=14M711
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1046, nbTooLargekeys=0, mem=14M711)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=2991999 nbPropagations=159014 nbRevisions=1673130 nbUselessRevisions=1282631
1.54 nbAssignments=2936 nbFailedAssignments=1154 nbBacktracks=1715 nbVisitedNodes=5113 nbRestartNogoods=47
1.54 => wckTime=0.705 cpuTime=0.62 mem=14M711
1.79
1.79 search
1.79 run=11 nbConstraintChecks=4495505 nbPropagations=238632 nbRevisions=2523237 nbUselessRevisions=1933097
1.79 nbAssignments=4361 nbFailedAssignments=1707 nbBacktracks=2579 nbVisitedNodes=7583 nbRestartNogoods=54
1.79 => wckTime=0.959 cpuTime=0.87 mem=14M711
2.16
2.16 search
2.16 run=12 nbConstraintChecks=6707421 nbPropagations=358581 nbRevisions=3815155 nbUselessRevisions=2925094
2.16 nbAssignments=6602 nbFailedAssignments=2645 nbBacktracks=3877 nbVisitedNodes=11517 nbRestartNogoods=59
2.16 => wckTime=1.329 cpuTime=1.24 mem=14M711
2.69
2.69 search
2.69 run=13 nbConstraintChecks=9818218 nbPropagations=534170 nbRevisions=5705086 nbUselessRevisions=4375468
2.69 nbAssignments=9750 nbFailedAssignments=3841 nbBacktracks=5826 nbVisitedNodes=16929 nbRestartNogoods=69
2.69 => wckTime=1.854 cpuTime=1.75 mem=14M711
3.52
3.52 search
3.52 run=14 nbConstraintChecks=14716820 nbPropagations=799808 nbRevisions=8564265 nbUselessRevisions=6569550
3.52 nbAssignments=14648 nbFailedAssignments=5816 nbBacktracks=8745 nbVisitedNodes=25473 nbRestartNogoods=71
3.52 => wckTime=2.686 cpuTime=2.58 mem=14M711
4.84
4.84 search
4.84 run=15 nbConstraintChecks=22701776 nbPropagations=1204971 nbRevisions=12930628 nbUselessRevisions=9913882
4.84 nbAssignments=22263 nbFailedAssignments=9048 nbBacktracks=13125 nbVisitedNodes=38910 nbRestartNogoods=74
4.84 => wckTime=4.007 cpuTime=3.89 mem=14M711
6.70
6.70 search
6.70 run=16 nbConstraintChecks=33731195 nbPropagations=1808980 nbRevisions=19459274 nbUselessRevisions=14920943
6.70 nbAssignments=33250 nbFailedAssignments=13463 nbBacktracks=19693 nbVisitedNodes=58093 nbRestartNogoods=78
6.70 => wckTime=5.864 cpuTime=5.73 mem=14M711
9.51
9.51 search
9.51 run=17 nbConstraintChecks=50587963 nbPropagations=2709307 nbRevisions=29214128 nbUselessRevisions=22407713
9.51 nbAssignments=49684 nbFailedAssignments=20038 nbBacktracks=29545 nbVisitedNodes=86690 nbRestartNogoods=87
9.51 => wckTime=8.676 cpuTime=8.51 mem=14M711
13.78
13.78 search
13.78 run=18 nbConstraintChecks=76295853 nbPropagations=4060644 nbRevisions=43849322 nbUselessRevisions=33634803
13.78 nbAssignments=74389 nbFailedAssignments=29958 nbBacktracks=44324 nbVisitedNodes=129820 nbRestartNogoods=95
13.78 => wckTime=12.945 cpuTime=12.74 mem=14M711
16.32
16.32 search
16.32 run=19 nbConstraintChecks=91510265 nbPropagations=5687489 nbRevisions=61445732 nbUselessRevisions=47138400
16.32 nbAssignments=89592 nbFailedAssignments=35769 nbBacktracks=53676 nbVisitedNodes=156046 nbRestartNogoods=102
16.32 => wckTime=15.485 cpuTime=15.26 mem=14M711
16.32
16.32 global
16.32 nbConstraintChecks=91510265 nbPropagations=5687529 nbRevisions=61445732 nbUselessRevisions=47138400
16.32 nbRestartNogoods=102 solvingWckTime=15.486 solvingCpuTime=15.26 expiredTime=no totalExploration=no
16.32 nbFoundSolutions=1 globalCpuTime=15.65
16.32 => wckTime=15.971 cpuTime=15.6 mem=14M711
16.32
16.32 s SATISFIABLE
16.32 v 6 14 15 3 11 9 1 3 6 9 6 15 0 15 11 15 14 2 9 3 2 6 13 10 6 2 2 15 12 6 5 15 2 1 4 5 7 12 3 3
16.32 d NODES 89592
16.32 d CHECKS 91510265
16.32
16.32 totalWckTime=16.052 totalCpuTime=15.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-229180-1168080943 -o ROOT/results/node9/solver-229180-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229180-1168080943/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.31 1.76 1.82 2/93 19121
/proc/meminfo: memFree=1167744/2055920 swapFree=4191880/4192956
[pid=19120] ppid=19118 vsize=18540 CPUtime=0
/proc/19120/stat : 19120 (runsolver) R 19118 19120 17479 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156491150 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19120/statm: 4635 279 244 17 0 2626 0
[startup+0.102458 s]
/proc/loadavg: 1.31 1.76 1.82 2/93 19121
/proc/meminfo: memFree=1167744/2055920 swapFree=4191880/4192956
[pid=19120] ppid=19118 vsize=907808 CPUtime=0.05
/proc/19120/stat : 19120 (java) R 19118 19120 17479 0 -1 0 2443 0 1 0 4 1 0 0 16 0 4 0 156491150 929595392 2190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8866316 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/19120/statm: 226952 2190 1209 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.510506 s]
/proc/loadavg: 1.31 1.76 1.82 2/93 19121
/proc/meminfo: memFree=1167744/2055920 swapFree=4191880/4192956
[pid=19120] ppid=19118 vsize=915328 CPUtime=0.45
/proc/19120/stat : 19120 (java) R 19118 19120 17479 0 -1 0 6409 0 1 0 42 3 0 0 18 0 8 0 156491150 937295872 6148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19120/statm: 228832 6148 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33359 s]
/proc/loadavg: 1.31 1.76 1.82 3/100 19128
/proc/meminfo: memFree=1144328/2055920 swapFree=4191880/4192956
[pid=19120] ppid=19118 vsize=915452 CPUtime=1.26
/proc/19120/stat : 19120 (java) R 19118 19120 17479 0 -1 0 8582 0 1 0 120 6 0 0 24 0 8 0 156491150 937422848 8320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19120/statm: 228863 8320 2513 14 0 215333 0
[pid=19120/tid=19122] ppid=19118 vsize=915452 CPUtime=0.03
/proc/19120/task/19122/stat : 19122 (java) S 19118 19120 17479 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 156491157 937422848 8320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19123] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19123/stat : 19123 (java) S 19118 19120 17479 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491158 937422848 8320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19124] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19124/stat : 19124 (java) S 19118 19120 17479 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491158 937422848 8320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19125] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19125/stat : 19125 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491161 937422848 8320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19126] ppid=19118 vsize=915452 CPUtime=0.2
/proc/19120/task/19126/stat : 19126 (java) S 19118 19120 17479 0 -1 64 381 0 0 0 19 1 0 0 16 0 8 0 156491161 937422848 8320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19127] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19127/stat : 19127 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491161 937422848 8320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19128] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19128/stat : 19128 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491161 937422848 8320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915452
[startup+2.98678 s]
/proc/loadavg: 1.36 1.76 1.82 4/100 19128
/proc/meminfo: memFree=1144072/2055920 swapFree=4191880/4192956
[pid=19120] ppid=19118 vsize=915452 CPUtime=2.91
/proc/19120/stat : 19120 (java) R 19118 19120 17479 0 -1 0 8606 0 1 0 285 6 0 0 25 0 8 0 156491150 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802924 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19120/statm: 228863 8343 2513 14 0 215333 0
[pid=19120/tid=19122] ppid=19118 vsize=915452 CPUtime=0.03
/proc/19120/task/19122/stat : 19122 (java) S 19118 19120 17479 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 156491157 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19123] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19123/stat : 19123 (java) S 19118 19120 17479 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491158 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19124] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19124/stat : 19124 (java) S 19118 19120 17479 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491158 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19125] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19125/stat : 19125 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491161 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19126] ppid=19118 vsize=915452 CPUtime=0.22
/proc/19120/task/19126/stat : 19126 (java) S 19118 19120 17479 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 156491161 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19127] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19127/stat : 19127 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491161 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19128] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19128/stat : 19128 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491161 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915452
[startup+6.27515 s]
/proc/loadavg: 1.36 1.76 1.82 3/100 19128
/proc/meminfo: memFree=1144136/2055920 swapFree=4191880/4192956
[pid=19120] ppid=19118 vsize=915452 CPUtime=6.16
/proc/19120/stat : 19120 (java) R 19118 19120 17479 0 -1 0 8613 0 1 0 610 6 0 0 25 0 8 0 156491150 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19120/statm: 228863 8349 2513 14 0 215333 0
[pid=19120/tid=19122] ppid=19118 vsize=915452 CPUtime=0.03
/proc/19120/task/19122/stat : 19122 (java) S 19118 19120 17479 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 156491157 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19123] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19123/stat : 19123 (java) S 19118 19120 17479 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491158 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19124] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19124/stat : 19124 (java) S 19118 19120 17479 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491158 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19125] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19125/stat : 19125 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491161 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19126] ppid=19118 vsize=915452 CPUtime=0.22
/proc/19120/task/19126/stat : 19126 (java) S 19118 19120 17479 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 156491161 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19127] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19127/stat : 19127 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491161 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19128] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19128/stat : 19128 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491161 937422848 8349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915452
[startup+12.7639 s]
/proc/loadavg: 1.46 1.77 1.83 3/100 19128
/proc/meminfo: memFree=1144200/2055920 swapFree=4191880/4192956
[pid=19120] ppid=19118 vsize=915452 CPUtime=12.59
/proc/19120/stat : 19120 (java) R 19118 19120 17479 0 -1 0 8618 0 1 0 1253 6 0 0 25 0 8 0 156491150 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19120/statm: 228863 8354 2513 14 0 215333 0
[pid=19120/tid=19122] ppid=19118 vsize=915452 CPUtime=0.03
/proc/19120/task/19122/stat : 19122 (java) S 19118 19120 17479 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 156491157 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19123] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19123/stat : 19123 (java) S 19118 19120 17479 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156491158 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19124] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19124/stat : 19124 (java) S 19118 19120 17479 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491158 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19125] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19125/stat : 19125 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156491161 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19126] ppid=19118 vsize=915452 CPUtime=0.22
/proc/19120/task/19126/stat : 19126 (java) S 19118 19120 17479 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 156491161 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19127] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19127/stat : 19127 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491161 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19120/tid=19128] ppid=19118 vsize=915452 CPUtime=0
/proc/19120/task/19128/stat : 19128 (java) S 19118 19120 17479 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491161 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 16.3837
CPU time (s): 16.1345
CPU user time (s): 16.0666
CPU system time (s): 0.067989
CPU usage (%): 98.4791
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0666
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8712
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= 1412
involuntary context switches= 2168
runsolver used 0.020996 s user time and 0.065989 s system time
The end
Begin job on node9 on Sat Jan 6 10:55:54 UTC 2007
IDJOB= 229180
IDBENCH= 6284
FILE ID= node9/229180-1168080943
PBS_JOBID= 3475831
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229180-1168080943/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-229180-1168080943 -o ROOT/results/node9/solver-229180-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229180-1168080943/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c7e456fa961beb29ac5d6b933b1d5804
RANDOM SEED= 569385070
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.231
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.231
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: 1168288 kB
Buffers: 83900 kB
Cached: 583320 kB
SwapCached: 268 kB
Active: 396236 kB
Inactive: 389164 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1168288 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 139968 kB
Slab: 86688 kB
Committed_AS: 4814276 kB
PageTables: 2480 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 node9 on Sat Jan 6 10:56:29 UTC 2007