0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/277049-1169253587/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.40 => wckTime=0.096 cpuTime=0.09 mem=6M910
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8188 maxDegree=25
0.59 maxArity=2
0.59 => wckTime=0.283 cpuTime=0.2 mem=10M811
0.63
0.63 solver LocalSearchSolver being built...
0.67 => wckTime=0.365 cpuTime=0.24 mem=5M815
0.68
0.68 s SATISFIABLE
0.68 o 331
0.68 c 83
0.68 o 337
0.68 c 77
0.68 o 343
0.68 c 71
0.68 o 347
0.68 c 67
0.68 o 351
0.68 c 63
0.68 o 354
0.68 c 60
0.68 o 356
0.68 c 58
0.68 o 360
0.68 c 54
0.68 o 366
0.68 c 48
0.68 o 368
0.68 c 46
0.69 o 370
0.69 c 44
0.69 o 372
0.69 c 42
0.69 o 373
0.69 c 41
0.69 o 374
0.69 c 40
0.69 o 377
0.69 c 37
0.69 o 378
0.69 c 36
0.69 o 380
0.69 c 34
0.69 o 381
0.69 c 33
0.69 o 382
0.69 c 32
0.69 o 383
0.69 c 31
0.69 o 385
0.69 c 29
0.70 o 386
0.70 c 28
0.70 o 387
0.70 c 27
0.70 o 388
0.70 c 26
0.70 o 389
0.70 c 25
0.70 o 390
0.70 c 24
0.70 o 392
0.70 c 22
0.70 o 393
0.70 c 21
0.70 o 394
0.70 c 20
0.70 o 396
0.70 c 18
0.71 o 397
0.71 c 17
0.71 o 399
0.71 c 15
0.71 o 400
0.71 c 14
0.72 o 401
0.72 c 13
0.72 o 402
0.72 c 12
0.72 o 403
0.73 c 11
0.73 o 404
0.73 c 10
0.74 o 406
0.74 c 8
0.75 o 407
0.75 c 7
0.75 o 408
0.75 c 6
0.76 o 409
0.76 c 5
0.76 o 410
0.76 c 4
0.91 o 411
0.91 c 3
1.42 o 412
1.42 c 2
3.02
3.02 search
3.02 run=0 nbConstraintChecks=16207401 nbAssignments=10000
3.02 => wckTime=2.351 cpuTime=2.33 mem=5M815
5.45
5.45 search
5.45 run=1 nbConstraintChecks=33932243 nbAssignments=20000
5.45 => wckTime=4.78 cpuTime=4.74 mem=5M815
7.74
7.74 search
7.74 run=2 nbConstraintChecks=50170812 nbAssignments=30000
7.74 => wckTime=7.066 cpuTime=7.01 mem=5M815
10.12
10.12 search
10.12 run=3 nbConstraintChecks=67394358 nbAssignments=40000
10.12 => wckTime=9.453 cpuTime=9.39 mem=5M815
12.50
12.50 search
12.50 run=4 nbConstraintChecks=84453166 nbAssignments=50000
12.50 => wckTime=11.831 cpuTime=11.75 mem=5M815
14.96
14.96 search
14.96 run=5 nbConstraintChecks=102394111 nbAssignments=60000
14.96 => wckTime=14.291 cpuTime=14.2 mem=5M815
15.15 o 413
15.15 c 1
15.15
15.15 search
15.15 run=6 nbConstraintChecks=103587093 nbAssignments=61073
15.15 => wckTime=14.478 cpuTime=14.39 mem=5M815
15.15
15.15 global
15.15 nbConstraintChecks=103587093 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
15.15 solvingWckTime=14.476 solvingCpuTime=14.38 expiredTime=no totalExploration=no nbFoundSolutions=0
15.15 globalCpuTime=14.66
15.15 => wckTime=14.843 cpuTime=14.62 mem=5M815
15.15
15.15 solver IterativeSystematicSolver being built...
15.27 => wckTime=14.965 cpuTime=14.72 mem=16M821
15.28
15.28 preprocessing
15.28 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
15.28 detectedInconsistency=no
15.28 => wckTime=0.0060 cpuTime=0.01 mem=16M821
15.35
15.35 search
15.35 run=0 nbConstraintChecks=123081 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
15.35 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
15.35 => wckTime=0.075 cpuTime=0.06 mem=16M821
15.42
15.42 search
15.42 run=1 nbConstraintChecks=315448 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79
15.42 nbFailedAssignments=42 nbBacktracks=25 nbVisitedNodes=147 nbRestartNogoods=12
15.42 => wckTime=0.151 cpuTime=0.12 mem=16M821
15.49
15.49 search
15.49 run=2 nbConstraintChecks=541064 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=134
15.49 nbFailedAssignments=70 nbBacktracks=47 nbVisitedNodes=250 nbRestartNogoods=20
15.49 => wckTime=0.215 cpuTime=0.18 mem=16M821
15.58
15.58 search
15.58 run=3 nbConstraintChecks=879621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=216
15.58 nbFailedAssignments=114 nbBacktracks=80 nbVisitedNodes=406 nbRestartNogoods=27
15.58 => wckTime=0.309 cpuTime=0.27 mem=16M821
15.72
15.72 search
15.72 run=4 nbConstraintChecks=1455746 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=353
15.72 nbFailedAssignments=195 nbBacktracks=130 nbVisitedNodes=674 nbRestartNogoods=34
15.72 => wckTime=0.449 cpuTime=0.41 mem=16M821
15.95
15.95 search
15.95 run=5 nbConstraintChecks=2290617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=552
15.95 nbFailedAssignments=314 nbBacktracks=205 nbVisitedNodes=1059 nbRestartNogoods=44
15.95 => wckTime=0.682 cpuTime=0.64 mem=16M821
16.26
16.26 search
16.26 run=6 nbConstraintChecks=3492896 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=838
16.26 nbFailedAssignments=483 nbBacktracks=318 nbVisitedNodes=1617 nbRestartNogoods=55
16.26 => wckTime=0.987 cpuTime=0.94 mem=16M821
16.71
16.71 search
16.71 run=7 nbConstraintChecks=5226845 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1253
16.71 nbFailedAssignments=720 nbBacktracks=488 nbVisitedNodes=2400 nbRestartNogoods=58
16.71 => wckTime=1.438 cpuTime=1.39 mem=16M821
17.39
17.39 search
17.39 run=8 nbConstraintChecks=7599346 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1845
17.39 nbFailedAssignments=1050 nbBacktracks=745 nbVisitedNodes=3493 nbRestartNogoods=64
17.39 => wckTime=2.119 cpuTime=2.03 mem=16M821
18.27
18.27 search
18.27 run=9 nbConstraintChecks=10865441 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2676
18.27 nbFailedAssignments=1491 nbBacktracks=1129 nbVisitedNodes=4975 nbRestartNogoods=70
18.27 => wckTime=2.998 cpuTime=2.9 mem=16M821
19.47
19.47 search
19.47 run=10 nbConstraintChecks=15505500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3878
19.47 nbFailedAssignments=2113 nbBacktracks=1705 nbVisitedNodes=7113 nbRestartNogoods=82
19.47 => wckTime=4.202 cpuTime=4.09 mem=16M821
21.09
21.09 search
21.09 run=11 nbConstraintChecks=21579443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5534
21.09 nbFailedAssignments=2900 nbBacktracks=2569 nbVisitedNodes=9857 nbRestartNogoods=86
21.09 => wckTime=5.815 cpuTime=5.7 mem=16M821
23.33
23.33 search
23.33 run=12 nbConstraintChecks=29924494 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7895
23.33 nbFailedAssignments=3957 nbBacktracks=3866 nbVisitedNodes=13646 nbRestartNogoods=94
23.33 => wckTime=8.059 cpuTime=7.93 mem=16M821
26.30
26.30 search
26.30 run=13 nbConstraintChecks=40868495 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11139
26.30 nbFailedAssignments=5249 nbBacktracks=5812 nbVisitedNodes=18563 nbRestartNogoods=100
26.30 => wckTime=11.026 cpuTime=10.88 mem=16M821
30.77
30.77 search
30.77 run=14 nbConstraintChecks=57723001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16099
30.77 nbFailedAssignments=7283 nbBacktracks=8732 nbVisitedNodes=26141 nbRestartNogoods=110
30.78 => wckTime=15.502 cpuTime=15.34 mem=16M821
36.99
37.00 search
37.00 run=15 nbConstraintChecks=80873411 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23181
37.00 nbFailedAssignments=9981 nbBacktracks=13111 nbVisitedNodes=36702 nbRestartNogoods=121
37.00 => wckTime=21.723 cpuTime=21.52 mem=16M821
46.28
46.28 search
46.28 run=16 nbConstraintChecks=115876260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33828
46.28 nbFailedAssignments=14053 nbBacktracks=19679 nbVisitedNodes=52455 nbRestartNogoods=134
46.28 => wckTime=31.007 cpuTime=30.76 mem=16M821
60.11
60.11 search
60.11 run=17 nbConstraintChecks=167649968 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49724
60.11 nbFailedAssignments=20090 nbBacktracks=29533 nbVisitedNodes=75928 nbRestartNogoods=149
60.11 => wckTime=44.836 cpuTime=44.52 mem=16M821
80.11
80.11 search
80.11 run=18 nbConstraintChecks=243265023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73245
80.11 nbFailedAssignments=28826 nbBacktracks=44313 nbVisitedNodes=110504 nbRestartNogoods=161
80.11 => wckTime=64.84 cpuTime=64.41 mem=16M821
110.37
110.37 search
110.37 run=19 nbConstraintChecks=357135209 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=108428
110.37 nbFailedAssignments=41835 nbBacktracks=66481 nbVisitedNodes=161953 nbRestartNogoods=165
110.37 => wckTime=95.099 cpuTime=94.5 mem=16M821
147.17
147.17 search
147.17 run=20 nbConstraintChecks=496266980 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151161
147.17 nbFailedAssignments=57879 nbBacktracks=93171 nbVisitedNodes=224987 nbRestartNogoods=173
147.17 => wckTime=131.898 cpuTime=131.09 mem=16M821
147.17
147.17 global
147.17 nbConstraintChecks=496266980 nbRestartNogoods=173 solvingWckTime=131.899 solvingCpuTime=131.09 expiredTime=no
147.17 totalExploration=yes nbFoundSolutions=0 globalCpuTime=145.85
147.17 => wckTime=146.865 cpuTime=145.81 mem=16M821
147.17
147.17 s OPTIMUM FOUND
147.17 v 5 3 8 3 1 7 0 10 7 9 2 3 4 0 6 1 0 4 4 5 2 6 1 3 5 3 4 4 4 3 0 9 0 0 10 7 9 6 3 9
147.17
147.17 totalWckTime=146.939 totalCpuTime=145.85
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-277049-1169253587 -o ROOT/results/node11/solver-277049-1169253587 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277049-1169253587/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: 2.03 2.01 2.00 2/94 15600
/proc/meminfo: memFree=1278168/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=18540 CPUtime=0
/proc/15599/stat : 15599 (runsolver) R 15597 15599 14493 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 273753706 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15599/statm: 4635 279 244 17 0 2626 0
[startup+0.102183 s]
/proc/loadavg: 2.03 2.01 2.00 2/94 15600
/proc/meminfo: memFree=1278168/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=912760 CPUtime=0.07
/proc/15599/stat : 15599 (java) R 15597 15599 14493 0 -1 0 2774 0 1 0 5 2 0 0 25 0 8 0 273753706 934666240 2520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15599/statm: 228190 2520 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.510261 s]
/proc/loadavg: 2.03 2.01 2.00 2/94 15600
/proc/meminfo: memFree=1278168/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=915332 CPUtime=0.47
/proc/15599/stat : 15599 (java) R 15597 15599 14493 0 -1 0 6502 0 1 0 43 4 0 0 25 0 8 0 273753706 937299968 6241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073571565 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15599/statm: 228833 6241 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33242 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 15607
/proc/meminfo: memFree=1257888/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=915420 CPUtime=1.28
/proc/15599/stat : 15599 (java) R 15597 15599 14493 0 -1 0 7729 0 1 0 111 17 0 0 25 0 8 0 273753706 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15599/statm: 228855 7467 2476 14 0 215325 0
[pid=15599/tid=15601] ppid=15597 vsize=915420 CPUtime=0.02
/proc/15599/task/15601/stat : 15601 (java) S 15597 15599 14493 0 -1 64 233 0 0 0 2 0 0 0 16 0 8 0 273753711 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15602] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15602/stat : 15602 (java) S 15597 15599 14493 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273753711 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14493 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273753712 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 273753715 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=915420 CPUtime=0.15
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14493 0 -1 64 351 0 0 0 14 1 0 0 16 0 8 0 273753715 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15606] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15606/stat : 15606 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 273753715 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14493 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273753715 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915420
[startup+2.97875 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 15607
/proc/meminfo: memFree=1257888/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=915420 CPUtime=2.92
/proc/15599/stat : 15599 (java) R 15597 15599 14493 0 -1 0 7730 0 1 0 249 43 0 0 25 0 8 0 273753706 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741665 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15599/statm: 228855 7467 2476 14 0 215325 0
[pid=15599/tid=15601] ppid=15597 vsize=915420 CPUtime=0.02
/proc/15599/task/15601/stat : 15601 (java) S 15597 15599 14493 0 -1 64 233 0 0 0 2 0 0 0 16 0 8 0 273753711 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15602] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15602/stat : 15602 (java) S 15597 15599 14493 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273753711 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14493 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273753712 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 273753715 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=915420 CPUtime=0.15
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14493 0 -1 64 351 0 0 0 14 1 0 0 16 0 8 0 273753715 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15606] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15606/stat : 15606 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 273753715 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14493 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273753715 937390080 7467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915420
[startup+6.2644 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 15607
/proc/meminfo: memFree=1257824/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=915420 CPUtime=6.2
/proc/15599/stat : 15599 (java) R 15597 15599 14493 0 -1 0 7734 0 1 0 526 94 0 0 25 0 8 0 273753706 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15599/statm: 228855 7471 2476 14 0 215325 0
[pid=15599/tid=15601] ppid=15597 vsize=915420 CPUtime=0.02
/proc/15599/task/15601/stat : 15601 (java) S 15597 15599 14493 0 -1 64 233 0 0 0 2 0 0 0 16 0 8 0 273753711 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15602] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15602/stat : 15602 (java) S 15597 15599 14493 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273753711 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14493 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273753712 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 273753715 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=915420 CPUtime=0.15
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14493 0 -1 64 354 0 0 0 14 1 0 0 16 0 8 0 273753715 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15606] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15606/stat : 15606 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 273753715 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14493 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273753715 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915420
[startup+12.7457 s]
/proc/loadavg: 2.09 2.03 2.00 3/101 15607
/proc/meminfo: memFree=1257824/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=915420 CPUtime=12.64
/proc/15599/stat : 15599 (java) R 15597 15599 14493 0 -1 0 7734 0 1 0 1069 195 0 0 25 0 8 0 273753706 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8309657 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15599/statm: 228855 7471 2476 14 0 215325 0
[pid=15599/tid=15601] ppid=15597 vsize=915420 CPUtime=0.02
/proc/15599/task/15601/stat : 15601 (java) S 15597 15599 14493 0 -1 64 233 0 0 0 2 0 0 0 16 0 8 0 273753711 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15602] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15602/stat : 15602 (java) S 15597 15599 14493 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273753711 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14493 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273753712 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 273753715 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=915420 CPUtime=0.15
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14493 0 -1 64 354 0 0 0 14 1 0 0 16 0 8 0 273753715 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15606] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15606/stat : 15606 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 273753715 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14493 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273753715 937390080 7471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915420
[startup+25.5892 s]
/proc/loadavg: 2.15 2.04 2.01 3/101 15607
/proc/meminfo: memFree=1252640/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=915420 CPUtime=25.41
/proc/15599/stat : 15599 (java) R 15597 15599 14493 0 -1 0 9128 0 1 0 2308 233 0 0 25 0 8 0 273753706 937390080 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073901199 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15599/statm: 228855 8860 2527 14 0 215325 0
[pid=15599/tid=15601] ppid=15597 vsize=915420 CPUtime=0.02
/proc/15599/task/15601/stat : 15601 (java) S 15597 15599 14493 0 -1 64 234 0 0 0 2 0 0 0 16 0 8 0 273753711 937390080 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15602] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15602/stat : 15602 (java) S 15597 15599 14493 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273753711 937390080 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14493 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273753712 937390080 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 273753715 937390080 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=915420 CPUtime=0.25
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14493 0 -1 64 410 0 0 0 23 2 0 0 16 0 8 0 273753715 937390080 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15606] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15606/stat : 15606 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 273753715 937390080 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14493 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273753715 937390080 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915420
[startup+51.2903 s]
/proc/loadavg: 2.10 2.04 2.01 3/101 15607
/proc/meminfo: memFree=1252640/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=915420 CPUtime=50.97
/proc/15599/stat : 15599 (java) R 15597 15599 14493 0 -1 0 9139 0 1 0 4864 233 0 0 25 0 8 0 273753706 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15599/statm: 228855 8870 2527 14 0 215325 0
[pid=15599/tid=15601] ppid=15597 vsize=915420 CPUtime=0.02
/proc/15599/task/15601/stat : 15601 (java) S 15597 15599 14493 0 -1 64 234 0 0 0 2 0 0 0 16 0 8 0 273753711 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15602] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15602/stat : 15602 (java) S 15597 15599 14493 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273753711 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14493 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273753712 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 273753715 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=915420 CPUtime=0.25
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14493 0 -1 64 410 0 0 0 23 2 0 0 16 0 8 0 273753715 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15606] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15606/stat : 15606 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 273753715 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14493 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273753715 937390080 8870 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915420
[startup+102.587 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 15607
/proc/meminfo: memFree=1252640/2055920 swapFree=4171812/4192956
[pid=15599] ppid=15597 vsize=915420 CPUtime=101.99
/proc/15599/stat : 15599 (java) R 15597 15599 14493 0 -1 0 9144 0 1 0 9966 233 0 0 25 0 8 0 273753706 937390080 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073859624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15599/statm: 228855 8874 2527 14 0 215325 0
[pid=15599/tid=15601] ppid=15597 vsize=915420 CPUtime=0.02
/proc/15599/task/15601/stat : 15601 (java) S 15597 15599 14493 0 -1 64 234 0 0 0 2 0 0 0 16 0 8 0 273753711 937390080 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15602] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15602/stat : 15602 (java) S 15597 15599 14493 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273753711 937390080 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14493 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273753712 937390080 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 273753715 937390080 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=915420 CPUtime=0.25
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14493 0 -1 64 410 0 0 0 23 2 0 0 16 0 8 0 273753715 937390080 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15606] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15606/stat : 15606 (java) S 15597 15599 14493 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 273753715 937390080 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=915420 CPUtime=0
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14493 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273753715 937390080 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 147.234
CPU time (s): 146.339
CPU user time (s): 143.992
CPU system time (s): 2.34664
CPU usage (%): 99.3921
Max. virtual memory (cumulated for all children) (KiB): 915936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.992
system time used= 2.34664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9242
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= 4247
involuntary context switches= 9791
runsolver used 0.170974 s user time and 0.481926 s system time
The end
Begin job on node11 on Sat Jan 20 00:39:47 UTC 2007
IDJOB= 277049
IDBENCH= 6220
IDSOLVER= 69
FILE ID= node11/277049-1169253587
PBS_JOBID= 3589067
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277049-1169253587/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-277049-1169253587 -o ROOT/results/node11/solver-277049-1169253587 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277049-1169253587/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e282325707f45837ad1ee352374abc16
RANDOM SEED= 607240038
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.261
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.261
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: 1278648 kB
Buffers: 63068 kB
Cached: 583028 kB
SwapCached: 2828 kB
Active: 231508 kB
Inactive: 466556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1278648 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 76612 kB
Slab: 63652 kB
Committed_AS: 8268844 kB
PageTables: 2476 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 node11 on Sat Jan 20 00:42:14 UTC 2007