0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/210222-1168196008/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=165 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.152 cpuTime=0.08 mem=6M951
0.45
0.45 predicates being loaded...
0.46
0.46 constraints being loaded...
0.61 nbConstraints=141 nbConflictsStructures=5 nbSharedConflictsStructures=136 nbSharedBinaryRepresentations=0
0.61 nbEvaluationManagers=5 nbSharedEvaluationManagers=136 maxDegree=11 maxArity=11
0.61 => wckTime=0.312 cpuTime=0.18 mem=9M877
0.64
0.64 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.533 cpuTime=0.34 mem=16M538
0.89
0.89 preprocessing
0.89 nbConstraintChecks=1457 nbValidityChecks=1742 nbPropagations=652 nbRevisions=1552 nbUselessRevisions=1355
0.89 nbSingletonTests=302 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.059 cpuTime=0.04 mem=16M538
0.93
0.93 search
0.93 run=0 nbConstraintChecks=1411 nbValidityChecks=271 nbPropagations=821 nbRevisions=1876 nbUselessRevisions=1505
0.93 nbAssignments=137 nbFailedAssignments=1 nbBacktracks=87 nbVisitedNodes=140 nbRestartNogoods=0 mapSize=1
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.104 cpuTime=0.07 mem=17M529
0.96
0.96 search
0.96 run=1 nbConstraintChecks=4584 nbValidityChecks=696 nbPropagations=1852 nbRevisions=4152
0.96 nbUselessRevisions=3187 nbAssignments=286 nbFailedAssignments=3 nbBacktracks=107 nbVisitedNodes=293
0.96 nbRestartNogoods=1 mapSize=4 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.13 cpuTime=0.09 mem=17M529
0.98
0.98 search
0.98 run=2 nbConstraintChecks=6742 nbValidityChecks=1138 nbPropagations=3073 nbRevisions=6864
0.98 nbUselessRevisions=5107 nbAssignments=372 nbFailedAssignments=4 nbBacktracks=142 nbVisitedNodes=382
0.98 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.148 cpuTime=0.11 mem=17M529
1.00
1.00 search
1.00 run=3 nbConstraintChecks=10743 nbValidityChecks=1805 nbPropagations=4528 nbRevisions=10163
1.00 nbUselessRevisions=7362 nbAssignments=468 nbFailedAssignments=6 nbBacktracks=184 nbVisitedNodes=484
1.00 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
1.00 => wckTime=0.171 cpuTime=0.13 mem=17M529
1.04
1.04 search
1.04 run=4 nbConstraintChecks=17111 nbValidityChecks=2726 nbPropagations=6283 nbRevisions=14239
1.04 nbUselessRevisions=10068 nbAssignments=608 nbFailedAssignments=9 nbBacktracks=237 nbVisitedNodes=633
1.04 nbRestartNogoods=4 mapSize=18 nbInferences=3 nbTooLargeKeys=0
1.04 => wckTime=0.206 cpuTime=0.16 mem=17M529
1.07
1.07 search
1.07 run=5 nbConstraintChecks=22939 nbValidityChecks=3543 nbPropagations=8329 nbRevisions=18994
1.07 nbUselessRevisions=13129 nbAssignments=763 nbFailedAssignments=12 nbBacktracks=344 nbVisitedNodes=798
1.07 nbRestartNogoods=6 mapSize=27 nbInferences=5 nbTooLargeKeys=0
1.07 => wckTime=0.24 cpuTime=0.19 mem=17M529
1.10
1.10 search
1.10 run=6 nbConstraintChecks=24460 nbValidityChecks=4175 nbPropagations=10658 nbRevisions=24315
1.10 nbUselessRevisions=16498 nbAssignments=940 nbFailedAssignments=12 nbBacktracks=469 nbVisitedNodes=983
1.10 nbRestartNogoods=7 mapSize=34 nbInferences=13 nbTooLargeKeys=0
1.10 => wckTime=0.268 cpuTime=0.22 mem=17M529
1.18
1.18 search
1.18 run=7 nbConstraintChecks=55764 nbValidityChecks=7759 nbPropagations=14022 nbRevisions=32107
1.18 nbUselessRevisions=21091 nbAssignments=1218 nbFailedAssignments=36 nbBacktracks=639 nbVisitedNodes=1318
1.18 nbRestartNogoods=8 mapSize=87 nbInferences=15 nbTooLargeKeys=0
1.18 => wckTime=0.355 cpuTime=0.29 mem=17M529
1.28
1.28 search
1.28 run=8 nbConstraintChecks=84231 nbValidityChecks=12742 nbPropagations=18769 nbRevisions=43816
1.28 nbUselessRevisions=27954 nbAssignments=1656 nbFailedAssignments=63 nbBacktracks=913 nbVisitedNodes=1765
1.28 nbRestartNogoods=10 mapSize=142 nbInferences=16 nbTooLargeKeys=0
1.28 => wckTime=0.451 cpuTime=0.38 mem=17M529
1.40
1.40 search
1.40 run=9 nbConstraintChecks=139770 nbValidityChecks=19883 nbPropagations=25584 nbRevisions=60370
1.40 nbUselessRevisions=37168 nbAssignments=2277 nbFailedAssignments=115 nbBacktracks=1299 nbVisitedNodes=2414
1.40 nbRestartNogoods=15 mapSize=251 nbInferences=19 nbTooLargeKeys=0
1.40 => wckTime=0.571 cpuTime=0.49 mem=17M529
1.55
1.55 search
1.55 run=10 nbConstraintChecks=212332 nbValidityChecks=27762 nbPropagations=34718 nbRevisions=81776
1.55 nbUselessRevisions=48274 nbAssignments=2991 nbFailedAssignments=173 nbBacktracks=1881 nbVisitedNodes=3270
1.55 nbRestartNogoods=17 mapSize=390 nbInferences=19 nbTooLargeKeys=0
1.55 => wckTime=0.716 cpuTime=0.62 mem=17M529
1.77
1.77 search
1.77 run=11 nbConstraintChecks=331578 nbValidityChecks=42923 nbPropagations=48591 nbRevisions=112182
1.77 nbUselessRevisions=62569 nbAssignments=4081 nbFailedAssignments=323 nbBacktracks=2747 nbVisitedNodes=4700
1.77 nbRestartNogoods=20 mapSize=725 nbInferences=19 nbTooLargeKeys=0
1.77 => wckTime=0.938 cpuTime=0.84 mem=17M529
2.06
2.06 search
2.06 run=12 nbConstraintChecks=497650 nbValidityChecks=60080 nbPropagations=68243 nbRevisions=152263
2.06 nbUselessRevisions=80150 nbAssignments=5592 nbFailedAssignments=453 nbBacktracks=4048 nbVisitedNodes=6544
2.06 nbRestartNogoods=22 mapSize=1055 nbInferences=19 nbTooLargeKeys=0
2.06 => wckTime=1.23 cpuTime=1.13 mem=18M504
2.53
2.53 search
2.53 run=13 nbConstraintChecks=765195 nbValidityChecks=88667 nbPropagations=97898 nbRevisions=208874
2.54 nbUselessRevisions=103624 nbAssignments=7881 nbFailedAssignments=732 nbBacktracks=5997 nbVisitedNodes=9467
2.54 nbRestartNogoods=25 mapSize=1686 nbInferences=19 nbTooLargeKeys=0
2.54 => wckTime=1.706 cpuTime=1.6 mem=18M504
3.13
3.13 search
3.13 run=14 nbConstraintChecks=1108299 nbValidityChecks=119117 nbPropagations=137771 nbRevisions=282776
3.13 nbUselessRevisions=133047 nbAssignments=11105 nbFailedAssignments=969 nbBacktracks=8917 nbVisitedNodes=13272
3.13 nbRestartNogoods=28 mapSize=2264 nbInferences=19 nbTooLargeKeys=0
3.13 => wckTime=2.301 cpuTime=2.19 mem=19M479
4.01
4.01 search
4.01 run=15 nbConstraintChecks=1573599 nbValidityChecks=167003 nbPropagations=194166 nbRevisions=384584
4.01 nbUselessRevisions=171604 nbAssignments=16018 nbFailedAssignments=1422 nbBacktracks=13299 nbVisitedNodes=19204
4.01 nbRestartNogoods=31 mapSize=3279 nbInferences=19 nbTooLargeKeys=0
4.01 => wckTime=3.178 cpuTime=3.06 mem=20M455
4.53
4.53 INFO : Stopping hyperNogood (mapSize=3809, nbTooLargekeys=0, mem=20M455)
5.33
5.33 search
5.33 run=16 nbConstraintChecks=2451597 nbValidityChecks=246851 nbPropagations=276568 nbRevisions=532720
5.33 nbUselessRevisions=226679 nbAssignments=23257 nbFailedAssignments=2013 nbBacktracks=19868 nbVisitedNodes=28024
5.33 nbRestartNogoods=35
5.33 => wckTime=4.496 cpuTime=4.37 mem=20M455
6.94
6.94 search
6.94 run=17 nbConstraintChecks=3566347 nbValidityChecks=363919 nbPropagations=398255 nbRevisions=748797
6.94 nbUselessRevisions=305186 nbAssignments=34205 nbFailedAssignments=3028 nbBacktracks=29724 nbVisitedNodes=41475
6.94 nbRestartNogoods=39
6.94 => wckTime=6.112 cpuTime=5.97 mem=20M455
10.11
10.11 search
10.11 run=18 nbConstraintChecks=5882716 nbValidityChecks=579559 nbPropagations=590248 nbRevisions=1089705
10.11 nbUselessRevisions=429382 nbAssignments=50632 nbFailedAssignments=4606 nbBacktracks=44519 nbVisitedNodes=62466
10.11 nbRestartNogoods=44
10.11 => wckTime=9.284 cpuTime=9.12 mem=20M455
14.79
14.79 search
14.79 run=19 nbConstraintChecks=9257554 nbValidityChecks=917989 nbPropagations=893971 nbRevisions=1625215
14.79 nbUselessRevisions=623620 nbAssignments=75117 nbFailedAssignments=6850 nbBacktracks=66693 nbVisitedNodes=93774
14.79 nbRestartNogoods=46
14.79 => wckTime=13.964 cpuTime=13.76 mem=20M455
20.65
20.65 search
20.65 run=20 nbConstraintChecks=13315739 nbValidityChecks=1387817 nbPropagations=1353722 nbRevisions=2428110
20.65 nbUselessRevisions=911809 nbAssignments=111390 nbFailedAssignments=9806 nbBacktracks=99948
20.65 nbVisitedNodes=139552 nbRestartNogoods=49
20.65 => wckTime=19.817 cpuTime=19.56 mem=20M455
26.11
26.11 search
26.11 run=21 nbConstraintChecks=16291565 nbValidityChecks=2359798 nbPropagations=1999016 nbRevisions=4106564
26.11 nbUselessRevisions=1872192 nbAssignments=169074 nbFailedAssignments=17498 nbBacktracks=149826
26.11 nbVisitedNodes=213106 nbRestartNogoods=52
26.11 => wckTime=25.281 cpuTime=24.98 mem=20M455
30.77
30.77 search
30.77 run=22 nbConstraintChecks=19576229 nbValidityChecks=2693733 nbPropagations=2754297 nbRevisions=5978648
30.77 nbUselessRevisions=2907339 nbAssignments=195628 nbFailedAssignments=20005 nbBacktracks=173708
30.77 nbVisitedNodes=246612 nbRestartNogoods=61
30.77 => wckTime=29.938 cpuTime=29.6 mem=20M455
30.77
30.77 global
30.77 nbConstraintChecks=19577686 nbValidityChecks=2695475 nbPropagations=2754949 nbRevisions=5980200
30.77 nbUselessRevisions=2908694 nbRestartNogoods=61 solvingWckTime=29.939 solvingCpuTime=29.6 expiredTime=no
30.77 totalExploration=no nbFoundSolutions=1 globalCpuTime=29.99
30.77 => wckTime=30.473 cpuTime=29.94 mem=20M455
30.77
30.77 s SATISFIABLE
30.77 v 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0
30.77 d NODES 195628
30.77 d CHECKS 19577686
30.77
30.77 totalWckTime=30.549 totalCpuTime=29.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-210222-1168196008 -o ROOT/results/node13/solver-210222-1168196008 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210222-1168196008/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: 0.48 0.61 1.27 3/87 16362
/proc/meminfo: memFree=1458832/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=18540 CPUtime=0
/proc/16361/stat : 16361 (runsolver) R 16359 16361 15226 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 167996624 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16361/statm: 4635 279 244 17 0 2626 0
[startup+0.10293 s]
/proc/loadavg: 0.48 0.61 1.27 3/87 16362
/proc/meminfo: memFree=1458832/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=914988 CPUtime=0.08
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 3000 0 1 0 7 1 0 0 24 0 8 0 167996624 936947712 2746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510984 s]
/proc/loadavg: 0.48 0.61 1.27 3/87 16362
/proc/meminfo: memFree=1458832/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915328 CPUtime=0.42
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 6422 0 1 0 39 3 0 0 20 0 8 0 167996624 937295872 6161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228832 6161 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.33709 s]
/proc/loadavg: 0.60 0.64 1.27 3/94 16369
/proc/meminfo: memFree=1432728/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=1.24
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 9325 0 1 0 118 6 0 0 25 0 8 0 167996624 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9063 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 16 0 8 0 167996628 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.2
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 387 0 0 0 19 1 0 0 15 0 8 0 167996632 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456
[startup+2.98931 s]
/proc/loadavg: 0.60 0.64 1.27 3/94 16369
/proc/meminfo: memFree=1431576/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=2.88
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 9719 0 1 0 282 6 0 0 25 0 8 0 167996624 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628231 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9455 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 17 0 8 0 167996628 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.22
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 167996632 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915456
[startup+6.27875 s]
/proc/loadavg: 0.60 0.64 1.27 3/94 16369
/proc/meminfo: memFree=1429336/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=6.14
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 10115 0 1 0 607 7 0 0 25 0 8 0 167996624 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800023 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9850 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 16 0 8 0 167996628 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.23
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 167996632 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915456
[startup+12.7646 s]
/proc/loadavg: 0.81 0.68 1.28 3/94 16369
/proc/meminfo: memFree=1429336/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=12.58
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 10120 0 1 0 1251 7 0 0 25 0 8 0 167996624 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9855 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 16 0 8 0 167996628 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.23
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 167996632 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915456
[startup+25.5963 s]
/proc/loadavg: 1.00 0.72 1.29 3/94 16369
/proc/meminfo: memFree=1429336/2055920 swapFree=4192812/4192956
[pid=16361] ppid=16359 vsize=915456 CPUtime=25.31
/proc/16361/stat : 16361 (java) R 16359 16361 15226 0 -1 0 10128 0 1 0 2524 7 0 0 25 0 8 0 167996624 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16361/statm: 228864 9862 2543 14 0 215334 0
[pid=16361/tid=16363] ppid=16359 vsize=915456 CPUtime=0.02
/proc/16361/task/16363/stat : 16363 (java) S 16359 16361 15226 0 -1 64 185 0 0 0 2 0 0 0 16 0 8 0 167996628 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16364] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16364/stat : 16364 (java) S 16359 16361 15226 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167996629 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16365] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16365/stat : 16365 (java) S 16359 16361 15226 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167996629 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16366] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16366/stat : 16366 (java) S 16359 16361 15226 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 167996632 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16367] ppid=16359 vsize=915456 CPUtime=0.23
/proc/16361/task/16367/stat : 16367 (java) S 16359 16361 15226 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 167996632 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16368] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16368/stat : 16368 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 167996632 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16361/tid=16369] ppid=16359 vsize=915456 CPUtime=0
/proc/16361/task/16369/stat : 16369 (java) S 16359 16361 15226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167996632 937426944 9862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 30.7923
CPU time (s): 30.4574
CPU user time (s): 30.3794
CPU system time (s): 0.077988
CPU usage (%): 98.9122
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.3794
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10226
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= 1878
involuntary context switches= 2893
runsolver used 0.040993 s user time and 0.091986 s system time
The end
Begin job on node13 on Sun Jan 7 18:53:30 UTC 2007
IDJOB= 210222
IDBENCH= 4603
FILE ID= node13/210222-1168196008
PBS_JOBID= 3480491
Free space on /tmp= 66322 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-11-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210222-1168196008/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-210222-1168196008 -o ROOT/results/node13/solver-210222-1168196008 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210222-1168196008/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 74587cf503483fa9d3a155bef7ec2122
RANDOM SEED= 709227288
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.247
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.247
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: 1459432 kB
Buffers: 63084 kB
Cached: 401492 kB
SwapCached: 0 kB
Active: 186528 kB
Inactive: 330176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1459432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3056 kB
Writeback: 0 kB
Mapped: 72376 kB
Slab: 64516 kB
Committed_AS: 4310488 kB
PageTables: 2356 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= 66322 MiB
End job on node13 on Sun Jan 7 18:54:07 UTC 2007