0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/197706-1168071098/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=36 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.43 => wckTime=0.108 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.46
0.46 constraints being loaded...
0.54 nbConstraints=153 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=143
0.54 nbConflictsStructures=10 nbSharedConflictsStructures=143 nbSharedBinaryRepresentations=9 maxDegree=9 maxArity=4
0.54 => wckTime=0.211 cpuTime=0.16 mem=8M912
0.57
0.57 solver IterativeSystematicSolver being built...
0.74 => wckTime=0.417 cpuTime=0.3 mem=14M621
0.75
0.75 preprocessing
0.75 nbConstraintChecks=226 nbValidityChecks=100 nbPropagations=45 nbRevisions=33 nbUselessRevisions=0
0.75 nbRemovedValues=123 detectedInconsistency=no
0.75 => wckTime=0.0070 cpuTime=0.01 mem=14M621
0.80
0.80 search
0.80 run=0 nbConstraintChecks=1511 nbValidityChecks=1758 nbPropagations=207 nbRevisions=511 nbUselessRevisions=329
0.80 nbAssignments=38 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=9
0.80 nbInferences=0 nbTooLargeKeys=0
0.80 => wckTime=0.058 cpuTime=0.03 mem=14M621
0.83
0.83 search
0.83 run=1 nbConstraintChecks=4019 nbValidityChecks=4292 nbPropagations=652 nbRevisions=1613
0.83 nbUselessRevisions=1009 nbAssignments=90 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=126
0.83 nbRestartNogoods=1 mapSize=24 nbInferences=1 nbTooLargeKeys=0
0.83 => wckTime=0.088 cpuTime=0.04 mem=14M621
0.84
0.84 search
0.84 run=2 nbConstraintChecks=5836 nbValidityChecks=6230 nbPropagations=1337 nbRevisions=3370
0.84 nbUselessRevisions=2109 nbAssignments=143 nbFailedAssignments=29 nbBacktracks=53 nbVisitedNodes=205
0.84 nbRestartNogoods=7 mapSize=43 nbInferences=3 nbTooLargeKeys=0
0.84 => wckTime=0.098 cpuTime=0.05 mem=14M621
0.86
0.86 search
0.86 run=3 nbConstraintChecks=11513 nbValidityChecks=11643 nbPropagations=2361 nbRevisions=6394
0.86 nbUselessRevisions=4047 nbAssignments=212 nbFailedAssignments=53 nbBacktracks=88 nbVisitedNodes=315
0.86 nbRestartNogoods=8 mapSize=71 nbInferences=3 nbTooLargeKeys=0
0.86 => wckTime=0.117 cpuTime=0.07 mem=14M621
0.87
0.87 search
0.87 run=4 nbConstraintChecks=15972 nbValidityChecks=15260 nbPropagations=3776 nbRevisions=11039
0.87 nbUselessRevisions=7145 nbAssignments=303 nbFailedAssignments=83 nbBacktracks=140 nbVisitedNodes=467
0.87 nbRestartNogoods=10 mapSize=117 nbInferences=4 nbTooLargeKeys=0
0.87 => wckTime=0.129 cpuTime=0.08 mem=14M621
0.90
0.90 search
0.90 run=5 nbConstraintChecks=35189 nbValidityChecks=33390 nbPropagations=5952 nbRevisions=18496
0.90 nbUselessRevisions=12023 nbAssignments=428 nbFailedAssignments=126 nbBacktracks=216 nbVisitedNodes=676
0.90 nbRestartNogoods=11 mapSize=181 nbInferences=4 nbTooLargeKeys=0
0.90 => wckTime=0.155 cpuTime=0.1 mem=14M621
0.92
0.92 search
0.92 run=6 nbConstraintChecks=45645 nbValidityChecks=39599 nbPropagations=8815 nbRevisions=28881
0.92 nbUselessRevisions=19062 nbAssignments=609 nbFailedAssignments=184 nbBacktracks=330 nbVisitedNodes=973
0.92 nbRestartNogoods=15 mapSize=271 nbInferences=5 nbTooLargeKeys=0
0.92 => wckTime=0.172 cpuTime=0.11 mem=14M621
0.95
0.95 search
0.95 run=7 nbConstraintChecks=57601 nbValidityChecks=50702 nbPropagations=12985 nbRevisions=43464
0.95 nbUselessRevisions=28847 nbAssignments=903 nbFailedAssignments=294 nbBacktracks=501 nbVisitedNodes=1484
0.95 nbRestartNogoods=18 mapSize=429 nbInferences=6 nbTooLargeKeys=0
0.95 => wckTime=0.203 cpuTime=0.14 mem=14M621
1.00
1.00 search
1.00 run=8 nbConstraintChecks=97548 nbValidityChecks=83940 nbPropagations=19401 nbRevisions=65850
1.00 nbUselessRevisions=43813 nbAssignments=1310 nbFailedAssignments=426 nbBacktracks=758 nbVisitedNodes=2153
1.00 nbRestartNogoods=23 mapSize=646 nbInferences=13 nbTooLargeKeys=0
1.00 => wckTime=0.256 cpuTime=0.19 mem=14M621
1.07
1.07 search
1.07 run=9 nbConstraintChecks=132250 nbValidityChecks=107290 nbPropagations=29011 nbRevisions=99161
1.07 nbUselessRevisions=66001 nbAssignments=1980 nbFailedAssignments=658 nbBacktracks=1142 nbVisitedNodes=3314
1.07 nbRestartNogoods=31 mapSize=1002 nbInferences=52 nbTooLargeKeys=0
1.07 => wckTime=0.322 cpuTime=0.23 mem=14M621
1.17
1.17 search
1.17 run=10 nbConstraintChecks=217568 nbValidityChecks=190666 nbPropagations=43610 nbRevisions=151377
1.17 nbUselessRevisions=100270 nbAssignments=2919 nbFailedAssignments=993 nbBacktracks=1718 nbVisitedNodes=4928
1.17 nbRestartNogoods=37 mapSize=1531 nbInferences=71 nbTooLargeKeys=0
1.17 => wckTime=0.428 cpuTime=0.32 mem=14M621
1.31
1.31 search
1.31 run=11 nbConstraintChecks=382123 nbValidityChecks=328062 nbPropagations=67124 nbRevisions=237779
1.32 nbUselessRevisions=156902 nbAssignments=4386 nbFailedAssignments=1523 nbBacktracks=2582 nbVisitedNodes=7461
1.32 nbRestartNogoods=41 mapSize=2358 nbInferences=136 nbTooLargeKeys=0
1.32 => wckTime=0.571 cpuTime=0.46 mem=15M596
1.47
1.47 search
1.47 run=12 nbConstraintChecks=521765 nbValidityChecks=460580 nbPropagations=101880 nbRevisions=363268
1.47 nbUselessRevisions=239614 nbAssignments=6456 nbFailedAssignments=2279 nbBacktracks=3879 nbVisitedNodes=11009
1.47 nbRestartNogoods=48 mapSize=3509 nbInferences=139 nbTooLargeKeys=0
1.47 => wckTime=0.726 cpuTime=0.61 mem=15M596
1.69
1.69 search
1.69 run=13 nbConstraintChecks=750817 nbValidityChecks=636867 nbPropagations=150151 nbRevisions=542011
1.69 nbUselessRevisions=359783 nbAssignments=9474 nbFailedAssignments=3248 nbBacktracks=5827 nbVisitedNodes=16025
1.69 nbRestartNogoods=57 mapSize=5153 nbInferences=227 nbTooLargeKeys=0
1.69 => wckTime=0.946 cpuTime=0.83 mem=15M596
2.08
2.08 search
2.08 run=14 nbConstraintChecks=1171232 nbValidityChecks=998171 nbPropagations=224515 nbRevisions=808902
2.08 nbUselessRevisions=537517 nbAssignments=14022 nbFailedAssignments=4679 nbBacktracks=8749 nbVisitedNodes=23507
2.08 nbRestartNogoods=66 mapSize=7524 nbInferences=414 nbTooLargeKeys=0
2.08 => wckTime=1.333 cpuTime=1.21 mem=16M572
2.55
2.55 search
2.55 run=15 nbConstraintChecks=1644650 nbValidityChecks=1385748 nbPropagations=333979 nbRevisions=1207821
2.55 nbUselessRevisions=804346 nbAssignments=20748 nbFailedAssignments=6876 nbBacktracks=13127 nbVisitedNodes=34608
2.55 nbRestartNogoods=74 mapSize=11007 nbInferences=554 nbTooLargeKeys=0
2.55 => wckTime=1.804 cpuTime=1.69 mem=16M572
3.29
3.29 search
3.29 run=16 nbConstraintChecks=2412707 nbValidityChecks=2008181 nbPropagations=491403 nbRevisions=1791664
3.29 nbUselessRevisions=1198015 nbAssignments=30906 nbFailedAssignments=10268 nbBacktracks=19697
3.29 nbVisitedNodes=51626 nbRestartNogoods=85 mapSize=16689 nbInferences=741 nbTooLargeKeys=0
3.29 => wckTime=2.545 cpuTime=2.42 mem=17M547
4.53
4.53 search
4.53 run=17 nbConstraintChecks=3715769 nbValidityChecks=3112214 nbPropagations=729369 nbRevisions=2669222
4.53 nbUselessRevisions=1793786 nbAssignments=46766 nbFailedAssignments=15522 nbBacktracks=29550
4.53 nbVisitedNodes=78471 nbRestartNogoods=88 mapSize=25230 nbInferences=1483 nbTooLargeKeys=0
4.53 => wckTime=3.789 cpuTime=3.65 mem=19M497
6.42
6.42 search
6.42 run=18 nbConstraintChecks=5718862 nbValidityChecks=4818299 nbPropagations=1094655 nbRevisions=4009531
6.42 nbUselessRevisions=2703612 nbAssignments=70158 nbFailedAssignments=22514 nbBacktracks=44331
6.42 nbVisitedNodes=117336 nbRestartNogoods=101 mapSize=37635 nbInferences=3092 nbTooLargeKeys=0
6.42 => wckTime=5.674 cpuTime=5.51 mem=22M423
9.03
9.03 search
9.03 run=19 nbConstraintChecks=8111559 nbValidityChecks=6798632 nbPropagations=1641492 nbRevisions=5982284
9.03 nbUselessRevisions=4047143 nbAssignments=108109 nbFailedAssignments=32442 nbBacktracks=66500
9.03 nbVisitedNodes=180277 nbRestartNogoods=112 mapSize=56837 nbInferences=8936 nbTooLargeKeys=0
9.03 => wckTime=8.283 cpuTime=8.1 mem=26M323
13.88
13.88 search
13.88 run=20 nbConstraintChecks=13554736 nbValidityChecks=11379997 nbPropagations=2503518 nbRevisions=9082997
13.88 nbUselessRevisions=6142419 nbAssignments=163803 nbFailedAssignments=52127 nbBacktracks=99753
13.88 nbVisitedNodes=275306 nbRestartNogoods=119 mapSize=84547 nbInferences=11683 nbTooLargeKeys=0
13.88 => wckTime=13.133 cpuTime=12.91 mem=31M199
20.30
20.30 search
20.30 run=21 nbConstraintChecks=19869937 nbValidityChecks=16527995 nbPropagations=3770380 nbRevisions=13633090
20.30 nbUselessRevisions=9271683 nbAssignments=252361 nbFailedAssignments=71217 nbBacktracks=149631
20.30 nbVisitedNodes=421346 nbRestartNogoods=129 mapSize=127854 nbInferences=31260 nbTooLargeKeys=0
20.30 => wckTime=19.556 cpuTime=19.28 mem=41M24
30.37
30.37 search
30.37 run=22 nbConstraintChecks=29917194 nbValidityChecks=25313157 nbPropagations=5701502 nbRevisions=20397621
30.37 nbUselessRevisions=13866434 nbAssignments=375588 nbFailedAssignments=105716 nbBacktracks=224449
30.37 nbVisitedNodes=626436 nbRestartNogoods=140 mapSize=190130 nbInferences=45161 nbTooLargeKeys=0
30.37 => wckTime=29.629 cpuTime=29.03 mem=31M304
44.99
44.99 search
44.99 run=23 nbConstraintChecks=45780033 nbValidityChecks=38692390 nbPropagations=8594155 nbRevisions=30640647
44.99 nbUselessRevisions=20827680 nbAssignments=558571 nbFailedAssignments=160249 nbBacktracks=336677
44.99 nbVisitedNodes=932070 nbRestartNogoods=148 mapSize=283248 nbInferences=61374 nbTooLargeKeys=0
44.99 => wckTime=44.247 cpuTime=43.51 mem=51M130
56.32
56.32 search
56.32 run=24 nbConstraintChecks=58004259 nbValidityChecks=48913934 nbPropagations=12266790 nbRevisions=43619290
56.32 nbUselessRevisions=29633107 nbAssignments=702678 nbFailedAssignments=205807 nbBacktracks=423654
56.32 nbVisitedNodes=1177853 nbRestartNogoods=157 mapSize=358768 nbInferences=72947 nbTooLargeKeys=0
56.32 => wckTime=55.573 cpuTime=54.73 mem=64M919
56.32
56.32 global
56.32 nbConstraintChecks=58004485 nbValidityChecks=48914034 nbPropagations=12266835 nbRevisions=43619323
56.32 nbUselessRevisions=29633107 nbRestartNogoods=157 solvingWckTime=55.574 solvingCpuTime=54.73 expiredTime=no
56.32 totalExploration=yes nbFoundSolutions=0 globalCpuTime=55.09
56.32 => wckTime=55.994 cpuTime=55.03 mem=64M919
56.32
56.32 s UNSATISFIABLE
56.32 d NODES 702678
56.32 d CHECKS 58004485
56.32
56.32 totalWckTime=56.079 totalCpuTime=55.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-197706-1168071098 -o ROOT/results/node6/solver-197706-1168071098 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197706-1168071098/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.40 1.77 1.87 4/93 6966
/proc/meminfo: memFree=1303152/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=18540 CPUtime=0
/proc/6965/stat : 6965 (runsolver) R 6963 6965 6730 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155505357 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6965/statm: 4635 279 244 17 0 2626 0
[startup+0.108848 s]
/proc/loadavg: 1.40 1.77 1.87 4/93 6966
/proc/meminfo: memFree=1303152/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=914988 CPUtime=0.09
/proc/6965/stat : 6965 (java) S 6963 6965 6730 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 155505357 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516894 s]
/proc/loadavg: 1.40 1.77 1.87 4/93 6966
/proc/meminfo: memFree=1303152/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915328 CPUtime=0.49
/proc/6965/stat : 6965 (java) S 6963 6965 6730 0 -1 0 6424 0 1 0 44 5 0 0 18 0 8 0 155505357 937295872 6163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228832 6163 2148 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33999 s]
/proc/loadavg: 1.40 1.77 1.87 4/100 6973
/proc/meminfo: memFree=1279544/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=1.3
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 8688 0 1 0 123 7 0 0 19 0 8 0 155505357 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073717250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 8425 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 155505361 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 380 0 0 0 21 1 0 0 18 0 8 0 155505365 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98918 s]
/proc/loadavg: 1.45 1.78 1.87 3/100 6973
/proc/meminfo: memFree=1278008/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=2.94
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 9272 0 1 0 287 7 0 0 25 0 8 0 155505357 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 9007 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 17 0 8 0 155505361 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 155505365 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26857 s]
/proc/loadavg: 1.45 1.78 1.87 3/100 6973
/proc/meminfo: memFree=1273592/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=6.18
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 10294 0 1 0 610 8 0 0 25 0 8 0 155505357 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 10029 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 155505361 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 155505365 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7573 s]
/proc/loadavg: 1.53 1.78 1.87 3/100 6973
/proc/meminfo: memFree=1265080/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=12.61
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 12271 0 1 0 1252 9 0 0 25 0 8 0 155505357 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 12006 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 155505361 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 381 0 0 0 21 1 0 0 17 0 8 0 155505365 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.6028 s]
/proc/loadavg: 1.60 1.79 1.87 3/100 6973
/proc/meminfo: memFree=1248824/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=25.34
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 16523 0 1 0 2523 11 0 0 25 0 8 0 155505357 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 16258 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 155505361 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 381 0 0 0 21 1 0 0 17 0 8 0 155505365 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460
[startup+51.2108 s]
/proc/loadavg: 1.74 1.81 1.87 3/100 6973
/proc/meminfo: memFree=1219256/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=50.71
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 23689 0 1 0 5058 13 0 0 25 0 8 0 155505357 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 23423 2521 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.25
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 6713 0 0 0 23 2 0 0 16 0 8 0 155505361 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 155505365 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 56.3484
CPU time (s): 55.8095
CPU user time (s): 55.6545
CPU system time (s): 0.154976
CPU usage (%): 99.0437
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.6545
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23697
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= 1927
involuntary context switches= 3513
runsolver used 0.071989 s user time and 0.19397 s system time
The end
Begin job on node6 on Sat Jan 6 08:11:39 UTC 2007
IDJOB= 197706
IDBENCH= 3506
FILE ID= node6/197706-1168071098
PBS_JOBID= 3475726
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/cril/cril-7.ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197706-1168071098/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-197706-1168071098 -o ROOT/results/node6/solver-197706-1168071098 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197706-1168071098/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7cc7e95e3ab2b5c1b2e8d820acd1fe1b
RANDOM SEED= 273208608
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.240
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.240
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: 2055924 kB
MemFree: 1303632 kB
Buffers: 82236 kB
Cached: 508776 kB
SwapCached: 3036 kB
Active: 376032 kB
Inactive: 280256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1303632 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 84428 kB
Slab: 80644 kB
Committed_AS: 4956368 kB
PageTables: 2468 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= 66529 MiB
End job on node6 on Sat Jan 6 08:12:36 UTC 2007