0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/213078-1168225274/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.43 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.128 cpuTime=0.11 mem=7M50
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
0.68 nbConstraints=600 nbConvertedConstraints=202 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.68 nbSharedExtensionStructures=200 nbConflictsStructures=3 nbSharedConflictsStructures=597
0.68 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=397 maxDegree=4 maxArity=3
0.68 => wckTime=0.383 cpuTime=0.28 mem=11M926
0.73
0.73 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.633 cpuTime=0.44 mem=18M747
1.02
1.02 preprocessing
1.02 nbConstraintChecks=1891 nbValidityChecks=247 nbPropagations=1472 nbRevisions=1555 nbUselessRevisions=911
1.02 nbSingletonTests=463 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
1.02 => wckTime=0.089 cpuTime=0.06 mem=18M747
1.07
1.07 search
1.07 run=0 nbConstraintChecks=681 nbValidityChecks=240 nbPropagations=1810 nbRevisions=2167 nbUselessRevisions=1195
1.07 nbAssignments=119 nbFailedAssignments=7 nbBacktracks=22 nbVisitedNodes=129 nbRestartNogoods=0 mapSize=6
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.138 cpuTime=0.09 mem=18M747
1.11
1.11 search
1.11 run=1 nbConstraintChecks=1852 nbValidityChecks=795 nbPropagations=4276 nbRevisions=5471
1.11 nbUselessRevisions=2989 nbAssignments=389 nbFailedAssignments=16 nbBacktracks=72 nbVisitedNodes=293
1.11 nbRestartNogoods=3 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.177 cpuTime=0.13 mem=18M747
1.16
1.16 search
1.16 run=2 nbConstraintChecks=3383 nbValidityChecks=1586 nbPropagations=7752 nbRevisions=10318
1.16 nbUselessRevisions=5684 nbAssignments=983 nbFailedAssignments=21 nbBacktracks=101 nbVisitedNodes=496
1.16 nbRestartNogoods=8 mapSize=19 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.226 cpuTime=0.18 mem=18M747
1.20
1.20 search
1.20 run=3 nbConstraintChecks=4725 nbValidityChecks=2371 nbPropagations=12044 nbRevisions=16610
1.20 nbUselessRevisions=9136 nbAssignments=1301 nbFailedAssignments=28 nbBacktracks=149 nbVisitedNodes=680
1.20 nbRestartNogoods=12 mapSize=30 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.266 cpuTime=0.21 mem=18M747
1.22
1.22 search
1.22 run=4 nbConstraintChecks=5461 nbValidityChecks=2823 nbPropagations=16761 nbRevisions=23663
1.22 nbUselessRevisions=12946 nbAssignments=1448 nbFailedAssignments=37 nbBacktracks=211 nbVisitedNodes=847
1.22 nbRestartNogoods=14 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.29 cpuTime=0.24 mem=18M747
1.26
1.26 search
1.26 run=5 nbConstraintChecks=6755 nbValidityChecks=3710 nbPropagations=22179 nbRevisions=32122
1.26 nbUselessRevisions=17450 nbAssignments=1630 nbFailedAssignments=50 nbBacktracks=293 nbVisitedNodes=1054
1.26 nbRestartNogoods=15 mapSize=70 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.325 cpuTime=0.26 mem=18M747
1.29
1.29 search
1.29 run=6 nbConstraintChecks=8108 nbValidityChecks=4452 nbPropagations=28308 nbRevisions=41806
1.29 nbUselessRevisions=22484 nbAssignments=1831 nbFailedAssignments=74 nbBacktracks=407 nbVisitedNodes=1303
1.29 nbRestartNogoods=16 mapSize=116 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.358 cpuTime=0.29 mem=18M747
1.33
1.33 search
1.33 run=7 nbConstraintChecks=9813 nbValidityChecks=5741 nbPropagations=35434 nbRevisions=53472
1.33 nbUselessRevisions=28504 nbAssignments=2061 nbFailedAssignments=93 nbBacktracks=586 nbVisitedNodes=1571
1.33 nbRestartNogoods=18 mapSize=150 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.396 cpuTime=0.33 mem=18M747
1.41
1.41 search
1.41 run=8 nbConstraintChecks=13958 nbValidityChecks=8942 nbPropagations=44860 nbRevisions=70324
1.41 nbUselessRevisions=37360 nbAssignments=2466 nbFailedAssignments=122 nbBacktracks=848 nbVisitedNodes=2050
1.41 nbRestartNogoods=22 mapSize=220 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.475 cpuTime=0.4 mem=19M722
1.52
1.52 search
1.52 run=9 nbConstraintChecks=18357 nbValidityChecks=12619 nbPropagations=56643 nbRevisions=92694
1.52 nbUselessRevisions=49330 nbAssignments=3012 nbFailedAssignments=167 nbBacktracks=1236 nbVisitedNodes=2678
1.52 nbRestartNogoods=24 mapSize=296 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.588 cpuTime=0.51 mem=19M722
1.67
1.67 search
1.67 run=10 nbConstraintChecks=27471 nbValidityChecks=20431 nbPropagations=73295 nbRevisions=126690
1.67 nbUselessRevisions=68087 nbAssignments=3872 nbFailedAssignments=278 nbBacktracks=1812 nbVisitedNodes=3639
1.67 nbRestartNogoods=28 mapSize=528 nbInferences=1 nbTooLargeKeys=0
1.67 => wckTime=0.739 cpuTime=0.65 mem=19M722
1.88
1.88 search
1.88 run=11 nbConstraintChecks=50703 nbValidityChecks=40539 nbPropagations=102910 nbRevisions=190375
1.88 nbUselessRevisions=103088 nbAssignments=5002 nbFailedAssignments=497 nbBacktracks=2677 nbVisitedNodes=5216
1.88 nbRestartNogoods=29 mapSize=969 nbInferences=1 nbTooLargeKeys=0
1.88 => wckTime=0.946 cpuTime=0.86 mem=19M722
1.90
1.90 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=19M722)
2.05
2.05 search
2.05 run=12 nbConstraintChecks=73055 nbValidityChecks=57719 nbPropagations=144759 nbRevisions=280570
2.05 nbUselessRevisions=152071 nbAssignments=6722 nbFailedAssignments=822 nbBacktracks=3976 nbVisitedNodes=7490
2.05 nbRestartNogoods=35
2.05 => wckTime=1.114 cpuTime=1.02 mem=19M722
2.33
2.33 search
2.33 run=13 nbConstraintChecks=121550 nbValidityChecks=95345 nbPropagations=214309 nbRevisions=427093
2.33 nbUselessRevisions=229071 nbAssignments=9306 nbFailedAssignments=1422 nbBacktracks=5923 nbVisitedNodes=11284
2.33 nbRestartNogoods=40
2.33 => wckTime=1.399 cpuTime=1.29 mem=19M722
2.73
2.73 search
2.73 run=14 nbConstraintChecks=191971 nbValidityChecks=158117 nbPropagations=324055 nbRevisions=666297
2.73 nbUselessRevisions=356372 nbAssignments=13072 nbFailedAssignments=2219 nbBacktracks=8843 nbVisitedNodes=16587
2.73 nbRestartNogoods=45
2.73 => wckTime=1.794 cpuTime=1.69 mem=19M722
3.28
3.28 search
3.28 run=15 nbConstraintChecks=261195 nbValidityChecks=208402 nbPropagations=472586 nbRevisions=980741
3.28 nbUselessRevisions=519310 nbAssignments=19103 nbFailedAssignments=3549 nbBacktracks=13223 nbVisitedNodes=24917
3.28 nbRestartNogoods=57
3.28 => wckTime=2.346 cpuTime=2.24 mem=19M722
4.09
4.09 search
4.09 run=16 nbConstraintChecks=387296 nbValidityChecks=310108 nbPropagations=693787 nbRevisions=1443108
4.09 nbUselessRevisions=755449 nbAssignments=27378 nbFailedAssignments=5218 nbBacktracks=19791 nbVisitedNodes=36524
4.09 nbRestartNogoods=63
4.09 => wckTime=3.162 cpuTime=3.05 mem=19M722
5.42
5.42 search
5.42 run=17 nbConstraintChecks=666570 nbValidityChecks=594274 nbPropagations=1074448 nbRevisions=2332421
5.42 nbUselessRevisions=1251879 nbAssignments=39430 nbFailedAssignments=7320 nbBacktracks=29646 nbVisitedNodes=52859
5.42 nbRestartNogoods=67
5.42 => wckTime=4.492 cpuTime=4.38 mem=19M722
7.64
7.64 search
7.64 run=18 nbConstraintChecks=1189414 nbValidityChecks=1104270 nbPropagations=1772524 nbRevisions=3972366
7.64 nbUselessRevisions=2172602 nbAssignments=57937 nbFailedAssignments=10939 nbBacktracks=44426
7.64 nbVisitedNodes=78542 nbRestartNogoods=71
7.64 => wckTime=6.712 cpuTime=6.6 mem=19M722
10.23
10.23 search
10.23 run=19 nbConstraintChecks=1568620 nbValidityChecks=1426718 nbPropagations=2690268 nbRevisions=6083412
10.23 nbUselessRevisions=3339798 nbAssignments=85199 nbFailedAssignments=15933 nbBacktracks=66595
10.23 nbVisitedNodes=116126 nbRestartNogoods=81
10.23 => wckTime=9.296 cpuTime=9.18 mem=19M722
14.18
14.18 search
14.18 run=20 nbConstraintChecks=2263287 nbValidityChecks=2130015 nbPropagations=4011840 nbRevisions=9282191
14.18 nbUselessRevisions=5179897 nbAssignments=125534 nbFailedAssignments=22933 nbBacktracks=99851
14.18 nbVisitedNodes=169677 nbRestartNogoods=88
14.18 => wckTime=13.246 cpuTime=13.11 mem=19M722
20.33
20.33 search
20.33 run=21 nbConstraintChecks=3460810 nbValidityChecks=3266242 nbPropagations=6041437 nbRevisions=14191897
20.33 nbUselessRevisions=8003055 nbAssignments=184603 nbFailedAssignments=32026 nbBacktracks=149740
20.33 nbVisitedNodes=247355 nbRestartNogoods=98
20.33 => wckTime=19.396 cpuTime=19.25 mem=19M722
28.94
28.95 search
28.95 run=22 nbConstraintChecks=4864380 nbValidityChecks=4562904 nbPropagations=8884850 nbRevisions=21001782
28.95 nbUselessRevisions=11885533 nbAssignments=273734 nbFailedAssignments=46084 nbBacktracks=224569
28.95 nbVisitedNodes=363450 nbRestartNogoods=109
28.95 => wckTime=28.013 cpuTime=27.85 mem=19M722
42.97
42.97 search
42.97 run=23 nbConstraintChecks=7444302 nbValidityChecks=6926658 nbPropagations=13217130 nbRevisions=31334690
42.97 nbUselessRevisions=17743679 nbAssignments=407084 nbFailedAssignments=67123 nbBacktracks=336822
42.97 nbVisitedNodes=538132 nbRestartNogoods=118
42.97 => wckTime=42.034 cpuTime=41.69 mem=19M722
62.87
62.87 search
62.87 run=24 nbConstraintChecks=10432106 nbValidityChecks=9515440 nbPropagations=19315575 nbRevisions=45469135
62.87 nbUselessRevisions=25584835 nbAssignments=610347 nbFailedAssignments=101901 nbBacktracks=505164
62.87 nbVisitedNodes=810736 nbRestartNogoods=127
62.87 => wckTime=61.939 cpuTime=61.25 mem=19M722
93.43
93.43 search
93.43 run=25 nbConstraintChecks=15785428 nbValidityChecks=14451810 nbPropagations=28593547 nbRevisions=66980844
93.43 nbUselessRevisions=37556053 nbAssignments=913158 nbFailedAssignments=152149 nbBacktracks=757677
93.43 nbVisitedNodes=1214361 nbRestartNogoods=137
93.43 => wckTime=92.495 cpuTime=91.77 mem=19M722
115.66
115.66 search
115.66 run=26 nbConstraintChecks=19647607 nbValidityChecks=17951888 nbPropagations=40155510 nbRevisions=93709241
115.66 nbUselessRevisions=52405976 nbAssignments=1131762 nbFailedAssignments=189812 nbBacktracks=938197
115.66 nbVisitedNodes=1505060 nbRestartNogoods=148
115.66 => wckTime=114.729 cpuTime=113.96 mem=19M722
115.66
115.66 global
115.66 nbConstraintChecks=19649498 nbValidityChecks=17952135 nbPropagations=40156982 nbRevisions=93710796
115.66 nbUselessRevisions=52406887 nbRestartNogoods=148 solvingWckTime=114.73 solvingCpuTime=113.96 expiredTime=no
115.66 totalExploration=no nbFoundSolutions=1 globalCpuTime=114.44
115.66 => wckTime=115.365 cpuTime=114.4 mem=19M722
115.67
115.67 s SATISFIABLE
115.67 v 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1
115.67 d NODES 1131762
115.67 d CHECKS 19649498
115.67
115.67 totalWckTime=115.446 totalCpuTime=114.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-213078-1168225274 -o ROOT/results/node18/solver-213078-1168225274 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213078-1168225274/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.05 1.14 1.49 5/92 10196
/proc/meminfo: memFree=1749152/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=9600 CPUtime=0
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 379 0 0 0 0 0 0 0 18 0 1 0 170922685 9830400 167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 0 0 0
/proc/10195/statm: 2400 167 130 14 0 1138 0
[startup+0.107352 s]
/proc/loadavg: 1.05 1.14 1.49 5/92 10196
/proc/meminfo: memFree=1749152/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=914988 CPUtime=0.09
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 3084 0 1 0 8 1 0 0 22 0 8 0 170922685 936947712 2830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228747 2831 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515392 s]
/proc/loadavg: 1.05 1.14 1.49 5/92 10196
/proc/meminfo: memFree=1749152/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915328 CPUtime=0.49
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 6560 0 1 0 45 4 0 0 25 0 8 0 170922685 937295872 6299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073583534 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228832 6300 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34247 s]
/proc/loadavg: 1.05 1.14 1.49 3/99 10203
/proc/meminfo: memFree=1721640/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=1.32
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9745 0 1 0 124 8 0 0 25 0 8 0 170922685 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073964913 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9483 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.27
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 424 0 0 0 26 1 0 0 15 0 8 0 170922692 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915572
[startup+2.98763 s]
/proc/loadavg: 1.05 1.14 1.49 3/99 10221
/proc/meminfo: memFree=1720288/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=2.95
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9952 0 1 0 286 9 0 0 25 0 8 0 170922685 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073899021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9688 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 17 0 8 0 170922688 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 437 0 0 0 28 1 0 0 15 0 8 0 170922692 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915572
[startup+6.26995 s]
/proc/loadavg: 1.13 1.16 1.49 3/99 10227
/proc/meminfo: memFree=1720224/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=6.23
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9961 0 1 0 614 9 0 0 25 0 8 0 170922685 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9697 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 437 0 0 0 28 1 0 0 15 0 8 0 170922692 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915572
[startup+12.7676 s]
/proc/loadavg: 1.20 1.17 1.50 3/99 10237
/proc/meminfo: memFree=1720160/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=12.71
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9968 0 1 0 1261 10 0 0 25 0 8 0 170922685 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073904662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9704 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 170922692 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915572
[startup+25.6368 s]
/proc/loadavg: 1.37 1.21 1.50 3/99 10259
/proc/meminfo: memFree=1720232/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=25.54
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9975 0 1 0 2543 11 0 0 25 0 8 0 170922685 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073913626 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9711 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 170922692 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915572
[startup+51.2843 s]
/proc/loadavg: 2.04 1.37 1.55 4/104 10637
/proc/meminfo: memFree=1713624/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=50.69
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9981 0 1 0 5054 15 0 0 25 0 8 0 170922685 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073958779 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9717 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 170922692 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915572
[startup+102.554 s]
/proc/loadavg: 2.05 1.48 1.57 3/93 10727
/proc/meminfo: memFree=1691992/2055920 swapFree=4192812/4192956
[pid=10195] ppid=10193 vsize=915572 CPUtime=101.89
/proc/10195/stat : 10195 (java) R 10193 10195 9838 0 -1 0 9986 0 1 0 10172 17 0 0 25 0 8 0 170922685 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906404 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10195/statm: 228893 9722 2543 14 0 215363 0
[pid=10195/tid=10197] ppid=10193 vsize=915572 CPUtime=0.03
/proc/10195/task/10197/stat : 10197 (java) S 10193 10195 9838 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170922688 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10198] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10198/stat : 10198 (java) S 10193 10195 9838 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170922689 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10199] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10199/stat : 10199 (java) S 10193 10195 9838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170922689 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10200] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10200/stat : 10200 (java) S 10193 10195 9838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170922692 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10201] ppid=10193 vsize=915572 CPUtime=0.29
/proc/10195/task/10201/stat : 10201 (java) S 10193 10195 9838 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 170922692 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10202] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10202/stat : 10202 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170922692 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10195/tid=10203] ppid=10193 vsize=915572 CPUtime=0
/proc/10195/task/10203/stat : 10203 (java) S 10193 10195 9838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170922692 937545728 9722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915572
Child status: 0
Real time (s): 115.712
CPU time (s): 114.996
CPU user time (s): 114.81
CPU system time (s): 0.185971
CPU usage (%): 99.3807
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.81
system time used= 0.185971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10082
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= 3724
involuntary context switches= 7578
runsolver used 0.177972 s user time and 0.366944 s system time
The end
Begin job on node18 on Mon Jan 8 03:01:17 UTC 2007
IDJOB= 213078
IDBENCH= 4820
FILE ID= node18/213078-1168225274
PBS_JOBID= 3481001
Free space on /tmp= 66286 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-2-0-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213078-1168225274/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-213078-1168225274 -o ROOT/results/node18/solver-213078-1168225274 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213078-1168225274/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5b0fdac3ae84ac418e9177b7807f8ce8
RANDOM SEED= 945146935
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: 1749568 kB
Buffers: 52556 kB
Cached: 127780 kB
SwapCached: 0 kB
Active: 157092 kB
Inactive: 93268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749568 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 92848 kB
Slab: 40516 kB
Committed_AS: 4847112 kB
PageTables: 2280 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= 66299 MiB
End job on node18 on Mon Jan 8 03:03:19 UTC 2007