0.46
0.46 Abscon 109 (November, 2006)
0.46
0.46 configuration
0.46 name=pfc.xml
0.50
0.50 instance
0.50 name=/tmp/evaluation/277031-1169253168/unknown.xml
0.53
0.53 domains being loaded...
0.53
0.53 variables being loaded...
0.57 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.57 => wckTime=0.102 cpuTime=0.1 mem=6M910
0.57
0.57 relations being loaded...
0.66
0.66 constraints being loaded...
0.77 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.77 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8191 maxDegree=27
0.77 maxArity=2
0.77 => wckTime=0.301 cpuTime=0.21 mem=10M810
0.81
0.81 solver LocalSearchSolver being built...
0.85 => wckTime=0.387 cpuTime=0.25 mem=5M815
0.86
0.86 s SATISFIABLE
0.86 o 338
0.86 c 76
0.86 o 344
0.86 c 70
0.86 o 349
0.86 c 65
0.86 o 354
0.86 c 60
0.86 o 356
0.86 c 58
0.86 o 358
0.86 c 56
0.86 o 362
0.86 c 52
0.87 o 365
0.87 c 49
0.87 o 369
0.87 c 45
0.87 o 370
0.87 c 44
0.87 o 373
0.87 c 41
0.87 o 375
0.87 c 39
0.87 o 376
0.87 c 38
0.87 o 377
0.87 c 37
0.87 o 378
0.87 c 36
0.87 o 379
0.87 c 35
0.88 o 380
0.88 c 34
0.88 o 382
0.88 c 32
0.88 o 385
0.88 c 29
0.88 o 387
0.88 c 27
0.88 o 389
0.88 c 25
0.88 o 391
0.88 c 23
0.88 o 393
0.88 c 21
0.88 o 395
0.88 c 19
0.89 o 396
0.89 c 18
0.90 o 397
0.90 c 17
0.90 o 399
0.90 c 15
0.90 o 400
0.90 c 14
0.90 o 401
0.90 c 13
0.90 o 402
0.90 c 12
0.91 o 403
0.91 c 11
0.91 o 404
0.91 c 10
0.92 o 405
0.92 c 9
0.93 o 406
0.93 c 8
0.94 o 407
0.94 c 7
0.95 o 408
0.95 c 6
0.95 o 409
0.95 c 5
0.95 o 410
0.95 c 4
1.05 o 411
1.05 c 3
1.88 o 412
1.88 c 2
3.47
3.47 search
3.47 run=0 nbConstraintChecks=16911179 nbAssignments=10000
3.47 => wckTime=2.614 cpuTime=2.57 mem=5M815
5.99
5.99 search
5.99 run=1 nbConstraintChecks=33938792 nbAssignments=20000
5.99 => wckTime=5.142 cpuTime=5.07 mem=5M815
6.58 o 413
6.58 c 1
6.58
6.58 search
6.58 run=2 nbConstraintChecks=37730099 nbAssignments=22607
6.58 => wckTime=5.724 cpuTime=5.65 mem=5M815
6.58
6.58 global
6.58 nbConstraintChecks=37730099 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.58 solvingWckTime=5.722 solvingCpuTime=5.65 expiredTime=no totalExploration=no nbFoundSolutions=0
6.58 globalCpuTime=5.95
6.58 => wckTime=6.112 cpuTime=5.9 mem=5M815
6.58
6.58 solver IterativeSystematicSolver being built...
6.71 => wckTime=6.248 cpuTime=6.01 mem=16M805
6.72
6.72 preprocessing
6.72 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
6.72 detectedInconsistency=no
6.72 => wckTime=0.0070 cpuTime=0.01 mem=16M805
6.81
6.81 search
6.81 run=0 nbConstraintChecks=142516 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36
6.81 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=67 nbRestartNogoods=0
6.81 => wckTime=0.092 cpuTime=0.07 mem=16M805
6.88
6.88 search
6.88 run=1 nbConstraintChecks=304523 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77
6.88 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=143 nbRestartNogoods=12
6.88 => wckTime=0.162 cpuTime=0.12 mem=16M805
6.95
6.95 search
6.95 run=2 nbConstraintChecks=558327 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=138
6.95 nbFailedAssignments=73 nbBacktracks=47 nbVisitedNodes=259 nbRestartNogoods=29
6.95 => wckTime=0.234 cpuTime=0.19 mem=16M805
7.06
7.06 search
7.06 run=3 nbConstraintChecks=990876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=240
7.06 nbFailedAssignments=137 nbBacktracks=80 nbVisitedNodes=458 nbRestartNogoods=35
7.06 => wckTime=0.347 cpuTime=0.3 mem=16M805
7.23
7.23 search
7.23 run=4 nbConstraintChecks=1576261 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=373
7.23 nbFailedAssignments=215 nbBacktracks=130 nbVisitedNodes=714 nbRestartNogoods=49
7.23 => wckTime=0.515 cpuTime=0.47 mem=16M805
7.51
7.51 search
7.51 run=5 nbConstraintChecks=2661707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=632
7.51 nbFailedAssignments=391 nbBacktracks=205 nbVisitedNodes=1223 nbRestartNogoods=64
7.51 => wckTime=0.799 cpuTime=0.75 mem=16M805
7.90
7.90 search
7.90 run=6 nbConstraintChecks=4049816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=942
7.90 nbFailedAssignments=582 nbBacktracks=318 nbVisitedNodes=1822 nbRestartNogoods=71
7.90 => wckTime=1.181 cpuTime=1.13 mem=16M805
8.50
8.50 search
8.51 run=7 nbConstraintChecks=6401109 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1494
8.51 nbFailedAssignments=958 nbBacktracks=488 nbVisitedNodes=2920 nbRestartNogoods=85
8.51 => wckTime=1.79 cpuTime=1.72 mem=16M805
9.35
9.35 search
9.35 run=8 nbConstraintChecks=9578443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2249
9.35 nbFailedAssignments=1450 nbBacktracks=744 nbVisitedNodes=4419 nbRestartNogoods=93
9.35 => wckTime=2.635 cpuTime=2.54 mem=16M805
10.50
10.50 search
10.50 run=9 nbConstraintChecks=13855961 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3268
10.50 nbFailedAssignments=2079 nbBacktracks=1128 nbVisitedNodes=6396 nbRestartNogoods=112
10.50 => wckTime=3.787 cpuTime=3.68 mem=16M805
12.21
12.21 search
12.21 run=10 nbConstraintChecks=20026929 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4766
12.21 nbFailedAssignments=2997 nbBacktracks=1704 nbVisitedNodes=9224 nbRestartNogoods=125
12.21 => wckTime=5.495 cpuTime=5.38 mem=16M805
14.54
14.54 search
14.54 run=11 nbConstraintChecks=28175943 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6789
14.54 nbFailedAssignments=4150 nbBacktracks=2568 nbVisitedNodes=12957 nbRestartNogoods=132
14.54 => wckTime=7.826 cpuTime=7.68 mem=16M805
17.34
17.34 search
17.34 run=12 nbConstraintChecks=38160576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9407
17.34 nbFailedAssignments=5464 nbBacktracks=3865 nbVisitedNodes=17514 nbRestartNogoods=140
17.34 => wckTime=10.63 cpuTime=10.46 mem=16M805
21.25
21.25 search
21.25 run=13 nbConstraintChecks=51974548 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13146
21.25 nbFailedAssignments=7252 nbBacktracks=5811 nbVisitedNodes=23719 nbRestartNogoods=146
21.25 => wckTime=14.535 cpuTime=14.34 mem=16M805
26.48
26.48 search
26.48 run=14 nbConstraintChecks=70011741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18271
26.48 nbFailedAssignments=9451 nbBacktracks=8730 nbVisitedNodes=31784 nbRestartNogoods=151
26.48 => wckTime=19.768 cpuTime=19.52 mem=16M805
33.76
33.76 search
33.76 run=15 nbConstraintChecks=95581303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25757
33.76 nbFailedAssignments=12550 nbBacktracks=13109 nbVisitedNodes=43348 nbRestartNogoods=160
33.76 => wckTime=27.043 cpuTime=26.74 mem=16M805
43.79
43.79 search
43.79 run=16 nbConstraintChecks=131298422 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36515
43.79 nbFailedAssignments=16732 nbBacktracks=19678 nbVisitedNodes=59539 nbRestartNogoods=171
43.79 => wckTime=37.077 cpuTime=36.68 mem=16M805
58.50
58.50 search
58.50 run=17 nbConstraintChecks=183837326 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52457
58.50 nbFailedAssignments=22815 nbBacktracks=29532 nbVisitedNodes=83179 nbRestartNogoods=181
58.50 => wckTime=51.785 cpuTime=51.27 mem=16M805
79.91
79.91 search
79.91 run=18 nbConstraintChecks=259859409 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75874
79.91 nbFailedAssignments=31445 nbBacktracks=44310 nbVisitedNodes=117469 nbRestartNogoods=185
79.91 => wckTime=73.199 cpuTime=72.49 mem=16M805
111.54
111.54 search
111.54 run=19 nbConstraintChecks=372415537 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110814
111.54 nbFailedAssignments=44210 nbBacktracks=66478 nbVisitedNodes=168534 nbRestartNogoods=198
111.54 => wckTime=104.821 cpuTime=103.82 mem=16M805
140.17
140.17 search
140.17 run=20 nbConstraintChecks=473704413 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142196
140.17 nbFailedAssignments=55510 nbBacktracks=86561 nbVisitedNodes=214186 nbRestartNogoods=205
140.17 => wckTime=133.453 cpuTime=132.19 mem=16M805
140.17
140.17 global
140.17 nbConstraintChecks=473704413 nbRestartNogoods=205 solvingWckTime=133.454 solvingCpuTime=132.19 expiredTime=no
140.17 totalExploration=yes nbFoundSolutions=0 globalCpuTime=138.25
140.17 => wckTime=139.703 cpuTime=138.2 mem=16M805
140.17
140.17 s OPTIMUM FOUND
140.17 v 7 5 2 4 2 4 0 0 2 5 8 3 2 8 6 10 8 2 0 7 6 6 6 2 8 6 8 6 3 1 9 0 8 0 1 2 4 6 6 1
140.17
140.17 totalWckTime=139.784 totalCpuTime=138.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-277031-1169253168 -o ROOT/results/node2/solver-277031-1169253168 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277031-1169253168/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.88 1.98 1.99 4/86 15926
/proc/meminfo: memFree=1249672/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=1784 CPUtime=0
/proc/15925/stat : 15925 (java) D 15923 15925 15171 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 273712430 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/15925/statm: 446 136 102 14 0 91 0
[startup+0.102819 s]
/proc/loadavg: 1.88 1.98 1.99 4/86 15926
/proc/meminfo: memFree=1249672/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=47976 CPUtime=0
/proc/15925/stat : 15925 (java) D 15923 15925 15171 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 273712430 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/15925/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.510895 s]
/proc/loadavg: 1.88 1.98 1.99 4/86 15926
/proc/meminfo: memFree=1249672/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=915332 CPUtime=0.33
/proc/15925/stat : 15925 (java) R 15923 15925 15171 0 -1 0 5570 0 1 0 30 3 0 0 18 0 8 0 273712430 937299968 5309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15925/statm: 228833 5309 2060 14 0 215303 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 915332
[startup+1.33204 s]
/proc/loadavg: 1.88 1.98 1.99 3/93 15933
/proc/meminfo: memFree=1229456/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=915420 CPUtime=1.13
/proc/15925/stat : 15925 (java) R 15923 15925 15171 0 -1 0 7727 0 1 0 102 11 0 0 23 0 8 0 273712430 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15925/statm: 228855 7465 2476 14 0 215325 0
[pid=15925/tid=15927] ppid=15923 vsize=915420 CPUtime=0.03
/proc/15925/task/15927/stat : 15927 (java) S 15923 15925 15171 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273712450 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15928] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15928/stat : 15928 (java) S 15923 15925 15171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273712450 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15929] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15929/stat : 15929 (java) S 15923 15925 15171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273712450 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15930] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15930/stat : 15930 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273712453 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15931] ppid=15923 vsize=915420 CPUtime=0.14
/proc/15925/task/15931/stat : 15931 (java) S 15923 15925 15171 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 273712453 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15932] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15932/stat : 15932 (java) S 15923 15925 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273712453 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15933] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15933/stat : 15933 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273712453 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 915420
[startup+2.98034 s]
/proc/loadavg: 1.88 1.98 1.99 3/93 15933
/proc/meminfo: memFree=1229456/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=915420 CPUtime=2.78
/proc/15925/stat : 15925 (java) R 15923 15925 15171 0 -1 0 7728 0 1 0 240 38 0 0 25 0 8 0 273712430 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15925/statm: 228855 7465 2476 14 0 215325 0
[pid=15925/tid=15927] ppid=15923 vsize=915420 CPUtime=0.03
/proc/15925/task/15927/stat : 15927 (java) S 15923 15925 15171 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273712450 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15928] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15928/stat : 15928 (java) S 15923 15925 15171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273712450 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15929] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15929/stat : 15929 (java) S 15923 15925 15171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273712450 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15930] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15930/stat : 15930 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273712453 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15931] ppid=15923 vsize=915420 CPUtime=0.14
/proc/15925/task/15931/stat : 15931 (java) S 15923 15925 15171 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 273712453 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15932] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15932/stat : 15932 (java) S 15923 15925 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273712453 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15933] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15933/stat : 15933 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273712453 937390080 7465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 915420
[startup+6.26695 s]
/proc/loadavg: 1.89 1.98 1.99 3/93 15933
/proc/meminfo: memFree=1229328/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=915420 CPUtime=6.04
/proc/15925/stat : 15925 (java) R 15923 15925 15171 0 -1 0 7731 0 1 0 514 90 0 0 25 0 8 0 273712430 937390080 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15925/statm: 228855 7468 2476 14 0 215325 0
[pid=15925/tid=15927] ppid=15923 vsize=915420 CPUtime=0.03
/proc/15925/task/15927/stat : 15927 (java) S 15923 15925 15171 0 -1 64 232 0 0 0 3 0 0 0 16 0 8 0 273712450 937390080 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15928] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15928/stat : 15928 (java) S 15923 15925 15171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273712450 937390080 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15929] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15929/stat : 15929 (java) S 15923 15925 15171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273712450 937390080 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15930] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15930/stat : 15930 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273712453 937390080 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15931] ppid=15923 vsize=915420 CPUtime=0.15
/proc/15925/task/15931/stat : 15931 (java) S 15923 15925 15171 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 273712453 937390080 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15932] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15932/stat : 15932 (java) S 15923 15925 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273712453 937390080 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15933] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15933/stat : 15933 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273712453 937390080 7468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 915420
[startup+12.7531 s]
/proc/loadavg: 1.90 1.98 1.99 3/93 15933
/proc/meminfo: memFree=1224024/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=915420 CPUtime=12.45
/proc/15925/stat : 15925 (java) R 15923 15925 15171 0 -1 0 9118 0 1 0 1150 95 0 0 25 0 8 0 273712430 937390080 8850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15925/statm: 228855 8850 2527 14 0 215325 0
[pid=15925/tid=15927] ppid=15923 vsize=915420 CPUtime=0.03
/proc/15925/task/15927/stat : 15927 (java) S 15923 15925 15171 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273712450 937390080 8850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15928] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15928/stat : 15928 (java) S 15923 15925 15171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273712450 937390080 8850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15929] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15929/stat : 15929 (java) S 15923 15925 15171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273712450 937390080 8850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15930] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15930/stat : 15930 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273712453 937390080 8850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15931] ppid=15923 vsize=915420 CPUtime=0.24
/proc/15925/task/15931/stat : 15931 (java) S 15923 15925 15171 0 -1 64 407 0 0 0 24 0 0 0 15 0 8 0 273712453 937390080 8850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15932] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15932/stat : 15932 (java) S 15923 15925 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273712453 937390080 8850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15933] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15933/stat : 15933 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273712453 937390080 8850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 915420
[startup+25.6045 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 15933
/proc/meminfo: memFree=1224024/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=915420 CPUtime=25.2
/proc/15925/stat : 15925 (java) R 15923 15925 15171 0 -1 0 9126 0 1 0 2425 95 0 0 25 0 8 0 273712430 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073929113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15925/statm: 228855 8857 2527 14 0 215325 0
[pid=15925/tid=15927] ppid=15923 vsize=915420 CPUtime=0.03
/proc/15925/task/15927/stat : 15927 (java) S 15923 15925 15171 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273712450 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15928] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15928/stat : 15928 (java) S 15923 15925 15171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273712450 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15929] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15929/stat : 15929 (java) S 15923 15925 15171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273712450 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15930] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15930/stat : 15930 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273712453 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15931] ppid=15923 vsize=915420 CPUtime=0.24
/proc/15925/task/15931/stat : 15931 (java) S 15923 15925 15171 0 -1 64 407 0 0 0 24 0 0 0 16 0 8 0 273712453 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15932] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15932/stat : 15932 (java) S 15923 15925 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273712453 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15933] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15933/stat : 15933 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273712453 937390080 8857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 915420
[startup+51.2122 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 15933
/proc/meminfo: memFree=1224024/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=915420 CPUtime=50.59
/proc/15925/stat : 15925 (java) R 15923 15925 15171 0 -1 0 9136 0 1 0 4963 96 0 0 25 0 8 0 273712430 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15925/statm: 228855 8865 2527 14 0 215325 0
[pid=15925/tid=15927] ppid=15923 vsize=915420 CPUtime=0.03
/proc/15925/task/15927/stat : 15927 (java) S 15923 15925 15171 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273712450 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15928] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15928/stat : 15928 (java) S 15923 15925 15171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273712450 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15929] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15929/stat : 15929 (java) S 15923 15925 15171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273712450 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15930] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15930/stat : 15930 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273712453 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15931] ppid=15923 vsize=915420 CPUtime=0.24
/proc/15925/task/15931/stat : 15931 (java) S 15923 15925 15171 0 -1 64 408 0 0 0 24 0 0 0 16 0 8 0 273712453 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15932] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15932/stat : 15932 (java) S 15923 15925 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273712453 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15933] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15933/stat : 15933 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273712453 937390080 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 915420
[startup+102.419 s]
/proc/loadavg: 2.01 1.99 1.99 3/93 15933
/proc/meminfo: memFree=1224024/2055920 swapFree=4180552/4192956
[pid=15925] ppid=15923 vsize=915420 CPUtime=101.33
/proc/15925/stat : 15925 (java) R 15923 15925 15171 0 -1 0 9141 0 1 0 10037 96 0 0 25 0 8 0 273712430 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073899488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15925/statm: 228855 8870 2527 14 0 215325 0
[pid=15925/tid=15927] ppid=15923 vsize=915420 CPUtime=0.03
/proc/15925/task/15927/stat : 15927 (java) S 15923 15925 15171 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273712450 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15928] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15928/stat : 15928 (java) S 15923 15925 15171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273712450 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15929] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15929/stat : 15929 (java) S 15923 15925 15171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273712450 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15930] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15930/stat : 15930 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273712453 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15931] ppid=15923 vsize=915420 CPUtime=0.24
/proc/15925/task/15931/stat : 15931 (java) S 15923 15925 15171 0 -1 64 408 0 0 0 24 0 0 0 16 0 8 0 273712453 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15932] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15932/stat : 15932 (java) S 15923 15925 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273712453 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15925/tid=15933] ppid=15923 vsize=915420 CPUtime=0
/proc/15925/task/15933/stat : 15933 (java) S 15923 15925 15171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273712453 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 140.213
CPU time (s): 138.761
CPU user time (s): 137.787
CPU system time (s): 0.973851
CPU usage (%): 98.9646
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.787
system time used= 0.973851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9239
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= 4097
involuntary context switches= 6491
runsolver used 0.200969 s user time and 0.436933 s system time
The end
Begin job on node2 on Sat Jan 20 00:32:48 UTC 2007
IDJOB= 277031
IDBENCH= 6213
IDSOLVER= 69
FILE ID= node2/277031-1169253168
PBS_JOBID= 3589084
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277031-1169253168/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-277031-1169253168 -o ROOT/results/node2/solver-277031-1169253168 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277031-1169253168/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7b1ac7753e34047d49fc9d8bbfd33308
RANDOM SEED= 516273901
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.259
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 : 5931.00
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.259
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: 1250152 kB
Buffers: 45932 kB
Cached: 635016 kB
SwapCached: 548 kB
Active: 179308 kB
Inactive: 553528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1250152 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 1772 kB
Writeback: 0 kB
Mapped: 64560 kB
Slab: 57740 kB
Committed_AS: 7162456 kB
PageTables: 2332 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 node2 on Sat Jan 20 00:35:08 UTC 2007