0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/211031-1168075384/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.63 nbVariables=6059 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.63 => wckTime=0.31 cpuTime=0.22 mem=16M705
0.63
0.63 predicates being loaded...
0.64
0.64 constraints being loaded...
3.16 nbConstraints=16006 nbMergedConstraints=677 nbSingletonDomainVariables=22 nbConvertedConstraints=10529
3.16 nbConvertConstraintsChecks=37937 nbExtensionStructures=5 nbSharedExtensionStructures=10524
3.16 nbConflictsStructures=43 nbSharedConflictsStructures=15963 nbSharedBinaryRepresentations=12
3.16 nbEvaluationManagers=38 nbSharedEvaluationManagers=5439 maxDegree=308 maxArity=11
3.16 => wckTime=2.839 cpuTime=2.38 mem=57M84
3.31
3.31 solver IterativeSystematicSolver being built...
3.84 => wckTime=3.523 cpuTime=2.8 mem=51M324
3.89
3.89 preprocessing
3.89 nbConstraintChecks=0 nbPropagations=6059 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.89 detectedInconsistency=no
3.89 => wckTime=0.042 cpuTime=0.03 mem=51M324
5.04
5.04 search
5.04 run=0 nbConstraintChecks=35498 nbValidityChecks=6807 nbPropagations=11106 nbRevisions=27106
5.04 nbUselessRevisions=22067 nbAssignments=98 nbFailedAssignments=1 nbBacktracks=42 nbVisitedNodes=101
5.04 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
5.04 => wckTime=1.195 cpuTime=1.14 mem=52M323
6.05
6.05 search
6.05 run=1 nbConstraintChecks=62797 nbValidityChecks=17263 nbPropagations=27244 nbRevisions=81029
6.05 nbUselessRevisions=65927 nbAssignments=196 nbFailedAssignments=2 nbBacktracks=85 nbVisitedNodes=201
6.05 nbRestartNogoods=1 mapSize=2 nbInferences=0 nbTooLargeKeys=0
6.05 => wckTime=2.201 cpuTime=2.14 mem=52M323
7.05
7.05 search
7.05 run=2 nbConstraintChecks=90045 nbValidityChecks=27503 nbPropagations=48414 nbRevisions=161661
7.05 nbUselessRevisions=131472 nbAssignments=294 nbFailedAssignments=3 nbBacktracks=127 nbVisitedNodes=301
7.05 nbRestartNogoods=2 mapSize=3 nbInferences=0 nbTooLargeKeys=0
7.05 => wckTime=3.199 cpuTime=3.13 mem=52M323
8.06
8.06 search
8.06 run=3 nbConstraintChecks=117453 nbValidityChecks=38013 nbPropagations=74616 nbRevisions=269164
8.06 nbUselessRevisions=218864 nbAssignments=392 nbFailedAssignments=4 nbBacktracks=171 nbVisitedNodes=401
8.06 nbRestartNogoods=3 mapSize=4 nbInferences=0 nbTooLargeKeys=0
8.06 => wckTime=4.214 cpuTime=4.14 mem=52M323
9.53
9.53 search
9.53 run=4 nbConstraintChecks=150855 nbValidityChecks=50365 nbPropagations=106795 nbRevisions=409089
9.53 nbUselessRevisions=332707 nbAssignments=533 nbFailedAssignments=6 nbBacktracks=256 nbVisitedNodes=546
9.53 nbRestartNogoods=4 mapSize=7 nbInferences=0 nbTooLargeKeys=0
9.53 => wckTime=5.684 cpuTime=5.6 mem=53M322
10.98
10.98 search
10.98 run=5 nbConstraintChecks=185085 nbValidityChecks=62987 nbPropagations=144951 nbRevisions=581598
10.98 nbUselessRevisions=473163 nbAssignments=674 nbFailedAssignments=8 nbBacktracks=343 nbVisitedNodes=691
10.98 nbRestartNogoods=5 mapSize=10 nbInferences=0 nbTooLargeKeys=0
10.98 => wckTime=7.132 cpuTime=7.04 mem=53M322
12.89
12.89 search
12.89 run=6 nbConstraintChecks=224849 nbValidityChecks=78045 nbPropagations=190030 nbRevisions=792512
12.89 nbUselessRevisions=645106 nbAssignments=859 nbFailedAssignments=11 nbBacktracks=470 nbVisitedNodes=882
12.89 nbRestartNogoods=6 mapSize=14 nbInferences=0 nbTooLargeKeys=0
12.89 => wckTime=9.043 cpuTime=8.94 mem=53M322
15.27
15.27 search
15.27 run=7 nbConstraintChecks=272259 nbValidityChecks=96079 nbPropagations=242979 nbRevisions=1048030
15.27 nbUselessRevisions=853788 nbAssignments=1089 nbFailedAssignments=15 nbBacktracks=641 nbVisitedNodes=1120
15.27 nbRestartNogoods=8 mapSize=19 nbInferences=0 nbTooLargeKeys=0
15.27 => wckTime=11.427 cpuTime=11.31 mem=53M322
18.71
18.71 search
18.71 run=8 nbConstraintChecks=340935 nbValidityChecks=122336 nbPropagations=305806 nbRevisions=1362353
18.71 nbUselessRevisions=1111348 nbAssignments=1417 nbFailedAssignments=23 nbBacktracks=906 nbVisitedNodes=1462
18.71 nbRestartNogoods=11 mapSize=30 nbInferences=0 nbTooLargeKeys=0
18.71 => wckTime=14.862 cpuTime=14.72 mem=53M322
23.78
23.79 search
23.79 run=9 nbConstraintChecks=437849 nbValidityChecks=155439 nbPropagations=381758 nbRevisions=1754901
23.79 nbUselessRevisions=1433764 nbAssignments=1905 nbFailedAssignments=41 nbBacktracks=1322 nbVisitedNodes=1977
23.79 nbRestartNogoods=14 mapSize=54 nbInferences=0 nbTooLargeKeys=0
23.79 => wckTime=19.935 cpuTime=19.76 mem=54M321
30.17
30.17 search
30.17 run=10 nbConstraintChecks=623045 nbValidityChecks=223078 nbPropagations=487110 nbRevisions=2319649
30.17 nbUselessRevisions=1898191 nbAssignments=2559 nbFailedAssignments=79 nbBacktracks=1938 nbVisitedNodes=2698
30.17 nbRestartNogoods=17 mapSize=120 nbInferences=0 nbTooLargeKeys=0
30.17 => wckTime=26.326 cpuTime=26.1 mem=55M319
40.37
40.37 search
40.37 run=11 nbConstraintChecks=775602 nbValidityChecks=314350 nbPropagations=608344 nbRevisions=3005644
40.37 nbUselessRevisions=2467128 nbAssignments=3574 nbFailedAssignments=152 nbBacktracks=2817 nbVisitedNodes=3845
40.37 nbRestartNogoods=17 mapSize=249 nbInferences=0 nbTooLargeKeys=0
40.37 => wckTime=36.524 cpuTime=36.24 mem=56M318
59.62
59.62 search
59.62 run=12 nbConstraintChecks=1070771 nbValidityChecks=486724 nbPropagations=766104 nbRevisions=3954732
59.62 nbUselessRevisions=3260994 nbAssignments=5306 nbFailedAssignments=279 nbBacktracks=4127 nbVisitedNodes=5809
59.62 nbRestartNogoods=20 mapSize=473 nbInferences=0 nbTooLargeKeys=0
59.62 => wckTime=55.777 cpuTime=55.4 mem=58M316
82.78
82.78 search
82.78 run=13 nbConstraintChecks=1399377 nbValidityChecks=676210 nbPropagations=971251 nbRevisions=5205165
82.78 nbUselessRevisions=4307497 nbAssignments=7516 nbFailedAssignments=444 nbBacktracks=6100 nbVisitedNodes=8339
82.78 nbRestartNogoods=28 mapSize=790 nbInferences=0 nbTooLargeKeys=0
82.78 => wckTime=78.934 cpuTime=78.44 mem=61M313
95.27
95.27 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=62M312)
100.42
100.42 search
100.42 run=14 nbConstraintChecks=2329284 nbValidityChecks=1186167 nbPropagations=1292314 nbRevisions=7246201
100.42 nbUselessRevisions=6025441 nbAssignments=11169 nbFailedAssignments=797 nbBacktracks=9061 nbVisitedNodes=12698
100.42 nbRestartNogoods=31
100.42 => wckTime=96.575 cpuTime=96.0 mem=62M312
105.12
105.12 search
105.12 run=15 nbConstraintChecks=2863334 nbValidityChecks=1473775 nbPropagations=1690320 nbRevisions=9780945
105.12 nbUselessRevisions=8158974 nbAssignments=13507 nbFailedAssignments=1042 nbBacktracks=11155 nbVisitedNodes=15468
105.12 nbRestartNogoods=37
105.12 => wckTime=101.277 cpuTime=100.68 mem=62M312
105.12
105.13 global
105.13 nbConstraintChecks=2863334 nbValidityChecks=1473775 nbPropagations=1696379 nbRevisions=9780945
105.13 nbUselessRevisions=8158974 nbRestartNogoods=37 solvingWckTime=101.279 solvingCpuTime=100.68 expiredTime=no
105.13 totalExploration=yes nbFoundSolutions=0 globalCpuTime=103.54
105.13 => wckTime=104.809 cpuTime=103.48 mem=62M312
105.13
105.13 s UNSATISFIABLE
105.13 d NODES 13507
105.13 d CHECKS 2863334
105.13
105.13 totalWckTime=104.894 totalCpuTime=103.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-211031-1168075384 -o ROOT/results/node59/solver-211031-1168075384 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211031-1168075384/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.91 1.98 1.92 5/80 24255
/proc/meminfo: memFree=1301008/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=906644 CPUtime=0.02
/proc/24254/stat : 24254 (java) S 24252 24254 23538 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 155936823 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 226661 1818 1036 14 0 214244 0
[pid=24254/tid=24256] ppid=24252 vsize=906644 CPUtime=0
/proc/24254/task/24256/stat : 24256 (java) R 24252 24254 23538 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155936826 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104314 s]
/proc/loadavg: 1.91 1.98 1.92 5/80 24255
/proc/meminfo: memFree=1301008/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=914988 CPUtime=0.09
/proc/24254/stat : 24254 (java) R 24252 24254 23538 0 -1 0 2998 0 1 0 7 2 0 0 20 0 8 0 155936823 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 228747 2744 1427 14 0 215242 0
[pid=24254/tid=24256] ppid=24252 vsize=914988 CPUtime=0
/proc/24254/task/24256/stat : 24256 (java) S 24252 24254 23538 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155936826 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512358 s]
/proc/loadavg: 1.91 1.98 1.92 5/80 24255
/proc/meminfo: memFree=1301008/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=915328 CPUtime=0.49
/proc/24254/stat : 24254 (java) R 24252 24254 23538 0 -1 0 6475 0 1 0 44 5 0 0 22 0 8 0 155936823 937295872 6214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073611812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 228832 6214 2135 14 0 215302 0
[pid=24254/tid=24256] ppid=24252 vsize=915328 CPUtime=0
/proc/24254/task/24256/stat : 24256 (java) S 24252 24254 23538 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155936826 937295872 6214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33345 s]
/proc/loadavg: 1.92 1.98 1.92 3/87 24262
/proc/meminfo: memFree=1239320/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=915624 CPUtime=1.31
/proc/24254/stat : 24254 (java) R 24252 24254 23538 0 -1 0 17798 0 1 0 119 12 0 0 25 0 8 0 155936823 937598976 17536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073540592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 228906 17536 2158 14 0 215376 0
[pid=24254/tid=24256] ppid=24252 vsize=915624 CPUtime=0.05
/proc/24254/task/24256/stat : 24256 (java) S 24252 24254 23538 0 -1 64 1256 0 0 0 5 0 0 0 17 0 8 0 155936826 937598976 17536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24257] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24257/stat : 24257 (java) S 24252 24254 23538 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155936827 937598976 17536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24258] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24258/stat : 24258 (java) S 24252 24254 23538 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155936827 937598976 17536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24259] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24259/stat : 24259 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155936830 937598976 17536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24260] ppid=24252 vsize=915624 CPUtime=0.15
/proc/24254/task/24260/stat : 24260 (java) S 24252 24254 23538 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 155936830 937598976 17536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24261] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24261/stat : 24261 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155936830 937598976 17536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24262] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24262/stat : 24262 (java) S 24252 24254 23538 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155936830 937598976 17536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915624
[startup+2.97363 s]
/proc/loadavg: 1.92 1.98 1.92 3/87 24262
/proc/meminfo: memFree=1231128/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=915624 CPUtime=2.93
/proc/24254/stat : 24254 (java) R 24252 24254 23538 0 -1 0 21547 0 1 0 216 77 0 0 25 0 8 0 155936823 937598976 21282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153987621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 228906 21282 2178 14 0 215376 0
[pid=24254/tid=24256] ppid=24252 vsize=915624 CPUtime=0.24
/proc/24254/task/24256/stat : 24256 (java) S 24252 24254 23538 0 -1 64 4913 0 0 0 22 2 0 0 17 0 8 0 155936826 937598976 21282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24257] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24257/stat : 24257 (java) S 24252 24254 23538 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155936827 937598976 21282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24258] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24258/stat : 24258 (java) S 24252 24254 23538 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155936827 937598976 21282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24259] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24259/stat : 24259 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155936830 937598976 21282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24260] ppid=24252 vsize=915624 CPUtime=0.21
/proc/24254/task/24260/stat : 24260 (java) S 24252 24254 23538 0 -1 64 440 0 0 0 20 1 0 0 15 0 8 0 155936830 937598976 21282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24261] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24261/stat : 24261 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155936830 937598976 21282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24262] ppid=24252 vsize=915624 CPUtime=0
/proc/24254/task/24262/stat : 24262 (java) S 24252 24254 23538 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155936830 937598976 21282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915624
[startup+6.18199 s]
/proc/loadavg: 1.92 1.98 1.92 3/87 24262
/proc/meminfo: memFree=1210200/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=915872 CPUtime=6.12
/proc/24254/stat : 24254 (java) R 24252 24254 23538 0 -1 0 25423 0 1 0 530 82 0 0 25 0 8 0 155936823 937852928 25138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074242851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 228968 25138 2530 14 0 215438 0
[pid=24254/tid=24256] ppid=24252 vsize=915872 CPUtime=0.41
/proc/24254/task/24256/stat : 24256 (java) S 24252 24254 23538 0 -1 64 8259 0 0 0 38 3 0 0 17 0 8 0 155936826 937852928 25138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24257] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24257/stat : 24257 (java) S 24252 24254 23538 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155936827 937852928 25138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24258] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24258/stat : 24258 (java) S 24252 24254 23538 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155936827 937852928 25138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24259] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24259/stat : 24259 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155936830 937852928 25138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24260] ppid=24252 vsize=915872 CPUtime=0.36
/proc/24254/task/24260/stat : 24260 (java) S 24252 24254 23538 0 -1 64 530 0 0 0 34 2 0 0 16 0 8 0 155936830 937852928 25138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24261] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24261/stat : 24261 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155936830 937852928 25138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24262] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24262/stat : 24262 (java) S 24252 24254 23538 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155936830 937852928 25138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915872
[startup+12.6577 s]
/proc/loadavg: 1.93 1.98 1.92 3/87 24262
/proc/meminfo: memFree=1210136/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=915872 CPUtime=12.56
/proc/24254/stat : 24254 (java) R 24252 24254 23538 0 -1 0 25425 0 1 0 1174 82 0 0 25 0 8 0 155936823 937852928 25139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074176803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 228968 25139 2530 14 0 215438 0
[pid=24254/tid=24256] ppid=24252 vsize=915872 CPUtime=0.41
/proc/24254/task/24256/stat : 24256 (java) S 24252 24254 23538 0 -1 64 8259 0 0 0 38 3 0 0 17 0 8 0 155936826 937852928 25139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24257] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24257/stat : 24257 (java) S 24252 24254 23538 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155936827 937852928 25139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24258] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24258/stat : 24258 (java) S 24252 24254 23538 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155936827 937852928 25139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24259] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24259/stat : 24259 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155936830 937852928 25139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24260] ppid=24252 vsize=915872 CPUtime=0.37
/proc/24254/task/24260/stat : 24260 (java) S 24252 24254 23538 0 -1 64 531 0 0 0 35 2 0 0 15 0 8 0 155936830 937852928 25139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24261] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24261/stat : 24261 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155936830 937852928 25139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24262] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24262/stat : 24262 (java) S 24252 24254 23538 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155936830 937852928 25139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915872
[startup+25.5311 s]
/proc/loadavg: 1.94 1.98 1.92 3/87 24262
/proc/meminfo: memFree=1210328/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=915872 CPUtime=25.37
/proc/24254/stat : 24254 (java) R 24252 24254 23538 0 -1 0 25440 0 1 0 2455 82 0 0 25 0 8 0 155936823 937852928 25149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074242851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 228968 25149 2530 14 0 215438 0
[pid=24254/tid=24256] ppid=24252 vsize=915872 CPUtime=0.41
/proc/24254/task/24256/stat : 24256 (java) S 24252 24254 23538 0 -1 64 8259 0 0 0 38 3 0 0 16 0 8 0 155936826 937852928 25149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24257] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24257/stat : 24257 (java) S 24252 24254 23538 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155936827 937852928 25149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24258] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24258/stat : 24258 (java) S 24252 24254 23538 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155936827 937852928 25149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24259] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24259/stat : 24259 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155936830 937852928 25149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24260] ppid=24252 vsize=915872 CPUtime=0.39
/proc/24254/task/24260/stat : 24260 (java) S 24252 24254 23538 0 -1 64 543 0 0 0 37 2 0 0 16 0 8 0 155936830 937852928 25149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24261] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24261/stat : 24261 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155936830 937852928 25149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24262] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24262/stat : 24262 (java) S 24252 24254 23538 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155936830 937852928 25149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915872
[startup+51.1679 s]
/proc/loadavg: 1.96 1.98 1.92 3/87 24262
/proc/meminfo: memFree=1210264/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=915872 CPUtime=50.88
/proc/24254/stat : 24254 (java) R 24252 24254 23538 0 -1 0 25448 0 1 0 5005 83 0 0 25 0 8 0 155936823 937852928 25153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074176860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 228968 25153 2530 14 0 215438 0
[pid=24254/tid=24256] ppid=24252 vsize=915872 CPUtime=0.41
/proc/24254/task/24256/stat : 24256 (java) S 24252 24254 23538 0 -1 64 8259 0 0 0 38 3 0 0 16 0 8 0 155936826 937852928 25153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24257] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24257/stat : 24257 (java) S 24252 24254 23538 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155936827 937852928 25153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24258] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24258/stat : 24258 (java) S 24252 24254 23538 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155936827 937852928 25153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24259] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24259/stat : 24259 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155936830 937852928 25153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24260] ppid=24252 vsize=915872 CPUtime=0.4
/proc/24254/task/24260/stat : 24260 (java) S 24252 24254 23538 0 -1 64 547 0 0 0 38 2 0 0 15 0 8 0 155936830 937852928 25153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24261] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24261/stat : 24261 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155936830 937852928 25153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24262] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24262/stat : 24262 (java) S 24252 24254 23538 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155936830 937852928 25153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915872
[startup+102.432 s]
/proc/loadavg: 1.98 1.98 1.92 3/87 24262
/proc/meminfo: memFree=1210392/2055920 swapFree=4192812/4192956
[pid=24254] ppid=24252 vsize=915872 CPUtime=101.9
/proc/24254/stat : 24254 (java) R 24252 24254 23538 0 -1 0 25454 0 1 0 10107 83 0 0 25 0 8 0 155936823 937852928 25156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074198244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24254/statm: 228968 25156 2530 14 0 215438 0
[pid=24254/tid=24256] ppid=24252 vsize=915872 CPUtime=0.41
/proc/24254/task/24256/stat : 24256 (java) S 24252 24254 23538 0 -1 64 8259 0 0 0 38 3 0 0 16 0 8 0 155936826 937852928 25156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24257] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24257/stat : 24257 (java) S 24252 24254 23538 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155936827 937852928 25156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24258] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24258/stat : 24258 (java) S 24252 24254 23538 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155936827 937852928 25156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24259] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24259/stat : 24259 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155936830 937852928 25156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24260] ppid=24252 vsize=915872 CPUtime=0.4
/proc/24254/task/24260/stat : 24260 (java) S 24252 24254 23538 0 -1 64 551 0 0 0 38 2 0 0 16 0 8 0 155936830 937852928 25156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24261] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24261/stat : 24261 (java) S 24252 24254 23538 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155936830 937852928 25156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24254/tid=24262] ppid=24252 vsize=915872 CPUtime=0
/proc/24254/task/24262/stat : 24262 (java) S 24252 24254 23538 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155936830 937852928 25156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915872
Child status: 0
Real time (s): 105.199
CPU time (s): 104.611
CPU user time (s): 103.763
CPU system time (s): 0.847871
CPU usage (%): 99.4411
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.763
system time used= 0.847871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25460
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= 3919
involuntary context switches= 5349
runsolver used 0.132979 s user time and 0.346947 s system time
The end
Begin job on node59 on Sat Jan 6 09:23:09 UTC 2007
IDJOB= 211031
IDBENCH= 4663
FILE ID= node59/211031-1168075384
PBS_JOBID= 3475961
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/elf-rf8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211031-1168075384/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-211031-1168075384 -o ROOT/results/node59/solver-211031-1168075384 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211031-1168075384/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 69f6ddefd54778f84069dc5c465b5b32
RANDOM SEED= 365814625
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.239
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.239
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1301488 kB
Buffers: 44680 kB
Cached: 431456 kB
SwapCached: 0 kB
Active: 268480 kB
Inactive: 410512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1301488 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 17160 kB
Writeback: 0 kB
Mapped: 223072 kB
Slab: 60284 kB
Committed_AS: 3697240 kB
PageTables: 2268 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= 66535 MiB
End job on node59 on Sat Jan 6 09:24:54 UTC 2007