0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276833-1169247492/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.70 nbConstraints=751 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=751 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11879 maxDegree=39
0.70 maxArity=2
0.70 => wckTime=0.383 cpuTime=0.25 mem=11M851
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.475 cpuTime=0.29 mem=6M107
0.80
0.80 s SATISFIABLE
0.80 o 696
0.80 c 55
0.80 o 701
0.80 c 50
0.80 o 706
0.80 c 45
0.80 o 708
0.80 c 43
0.80 o 710
0.80 c 41
0.80 o 713
0.80 c 38
0.80 o 714
0.80 c 37
0.80 o 716
0.80 c 35
0.80 o 719
0.80 c 32
0.81 o 721
0.81 c 30
0.81 o 722
0.81 c 29
0.81 o 724
0.81 c 27
0.81 o 726
0.81 c 25
0.81 o 728
0.81 c 23
0.81 o 729
0.81 c 22
0.81 o 730
0.81 c 21
0.81 o 731
0.81 c 20
0.81 o 733
0.81 c 18
0.81 o 735
0.81 c 16
0.81 o 736
0.81 c 15
0.81 o 738
0.81 c 13
0.81 o 740
0.81 c 11
0.82 o 741
0.82 c 10
0.82 o 742
0.82 c 9
0.82 o 743
0.82 c 8
0.85 o 744
0.85 c 7
0.85 o 745
0.85 c 6
0.85 o 746
0.85 c 5
0.90 o 747
0.90 c 4
0.91 o 748
0.91 c 3
1.01 o 749
1.01 c 2
1.19 o 750
1.19 c 1
1.19
1.19 search
1.19 run=0 nbConstraintChecks=2077222 nbAssignments=1431
1.19 => wckTime=0.4 cpuTime=0.38 mem=6M107
1.19
1.19 global
1.19 nbConstraintChecks=2077222 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.19 solvingWckTime=0.399 solvingCpuTime=0.38 expiredTime=no totalExploration=no nbFoundSolutions=0
1.19 globalCpuTime=0.72
1.19 => wckTime=0.875 cpuTime=0.67 mem=6M107
1.19
1.19 solver IterativeSystematicSolver being built...
1.32 => wckTime=1.006 cpuTime=0.77 mem=17M113
1.34
1.34 preprocessing
1.34 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.34 detectedInconsistency=no
1.34 => wckTime=0.011 cpuTime=0.0 mem=17M113
1.43
1.43 search
1.43 run=0 nbConstraintChecks=126247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36
1.43 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=66 nbRestartNogoods=0
1.43 => wckTime=0.108 cpuTime=0.07 mem=17M113
1.54
1.54 search
1.54 run=1 nbConstraintChecks=313602 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89
1.54 nbFailedAssignments=49 nbBacktracks=25 nbVisitedNodes=164 nbRestartNogoods=11
1.54 => wckTime=0.211 cpuTime=0.16 mem=17M113
1.66
1.66 search
1.66 run=2 nbConstraintChecks=644346 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=175
1.66 nbFailedAssignments=106 nbBacktracks=47 nbVisitedNodes=329 nbRestartNogoods=17
1.66 => wckTime=0.335 cpuTime=0.28 mem=17M113
1.81
1.81 search
1.81 run=3 nbConstraintChecks=1041726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=274
1.81 nbFailedAssignments=166 nbBacktracks=80 nbVisitedNodes=521 nbRestartNogoods=28
1.81 => wckTime=0.49 cpuTime=0.43 mem=17M113
2.01
2.01 search
2.01 run=4 nbConstraintChecks=1553548 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=406
2.01 nbFailedAssignments=240 nbBacktracks=130 nbVisitedNodes=777 nbRestartNogoods=40
2.01 => wckTime=0.681 cpuTime=0.62 mem=17M113
2.31
2.31 search
2.31 run=5 nbConstraintChecks=2332364 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=609
2.31 nbFailedAssignments=360 nbBacktracks=205 nbVisitedNodes=1173 nbRestartNogoods=46
2.31 => wckTime=0.985 cpuTime=0.92 mem=17M113
2.80
2.80 search
2.80 run=6 nbConstraintChecks=3629460 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=925
2.80 nbFailedAssignments=555 nbBacktracks=318 nbVisitedNodes=1795 nbRestartNogoods=54
2.80 => wckTime=1.474 cpuTime=1.4 mem=17M113
3.46
3.46 search
3.46 run=7 nbConstraintChecks=5386535 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1368
3.46 nbFailedAssignments=819 nbBacktracks=488 nbVisitedNodes=2670 nbRestartNogoods=67
3.46 => wckTime=2.134 cpuTime=2.05 mem=17M113
4.36
4.36 search
4.36 run=8 nbConstraintChecks=7711533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1956
4.36 nbFailedAssignments=1144 nbBacktracks=744 nbVisitedNodes=3797 nbRestartNogoods=76
4.36 => wckTime=3.038 cpuTime=2.94 mem=17M113
5.57
5.57 search
5.57 run=9 nbConstraintChecks=10763594 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2767
5.57 nbFailedAssignments=1565 nbBacktracks=1129 nbVisitedNodes=5308 nbRestartNogoods=86
5.57 => wckTime=4.241 cpuTime=4.13 mem=17M113
7.11
7.11 search
7.11 run=10 nbConstraintChecks=14450352 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3851
7.11 nbFailedAssignments=2068 nbBacktracks=1705 nbVisitedNodes=7153 nbRestartNogoods=91
7.11 => wckTime=5.787 cpuTime=5.65 mem=17M113
9.25
9.25 search
9.25 run=11 nbConstraintChecks=19692161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5458
9.25 nbFailedAssignments=2802 nbBacktracks=2570 nbVisitedNodes=9797 nbRestartNogoods=96
9.25 => wckTime=7.924 cpuTime=7.77 mem=17M113
12.13
12.13 search
12.13 run=12 nbConstraintChecks=26928024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7740
12.13 nbFailedAssignments=3780 nbBacktracks=3869 nbVisitedNodes=13417 nbRestartNogoods=102
12.13 => wckTime=10.802 cpuTime=10.62 mem=17M113
15.81
15.81 search
15.81 run=13 nbConstraintChecks=36431980 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10937
15.81 nbFailedAssignments=5025 nbBacktracks=5815 nbVisitedNodes=18287 nbRestartNogoods=107
15.81 => wckTime=14.489 cpuTime=14.27 mem=17M113
21.13
21.13 search
21.13 run=14 nbConstraintChecks=49871544 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15580
21.13 nbFailedAssignments=6740 nbBacktracks=8736 nbVisitedNodes=25140 nbRestartNogoods=113
21.13 => wckTime=19.81 cpuTime=19.54 mem=17M113
28.60
28.60 search
28.60 run=15 nbConstraintChecks=68700635 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22323
28.60 nbFailedAssignments=9097 nbBacktracks=13114 nbVisitedNodes=34830 nbRestartNogoods=121
28.60 => wckTime=27.275 cpuTime=26.93 mem=17M113
39.42
39.42 search
39.42 run=16 nbConstraintChecks=96236491 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32349
39.42 nbFailedAssignments=12546 nbBacktracks=19682 nbVisitedNodes=49101 nbRestartNogoods=132
39.42 => wckTime=38.1 cpuTime=37.66 mem=17M113
55.29
55.29 search
55.29 run=17 nbConstraintChecks=136015136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47158
55.29 nbFailedAssignments=17496 nbBacktracks=29535 nbVisitedNodes=69976 nbRestartNogoods=144
55.29 => wckTime=53.965 cpuTime=53.38 mem=17M113
78.53
78.53 search
78.53 run=18 nbConstraintChecks=196596838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69478
78.53 nbFailedAssignments=25026 nbBacktracks=44313 nbVisitedNodes=101562 nbRestartNogoods=152
78.53 => wckTime=77.208 cpuTime=76.46 mem=17M113
112.05
112.05 search
112.05 run=19 nbConstraintChecks=286693033 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103059
112.05 nbFailedAssignments=36428 nbBacktracks=66481 nbVisitedNodes=149153 nbRestartNogoods=170
112.05 => wckTime=110.721 cpuTime=109.94 mem=17M113
139.76
139.76 search
139.76 run=20 nbConstraintChecks=362791982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131331
139.76 nbFailedAssignments=46011 nbBacktracks=85171 nbVisitedNodes=189053 nbRestartNogoods=190
139.76 => wckTime=138.432 cpuTime=137.64 mem=17M113
139.76
139.76 global
139.76 nbConstraintChecks=362791982 nbRestartNogoods=190 solvingWckTime=138.433 solvingCpuTime=137.64 expiredTime=no
139.76 totalExploration=yes nbFoundSolutions=0 globalCpuTime=138.46
139.76 => wckTime=139.44 cpuTime=138.41 mem=17M113
139.76
139.76 s OPTIMUM FOUND
139.76 v 7 6 3 5 4 4 5 3 3 7 2 2 7 1 6 5 6 1 0 4 2 6 6 5 3 2 5 7 0 7 7 0 6 7 0 7 3 1 5 2
139.76
139.76 totalWckTime=139.525 totalCpuTime=138.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-276833-1169247492 -o ROOT/results/node23/solver-276833-1169247492 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276833-1169247492/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.92 1.99 1.90 5/93 7346
/proc/meminfo: memFree=1315368/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=906644 CPUtime=0.01
/proc/7345/stat : 7345 (java) S 7343 7345 6736 0 -1 0 2068 0 1 0 1 0 0 0 18 0 2 0 273143614 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/7345/statm: 226661 1817 1036 14 0 214244 0
[pid=7345/tid=7347] ppid=7343 vsize=906644 CPUtime=0
/proc/7345/task/7347/stat : 7347 (java) R 7343 7345 6736 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 273143618 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102729 s]
/proc/loadavg: 1.92 1.99 1.90 5/93 7346
/proc/meminfo: memFree=1315368/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=914988 CPUtime=0.08
/proc/7345/stat : 7345 (java) R 7343 7345 6736 0 -1 0 2981 0 1 0 7 1 0 0 17 0 8 0 273143614 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7345/statm: 228747 2727 1424 14 0 215242 0
[pid=7345/tid=7347] ppid=7343 vsize=914988 CPUtime=0
/proc/7345/task/7347/stat : 7347 (java) S 7343 7345 6736 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 273143618 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510805 s]
/proc/loadavg: 1.92 1.99 1.90 5/93 7346
/proc/meminfo: memFree=1315368/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=915332 CPUtime=0.49
/proc/7345/stat : 7345 (java) R 7343 7345 6736 0 -1 0 6256 0 1 0 45 4 0 0 18 0 8 0 273143614 937299968 5995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7345/statm: 228833 5995 2139 14 0 215303 0
[pid=7345/tid=7347] ppid=7343 vsize=915332 CPUtime=0
/proc/7345/task/7347/stat : 7347 (java) S 7343 7345 6736 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 273143618 937299968 5995 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) 915332
[startup+1.33196 s]
/proc/loadavg: 1.92 1.99 1.90 3/100 7353
/proc/meminfo: memFree=1293552/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=915584 CPUtime=1.3
/proc/7345/stat : 7345 (java) R 7343 7345 6736 0 -1 0 9077 0 1 0 116 14 0 0 24 0 8 0 273143614 937558016 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7345/statm: 228896 8815 2522 14 0 215366 0
[pid=7345/tid=7347] ppid=7343 vsize=915584 CPUtime=0.03
/proc/7345/task/7347/stat : 7347 (java) S 7343 7345 6736 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273143618 937558016 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7348] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7348/stat : 7348 (java) S 7343 7345 6736 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273143618 937558016 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7349] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7349/stat : 7349 (java) S 7343 7345 6736 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273143618 937558016 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7350] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7350/stat : 7350 (java) S 7343 7345 6736 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273143622 937558016 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7351] ppid=7343 vsize=915584 CPUtime=0.22
/proc/7345/task/7351/stat : 7351 (java) R 7343 7345 6736 0 -1 64 386 0 0 0 22 0 0 0 16 0 8 0 273143622 937558016 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152968251 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7352] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7352/stat : 7352 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273143622 937558016 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7353] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7353/stat : 7353 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273143622 937558016 8815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915584
[startup+2.97828 s]
/proc/loadavg: 1.92 1.99 1.90 3/100 7353
/proc/meminfo: memFree=1289328/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=915584 CPUtime=2.92
/proc/7345/stat : 7345 (java) R 7343 7345 6736 0 -1 0 9217 0 1 0 278 14 0 0 25 0 8 0 273143614 937558016 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073925511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7345/statm: 228896 8953 2527 14 0 215366 0
[pid=7345/tid=7347] ppid=7343 vsize=915584 CPUtime=0.03
/proc/7345/task/7347/stat : 7347 (java) S 7343 7345 6736 0 -1 64 308 0 0 0 3 0 0 0 17 0 8 0 273143618 937558016 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7348] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7348/stat : 7348 (java) S 7343 7345 6736 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273143618 937558016 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7349] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7349/stat : 7349 (java) S 7343 7345 6736 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273143618 937558016 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7350] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7350/stat : 7350 (java) S 7343 7345 6736 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273143622 937558016 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7351] ppid=7343 vsize=915584 CPUtime=0.28
/proc/7345/task/7351/stat : 7351 (java) S 7343 7345 6736 0 -1 64 415 0 0 0 27 1 0 0 15 0 8 0 273143622 937558016 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7352] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7352/stat : 7352 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273143622 937558016 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7353] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7353/stat : 7353 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273143622 937558016 8953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915584
[startup+6.26992 s]
/proc/loadavg: 1.93 1.99 1.90 3/100 7353
/proc/meminfo: memFree=1289136/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=915584 CPUtime=6.18
/proc/7345/stat : 7345 (java) R 7343 7345 6736 0 -1 0 9238 0 1 0 604 14 0 0 25 0 8 0 273143614 937558016 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7345/statm: 228896 8971 2527 14 0 215366 0
[pid=7345/tid=7347] ppid=7343 vsize=915584 CPUtime=0.03
/proc/7345/task/7347/stat : 7347 (java) S 7343 7345 6736 0 -1 64 308 0 0 0 3 0 0 0 17 0 8 0 273143618 937558016 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7348] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7348/stat : 7348 (java) S 7343 7345 6736 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273143618 937558016 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7349] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7349/stat : 7349 (java) S 7343 7345 6736 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273143618 937558016 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7350] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7350/stat : 7350 (java) S 7343 7345 6736 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273143622 937558016 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7351] ppid=7343 vsize=915584 CPUtime=0.3
/proc/7345/task/7351/stat : 7351 (java) S 7343 7345 6736 0 -1 64 426 0 0 0 29 1 0 0 15 0 8 0 273143622 937558016 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7352] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7352/stat : 7352 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273143622 937558016 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7353] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7353/stat : 7353 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273143622 937558016 8971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915584
[startup+12.7492 s]
/proc/loadavg: 1.93 1.99 1.90 3/100 7353
/proc/meminfo: memFree=1289200/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=915584 CPUtime=12.6
/proc/7345/stat : 7345 (java) R 7343 7345 6736 0 -1 0 9247 0 1 0 1246 14 0 0 25 0 8 0 273143614 937558016 8979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7345/statm: 228896 8979 2527 14 0 215366 0
[pid=7345/tid=7347] ppid=7343 vsize=915584 CPUtime=0.03
/proc/7345/task/7347/stat : 7347 (java) S 7343 7345 6736 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273143618 937558016 8979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7348] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7348/stat : 7348 (java) S 7343 7345 6736 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273143618 937558016 8979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7349] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7349/stat : 7349 (java) S 7343 7345 6736 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273143618 937558016 8979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7350] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7350/stat : 7350 (java) S 7343 7345 6736 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273143622 937558016 8979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7351] ppid=7343 vsize=915584 CPUtime=0.31
/proc/7345/task/7351/stat : 7351 (java) S 7343 7345 6736 0 -1 64 429 0 0 0 30 1 0 0 16 0 8 0 273143622 937558016 8979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7352] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7352/stat : 7352 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273143622 937558016 8979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7353] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7353/stat : 7353 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273143622 937558016 8979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915584
[startup+25.6087 s]
/proc/loadavg: 1.95 1.99 1.91 3/100 7353
/proc/meminfo: memFree=1289264/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=915584 CPUtime=25.34
/proc/7345/stat : 7345 (java) R 7343 7345 6736 0 -1 0 9252 0 1 0 2520 14 0 0 25 0 8 0 273143614 937558016 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073962047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7345/statm: 228896 8984 2527 14 0 215366 0
[pid=7345/tid=7347] ppid=7343 vsize=915584 CPUtime=0.03
/proc/7345/task/7347/stat : 7347 (java) S 7343 7345 6736 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273143618 937558016 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7348] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7348/stat : 7348 (java) S 7343 7345 6736 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273143618 937558016 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7349] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7349/stat : 7349 (java) S 7343 7345 6736 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273143618 937558016 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7350] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7350/stat : 7350 (java) S 7343 7345 6736 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273143622 937558016 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7351] ppid=7343 vsize=915584 CPUtime=0.31
/proc/7345/task/7351/stat : 7351 (java) S 7343 7345 6736 0 -1 64 429 0 0 0 30 1 0 0 16 0 8 0 273143622 937558016 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7352] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7352/stat : 7352 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273143622 937558016 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7353] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7353/stat : 7353 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273143622 937558016 8984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915584
[startup+51.2176 s]
/proc/loadavg: 1.96 1.99 1.91 3/100 7353
/proc/meminfo: memFree=1289328/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=915584 CPUtime=50.72
/proc/7345/stat : 7345 (java) R 7343 7345 6736 0 -1 0 9258 0 1 0 5057 15 0 0 25 0 8 0 273143614 937558016 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073926727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7345/statm: 228896 8989 2527 14 0 215366 0
[pid=7345/tid=7347] ppid=7343 vsize=915584 CPUtime=0.03
/proc/7345/task/7347/stat : 7347 (java) S 7343 7345 6736 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273143618 937558016 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7348] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7348/stat : 7348 (java) S 7343 7345 6736 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273143618 937558016 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7349] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7349/stat : 7349 (java) S 7343 7345 6736 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273143618 937558016 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7350] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7350/stat : 7350 (java) S 7343 7345 6736 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273143622 937558016 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7351] ppid=7343 vsize=915584 CPUtime=0.31
/proc/7345/task/7351/stat : 7351 (java) S 7343 7345 6736 0 -1 64 429 0 0 0 30 1 0 0 16 0 8 0 273143622 937558016 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7352] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7352/stat : 7352 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273143622 937558016 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7353] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7353/stat : 7353 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273143622 937558016 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915584
[startup+102.514 s]
/proc/loadavg: 1.59 1.89 1.88 2/85 7368
/proc/meminfo: memFree=1323384/2055920 swapFree=4156060/4192956
[pid=7345] ppid=7343 vsize=915584 CPUtime=101.8
/proc/7345/stat : 7345 (java) R 7343 7345 6736 0 -1 0 9262 0 1 0 10165 15 0 0 25 0 8 0 273143614 937558016 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7345/statm: 228896 8993 2527 14 0 215366 0
[pid=7345/tid=7347] ppid=7343 vsize=915584 CPUtime=0.03
/proc/7345/task/7347/stat : 7347 (java) S 7343 7345 6736 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273143618 937558016 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7348] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7348/stat : 7348 (java) S 7343 7345 6736 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273143618 937558016 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7349] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7349/stat : 7349 (java) S 7343 7345 6736 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273143618 937558016 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7350] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7350/stat : 7350 (java) S 7343 7345 6736 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273143622 937558016 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7351] ppid=7343 vsize=915584 CPUtime=0.31
/proc/7345/task/7351/stat : 7351 (java) S 7343 7345 6736 0 -1 64 429 0 0 0 30 1 0 0 16 0 8 0 273143622 937558016 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7352] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7352/stat : 7352 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273143622 937558016 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7345/tid=7353] ppid=7343 vsize=915584 CPUtime=0
/proc/7345/task/7353/stat : 7353 (java) S 7343 7345 6736 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273143622 937558016 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915584
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 7345 and gives childrusage.ru_utime.tv_sec=138 childrusage.ru_utime.tv_usec=876887 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=162975
CPU time returned by wait4() is 139.04
while last known CPU time is 0
Using last known CPU time as value...
Real time (s): 139.819
CPU time (s): 0
CPU user time (s): 0
CPU system time (s): 0
CPU usage (%): 0
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.877
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9362
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= 4123
involuntary context switches= 6227
runsolver used 0.185971 s user time and 0.38994 s system time
The end
Begin job on node23 on Fri Jan 19 22:58:12 UTC 2007
IDJOB= 276833
IDBENCH= 6046
IDSOLVER= 69
FILE ID= node23/276833-1169247492
PBS_JOBID= 3589336
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-36_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276833-1169247492/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-276833-1169247492 -o ROOT/results/node23/solver-276833-1169247492 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276833-1169247492/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dcbd6b9485b369434f0a650143d33872
RANDOM SEED= 775243547
TIME LIMIT= 2400 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.265
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.265
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: 1315784 kB
Buffers: 38792 kB
Cached: 575704 kB
SwapCached: 7840 kB
Active: 202340 kB
Inactive: 470612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1315784 kB
SwapTotal: 4192956 kB
SwapFree: 4156060 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 83364 kB
Slab: 51696 kB
Committed_AS: 5516180 kB
PageTables: 2388 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= 66563 MiB
End job on node23 on Fri Jan 19 23:00:32 UTC 2007