0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.45
0.45 instance
0.45 name=/tmp/evaluation/274972-1169215118/unknown.xml
0.49
0.49 domains being loaded...
0.49
0.49 variables being loaded...
0.54 nbVariables=83 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.54 => wckTime=0.208 cpuTime=0.09 mem=6M887
0.54
0.54 relations being loaded...
0.63
0.63 constraints being loaded...
0.76 nbConstraints=647 nbRelationTypes=647 nbExtensionStructures=647 nbSharedExtensionStructures=0
0.76 nbConflictsStructures=647 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=12264 maxDegree=26
0.76 maxArity=2
0.76 => wckTime=0.433 cpuTime=0.23 mem=11M779
0.81
0.81 solver LocalSearchSolver being built...
0.85 => wckTime=0.523 cpuTime=0.27 mem=6M72
0.86
0.86 s SATISFIABLE
0.86 o 556
0.86 c 91
0.86 o 561
0.86 c 86
0.86 o 566
0.86 c 81
0.87 o 570
0.87 c 77
0.87 o 574
0.87 c 73
0.87 o 577
0.87 c 70
0.87 o 580
0.87 c 67
0.87 o 583
0.87 c 64
0.87 o 587
0.87 c 60
0.87 o 589
0.87 c 58
0.87 o 591
0.87 c 56
0.87 o 593
0.87 c 54
0.88 o 595
0.88 c 52
0.88 o 597
0.88 c 50
0.88 o 599
0.88 c 48
0.88 o 600
0.88 c 47
0.88 o 601
0.88 c 46
0.88 o 604
0.88 c 43
0.88 o 607
0.88 c 40
0.88 o 609
0.88 c 38
0.88 o 612
0.88 c 35
0.88 o 615
0.88 c 32
0.88 o 617
0.88 c 30
0.88 o 619
0.88 c 28
0.88 o 621
0.88 c 26
0.89 o 623
0.89 c 24
0.89 o 624
0.89 c 23
0.89 o 625
0.89 c 22
0.89 o 626
0.89 c 21
0.89 o 627
0.89 c 20
0.89 o 628
0.89 c 19
0.89 o 629
0.89 c 18
0.89 o 630
0.89 c 17
0.89 o 631
0.89 c 16
0.89 o 632
0.89 c 15
0.89 o 633
0.89 c 14
0.89 o 634
0.89 c 13
0.89 o 635
0.89 c 12
0.89 o 636
0.89 c 11
0.90 o 638
0.90 c 9
0.90 o 639
0.90 c 8
0.90 o 640
0.90 c 7
0.90 o 641
0.90 c 6
0.90 o 642
0.90 c 5
0.90 o 643
0.90 c 4
0.90 o 644
0.90 c 3
5.77
5.77 search
5.77 run=0 nbConstraintChecks=38794112 nbAssignments=10000
5.77 => wckTime=4.917 cpuTime=4.86 mem=6M72
10.71
10.71 search
10.71 run=1 nbConstraintChecks=78932940 nbAssignments=20000
10.71 => wckTime=9.859 cpuTime=9.76 mem=6M72
15.63
15.63 search
15.63 run=2 nbConstraintChecks=118561583 nbAssignments=30000
15.63 => wckTime=14.78 cpuTime=14.64 mem=6M72
20.92
20.92 search
20.92 run=3 nbConstraintChecks=160178763 nbAssignments=40000
20.92 => wckTime=20.072 cpuTime=19.91 mem=6M72
26.18
26.18 search
26.18 run=4 nbConstraintChecks=200442303 nbAssignments=50000
26.18 => wckTime=25.328 cpuTime=25.15 mem=6M72
31.07
31.07 search
31.07 run=5 nbConstraintChecks=237741709 nbAssignments=59170
31.07 => wckTime=30.219 cpuTime=30.05 mem=6M72
31.07
31.07 global
31.07 nbConstraintChecks=237741709 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.07 solvingWckTime=30.216 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
31.07 globalCpuTime=30.39
31.07 => wckTime=30.743 cpuTime=30.32 mem=6M72
31.07
31.07 solver IterativeSystematicSolver being built...
31.21 => wckTime=30.882 cpuTime=30.43 mem=17M76
31.35
31.35 preprocessing
31.35 nbConstraintChecks=146210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.35 detectedInconsistency=no
31.35 => wckTime=0.135 cpuTime=0.11 mem=17M76
31.42
31.42 search
31.42 run=0 nbConstraintChecks=153466 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61
31.42 nbFailedAssignments=15 nbBacktracks=11 nbVisitedNodes=83 nbRestartNogoods=0
31.42 => wckTime=0.203 cpuTime=0.17 mem=17M76
31.54
31.54 search
31.54 run=1 nbConstraintChecks=420704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131
31.54 nbFailedAssignments=32 nbBacktracks=28 nbVisitedNodes=187 nbRestartNogoods=1
31.54 => wckTime=0.324 cpuTime=0.28 mem=17M76
31.68
31.68 search
31.68 run=2 nbConstraintChecks=850390 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=266
31.68 nbFailedAssignments=87 nbBacktracks=52 nbVisitedNodes=394 nbRestartNogoods=6
31.68 => wckTime=0.461 cpuTime=0.42 mem=17M76
31.90
31.90 search
31.90 run=3 nbConstraintChecks=1475255 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=415
31.90 nbFailedAssignments=165 nbBacktracks=85 nbVisitedNodes=654 nbRestartNogoods=16
31.90 => wckTime=0.689 cpuTime=0.64 mem=17M76
32.19
32.19 search
32.19 run=4 nbConstraintChecks=2104354 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=537
32.19 nbFailedAssignments=209 nbBacktracks=135 nbVisitedNodes=870 nbRestartNogoods=28
32.19 => wckTime=0.975 cpuTime=0.93 mem=17M76
32.51
32.51 search
32.51 run=5 nbConstraintChecks=3218212 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=878
32.51 nbFailedAssignments=401 nbBacktracks=210 nbVisitedNodes=1470 nbRestartNogoods=34
32.51 => wckTime=1.298 cpuTime=1.25 mem=17M76
33.12
33.12 search
33.12 run=6 nbConstraintChecks=5073689 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1244
33.12 nbFailedAssignments=619 nbBacktracks=330 nbVisitedNodes=2173 nbRestartNogoods=44
33.12 => wckTime=1.902 cpuTime=1.85 mem=17M76
33.77
33.77 search
33.77 run=7 nbConstraintChecks=6761247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1651
33.77 nbFailedAssignments=791 nbBacktracks=500 nbVisitedNodes=2920 nbRestartNogoods=55
33.77 => wckTime=2.559 cpuTime=2.49 mem=17M76
34.60
34.60 search
34.60 run=8 nbConstraintChecks=9510841 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2200
34.60 nbFailedAssignments=1053 nbBacktracks=756 nbVisitedNodes=3981 nbRestartNogoods=71
34.60 => wckTime=3.39 cpuTime=3.33 mem=17M76
36.27
36.27 search
36.27 run=9 nbConstraintChecks=13679356 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3038
36.27 nbFailedAssignments=1457 nbBacktracks=1141 nbVisitedNodes=5602 nbRestartNogoods=80
36.27 => wckTime=5.061 cpuTime=5.0 mem=17M76
38.30
38.30 search
38.30 run=10 nbConstraintChecks=20097841 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4521
38.30 nbFailedAssignments=2289 nbBacktracks=1718 nbVisitedNodes=8483 nbRestartNogoods=96
38.30 => wckTime=7.085 cpuTime=7.02 mem=17M76
42.89
42.89 search
42.89 run=11 nbConstraintChecks=31613586 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7308
42.89 nbFailedAssignments=4184 nbBacktracks=2582 nbVisitedNodes=14028 nbRestartNogoods=114
42.89 => wckTime=11.68 cpuTime=11.61 mem=17M76
48.27
48.27 search
48.27 run=12 nbConstraintChecks=46066879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10419
48.27 nbFailedAssignments=5965 nbBacktracks=3879 nbVisitedNodes=20211 nbRestartNogoods=121
48.27 => wckTime=17.058 cpuTime=16.99 mem=17M76
57.84
57.84 search
57.84 run=13 nbConstraintChecks=69850226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14777
57.84 nbFailedAssignments=8321 nbBacktracks=5826 nbVisitedNodes=28855 nbRestartNogoods=132
57.84 => wckTime=26.629 cpuTime=26.52 mem=17M76
58.42
58.42 search
58.42 run=14 nbConstraintChecks=70135033 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15167
58.43 nbFailedAssignments=8596 nbBacktracks=5942 nbVisitedNodes=29630 nbRestartNogoods=144
58.43 => wckTime=27.211 cpuTime=27.09 mem=17M76
58.43
58.43 global
58.43 nbConstraintChecks=70281243 nbRestartNogoods=144 solvingWckTime=27.213 solvingCpuTime=27.1 expiredTime=no
58.43 totalExploration=yes nbFoundSolutions=0 globalCpuTime=57.6
58.43 => wckTime=58.096 cpuTime=57.53 mem=17M76
58.43
58.43 s OPTIMUM FOUND
58.43 v 0 6 9 6 5 2 4 1 6 5 1 2 3 7 0 4 6 9 6 4 6 8 2 7 0 8 3 2 7 3 5 3 4 6 7 2 5 3 8 7 0 5 8 9 2 7 2 6 5 2 9 4 5 4 9 7 5 2 3 5 9 8 5 1 4 0 0 4 4 7 8 2 7 8 4 2 2 0 4 3 5 5 9
58.43
58.43 totalWckTime=58.178 totalCpuTime=57.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-274972-1169215118 -o ROOT/results/node63/solver-274972-1169215118 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/274972-1169215118/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.12 1.71 1.85 3/70 9746
/proc/meminfo: memFree=1463400/2055920 swapFree=4192812/4192956
[pid=9745] ppid=9743 vsize=1784 CPUtime=0
/proc/9745/stat : 9745 (java) D 9743 9745 9610 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 69009391 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/9745/statm: 446 136 102 14 0 91 0
[startup+0.104635 s]
/proc/loadavg: 1.12 1.71 1.85 3/70 9746
/proc/meminfo: memFree=1463400/2055920 swapFree=4192812/4192956
[pid=9745] ppid=9743 vsize=914988 CPUtime=0.08
/proc/9745/stat : 9745 (java) R 9743 9745 9610 0 -1 0 2978 0 1 0 6 2 0 0 17 0 8 0 69009391 936947712 2724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9745/statm: 228747 2724 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512679 s]
/proc/loadavg: 1.12 1.71 1.85 3/70 9746
/proc/meminfo: memFree=1463400/2055920 swapFree=4192812/4192956
[pid=9745] ppid=9743 vsize=915332 CPUtime=0.38
/proc/9745/stat : 9745 (java) R 9743 9745 9610 0 -1 0 6008 0 11 0 33 5 0 0 18 0 8 0 69009391 937299968 5757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153572221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9745/statm: 228833 5757 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915332
[startup+1.33376 s]
/proc/loadavg: 1.12 1.71 1.85 3/87 9763
/proc/meminfo: memFree=1416552/2055920 swapFree=4192812/4192956
[pid=9745] ppid=9743 vsize=915432 CPUtime=1.18
/proc/9745/stat : 9745 (java) R 9743 9745 9610 0 -1 0 8103 0 11 0 108 10 0 0 24 0 8 0 69009391 937402368 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9745/statm: 228858 7851 2479 14 0 215328 0
[pid=9745/tid=9751] ppid=9743 vsize=915432 CPUtime=0.03
/proc/9745/task/9751/stat : 9751 (java) S 9743 9745 9610 0 -1 64 298 0 0 0 3 0 0 0 17 0 8 0 69009396 937402368 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9754] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9754/stat : 9754 (java) S 9743 9745 9610 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9755] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9755/stat : 9755 (java) S 9743 9745 9610 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9760] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9760/stat : 9760 (java) S 9743 9745 9610 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69009399 937402368 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9761] ppid=9743 vsize=915432 CPUtime=0.14
/proc/9745/task/9761/stat : 9761 (java) S 9743 9745 9610 0 -1 64 357 0 0 0 14 0 0 0 16 0 8 0 69009399 937402368 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9762] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9762/stat : 9762 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69009399 937402368 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9763] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9763/stat : 9763 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69009399 937402368 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 915432
[startup+2.97093 s]
/proc/loadavg: 1.12 1.71 1.85 3/87 9763
/proc/meminfo: memFree=1416424/2055920 swapFree=4192812/4192956
[pid=9745] ppid=9743 vsize=915432 CPUtime=2.81
/proc/9745/stat : 9745 (java) R 9743 9745 9610 0 -1 0 8107 0 11 0 259 22 0 0 25 0 8 0 69009391 937402368 7854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9745/statm: 228858 7854 2479 14 0 215328 0
[pid=9745/tid=9751] ppid=9743 vsize=915432 CPUtime=0.03
/proc/9745/task/9751/stat : 9751 (java) S 9743 9745 9610 0 -1 64 298 0 0 0 3 0 0 0 16 0 8 0 69009396 937402368 7854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9754] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9754/stat : 9754 (java) S 9743 9745 9610 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9755] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9755/stat : 9755 (java) S 9743 9745 9610 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9760] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9760/stat : 9760 (java) S 9743 9745 9610 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69009399 937402368 7854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9761] ppid=9743 vsize=915432 CPUtime=0.14
/proc/9745/task/9761/stat : 9761 (java) S 9743 9745 9610 0 -1 64 360 0 0 0 14 0 0 0 16 0 8 0 69009399 937402368 7854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9762] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9762/stat : 9762 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69009399 937402368 7854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9763] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9763/stat : 9763 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69009399 937402368 7854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915432
[startup+6.27129 s]
/proc/loadavg: 1.19 1.71 1.85 3/87 9763
/proc/meminfo: memFree=1416424/2055920 swapFree=4192812/4192956
[pid=9745] ppid=9743 vsize=915432 CPUtime=6.09
/proc/9745/stat : 9745 (java) R 9743 9745 9610 0 -1 0 8111 0 11 0 563 46 0 0 25 0 8 0 69009391 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788498 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9745/statm: 228858 7858 2479 14 0 215328 0
[pid=9745/tid=9751] ppid=9743 vsize=915432 CPUtime=0.03
/proc/9745/task/9751/stat : 9751 (java) S 9743 9745 9610 0 -1 64 298 0 0 0 3 0 0 0 16 0 8 0 69009396 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9754] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9754/stat : 9754 (java) S 9743 9745 9610 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9755] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9755/stat : 9755 (java) S 9743 9745 9610 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9760] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9760/stat : 9760 (java) S 9743 9745 9610 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9761] ppid=9743 vsize=915432 CPUtime=0.15
/proc/9745/task/9761/stat : 9761 (java) S 9743 9745 9610 0 -1 64 363 0 0 0 15 0 0 0 16 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9762] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9762/stat : 9762 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9763] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9763/stat : 9763 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915432
[startup+12.735 s]
/proc/loadavg: 1.26 1.72 1.85 3/87 9763
/proc/meminfo: memFree=1416424/2055920 swapFree=4192812/4192956
[pid=9745] ppid=9743 vsize=915432 CPUtime=12.5
/proc/9745/stat : 9745 (java) R 9743 9745 9610 0 -1 0 8111 0 11 0 1154 96 0 0 25 0 8 0 69009391 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9745/statm: 228858 7858 2479 14 0 215328 0
[pid=9745/tid=9751] ppid=9743 vsize=915432 CPUtime=0.03
/proc/9745/task/9751/stat : 9751 (java) S 9743 9745 9610 0 -1 64 298 0 0 0 3 0 0 0 16 0 8 0 69009396 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9754] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9754/stat : 9754 (java) S 9743 9745 9610 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9755] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9755/stat : 9755 (java) S 9743 9745 9610 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9760] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9760/stat : 9760 (java) S 9743 9745 9610 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9761] ppid=9743 vsize=915432 CPUtime=0.15
/proc/9745/task/9761/stat : 9761 (java) S 9743 9745 9610 0 -1 64 363 0 0 0 15 0 0 0 16 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9762] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9762/stat : 9762 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9763] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9763/stat : 9763 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915432
[startup+25.5893 s]
/proc/loadavg: 1.42 1.73 1.85 3/87 9763
/proc/meminfo: memFree=1416552/2055920 swapFree=4192812/4192956
[pid=9745] ppid=9743 vsize=915432 CPUtime=25.3
/proc/9745/stat : 9745 (java) R 9743 9745 9610 0 -1 0 8111 0 11 0 2340 190 0 0 25 0 8 0 69009391 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9745/statm: 228859 7858 2479 14 0 215329 0
[pid=9745/tid=9751] ppid=9743 vsize=915432 CPUtime=0.03
/proc/9745/task/9751/stat : 9751 (java) S 9743 9745 9610 0 -1 64 298 0 0 0 3 0 0 0 16 0 8 0 69009396 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9754] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9754/stat : 9754 (java) S 9743 9745 9610 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9755] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9755/stat : 9755 (java) S 9743 9745 9610 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9760] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9760/stat : 9760 (java) S 9743 9745 9610 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9761] ppid=9743 vsize=915432 CPUtime=0.15
/proc/9745/task/9761/stat : 9761 (java) S 9743 9745 9610 0 -1 64 363 0 0 0 15 0 0 0 16 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9762] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9762/stat : 9762 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9763] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9763/stat : 9763 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69009399 937402368 7858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915432
[startup+51.2831 s]
/proc/loadavg: 1.62 1.75 1.85 3/87 9763
/proc/meminfo: memFree=1407976/2055920 swapFree=4192812/4192956
[pid=9745] ppid=9743 vsize=915432 CPUtime=50.99
/proc/9745/stat : 9745 (java) R 9743 9745 9610 0 -1 0 9272 0 11 0 4865 234 0 0 25 0 8 0 69009391 937402368 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9745/statm: 228858 9012 2532 14 0 215328 0
[pid=9745/tid=9751] ppid=9743 vsize=915432 CPUtime=0.03
/proc/9745/task/9751/stat : 9751 (java) S 9743 9745 9610 0 -1 64 299 0 0 0 3 0 0 0 16 0 8 0 69009396 937402368 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9754] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9754/stat : 9754 (java) S 9743 9745 9610 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9755] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9755/stat : 9755 (java) S 9743 9745 9610 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69009396 937402368 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9745/tid=9760] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9760/stat : 9760 (java) S 9743 9745 9610 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69009399 937402368 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9761] ppid=9743 vsize=915432 CPUtime=0.25
/proc/9745/task/9761/stat : 9761 (java) S 9743 9745 9610 0 -1 64 422 0 0 0 24 1 0 0 16 0 8 0 69009399 937402368 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9762] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9762/stat : 9762 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69009399 937402368 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9745/tid=9763] ppid=9743 vsize=915432 CPUtime=0
/proc/9745/task/9763/stat : 9763 (java) S 9743 9745 9610 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69009399 937402368 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915432
Child status: 0
Real time (s): 58.4882
CPU time (s): 58.1162
CPU user time (s): 55.7605
CPU system time (s): 2.35564
CPU usage (%): 99.3639
Max. virtual memory (cumulated for all children) (KiB): 915948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.7605
system time used= 2.35564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9373
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2540
involuntary context switches= 3561
runsolver used 0.058991 s user time and 0.158975 s system time
The end
Begin job on node63 on Fri Jan 19 13:58:39 UTC 2007
IDJOB= 274972
IDBENCH= 3074
IDSOLVER= 68
FILE ID= node63/274972-1169215118
PBS_JOBID= 3589110
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-75-1-25/composed-75-1-25-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/274972-1169215118/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-274972-1169215118 -o ROOT/results/node63/solver-274972-1169215118 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/274972-1169215118/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d5dcbdad0adcb9f95b4eba15843cde8d
RANDOM SEED= 733167771
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.216
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.216
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: 1464280 kB
Buffers: 43176 kB
Cached: 461308 kB
SwapCached: 144 kB
Active: 87256 kB
Inactive: 437456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1464280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3792 kB
Writeback: 0 kB
Mapped: 30244 kB
Slab: 52604 kB
Committed_AS: 488452 kB
PageTables: 1676 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 node63 on Fri Jan 19 13:59:39 UTC 2007