0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/229557-1168307136/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.49 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.49
0.49 relations being loaded...
0.56
0.56 constraints being loaded...
0.67 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1400 maxDegree=17
0.67 maxArity=2
0.67 => wckTime=0.272 cpuTime=0.2 mem=11M828
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.468 cpuTime=0.34 mem=14M825
0.91
0.91 preprocessing
0.91 nbConstraintChecks=47130 nbPropagations=723 nbRevisions=5223 nbUselessRevisions=4243 nbSingletonTests=47
0.91 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.91 => wckTime=0.043 cpuTime=0.02 mem=14M825
0.93
0.93 search
0.93 run=0 nbConstraintChecks=30283 nbPropagations=1277 nbRevisions=10746 nbUselessRevisions=8502 nbAssignments=29
0.93 nbFailedAssignments=9 nbBacktracks=14 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.065 cpuTime=0.05 mem=14M825
0.95
0.95 search
0.95 run=1 nbConstraintChecks=90848 nbPropagations=3554 nbRevisions=31114 nbUselessRevisions=24526 nbAssignments=83
0.95 nbFailedAssignments=30 nbBacktracks=29 nbVisitedNodes=122 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.087 cpuTime=0.06 mem=14M825
0.97
0.97 search
0.97 run=2 nbConstraintChecks=125121 nbPropagations=6549 nbRevisions=58371 nbUselessRevisions=45925
0.97 nbAssignments=130 nbFailedAssignments=49 nbBacktracks=51 nbVisitedNodes=197 nbRestartNogoods=4 mapSize=46
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.1 cpuTime=0.07 mem=14M825
0.98
0.98 search
0.98 run=3 nbConstraintChecks=178414 nbPropagations=10593 nbRevisions=96270 nbUselessRevisions=75661
0.98 nbAssignments=192 nbFailedAssignments=70 nbBacktracks=84 nbVisitedNodes=298 nbRestartNogoods=6 mapSize=70
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.113 cpuTime=0.08 mem=14M825
1.00
1.00 search
1.00 run=4 nbConstraintChecks=279274 nbPropagations=16458 nbRevisions=153589 nbUselessRevisions=120481
1.00 nbAssignments=287 nbFailedAssignments=109 nbBacktracks=134 nbVisitedNodes=463 nbRestartNogoods=10 mapSize=111
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.137 cpuTime=0.1 mem=14M825
1.03
1.03 search
1.04 run=5 nbConstraintChecks=420960 nbPropagations=24812 nbRevisions=236811 nbUselessRevisions=184945
1.04 nbAssignments=423 nbFailedAssignments=162 nbBacktracks=211 nbVisitedNodes=697 nbRestartNogoods=14 mapSize=174
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.169 cpuTime=0.13 mem=14M825
1.08
1.08 search
1.08 run=6 nbConstraintChecks=626079 nbPropagations=37020 nbRevisions=360403 nbUselessRevisions=280677
1.08 nbAssignments=619 nbFailedAssignments=232 nbBacktracks=325 nbVisitedNodes=1025 nbRestartNogoods=19 mapSize=272
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.212 cpuTime=0.17 mem=14M825
1.13
1.13 search
1.13 run=7 nbConstraintChecks=879230 nbPropagations=54172 nbRevisions=535627 nbUselessRevisions=416121
1.13 nbAssignments=905 nbFailedAssignments=343 nbBacktracks=495 nbVisitedNodes=1512 nbRestartNogoods=21 mapSize=410
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.266 cpuTime=0.23 mem=14M825
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1244083 nbPropagations=78493 nbRevisions=784548 nbUselessRevisions=608192
1.21 nbAssignments=1329 nbFailedAssignments=501 nbBacktracks=752 nbVisitedNodes=2234 nbRestartNogoods=23
1.21 mapSize=618 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.347 cpuTime=0.3 mem=14M825
1.35
1.35 search
1.35 run=9 nbConstraintChecks=1928746 nbPropagations=115144 nbRevisions=1167417 nbUselessRevisions=902754
1.35 nbAssignments=1991 nbFailedAssignments=771 nbBacktracks=1136 nbVisitedNodes=3393 nbRestartNogoods=30
1.35 mapSize=938 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.486 cpuTime=0.43 mem=14M825
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=14M825)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=2958521 nbPropagations=169909 nbRevisions=1749307 nbUselessRevisions=1350262
1.54 nbAssignments=2977 nbFailedAssignments=1173 nbBacktracks=1714 nbVisitedNodes=5102 nbRestartNogoods=37
1.54 => wckTime=0.671 cpuTime=0.6 mem=14M825
1.77
1.77 search
1.77 run=11 nbConstraintChecks=4309201 nbPropagations=250355 nbRevisions=2605910 nbUselessRevisions=2010118
1.77 nbAssignments=4408 nbFailedAssignments=1734 nbBacktracks=2578 nbVisitedNodes=7584 nbRestartNogoods=42
1.77 => wckTime=0.905 cpuTime=0.84 mem=14M825
2.09
2.09 search
2.09 run=12 nbConstraintChecks=6202758 nbPropagations=367354 nbRevisions=3839303 nbUselessRevisions=2958228
2.09 nbAssignments=6497 nbFailedAssignments=2516 nbBacktracks=3877 nbVisitedNodes=11142 nbRestartNogoods=46
2.09 => wckTime=1.228 cpuTime=1.16 mem=14M825
2.64
2.64 search
2.64 run=13 nbConstraintChecks=9514122 nbPropagations=543915 nbRevisions=5721067 nbUselessRevisions=4407083
2.64 nbAssignments=9688 nbFailedAssignments=3755 nbBacktracks=5823 nbVisitedNodes=16702 nbRestartNogoods=54
2.64 => wckTime=1.771 cpuTime=1.7 mem=14M825
3.42
3.42 search
3.42 run=14 nbConstraintChecks=14159258 nbPropagations=807462 nbRevisions=8529166 nbUselessRevisions=6569162
3.42 nbAssignments=14419 nbFailedAssignments=5561 nbBacktracks=8742 nbVisitedNodes=24864 nbRestartNogoods=61
3.42 => wckTime=2.553 cpuTime=2.48 mem=14M825
4.60
4.60 search
4.60 run=15 nbConstraintChecks=21269642 nbPropagations=1202672 nbRevisions=12742566 nbUselessRevisions=9812313
4.60 nbAssignments=21638 nbFailedAssignments=8396 nbBacktracks=13120 nbVisitedNodes=37418 nbRestartNogoods=68
4.60 => wckTime=3.738 cpuTime=3.67 mem=14M825
6.44
6.44 search
6.44 run=16 nbConstraintChecks=32394680 nbPropagations=1801081 nbRevisions=19160479 nbUselessRevisions=14760932
6.44 nbAssignments=32587 nbFailedAssignments=12770 nbBacktracks=19688 nbVisitedNodes=56509 nbRestartNogoods=82
6.44 => wckTime=5.578 cpuTime=5.51 mem=14M825
8.96
8.96 search
8.96 run=17 nbConstraintChecks=47225828 nbPropagations=2684503 nbRevisions=28566656 nbUselessRevisions=22007714
8.96 nbAssignments=48440 nbFailedAssignments=18761 nbBacktracks=29544 nbVisitedNodes=83757 nbRestartNogoods=90
8.96 => wckTime=8.097 cpuTime=8.02 mem=14M825
12.93
12.94 search
12.94 run=18 nbConstraintChecks=71511004 nbPropagations=4007048 nbRevisions=42667951 nbUselessRevisions=32858797
12.94 nbAssignments=72292 nbFailedAssignments=27828 nbBacktracks=44322 nbVisitedNodes=125019 nbRestartNogoods=100
12.94 => wckTime=12.07 cpuTime=12.0 mem=14M825
18.92
18.92 search
18.92 run=19 nbConstraintChecks=108243528 nbPropagations=5994695 nbRevisions=63946355 nbUselessRevisions=49242747
18.92 nbAssignments=108641 nbFailedAssignments=42000 nbBacktracks=66491 nbVisitedNodes=188010 nbRestartNogoods=109
18.92 => wckTime=18.056 cpuTime=17.98 mem=14M825
27.63
27.63 search
27.63 run=20 nbConstraintChecks=161063027 nbPropagations=8951312 nbRevisions=95492275 nbUselessRevisions=73501215
27.63 nbAssignments=161633 nbFailedAssignments=61723 nbBacktracks=99743 nbVisitedNodes=278962 nbRestartNogoods=118
27.63 => wckTime=26.767 cpuTime=26.69 mem=14M825
41.54
41.54 search
41.54 run=21 nbConstraintChecks=246859483 nbPropagations=13436175 nbRevisions=143566295 nbUselessRevisions=110458034
41.54 nbAssignments=243357 nbFailedAssignments=93563 nbBacktracks=149621 nbVisitedNodes=420820 nbRestartNogoods=137
41.54 => wckTime=40.677 cpuTime=40.59 mem=15M800
47.82
47.82 search
47.82 run=22 nbConstraintChecks=285897154 nbPropagations=18598244 nbRevisions=198931855 nbUselessRevisions=152987723
47.82 nbAssignments=279529 nbFailedAssignments=107530 nbBacktracks=171827 nbVisitedNodes=483235 nbRestartNogoods=146
47.82 => wckTime=46.953 cpuTime=46.86 mem=15M800
47.82
47.82 global
47.82 nbConstraintChecks=285944284 nbPropagations=18598967 nbRevisions=198937078 nbUselessRevisions=152991966
47.82 nbRestartNogoods=146 solvingWckTime=46.954 solvingCpuTime=46.86 expiredTime=no totalExploration=yes
47.82 nbFoundSolutions=0 globalCpuTime=47.24
47.82 => wckTime=47.425 cpuTime=47.2 mem=15M800
47.82
47.82 s UNSATISFIABLE
47.82 d NODES 279529
47.82 d CHECKS 285944284
47.82
47.82 totalWckTime=47.5 totalCpuTime=47.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-229557-1168307136 -o ROOT/results/node15/solver-229557-1168307136 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229557-1168307136/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.92 0.98 1.05 3/78 16882
/proc/meminfo: memFree=1594088/2055920 swapFree=4174172/4192956
[pid=16881] ppid=16879 vsize=168 CPUtime=0
/proc/16881/stat : 16881 (java) R 16879 16881 16203 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 179108418 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7512868 0 0 4096 0 0 0 0 17 1 0 0
/proc/16881/statm: 42 23 18 14 0 2 0
[startup+0.103032 s]
/proc/loadavg: 0.92 0.98 1.05 3/78 16882
/proc/meminfo: memFree=1594088/2055920 swapFree=4174172/4192956
[pid=16881] ppid=16879 vsize=47892 CPUtime=0.01
/proc/16881/stat : 16881 (java) D 16879 16881 16203 0 -1 0 1219 0 1 0 0 1 0 0 18 0 1 0 179108418 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/16881/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47892
[startup+0.511102 s]
/proc/loadavg: 0.92 0.98 1.05 3/78 16882
/proc/meminfo: memFree=1594088/2055920 swapFree=4174172/4192956
[pid=16881] ppid=16879 vsize=915328 CPUtime=0.38
/proc/16881/stat : 16881 (java) S 16879 16881 16203 0 -1 0 6136 0 1 0 34 4 0 0 16 0 8 0 179108418 937295872 5875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16881/statm: 228832 5875 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328
[startup+1.33124 s]
/proc/loadavg: 0.92 0.98 1.05 2/85 16889
/proc/meminfo: memFree=1570352/2055920 swapFree=4174172/4192956
[pid=16881] ppid=16879 vsize=915452 CPUtime=1.21
/proc/16881/stat : 16881 (java) R 16879 16881 16203 0 -1 0 8684 0 1 0 115 6 0 0 17 0 8 0 179108418 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16881/statm: 228863 8422 2524 14 0 215333 0
[pid=16881/tid=16883] ppid=16879 vsize=915452 CPUtime=0.03
/proc/16881/task/16883/stat : 16883 (java) S 16879 16881 16203 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 179108432 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16881/tid=16884] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16884/stat : 16884 (java) S 16879 16881 16203 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16885] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16885/stat : 16885 (java) S 16879 16881 16203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16886] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16886/stat : 16886 (java) S 16879 16881 16203 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179108436 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16887] ppid=16879 vsize=915452 CPUtime=0.19
/proc/16881/task/16887/stat : 16887 (java) S 16879 16881 16203 0 -1 64 383 0 0 0 19 0 0 0 16 0 8 0 179108436 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16888] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16888/stat : 16888 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179108436 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16889] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16889/stat : 16889 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179108436 937422848 8422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915452
[startup+2.97052 s]
/proc/loadavg: 0.92 0.98 1.05 2/85 16889
/proc/meminfo: memFree=1569968/2055920 swapFree=4174172/4192956
[pid=16881] ppid=16879 vsize=915452 CPUtime=2.85
/proc/16881/stat : 16881 (java) R 16879 16881 16203 0 -1 0 8712 0 1 0 278 7 0 0 18 0 8 0 179108418 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16881/statm: 228863 8449 2524 14 0 215333 0
[pid=16881/tid=16883] ppid=16879 vsize=915452 CPUtime=0.03
/proc/16881/task/16883/stat : 16883 (java) S 16879 16881 16203 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 179108432 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16881/tid=16884] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16884/stat : 16884 (java) S 16879 16881 16203 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16885] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16885/stat : 16885 (java) S 16879 16881 16203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16886] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16886/stat : 16886 (java) S 16879 16881 16203 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179108436 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16887] ppid=16879 vsize=915452 CPUtime=0.21
/proc/16881/task/16887/stat : 16887 (java) S 16879 16881 16203 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 179108436 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16888] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16888/stat : 16888 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179108436 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16889] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16889/stat : 16889 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179108436 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915452
[startup+6.26208 s]
/proc/loadavg: 0.93 0.98 1.05 2/85 16889
/proc/meminfo: memFree=1569968/2055920 swapFree=4174172/4192956
[pid=16881] ppid=16879 vsize=915452 CPUtime=6.14
/proc/16881/stat : 16881 (java) R 16879 16881 16203 0 -1 0 8717 0 1 0 607 7 0 0 19 0 8 0 179108418 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16881/statm: 228863 8454 2524 14 0 215333 0
[pid=16881/tid=16883] ppid=16879 vsize=915452 CPUtime=0.03
/proc/16881/task/16883/stat : 16883 (java) S 16879 16881 16203 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 179108432 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16881/tid=16884] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16884/stat : 16884 (java) S 16879 16881 16203 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16885] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16885/stat : 16885 (java) S 16879 16881 16203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16886] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16886/stat : 16886 (java) S 16879 16881 16203 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179108436 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16887] ppid=16879 vsize=915452 CPUtime=0.21
/proc/16881/task/16887/stat : 16887 (java) S 16879 16881 16203 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 179108436 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16888] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16888/stat : 16888 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179108436 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16889] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16889/stat : 16889 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179108436 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915452
[startup+12.7312 s]
/proc/loadavg: 0.93 0.98 1.05 2/85 16889
/proc/meminfo: memFree=1569904/2055920 swapFree=4174172/4192956
[pid=16881] ppid=16879 vsize=915452 CPUtime=12.61
/proc/16881/stat : 16881 (java) R 16879 16881 16203 0 -1 0 8723 0 1 0 1254 7 0 0 23 0 8 0 179108418 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16881/statm: 228863 8459 2524 14 0 215333 0
[pid=16881/tid=16883] ppid=16879 vsize=915452 CPUtime=0.03
/proc/16881/task/16883/stat : 16883 (java) S 16879 16881 16203 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 179108432 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16881/tid=16884] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16884/stat : 16884 (java) S 16879 16881 16203 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16885] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16885/stat : 16885 (java) S 16879 16881 16203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16886] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16886/stat : 16886 (java) S 16879 16881 16203 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179108436 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16887] ppid=16879 vsize=915452 CPUtime=0.21
/proc/16881/task/16887/stat : 16887 (java) S 16879 16881 16203 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 179108436 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16888] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16888/stat : 16888 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179108436 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16889] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16889/stat : 16889 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179108436 937422848 8459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452
[startup+25.5794 s]
/proc/loadavg: 0.95 0.98 1.04 2/85 16889
/proc/meminfo: memFree=1569904/2055920 swapFree=4174172/4192956
[pid=16881] ppid=16879 vsize=915452 CPUtime=25.46
/proc/16881/stat : 16881 (java) R 16879 16881 16203 0 -1 0 8728 0 1 0 2539 7 0 0 25 0 8 0 179108418 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16881/statm: 228863 8464 2524 14 0 215333 0
[pid=16881/tid=16883] ppid=16879 vsize=915452 CPUtime=0.03
/proc/16881/task/16883/stat : 16883 (java) S 16879 16881 16203 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 179108432 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16881/tid=16884] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16884/stat : 16884 (java) S 16879 16881 16203 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16885] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16885/stat : 16885 (java) S 16879 16881 16203 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179108433 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16886] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16886/stat : 16886 (java) S 16879 16881 16203 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179108436 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16887] ppid=16879 vsize=915452 CPUtime=0.21
/proc/16881/task/16887/stat : 16887 (java) S 16879 16881 16203 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 179108436 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16888] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16888/stat : 16888 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179108436 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16881/tid=16889] ppid=16879 vsize=915452 CPUtime=0
/proc/16881/task/16889/stat : 16889 (java) S 16879 16881 16203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179108436 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 47.88
CPU time (s): 47.7077
CPU user time (s): 47.6258
CPU system time (s): 0.081987
CPU usage (%): 99.6403
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.6258
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8827
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= 1798
involuntary context switches= 2030
runsolver used 0.046992 s user time and 0.133979 s system time
The end
Begin job on node15 on Tue Jan 9 01:45:36 UTC 2007
IDJOB= 229557
IDBENCH= 6321
FILE ID= node15/229557-1168307136
PBS_JOBID= 3502267
Free space on /tmp= 66334 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-53_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229557-1168307136/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-229557-1168307136 -o ROOT/results/node15/solver-229557-1168307136 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229557-1168307136/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 21a65b1f865ec2339b3d848e3cd2a99c
RANDOM SEED= 686229347
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.276
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.276
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: 1594504 kB
Buffers: 49920 kB
Cached: 328820 kB
SwapCached: 5800 kB
Active: 261012 kB
Inactive: 148624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1594504 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 40816 kB
Slab: 37052 kB
Committed_AS: 5434312 kB
PageTables: 2000 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= 66334 MiB
End job on node15 on Tue Jan 9 01:46:24 UTC 2007