0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/281188-1169310529/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.39 => wckTime=0.092 cpuTime=0.09 mem=6M887
0.39
0.39 relations being loaded...
0.45
0.45 constraints being loaded...
0.55 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5569 maxDegree=24
0.55 maxArity=2
0.55 => wckTime=0.256 cpuTime=0.18 mem=9M846
0.59
0.59 solver LocalSearchSolver being built...
0.63 => wckTime=0.335 cpuTime=0.22 mem=5M671
0.63
0.63 s SATISFIABLE
0.63 o 259
0.63 c 41
0.64 o 264
0.64 c 36
0.64 o 269
0.64 c 31
0.64 o 273
0.64 c 27
0.64 o 275
0.64 c 25
0.64 o 277
0.64 c 23
0.64 o 280
0.64 c 20
0.64 o 283
0.64 c 17
0.64 o 284
0.64 c 16
0.64 o 287
0.64 c 13
0.64 o 288
0.64 c 12
0.65 o 289
0.65 c 11
0.65 o 290
0.65 c 10
0.65 o 292
0.65 c 8
0.67 o 294
0.67 c 6
0.68 o 295
0.68 c 5
0.68 o 296
0.68 c 4
0.72 o 297
0.72 c 3
0.80 o 298
0.80 c 2
0.80 o 299
0.80 c 1
0.80
0.80 search
0.80 run=0 nbConstraintChecks=885294 nbAssignments=893
0.80 => wckTime=0.175 cpuTime=0.16 mem=5M671
0.80
0.80 global
0.80 nbConstraintChecks=885294 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.80 solvingWckTime=0.174 solvingCpuTime=0.16 expiredTime=no totalExploration=no nbFoundSolutions=0
0.80 globalCpuTime=0.42
0.80 => wckTime=0.51 cpuTime=0.38 mem=5M671
0.81
0.81 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.633 cpuTime=0.48 mem=16M571
0.98
0.98 preprocessing
0.98 nbConstraintChecks=29862 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.98 detectedInconsistency=no
0.98 => wckTime=0.049 cpuTime=0.04 mem=16M571
1.01
1.01 search
1.01 run=0 nbConstraintChecks=80738 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30
1.01 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=58 nbRestartNogoods=0
1.01 => wckTime=0.084 cpuTime=0.07 mem=16M571
1.06
1.06 search
1.06 run=1 nbConstraintChecks=201928 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75
1.06 nbFailedAssignments=44 nbBacktracks=25 nbVisitedNodes=145 nbRestartNogoods=4
1.06 => wckTime=0.13 cpuTime=0.1 mem=16M571
1.11
1.11 search
1.11 run=2 nbConstraintChecks=405504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=148
1.11 nbFailedAssignments=91 nbBacktracks=47 nbVisitedNodes=286 nbRestartNogoods=11
1.11 => wckTime=0.181 cpuTime=0.15 mem=16M571
1.18
1.18 search
1.18 run=3 nbConstraintChecks=659450 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=242
1.18 nbFailedAssignments=148 nbBacktracks=80 nbVisitedNodes=470 nbRestartNogoods=17
1.18 => wckTime=0.252 cpuTime=0.21 mem=16M571
1.29
1.29 search
1.29 run=4 nbConstraintChecks=1080875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=391
1.29 nbFailedAssignments=244 nbBacktracks=131 nbVisitedNodes=762 nbRestartNogoods=25
1.29 => wckTime=0.357 cpuTime=0.31 mem=16M571
1.43
1.43 search
1.43 run=5 nbConstraintChecks=1669584 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=601
1.43 nbFailedAssignments=374 nbBacktracks=206 nbVisitedNodes=1171 nbRestartNogoods=27
1.43 => wckTime=0.503 cpuTime=0.46 mem=16M571
1.63
1.63 search
1.63 run=6 nbConstraintChecks=2479905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=890
1.63 nbFailedAssignments=547 nbBacktracks=319 nbVisitedNodes=1736 nbRestartNogoods=39
1.63 => wckTime=0.706 cpuTime=0.67 mem=16M571
1.94
1.94 search
1.94 run=7 nbConstraintChecks=3655667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1320
1.94 nbFailedAssignments=804 nbBacktracks=489 nbVisitedNodes=2562 nbRestartNogoods=48
1.94 => wckTime=1.008 cpuTime=0.96 mem=16M571
2.34
2.34 search
2.34 run=8 nbConstraintChecks=5210876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1899
2.34 nbFailedAssignments=1125 nbBacktracks=745 nbVisitedNodes=3633 nbRestartNogoods=62
2.34 => wckTime=1.411 cpuTime=1.35 mem=16M571
2.84
2.84 search
2.84 run=9 nbConstraintChecks=7192130 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2701
2.84 nbFailedAssignments=1539 nbBacktracks=1129 nbVisitedNodes=5037 nbRestartNogoods=77
2.84 => wckTime=1.913 cpuTime=1.85 mem=16M571
3.58
3.58 search
3.58 run=10 nbConstraintChecks=10038536 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3872
3.58 nbFailedAssignments=2131 nbBacktracks=1706 nbVisitedNodes=7018 nbRestartNogoods=83
3.58 => wckTime=2.655 cpuTime=2.58 mem=16M571
4.64
4.64 search
4.64 run=11 nbConstraintChecks=14076105 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5520
4.64 nbFailedAssignments=2912 nbBacktracks=2570 nbVisitedNodes=9780 nbRestartNogoods=108
4.64 => wckTime=3.708 cpuTime=3.63 mem=16M571
6.18
6.18 search
6.18 run=12 nbConstraintChecks=19965520 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7987
6.18 nbFailedAssignments=4078 nbBacktracks=3868 nbVisitedNodes=13871 nbRestartNogoods=113
6.18 => wckTime=5.256 cpuTime=5.17 mem=16M571
8.56
8.56 search
8.56 run=13 nbConstraintChecks=28886319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11721
8.56 nbFailedAssignments=5863 nbBacktracks=5814 nbVisitedNodes=20067 nbRestartNogoods=124
8.56 => wckTime=7.632 cpuTime=7.53 mem=16M571
12.06
12.06 search
12.06 run=14 nbConstraintChecks=42111596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17295
12.06 nbFailedAssignments=8512 nbBacktracks=8733 nbVisitedNodes=29238 nbRestartNogoods=140
12.06 => wckTime=11.136 cpuTime=11.02 mem=16M571
17.17
17.17 search
17.17 run=15 nbConstraintChecks=61252850 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25512
17.17 nbFailedAssignments=12349 nbBacktracks=13111 nbVisitedNodes=42667 nbRestartNogoods=155
17.17 => wckTime=16.245 cpuTime=16.11 mem=16M571
20.55
20.55 search
20.55 run=16 nbConstraintChecks=73688367 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30919
20.55 nbFailedAssignments=14847 nbBacktracks=16021 nbVisitedNodes=51387 nbRestartNogoods=170
20.55 => wckTime=19.625 cpuTime=19.48 mem=16M571
20.55
20.55 global
20.55 nbConstraintChecks=73718229 nbRestartNogoods=170 solvingWckTime=19.626 solvingCpuTime=19.48 expiredTime=no
20.55 totalExploration=yes nbFoundSolutions=0 globalCpuTime=20.0
20.55 => wckTime=20.259 cpuTime=19.96 mem=16M571
20.56
20.56 s OPTIMUM FOUND
20.56 v 5 3 9 3 0 3 8 6 0 2 6 1 7 1 1 4 7 1 9 2 2 5 3 4 2
20.56
20.56 totalWckTime=20.335 totalCpuTime=20.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-281188-1169310529 -o ROOT/results/node75/solver-281188-1169310529 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281188-1169310529/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.99 1.95 1.91 5/73 30923
/proc/meminfo: memFree=1322840/2055920 swapFree=4184548/4192956
[pid=30922] ppid=30920 vsize=18540 CPUtime=0
/proc/30922/stat : 30922 (runsolver) R 30920 30922 30414 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279452317 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30922/statm: 4635 279 244 17 0 2626 0
[startup+0.104091 s]
/proc/loadavg: 1.99 1.95 1.91 5/73 30923
/proc/meminfo: memFree=1322840/2055920 swapFree=4184548/4192956
[pid=30922] ppid=30920 vsize=914988 CPUtime=0.08
/proc/30922/stat : 30922 (java) R 30920 30922 30414 0 -1 0 3010 0 1 0 7 1 0 0 17 0 8 0 279452317 936947712 2756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154017398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30922/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51214 s]
/proc/loadavg: 1.99 1.95 1.91 5/73 30923
/proc/meminfo: memFree=1322840/2055920 swapFree=4184548/4192956
[pid=30922] ppid=30920 vsize=915332 CPUtime=0.49
/proc/30922/stat : 30922 (java) R 30920 30922 30414 0 -1 0 6623 0 1 0 45 4 0 0 18 0 8 0 279452317 937299968 6362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30922/statm: 228833 6362 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33323 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 30930
/proc/meminfo: memFree=1297568/2055920 swapFree=4184548/4192956
[pid=30922] ppid=30920 vsize=915464 CPUtime=1.3
/proc/30922/stat : 30922 (java) R 30920 30922 30414 0 -1 0 9043 0 1 0 121 9 0 0 25 0 8 0 279452317 937435136 8780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835085 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30922/statm: 228866 8780 2532 14 0 215336 0
[pid=30922/tid=30924] ppid=30920 vsize=915464 CPUtime=0.02
/proc/30922/task/30924/stat : 30924 (java) S 30920 30922 30414 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279452321 937435136 8780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30925] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30925/stat : 30925 (java) S 30920 30922 30414 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279452322 937435136 8780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30926] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30926/stat : 30926 (java) S 30920 30922 30414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279452322 937435136 8780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30927] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30927/stat : 30927 (java) S 30920 30922 30414 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279452325 937435136 8780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30928] ppid=30920 vsize=915464 CPUtime=0.19
/proc/30922/task/30928/stat : 30928 (java) S 30920 30922 30414 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 279452325 937435136 8780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30929] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30929/stat : 30929 (java) S 30920 30922 30414 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279452325 937435136 8780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30930] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30930/stat : 30930 (java) S 30920 30922 30414 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279452325 937435136 8780 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) 915464
[startup+2.97342 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 30930
/proc/meminfo: memFree=1297504/2055920 swapFree=4184548/4192956
[pid=30922] ppid=30920 vsize=915464 CPUtime=2.94
/proc/30922/stat : 30922 (java) R 30920 30922 30414 0 -1 0 9071 0 1 0 285 9 0 0 25 0 8 0 279452317 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30922/statm: 228866 8807 2532 14 0 215336 0
[pid=30922/tid=30924] ppid=30920 vsize=915464 CPUtime=0.02
/proc/30922/task/30924/stat : 30924 (java) S 30920 30922 30414 0 -1 64 199 0 0 0 2 0 0 0 17 0 8 0 279452321 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30925] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30925/stat : 30925 (java) S 30920 30922 30414 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279452322 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30926] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30926/stat : 30926 (java) S 30920 30922 30414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279452322 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30927] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30927/stat : 30927 (java) S 30920 30922 30414 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279452325 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30928] ppid=30920 vsize=915464 CPUtime=0.22
/proc/30922/task/30928/stat : 30928 (java) S 30920 30922 30414 0 -1 64 398 0 0 0 21 1 0 0 15 0 8 0 279452325 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30929] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30929/stat : 30929 (java) S 30920 30922 30414 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279452325 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30930] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30930/stat : 30930 (java) S 30920 30922 30414 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279452325 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.1778 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 30930
/proc/meminfo: memFree=1297376/2055920 swapFree=4184548/4192956
[pid=30922] ppid=30920 vsize=915464 CPUtime=6.13
/proc/30922/stat : 30922 (java) R 30920 30922 30414 0 -1 0 9079 0 1 0 604 9 0 0 25 0 8 0 279452317 937435136 8813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30922/statm: 228866 8813 2532 14 0 215336 0
[pid=30922/tid=30924] ppid=30920 vsize=915464 CPUtime=0.02
/proc/30922/task/30924/stat : 30924 (java) S 30920 30922 30414 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279452321 937435136 8813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30925] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30925/stat : 30925 (java) S 30920 30922 30414 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279452322 937435136 8813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30926] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30926/stat : 30926 (java) S 30920 30922 30414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279452322 937435136 8813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30927] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30927/stat : 30927 (java) S 30920 30922 30414 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279452325 937435136 8813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30928] ppid=30920 vsize=915464 CPUtime=0.22
/proc/30922/task/30928/stat : 30928 (java) S 30920 30922 30414 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 279452325 937435136 8813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30929] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30929/stat : 30929 (java) S 30920 30922 30414 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279452325 937435136 8813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30930] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30930/stat : 30930 (java) S 30920 30922 30414 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279452325 937435136 8813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915464
[startup+12.6416 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 30930
/proc/meminfo: memFree=1297376/2055920 swapFree=4184548/4192956
[pid=30922] ppid=30920 vsize=915464 CPUtime=12.56
/proc/30922/stat : 30922 (java) R 30920 30922 30414 0 -1 0 9088 0 1 0 1247 9 0 0 25 0 8 0 279452317 937435136 8821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30922/statm: 228866 8821 2532 14 0 215336 0
[pid=30922/tid=30924] ppid=30920 vsize=915464 CPUtime=0.02
/proc/30922/task/30924/stat : 30924 (java) S 30920 30922 30414 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279452321 937435136 8821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30925] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30925/stat : 30925 (java) S 30920 30922 30414 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279452322 937435136 8821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30926] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30926/stat : 30926 (java) S 30920 30922 30414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279452322 937435136 8821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30927] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30927/stat : 30927 (java) S 30920 30922 30414 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279452325 937435136 8821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30928] ppid=30920 vsize=915464 CPUtime=0.23
/proc/30922/task/30928/stat : 30928 (java) S 30920 30922 30414 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 279452325 937435136 8821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30929] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30929/stat : 30929 (java) S 30920 30922 30414 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279452325 937435136 8821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30922/tid=30930] ppid=30920 vsize=915464 CPUtime=0
/proc/30922/task/30930/stat : 30930 (java) S 30920 30922 30414 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279452325 937435136 8821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 20.5866
CPU time (s): 20.4689
CPU user time (s): 20.3659
CPU system time (s): 0.102984
CPU usage (%): 99.4281
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.3659
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9187
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= 1534
involuntary context switches= 2021
runsolver used 0.012998 s user time and 0.075988 s system time
The end
Begin job on node75 on Sat Jan 20 16:28:49 UTC 2007
IDJOB= 281188
IDBENCH= 12107
IDSOLVER= 68
FILE ID= node75/281188-1169310529
PBS_JOBID= 3610234
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281188-1169310529/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-281188-1169310529 -o ROOT/results/node75/solver-281188-1169310529 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281188-1169310529/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2b10eece1d77acd7784429aace177500
RANDOM SEED= 618431071
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1323256 kB
Buffers: 41920 kB
Cached: 600904 kB
SwapCached: 2360 kB
Active: 148724 kB
Inactive: 510040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1323256 kB
SwapTotal: 4192956 kB
SwapFree: 4184548 kB
Dirty: 4180 kB
Writeback: 0 kB
Mapped: 23868 kB
Slab: 59328 kB
Committed_AS: 5645012 kB
PageTables: 1748 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= 66561 MiB
End job on node75 on Sat Jan 20 16:29:10 UTC 2007