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/275760-1169226595/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.44 nbVariables=152 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.44 => wckTime=0.126 cpuTime=0.1 mem=6M910
0.44
0.44 predicates being loaded...
0.47
0.47 constraints being loaded...
3.16 nbConstraints=126 nbSingletonDomainVariables=58 nbConvertedConstraints=52 nbConvertConstraintsChecks=1180746
3.16 nbExtensionStructures=4 nbSharedExtensionStructures=48 nbConflictsStructures=32 nbSharedConflictsStructures=90
3.16 nbUnbuiltConflictsStructures=4 nbSharedBinaryRepresentations=7 nbEvaluationManagers=32
3.16 nbSharedEvaluationManagers=42 maxDegree=22 maxArity=19
3.16 => wckTime=2.844 cpuTime=2.71 mem=14M711
3.21
3.21 solver LocalSearchSolver being built...
3.25 => wckTime=2.93 cpuTime=2.76 mem=5M642
3.25
3.25 s SATISFIABLE
3.25 o 115
3.25 c 11
3.26 o 116
3.26 c 10
3.27 o 117
3.27 c 9
3.30 o 118
3.30 c 8
3.35 o 119
3.35 c 7
3.36 o 120
3.36 c 6
3.37 o 121
3.37 c 5
3.37 o 122
3.37 c 4
3.39 o 123
3.39 c 3
3.39 o 124
3.39 c 2
4.61 o 125
4.61 c 1
4.61
4.61 search
4.61 run=0 nbConstraintChecks=552692 nbAssignments=1593
4.61 => wckTime=1.367 cpuTime=1.34 mem=5M642
4.61
4.61 global
4.62 nbConstraintChecks=552692 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.62 solvingWckTime=1.366 solvingCpuTime=1.33 expiredTime=no totalExploration=no nbFoundSolutions=0
4.62 globalCpuTime=4.15
4.62 => wckTime=4.299 cpuTime=4.09 mem=5M642
4.62
4.62 solver IterativeSystematicSolver being built...
4.77 => wckTime=4.457 cpuTime=4.21 mem=18M680
4.78
4.78 preprocessing
4.79 nbConstraintChecks=88 nbValidityChecks=74 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.79 nbRemovedValues=0 detectedInconsistency=no
4.79 => wckTime=0.0090 cpuTime=0.01 mem=18M680
5.42
5.42 search
5.42 run=0 nbConstraintChecks=286183 nbValidityChecks=12460 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.42 nbAssignments=29 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=36 nbRestartNogoods=0
5.42 => wckTime=0.647 cpuTime=0.63 mem=18M680
5.83
5.83 search
5.83 run=1 nbConstraintChecks=463283 nbValidityChecks=28734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.83 nbAssignments=66 nbFailedAssignments=11 nbBacktracks=29 nbVisitedNodes=80 nbRestartNogoods=2
5.83 => wckTime=1.053 cpuTime=1.02 mem=18M680
6.15
6.15 search
6.15 run=2 nbConstraintChecks=604866 nbValidityChecks=44462 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.15 nbAssignments=102 nbFailedAssignments=18 nbBacktracks=51 nbVisitedNodes=124 nbRestartNogoods=4
6.15 => wckTime=1.376 cpuTime=1.34 mem=18M680
6.59
6.59 search
6.59 run=3 nbConstraintChecks=794387 nbValidityChecks=71692 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.59 nbAssignments=161 nbFailedAssignments=33 nbBacktracks=89 nbVisitedNodes=199 nbRestartNogoods=5
6.59 => wckTime=1.816 cpuTime=1.78 mem=18M680
7.04
7.04 search
7.04 run=4 nbConstraintChecks=969653 nbValidityChecks=111189 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.04 nbAssignments=247 nbFailedAssignments=55 nbBacktracks=139 nbVisitedNodes=309 nbRestartNogoods=6
7.04 => wckTime=2.262 cpuTime=2.21 mem=18M680
8.76
8.76 search
8.76 run=5 nbConstraintChecks=1779813 nbValidityChecks=158496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
8.76 nbAssignments=357 nbFailedAssignments=74 nbBacktracks=219 nbVisitedNodes=438 nbRestartNogoods=10
8.76 => wckTime=3.985 cpuTime=3.92 mem=18M680
10.47
10.47 search
10.47 run=6 nbConstraintChecks=2545893 nbValidityChecks=242970 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
10.47 nbAssignments=535 nbFailedAssignments=123 nbBacktracks=334 nbVisitedNodes=667 nbRestartNogoods=13
10.47 => wckTime=5.696 cpuTime=5.61 mem=18M680
13.11
13.11 search
13.11 run=7 nbConstraintChecks=3722782 nbValidityChecks=388770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
13.11 nbAssignments=804 nbFailedAssignments=208 nbBacktracks=511 nbVisitedNodes=1021 nbRestartNogoods=17
13.11 => wckTime=8.336 cpuTime=8.23 mem=18M680
25.29
25.29 search
25.29 run=8 nbConstraintChecks=9666447 nbValidityChecks=545324 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
25.29 nbAssignments=1155 nbFailedAssignments=286 nbBacktracks=778 nbVisitedNodes=1450 nbRestartNogoods=18
25.29 => wckTime=20.511 cpuTime=20.3 mem=18M680
28.49
28.49 search
28.49 run=9 nbConstraintChecks=10984679 nbValidityChecks=812037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
28.49 nbAssignments=1678 nbFailedAssignments=416 nbBacktracks=1163 nbVisitedNodes=2103 nbRestartNogoods=19
28.49 => wckTime=23.715 cpuTime=23.46 mem=18M680
48.59
48.59 search
48.59 run=10 nbConstraintChecks=20628322 nbValidityChecks=1176299 nbPropagations=0 nbRevisions=0
48.59 nbUselessRevisions=0 nbAssignments=2420 nbFailedAssignments=574 nbBacktracks=1740 nbVisitedNodes=3003
48.59 nbRestartNogoods=21
48.59 => wckTime=43.818 cpuTime=43.38 mem=18M680
75.12
75.12 search
75.12 run=11 nbConstraintChecks=33251550 nbValidityChecks=1759372 nbPropagations=0 nbRevisions=0
75.12 nbUselessRevisions=0 nbAssignments=3584 nbFailedAssignments=853 nbBacktracks=2605 nbVisitedNodes=4447
75.12 nbRestartNogoods=24
75.12 => wckTime=70.345 cpuTime=69.68 mem=18M680
114.76
114.76 search
114.76 run=12 nbConstraintChecks=52093627 nbValidityChecks=2650874 nbPropagations=0 nbRevisions=0
114.76 nbUselessRevisions=0 nbAssignments=5323 nbFailedAssignments=1279 nbBacktracks=3904 nbVisitedNodes=6613
114.76 nbRestartNogoods=30
114.76 => wckTime=109.99 cpuTime=109.0 mem=18M680
117.76
117.76 search
117.76 run=13 nbConstraintChecks=53404269 nbValidityChecks=2822142 nbPropagations=0 nbRevisions=0
117.76 nbUselessRevisions=0 nbAssignments=5719 nbFailedAssignments=1366 nbBacktracks=4214 nbVisitedNodes=7096
117.76 nbRestartNogoods=34
117.76 => wckTime=112.986 cpuTime=111.97 mem=18M680
117.76
117.76 global
117.76 nbConstraintChecks=53404357 nbValidityChecks=2822216 nbRestartNogoods=34 solvingWckTime=112.988
117.76 solvingCpuTime=111.97 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=116.24
117.76 => wckTime=117.446 cpuTime=116.18 mem=18M680
117.76
117.76 s OPTIMUM FOUND
117.77 v 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
117.77
117.77 totalWckTime=117.526 totalCpuTime=116.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-275760-1169226595 -o ROOT/results/node10/solver-275760-1169226595 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275760-1169226595/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
/proc/loadavg: 1.94 2.01 1.99 5/86 10915
/proc/meminfo: memFree=1299952/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=18540 CPUtime=0
/proc/10914/stat : 10914 (runsolver) R 10912 9979 9979 0 -1 4194368 5 0 0 0 0 0 0 0 19 0 1 0 271054683 18984960 277 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867172 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10914/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107194 s]
/proc/loadavg: 1.94 2.01 1.99 5/86 10915
/proc/meminfo: memFree=1299952/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=914988 CPUtime=0.08
/proc/10914/stat : 10914 (java) R 10912 10914 9979 0 -1 0 2985 0 1 0 6 2 0 0 19 0 8 0 271054683 936947712 2731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153550074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10914/statm: 228747 2731 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515247 s]
/proc/loadavg: 1.94 2.01 1.99 5/86 10915
/proc/meminfo: memFree=1299952/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=915332 CPUtime=0.48
/proc/10914/stat : 10914 (java) R 10912 10914 9979 0 -1 0 6779 0 1 0 43 5 0 0 18 0 8 0 271054683 937299968 6518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073602431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10914/statm: 228833 6518 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33635 s]
/proc/loadavg: 1.94 2.01 1.99 3/93 10922
/proc/meminfo: memFree=1278456/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=915468 CPUtime=1.3
/proc/10914/stat : 10914 (java) R 10912 10914 9979 0 -1 0 7771 0 1 0 124 6 0 0 25 0 8 0 271054683 937439232 7509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10914/statm: 228867 7509 2168 14 0 215337 0
[pid=10914/tid=10916] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10916/stat : 10916 (java) S 10912 10914 9979 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 271054687 937439232 7509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10917] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10917/stat : 10917 (java) S 10912 10914 9979 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 271054688 937439232 7509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10918] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10918/stat : 10918 (java) S 10912 10914 9979 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 271054688 937439232 7509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10919] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10919/stat : 10919 (java) S 10912 10914 9979 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271054691 937439232 7509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10920] ppid=10912 vsize=915468 CPUtime=0.1
/proc/10914/task/10920/stat : 10920 (java) S 10912 10914 9979 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 271054691 937439232 7509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10921] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10921/stat : 10921 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271054691 937439232 7509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10922] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10922/stat : 10922 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271054691 937439232 7509 18446744073709551615 134512640 134570532 4294956464 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) 915468
[startup+2.97358 s]
/proc/loadavg: 1.94 2.01 1.99 3/93 10922
/proc/meminfo: memFree=1277880/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=915468 CPUtime=2.93
/proc/10914/stat : 10914 (java) R 10912 10914 9979 0 -1 0 8021 0 1 0 286 7 0 0 25 0 8 0 271054683 937439232 7759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073641632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10914/statm: 228867 7759 2169 14 0 215337 0
[pid=10914/tid=10916] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10916/stat : 10916 (java) S 10912 10914 9979 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271054687 937439232 7759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10917] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10917/stat : 10917 (java) S 10912 10914 9979 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 271054688 937439232 7759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10918] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10918/stat : 10918 (java) S 10912 10914 9979 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 271054688 937439232 7759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10919] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10919/stat : 10919 (java) S 10912 10914 9979 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271054691 937439232 7759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10920] ppid=10912 vsize=915468 CPUtime=0.12
/proc/10914/task/10920/stat : 10920 (java) S 10912 10914 9979 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 271054691 937439232 7759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10921] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10921/stat : 10921 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271054691 937439232 7759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10922] ppid=10912 vsize=915468 CPUtime=0
/proc/10914/task/10922/stat : 10922 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271054691 937439232 7759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915468
[startup+6.27203 s]
/proc/loadavg: 1.95 2.01 1.99 3/93 10922
/proc/meminfo: memFree=1272312/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=915604 CPUtime=6.19
/proc/10914/stat : 10914 (java) R 10912 10914 9979 0 -1 0 9627 0 1 0 604 15 0 0 25 0 8 0 271054683 937578496 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073641716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10914/statm: 228901 9360 2547 14 0 215371 0
[pid=10914/tid=10916] ppid=10912 vsize=915604 CPUtime=0.03
/proc/10914/task/10916/stat : 10916 (java) S 10912 10914 9979 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 271054687 937578496 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10917] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10917/stat : 10917 (java) S 10912 10914 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10918] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10918/stat : 10918 (java) S 10912 10914 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10919] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10919/stat : 10919 (java) S 10912 10914 9979 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271054691 937578496 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10920] ppid=10912 vsize=915604 CPUtime=0.23
/proc/10914/task/10920/stat : 10920 (java) S 10912 10914 9979 0 -1 64 397 0 0 0 22 1 0 0 15 0 8 0 271054691 937578496 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10921] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10921/stat : 10921 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271054691 937578496 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10922] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10922/stat : 10922 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271054691 937578496 9360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915604
[startup+12.7429 s]
/proc/loadavg: 1.95 2.01 1.99 3/93 10922
/proc/meminfo: memFree=1272248/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=915604 CPUtime=12.61
/proc/10914/stat : 10914 (java) R 10912 10914 9979 0 -1 0 9643 0 1 0 1246 15 0 0 25 0 8 0 271054683 937578496 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10914/statm: 228901 9373 2547 14 0 215371 0
[pid=10914/tid=10916] ppid=10912 vsize=915604 CPUtime=0.03
/proc/10914/task/10916/stat : 10916 (java) S 10912 10914 9979 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 271054687 937578496 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10917] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10917/stat : 10917 (java) S 10912 10914 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10918] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10918/stat : 10918 (java) S 10912 10914 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10919] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10919/stat : 10919 (java) S 10912 10914 9979 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271054691 937578496 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10920] ppid=10912 vsize=915604 CPUtime=0.24
/proc/10914/task/10920/stat : 10920 (java) S 10912 10914 9979 0 -1 64 402 0 0 0 23 1 0 0 15 0 8 0 271054691 937578496 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10921] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10921/stat : 10921 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271054691 937578496 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10922] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10922/stat : 10922 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271054691 937578496 9373 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) 915604
[startup+25.6167 s]
/proc/loadavg: 1.96 2.01 1.99 3/93 10922
/proc/meminfo: memFree=1272312/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=915604 CPUtime=25.38
/proc/10914/stat : 10914 (java) R 10912 10914 9979 0 -1 0 9649 0 1 0 2523 15 0 0 25 0 8 0 271054683 937578496 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073641632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10914/statm: 228901 9379 2547 14 0 215371 0
[pid=10914/tid=10916] ppid=10912 vsize=915604 CPUtime=0.03
/proc/10914/task/10916/stat : 10916 (java) S 10912 10914 9979 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 271054687 937578496 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10917] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10917/stat : 10917 (java) S 10912 10914 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10918] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10918/stat : 10918 (java) S 10912 10914 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10919] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10919/stat : 10919 (java) S 10912 10914 9979 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271054691 937578496 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10920] ppid=10912 vsize=915604 CPUtime=0.24
/proc/10914/task/10920/stat : 10920 (java) S 10912 10914 9979 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 271054691 937578496 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10921] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10921/stat : 10921 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271054691 937578496 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10922] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10922/stat : 10922 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271054691 937578496 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915604
[startup+51.2252 s]
/proc/loadavg: 1.97 2.00 1.99 3/93 10922
/proc/meminfo: memFree=1272312/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=915604 CPUtime=50.77
/proc/10914/stat : 10914 (java) R 10912 10914 9979 0 -1 0 9668 0 1 0 5061 16 0 0 25 0 8 0 271054683 937578496 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10914/statm: 228901 9394 2547 14 0 215371 0
[pid=10914/tid=10916] ppid=10912 vsize=915604 CPUtime=0.03
/proc/10914/task/10916/stat : 10916 (java) S 10912 10914 9979 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 271054687 937578496 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10917] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10917/stat : 10917 (java) S 10912 10914 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10918] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10918/stat : 10918 (java) S 10912 10914 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10919] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10919/stat : 10919 (java) S 10912 10914 9979 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271054691 937578496 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10920] ppid=10912 vsize=915604 CPUtime=0.26
/proc/10914/task/10920/stat : 10920 (java) S 10912 10914 9979 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 271054691 937578496 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10921] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10921/stat : 10921 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271054691 937578496 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10922] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10922/stat : 10922 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271054691 937578496 9394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915604
[startup+102.435 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 10922
/proc/meminfo: memFree=1272312/2055920 swapFree=4178232/4192956
[pid=10914] ppid=10912 vsize=915604 CPUtime=101.55
/proc/10914/stat : 10914 (java) R 10912 10914 9979 0 -1 0 9673 0 1 0 10139 16 0 0 25 0 8 0 271054683 937578496 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073639216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10914/statm: 228901 9398 2547 14 0 215371 0
[pid=10914/tid=10916] ppid=10912 vsize=915604 CPUtime=0.03
/proc/10914/task/10916/stat : 10916 (java) S 10912 10914 9979 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 271054687 937578496 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10917] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10917/stat : 10917 (java) S 10912 10914 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10918] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10918/stat : 10918 (java) S 10912 10914 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271054688 937578496 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10919] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10919/stat : 10919 (java) S 10912 10914 9979 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271054691 937578496 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10920] ppid=10912 vsize=915604 CPUtime=0.27
/proc/10914/task/10920/stat : 10920 (java) S 10912 10914 9979 0 -1 64 419 0 0 0 26 1 0 0 16 0 8 0 271054691 937578496 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10921] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10921/stat : 10921 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271054691 937578496 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10914/tid=10922] ppid=10912 vsize=915604 CPUtime=0
/proc/10914/task/10922/stat : 10922 (java) S 10912 10914 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271054691 937578496 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915604
Child status: 0
Real time (s): 117.831
CPU time (s): 116.774
CPU user time (s): 116.596
CPU system time (s): 0.177972
CPU usage (%): 99.1032
Max. virtual memory (cumulated for all children) (KiB): 915604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.596
system time used= 0.177972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9778
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= 3690
involuntary context switches= 7762
runsolver used 0.150977 s user time and 0.38894 s system time
The end
Begin job on node10 on Fri Jan 19 17:09:56 UTC 2007
IDJOB= 275760
IDBENCH= 4670
IDSOLVER= 69
FILE ID= node10/275760-1169226595
PBS_JOBID= 3588950
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/blast-floppy1-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275760-1169226595/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-275760-1169226595 -o ROOT/results/node10/solver-275760-1169226595 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275760-1169226595/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 96552de8b783fc4054435360b1bc7e1d
RANDOM SEED= 616462463
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.232
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.232
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: 1300368 kB
Buffers: 58880 kB
Cached: 580476 kB
SwapCached: 2360 kB
Active: 186320 kB
Inactive: 493180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1300368 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 1796 kB
Writeback: 0 kB
Mapped: 50944 kB
Slab: 60984 kB
Committed_AS: 7126684 kB
PageTables: 2176 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= 66560 MiB
End job on node10 on Fri Jan 19 17:11:53 UTC 2007