0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/274991-1169215305/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=83 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.11 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.50
0.50 constraints being loaded...
0.63 nbConstraints=647 nbRelationTypes=647 nbExtensionStructures=647 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=647 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=12260 maxDegree=25
0.63 maxArity=2
0.64 => wckTime=0.334 cpuTime=0.21 mem=11M802
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.427 cpuTime=0.25 mem=6M72
0.73
0.73 s SATISFIABLE
0.73 o 541
0.73 c 106
0.74 o 545
0.74 c 102
0.74 o 549
0.74 c 98
0.74 o 552
0.74 c 95
0.74 o 554
0.74 c 93
0.74 o 558
0.74 c 89
0.74 o 562
0.74 c 85
0.74 o 565
0.74 c 82
0.74 o 568
0.74 c 79
0.75 o 571
0.75 c 76
0.75 o 574
0.75 c 73
0.75 o 575
0.75 c 72
0.75 o 578
0.75 c 69
0.75 o 581
0.75 c 66
0.75 o 583
0.75 c 64
0.75 o 585
0.75 c 62
0.75 o 586
0.75 c 61
0.75 o 589
0.75 c 58
0.75 o 590
0.75 c 57
0.76 o 593
0.76 c 54
0.76 o 596
0.76 c 51
0.76 o 598
0.76 c 49
0.76 o 600
0.76 c 47
0.76 o 602
0.76 c 45
0.76 o 604
0.76 c 43
0.76 o 606
0.76 c 41
0.76 o 608
0.76 c 39
0.76 o 610
0.76 c 37
0.76 o 612
0.76 c 35
0.76 o 614
0.76 c 33
0.76 o 615
0.76 c 32
0.76 o 616
0.76 c 31
0.76 o 617
0.76 c 30
0.76 o 619
0.76 c 28
0.76 o 621
0.76 c 26
0.76 o 622
0.76 c 25
0.76 o 623
0.76 c 24
0.76 o 625
0.76 c 22
0.76 o 626
0.76 c 21
0.77 o 627
0.77 c 20
0.77 o 629
0.77 c 18
0.77 o 630
0.77 c 17
0.77 o 631
0.77 c 16
0.77 o 632
0.77 c 15
0.77 o 633
0.77 c 14
0.77 o 634
0.77 c 13
0.77 o 635
0.77 c 12
0.77 o 636
0.77 c 11
0.77 o 637
0.77 c 10
0.77 o 638
0.77 c 9
0.77 o 639
0.77 c 8
0.77 o 640
0.77 c 7
0.78 o 641
0.78 c 6
0.78 o 642
0.78 c 5
0.78 o 643
0.78 c 4
0.79 o 644
0.79 c 3
0.79 o 645
0.79 c 2
5.56
5.56 search
5.56 run=0 nbConstraintChecks=36903272 nbAssignments=10000
5.56 => wckTime=4.831 cpuTime=4.76 mem=6M72
10.53
10.53 search
10.53 run=1 nbConstraintChecks=76292828 nbAssignments=20000
10.53 => wckTime=9.8 cpuTime=9.67 mem=6M72
15.32
15.32 search
15.32 run=2 nbConstraintChecks=114413024 nbAssignments=30000
15.32 => wckTime=14.597 cpuTime=14.42 mem=6M72
20.23
20.23 search
20.23 run=3 nbConstraintChecks=153170011 nbAssignments=40000
20.23 => wckTime=19.507 cpuTime=19.29 mem=6M72
24.90
24.90 search
24.90 run=4 nbConstraintChecks=189624769 nbAssignments=50000
24.90 => wckTime=24.177 cpuTime=23.9 mem=6M72
29.71
29.71 search
29.71 run=5 nbConstraintChecks=227441786 nbAssignments=60000
29.71 => wckTime=28.982 cpuTime=28.65 mem=6M72
31.12
31.12 search
31.12 run=6 nbConstraintChecks=238567832 nbAssignments=63103
31.12 => wckTime=30.393 cpuTime=30.06 mem=6M72
31.12
31.12 global
31.12 nbConstraintChecks=238567832 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.12 solvingWckTime=30.389 solvingCpuTime=30.06 expiredTime=no totalExploration=no nbFoundSolutions=0
31.12 globalCpuTime=30.36
31.12 => wckTime=30.82 cpuTime=30.31 mem=6M72
31.12
31.12 solver IterativeSystematicSolver being built...
31.25 => wckTime=30.948 cpuTime=30.41 mem=17M46
31.26
31.26 preprocessing
31.26 nbConstraintChecks=30 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.26 detectedInconsistency=no
31.26 => wckTime=0.0080 cpuTime=0.01 mem=17M46
31.36
31.36 search
31.36 run=0 nbConstraintChecks=153118 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74
31.36 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=89 nbRestartNogoods=0
31.36 => wckTime=0.105 cpuTime=0.08 mem=17M46
31.46
31.46 search
31.46 run=1 nbConstraintChecks=366551 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=166
31.46 nbFailedAssignments=41 nbBacktracks=26 nbVisitedNodes=216 nbRestartNogoods=3
31.46 => wckTime=0.208 cpuTime=0.17 mem=17M46
31.63
31.63 search
31.63 run=2 nbConstraintChecks=698678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=242
31.63 nbFailedAssignments=69 nbBacktracks=49 nbVisitedNodes=343 nbRestartNogoods=6
31.63 => wckTime=0.375 cpuTime=0.34 mem=17M46
31.87
31.87 search
31.87 run=3 nbConstraintChecks=1417522 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=425
31.87 nbFailedAssignments=170 nbBacktracks=82 nbVisitedNodes=660 nbRestartNogoods=11
31.87 => wckTime=0.62 cpuTime=0.57 mem=17M46
32.07
32.07 search
32.07 run=4 nbConstraintChecks=1943045 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=589
32.07 nbFailedAssignments=217 nbBacktracks=132 nbVisitedNodes=914 nbRestartNogoods=20
32.07 => wckTime=0.815 cpuTime=0.76 mem=17M46
32.40
32.40 search
32.40 run=5 nbConstraintChecks=2750462 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=844
32.40 nbFailedAssignments=323 nbBacktracks=208 nbVisitedNodes=1351 nbRestartNogoods=30
32.40 => wckTime=1.148 cpuTime=1.1 mem=17M46
32.74
32.74 search
32.74 run=6 nbConstraintChecks=3587752 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1082
32.74 nbFailedAssignments=391 nbBacktracks=321 nbVisitedNodes=1743 nbRestartNogoods=39
32.74 => wckTime=1.489 cpuTime=1.44 mem=17M46
33.14
33.14 search
33.14 run=7 nbConstraintChecks=4721044 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1494
33.14 nbFailedAssignments=564 nbBacktracks=492 nbVisitedNodes=2498 nbRestartNogoods=48
33.14 => wckTime=1.89 cpuTime=1.82 mem=17M46
33.62
33.62 search
33.62 run=8 nbConstraintChecks=6619348 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2346
33.62 nbFailedAssignments=1086 nbBacktracks=748 nbVisitedNodes=4127 nbRestartNogoods=53
33.62 => wckTime=2.37 cpuTime=2.29 mem=17M46
33.88
33.88 search
33.88 run=9 nbConstraintChecks=7691408 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3021
33.88 nbFailedAssignments=1303 nbBacktracks=1134 nbVisitedNodes=5306 nbRestartNogoods=70
33.88 => wckTime=2.624 cpuTime=2.54 mem=17M46
34.55
34.55 search
34.55 run=10 nbConstraintChecks=10121469 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3999
34.55 nbFailedAssignments=1632 nbBacktracks=1715 nbVisitedNodes=7193 nbRestartNogoods=87
34.55 => wckTime=3.297 cpuTime=3.2 mem=17M46
35.71
35.71 search
35.71 run=11 nbConstraintChecks=13494900 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5320
35.71 nbFailedAssignments=2013 nbBacktracks=2580 nbVisitedNodes=9757 nbRestartNogoods=98
35.71 => wckTime=4.457 cpuTime=4.35 mem=17M46
37.17
37.17 search
37.17 run=12 nbConstraintChecks=19078015 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7910
37.17 nbFailedAssignments=3239 nbBacktracks=3877 nbVisitedNodes=14869 nbRestartNogoods=121
37.17 => wckTime=5.924 cpuTime=5.8 mem=17M46
38.70
38.70 search
38.70 run=13 nbConstraintChecks=22947987 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9154
38.70 nbFailedAssignments=3716 nbBacktracks=4645 nbVisitedNodes=17350 nbRestartNogoods=138
38.70 => wckTime=7.447 cpuTime=7.31 mem=17M46
38.70
38.70 global
38.70 nbConstraintChecks=22948017 nbRestartNogoods=138 solvingWckTime=7.448 solvingCpuTime=7.31 expiredTime=no
38.70 totalExploration=yes nbFoundSolutions=0 globalCpuTime=37.77
38.70 => wckTime=38.397 cpuTime=37.72 mem=17M46
38.70
38.70 s OPTIMUM FOUND
38.70 v 3 8 4 4 3 1 1 1 7 7 8 8 8 0 6 4 0 5 1 5 6 4 7 0 0 3 3 9 7 3 3 7 6 4 1 9 2 3 3 7 2 2 4 4 6 2 4 5 1 8 9 7 8 4 4 5 3 0 9 3 7 5 9 9 8 0 2 2 9 3 8 2 6 1 6 7 3 4 9 3 2 5 7
38.70
38.70 totalWckTime=38.471 totalCpuTime=37.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-274991-1169215305 -o ROOT/results/node75/solver-274991-1169215305 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/274991-1169215305/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.13 1.71 1.84 4/79 29819
/proc/meminfo: memFree=1149392/2055920 swapFree=4184548/4192956
[pid=29818] ppid=29813 vsize=18540 CPUtime=0
/proc/29818/stat : 29818 (runsolver) R 29813 29818 29689 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 269929912 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29818/statm: 4635 279 244 17 0 2626 0
[startup+0.113083 s]
/proc/loadavg: 1.13 1.71 1.84 4/79 29819
/proc/meminfo: memFree=1149392/2055920 swapFree=4184548/4192956
[pid=29818] ppid=29813 vsize=914988 CPUtime=0.09
/proc/29818/stat : 29818 (java) R 29813 29818 29689 0 -1 0 3086 0 1 0 7 2 0 0 17 0 8 0 269929912 936947712 2832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 228747 2832 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.523134 s]
/proc/loadavg: 1.13 1.71 1.84 4/79 29819
/proc/meminfo: memFree=1149392/2055920 swapFree=4184548/4192956
[pid=29818] ppid=29813 vsize=915332 CPUtime=0.49
/proc/29818/stat : 29818 (java) R 29813 29818 29689 0 -1 0 6576 0 1 0 44 5 0 0 20 0 8 0 269929912 937299968 6315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 228833 6315 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34423 s]
/proc/loadavg: 1.13 1.71 1.84 3/93 29835
/proc/meminfo: memFree=1103840/2055920 swapFree=4184548/4192956
[pid=29818] ppid=29813 vsize=915420 CPUtime=1.3
/proc/29818/stat : 29818 (java) R 29813 29818 29689 0 -1 0 8107 0 1 0 118 12 0 0 25 0 8 0 269929912 937390080 7845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 228855 7845 2476 14 0 215325 0
[pid=29818/tid=29823] ppid=29813 vsize=915420 CPUtime=0.03
/proc/29818/task/29823/stat : 29823 (java) S 29813 29818 29689 0 -1 64 298 0 0 0 3 0 0 0 16 0 8 0 269929916 937390080 7845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29824] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29813 29818 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269929916 937390080 7845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29825] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29813 29818 29689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 269929916 937390080 7845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29830] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29813 29818 29689 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 269929920 937390080 7845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29813 vsize=915420 CPUtime=0.17
/proc/29818/task/29831/stat : 29831 (java) S 29813 29818 29689 0 -1 64 360 0 0 0 16 1 0 0 16 0 8 0 269929920 937390080 7845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29832] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29832/stat : 29832 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269929920 937390080 7845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29833] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29833/stat : 29833 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269929920 937390080 7845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915420
[startup+2.98142 s]
/proc/loadavg: 1.13 1.71 1.84 3/93 29835
/proc/meminfo: memFree=1103712/2055920 swapFree=4184548/4192956
[pid=29818] ppid=29813 vsize=915420 CPUtime=2.93
/proc/29818/stat : 29818 (java) R 29813 29818 29689 0 -1 0 8111 0 1 0 267 26 0 0 25 0 8 0 269929912 937390080 7848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786140 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 228855 7848 2476 14 0 215325 0
[pid=29818/tid=29823] ppid=29813 vsize=915420 CPUtime=0.03
/proc/29818/task/29823/stat : 29823 (java) S 29813 29818 29689 0 -1 64 298 0 0 0 3 0 0 0 16 0 8 0 269929916 937390080 7848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29824] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29813 29818 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269929916 937390080 7848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29825] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29813 29818 29689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 269929916 937390080 7848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29830] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29813 29818 29689 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 269929920 937390080 7848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29813 vsize=915420 CPUtime=0.17
/proc/29818/task/29831/stat : 29831 (java) S 29813 29818 29689 0 -1 64 363 0 0 0 16 1 0 0 16 0 8 0 269929920 937390080 7848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29832] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29832/stat : 29832 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269929920 937390080 7848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29833] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29833/stat : 29833 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269929920 937390080 7848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915420
[startup+6.26581 s]
/proc/loadavg: 1.20 1.72 1.84 3/93 29841
/proc/meminfo: memFree=1103648/2055920 swapFree=4184548/4192956
[pid=29818] ppid=29813 vsize=915420 CPUtime=6.18
/proc/29818/stat : 29818 (java) R 29813 29818 29689 0 -1 0 8114 0 1 0 567 51 0 0 25 0 8 0 269929912 937390080 7851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 228855 7851 2476 14 0 215325 0
[pid=29818/tid=29823] ppid=29813 vsize=915420 CPUtime=0.03
/proc/29818/task/29823/stat : 29823 (java) S 29813 29818 29689 0 -1 64 298 0 0 0 3 0 0 0 16 0 8 0 269929916 937390080 7851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29824] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29813 29818 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269929916 937390080 7851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29825] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29813 29818 29689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 269929916 937390080 7851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29830] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29813 29818 29689 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 269929920 937390080 7851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29813 vsize=915420 CPUtime=0.17
/proc/29818/task/29831/stat : 29831 (java) S 29813 29818 29689 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 269929920 937390080 7851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29832] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29832/stat : 29832 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269929920 937390080 7851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29833] ppid=29813 vsize=915420 CPUtime=0
/proc/29818/task/29833/stat : 29833 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269929920 937390080 7851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915420
[startup+12.7476 s]
/proc/loadavg: 1.26 1.72 1.84 3/93 29845
/proc/meminfo: memFree=1103840/2055920 swapFree=4184548/4192956
[pid=29818] ppid=29813 vsize=916444 CPUtime=12.6
/proc/29818/stat : 29818 (java) R 29813 29818 29689 0 -1 0 8115 0 1 0 1158 102 0 0 25 0 8 0 269929912 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 229111 7852 2476 14 0 215581 0
[pid=29818/tid=29823] ppid=29813 vsize=916444 CPUtime=0.03
/proc/29818/task/29823/stat : 29823 (java) S 29813 29818 29689 0 -1 64 298 0 0 0 3 0 0 0 16 0 8 0 269929916 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29824] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29813 29818 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269929916 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29825] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29813 29818 29689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 269929916 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29830] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29813 29818 29689 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 269929920 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29813 vsize=916444 CPUtime=0.17
/proc/29818/task/29831/stat : 29831 (java) S 29813 29818 29689 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 269929920 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29832] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29832/stat : 29832 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269929920 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29833] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29833/stat : 29833 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269929920 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 916444
[startup+25.6081 s]
/proc/loadavg: 1.42 1.74 1.84 3/93 29855
/proc/meminfo: memFree=1103904/2055920 swapFree=4184548/4192956
[pid=29818] ppid=29813 vsize=916444 CPUtime=25.34
/proc/29818/stat : 29818 (java) R 29813 29818 29689 0 -1 0 8115 0 1 0 2326 208 0 0 25 0 8 0 269929912 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29818/statm: 229111 7852 2476 14 0 215581 0
[pid=29818/tid=29823] ppid=29813 vsize=916444 CPUtime=0.03
/proc/29818/task/29823/stat : 29823 (java) S 29813 29818 29689 0 -1 64 298 0 0 0 3 0 0 0 16 0 8 0 269929916 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29824] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29824/stat : 29824 (java) S 29813 29818 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 269929916 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29825] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29825/stat : 29825 (java) S 29813 29818 29689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 269929916 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29830] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29830/stat : 29830 (java) S 29813 29818 29689 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 269929920 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29831] ppid=29813 vsize=916444 CPUtime=0.17
/proc/29818/task/29831/stat : 29831 (java) S 29813 29818 29689 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 269929920 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29832] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29832/stat : 29832 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269929920 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29818/tid=29833] ppid=29813 vsize=916444 CPUtime=0
/proc/29818/task/29833/stat : 29833 (java) S 29813 29818 29689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 269929920 938438656 7852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 916444
Child status: 0
Real time (s): 38.7394
CPU time (s): 38.3152
CPU user time (s): 35.7346
CPU system time (s): 2.58061
CPU usage (%): 98.9049
Max. virtual memory (cumulated for all children) (KiB): 916448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.7346
system time used= 2.58061
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9391
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= 2083
involuntary context switches= 2668
runsolver used 0.039993 s user time and 0.139978 s system time
The end
Begin job on node75 on Fri Jan 19 14:01:45 UTC 2007
IDJOB= 274991
IDBENCH= 3077
IDSOLVER= 69
FILE ID= node75/274991-1169215305
PBS_JOBID= 3589125
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-75-1-25/composed-75-1-25-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/274991-1169215305/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-274991-1169215305 -o ROOT/results/node75/solver-274991-1169215305 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/274991-1169215305/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 32da0509b8696ed118f5351ed8a5ee67
RANDOM SEED= 820317864
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: 1150984 kB
Buffers: 47956 kB
Cached: 768720 kB
SwapCached: 2452 kB
Active: 382868 kB
Inactive: 449212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1150984 kB
SwapTotal: 4192956 kB
SwapFree: 4184548 kB
Dirty: 3784 kB
Writeback: 0 kB
Mapped: 22800 kB
Slab: 57968 kB
Committed_AS: 5176428 kB
PageTables: 1956 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 Fri Jan 19 14:02:24 UTC 2007