0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/275008-1169215621/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=83 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.44 => wckTime=0.122 cpuTime=0.1 mem=6M887
0.44
0.44 relations being loaded...
0.53
0.53 constraints being loaded...
0.66 nbConstraints=624 nbRelationTypes=624 nbExtensionStructures=624 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=624 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11796 maxDegree=28
0.66 maxArity=2
0.66 => wckTime=0.341 cpuTime=0.23 mem=11M796
0.70
0.70 solver LocalSearchSolver being built...
0.75 => wckTime=0.429 cpuTime=0.28 mem=6M50
0.75
0.75 s SATISFIABLE
0.75 o 532
0.75 c 92
0.75 o 537
0.76 c 87
0.76 o 542
0.76 c 82
0.76 o 546
0.76 c 78
0.76 o 550
0.76 c 74
0.76 o 554
0.76 c 70
0.76 o 558
0.76 c 66
0.76 o 562
0.76 c 62
0.76 o 566
0.76 c 58
0.76 o 569
0.76 c 55
0.77 o 572
0.77 c 52
0.77 o 575
0.77 c 49
0.77 o 578
0.77 c 46
0.77 o 581
0.77 c 43
0.77 o 584
0.77 c 40
0.77 o 587
0.77 c 37
0.77 o 589
0.77 c 35
0.77 o 591
0.77 c 33
0.77 o 593
0.77 c 31
0.78 o 595
0.78 c 29
0.78 o 597
0.78 c 27
0.78 o 598
0.78 c 26
0.78 o 599
0.78 c 25
0.78 o 601
0.78 c 23
0.78 o 603
0.78 c 21
0.78 o 604
0.78 c 20
0.78 o 605
0.78 c 19
0.78 o 607
0.78 c 17
0.78 o 608
0.78 c 16
0.78 o 609
0.78 c 15
0.78 o 610
0.78 c 14
0.78 o 611
0.78 c 13
0.78 o 612
0.78 c 12
0.78 o 614
0.78 c 10
0.78 o 615
0.78 c 9
0.78 o 616
0.78 c 8
0.78 o 617
0.78 c 7
0.78 o 618
0.78 c 6
0.79 o 619
0.79 c 5
0.79 o 620
0.79 c 4
0.79 o 621
0.79 c 3
0.93 o 622
0.93 c 2
5.61
5.61 search
5.61 run=0 nbConstraintChecks=36964763 nbAssignments=10000
5.61 => wckTime=4.863 cpuTime=4.81 mem=6M50
10.77
10.77 search
10.77 run=1 nbConstraintChecks=77173445 nbAssignments=20000
10.77 => wckTime=10.022 cpuTime=9.95 mem=6M50
14.65
14.65 search
14.65 run=2 nbConstraintChecks=106443230 nbAssignments=30000
14.65 => wckTime=13.901 cpuTime=13.81 mem=6M50
18.71
18.71 search
18.71 run=3 nbConstraintChecks=137501580 nbAssignments=40000
18.71 => wckTime=17.964 cpuTime=17.85 mem=6M50
23.35
23.35 search
23.35 run=4 nbConstraintChecks=173669092 nbAssignments=50000
23.35 => wckTime=22.606 cpuTime=22.48 mem=6M50
26.70
26.70 search
26.70 run=5 nbConstraintChecks=198142549 nbAssignments=60000
26.70 => wckTime=25.951 cpuTime=25.81 mem=6M50
31.08
31.08 search
31.08 run=6 nbConstraintChecks=231928872 nbAssignments=69596
31.08 => wckTime=30.336 cpuTime=30.18 mem=6M50
31.08
31.08 global
31.08 nbConstraintChecks=231928872 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.08 solvingWckTime=30.333 solvingCpuTime=30.17 expiredTime=no totalExploration=no nbFoundSolutions=0
31.08 globalCpuTime=30.5
31.08 => wckTime=30.766 cpuTime=30.45 mem=6M50
31.08
31.08 solver IterativeSystematicSolver being built...
31.21 => wckTime=30.897 cpuTime=30.55 mem=17M23
31.33
31.33 preprocessing
31.33 nbConstraintChecks=123577 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.33 detectedInconsistency=no
31.33 => wckTime=0.113 cpuTime=0.08 mem=17M23
31.43
31.43 search
31.43 run=0 nbConstraintChecks=278271 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128
31.43 nbFailedAssignments=68 nbBacktracks=10 nbVisitedNodes=205 nbRestartNogoods=0
31.43 => wckTime=0.219 cpuTime=0.18 mem=17M23
31.55
31.55 search
31.55 run=1 nbConstraintChecks=600920 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=234
31.55 nbFailedAssignments=109 nbBacktracks=25 nbVisitedNodes=359 nbRestartNogoods=1
31.55 => wckTime=0.336 cpuTime=0.29 mem=17M23
31.66
31.66 search
31.66 run=2 nbConstraintChecks=931578 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=362
31.66 nbFailedAssignments=158 nbBacktracks=47 nbVisitedNodes=558 nbRestartNogoods=8
31.66 => wckTime=0.445 cpuTime=0.39 mem=17M23
31.83
31.83 search
31.83 run=3 nbConstraintChecks=1474216 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=529
31.83 nbFailedAssignments=236 nbBacktracks=82 nbVisitedNodes=832 nbRestartNogoods=18
31.83 => wckTime=0.612 cpuTime=0.57 mem=17M23
32.00
32.00 search
32.00 run=4 nbConstraintChecks=2047414 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=714
32.00 nbFailedAssignments=326 nbBacktracks=133 nbVisitedNodes=1158 nbRestartNogoods=31
32.00 => wckTime=0.785 cpuTime=0.74 mem=17M23
32.26
32.26 search
32.26 run=5 nbConstraintChecks=2901942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=981
32.26 nbFailedAssignments=461 nbBacktracks=208 nbVisitedNodes=1625 nbRestartNogoods=40
32.26 => wckTime=1.05 cpuTime=1.0 mem=17M23
33.07
33.07 search
33.07 run=6 nbConstraintChecks=4708766 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1454
33.07 nbFailedAssignments=747 nbBacktracks=321 nbVisitedNodes=2497 nbRestartNogoods=52
33.07 => wckTime=1.852 cpuTime=1.79 mem=17M23
33.64
33.64 search
33.64 run=7 nbConstraintChecks=6276712 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1807
33.64 nbFailedAssignments=894 nbBacktracks=491 nbVisitedNodes=3167 nbRestartNogoods=69
33.64 => wckTime=2.428 cpuTime=2.36 mem=17M23
34.79
34.79 search
34.79 run=8 nbConstraintChecks=8870894 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2380
34.79 nbFailedAssignments=1189 nbBacktracks=747 nbVisitedNodes=4290 nbRestartNogoods=82
34.80 => wckTime=3.581 cpuTime=3.5 mem=17M23
35.99
35.99 search
35.99 run=9 nbConstraintChecks=11545518 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3279
35.99 nbFailedAssignments=1642 nbBacktracks=1131 nbVisitedNodes=6025 nbRestartNogoods=85
35.99 => wckTime=4.775 cpuTime=4.69 mem=17M23
36.54
36.54 search
36.54 run=10 nbConstraintChecks=13475555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4227
36.54 nbFailedAssignments=1941 nbBacktracks=1707 nbVisitedNodes=7848 nbRestartNogoods=105
36.54 => wckTime=5.326 cpuTime=5.23 mem=17M23
39.03
39.03 search
39.03 run=11 nbConstraintChecks=19254688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5954
39.03 nbFailedAssignments=3037 nbBacktracks=2339 nbVisitedNodes=11301 nbRestartNogoods=121
39.03 => wckTime=7.819 cpuTime=7.71 mem=17M23
39.03
39.03 global
39.03 nbConstraintChecks=19378265 nbRestartNogoods=121 solvingWckTime=7.82 solvingCpuTime=7.71 expiredTime=no
39.03 totalExploration=yes nbFoundSolutions=0 globalCpuTime=38.31
39.03 => wckTime=38.717 cpuTime=38.26 mem=17M23
39.04
39.04 s OPTIMUM FOUND
39.04 v 5 2 6 2 7 5 4 0 4 4 5 7 7 2 8 2 1 7 7 6 2 6 8 7 0 8 5 8 2 8 0 0 8 6 3 8 8 4 7 1 4 9 9 0 4 9 1 9 2 5 6 1 8 6 5 5 0 2 5 0 2 3 2 3 9 2 1 2 8 8 5 2 9 9 0 3 7 0 8 1 3 6 9
39.04
39.04 totalWckTime=38.798 totalCpuTime=38.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-275008-1169215621 -o ROOT/results/node24/solver-275008-1169215621 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275008-1169215621/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: 0.96 1.17 1.53 5/86 16176
/proc/meminfo: memFree=1422328/2055920 swapFree=4180096/4192956
[pid=16175] ppid=16170 vsize=18540 CPUtime=0
/proc/16175/stat : 16175 (runsolver) R 16170 16175 16037 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 269957368 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16175/statm: 4635 279 244 17 0 2626 0
[startup+0.107208 s]
/proc/loadavg: 0.96 1.17 1.53 5/86 16176
/proc/meminfo: memFree=1422328/2055920 swapFree=4180096/4192956
[pid=16175] ppid=16170 vsize=914988 CPUtime=0.08
/proc/16175/stat : 16175 (java) R 16170 16175 16037 0 -1 0 2998 0 1 0 7 1 0 0 20 0 8 0 269957368 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16175/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515253 s]
/proc/loadavg: 0.96 1.17 1.53 5/86 16176
/proc/meminfo: memFree=1422328/2055920 swapFree=4180096/4192956
[pid=16175] ppid=16170 vsize=915332 CPUtime=0.48
/proc/16175/stat : 16175 (java) R 16170 16175 16037 0 -1 0 6341 0 7 0 44 4 0 0 19 0 8 0 269957368 937299968 6086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16175/statm: 228833 6086 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33634 s]
/proc/loadavg: 0.96 1.17 1.53 3/100 16190
/proc/meminfo: memFree=1376008/2055920 swapFree=4180096/4192956
[pid=16175] ppid=16170 vsize=915432 CPUtime=1.3
/proc/16175/stat : 16175 (java) R 16170 16175 16037 0 -1 0 8071 0 7 0 119 11 0 0 25 0 8 0 269957368 937402368 7815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16175/statm: 228858 7815 2479 14 0 215328 0
[pid=16175/tid=16180] ppid=16170 vsize=915432 CPUtime=0.03
/proc/16175/task/16180/stat : 16180 (java) S 16170 16175 16037 0 -1 64 292 0 0 0 3 0 0 0 17 0 8 0 269957372 937402368 7815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16181] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16181/stat : 16181 (java) S 16170 16175 16037 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 269957373 937402368 7815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16182] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16182/stat : 16182 (java) S 16170 16175 16037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957373 937402368 7815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16187] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16187/stat : 16187 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 269957376 937402368 7815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16188] ppid=16170 vsize=915432 CPUtime=0.15
/proc/16175/task/16188/stat : 16188 (java) S 16170 16175 16037 0 -1 64 357 0 0 0 15 0 0 0 16 0 8 0 269957376 937402368 7815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16189] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16189/stat : 16189 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269957376 937402368 7815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16190] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16190/stat : 16190 (java) S 16170 16175 16037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957376 937402368 7815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915432
[startup+2.97351 s]
/proc/loadavg: 0.96 1.17 1.53 3/100 16190
/proc/meminfo: memFree=1375816/2055920 swapFree=4180096/4192956
[pid=16175] ppid=16170 vsize=915432 CPUtime=2.91
/proc/16175/stat : 16175 (java) R 16170 16175 16037 0 -1 0 8075 0 7 0 267 24 0 0 25 0 8 0 269957368 937402368 7818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16175/statm: 228858 7818 2479 14 0 215328 0
[pid=16175/tid=16180] ppid=16170 vsize=915432 CPUtime=0.03
/proc/16175/task/16180/stat : 16180 (java) S 16170 16175 16037 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 269957372 937402368 7818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16181] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16181/stat : 16181 (java) S 16170 16175 16037 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 269957373 937402368 7818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16182] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16182/stat : 16182 (java) S 16170 16175 16037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957373 937402368 7818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16187] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16187/stat : 16187 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 269957376 937402368 7818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16188] ppid=16170 vsize=915432 CPUtime=0.16
/proc/16175/task/16188/stat : 16188 (java) S 16170 16175 16037 0 -1 64 360 0 0 0 16 0 0 0 16 0 8 0 269957376 937402368 7818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16189] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16189/stat : 16189 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269957376 937402368 7818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16190] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16190/stat : 16190 (java) S 16170 16175 16037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957376 937402368 7818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915432
[startup+6.26087 s]
/proc/loadavg: 1.05 1.19 1.54 3/100 16190
/proc/meminfo: memFree=1375816/2055920 swapFree=4180096/4192956
[pid=16175] ppid=16170 vsize=915432 CPUtime=6.19
/proc/16175/stat : 16175 (java) R 16170 16175 16037 0 -1 0 8079 0 7 0 567 52 0 0 25 0 8 0 269957368 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16175/statm: 228858 7822 2479 14 0 215328 0
[pid=16175/tid=16180] ppid=16170 vsize=915432 CPUtime=0.03
/proc/16175/task/16180/stat : 16180 (java) S 16170 16175 16037 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 269957372 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16181] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16181/stat : 16181 (java) S 16170 16175 16037 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 269957373 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16182] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16182/stat : 16182 (java) S 16170 16175 16037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957373 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16187] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16187/stat : 16187 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16188] ppid=16170 vsize=915432 CPUtime=0.16
/proc/16175/task/16188/stat : 16188 (java) S 16170 16175 16037 0 -1 64 363 0 0 0 16 0 0 0 16 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16189] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16189/stat : 16189 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16190] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16190/stat : 16190 (java) S 16170 16175 16037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915432
[startup+12.7376 s]
/proc/loadavg: 1.20 1.22 1.54 4/100 16190
/proc/meminfo: memFree=1375816/2055920 swapFree=4180096/4192956
[pid=16175] ppid=16170 vsize=915432 CPUtime=12.63
/proc/16175/stat : 16175 (java) R 16170 16175 16037 0 -1 0 8079 0 7 0 1162 101 0 0 25 0 8 0 269957368 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16175/statm: 228858 7822 2479 14 0 215328 0
[pid=16175/tid=16180] ppid=16170 vsize=915432 CPUtime=0.03
/proc/16175/task/16180/stat : 16180 (java) S 16170 16175 16037 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 269957372 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16181] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16181/stat : 16181 (java) S 16170 16175 16037 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 269957373 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16182] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16182/stat : 16182 (java) S 16170 16175 16037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957373 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16187] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16187/stat : 16187 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16188] ppid=16170 vsize=915432 CPUtime=0.16
/proc/16175/task/16188/stat : 16188 (java) S 16170 16175 16037 0 -1 64 363 0 0 0 16 0 0 0 16 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16189] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16189/stat : 16189 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16190] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16190/stat : 16190 (java) S 16170 16175 16037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915432
[startup+25.598 s]
/proc/loadavg: 1.38 1.25 1.55 3/100 16190
/proc/meminfo: memFree=1375880/2055920 swapFree=4180096/4192956
[pid=16175] ppid=16170 vsize=915432 CPUtime=25.44
/proc/16175/stat : 16175 (java) R 16170 16175 16037 0 -1 0 8079 0 7 0 2319 225 0 0 25 0 8 0 269957368 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787558 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16175/statm: 228858 7822 2479 14 0 215328 0
[pid=16175/tid=16180] ppid=16170 vsize=915432 CPUtime=0.03
/proc/16175/task/16180/stat : 16180 (java) S 16170 16175 16037 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 269957372 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16181] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16181/stat : 16181 (java) S 16170 16175 16037 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 269957373 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16182] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16182/stat : 16182 (java) S 16170 16175 16037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 269957373 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16187] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16187/stat : 16187 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16188] ppid=16170 vsize=915432 CPUtime=0.16
/proc/16175/task/16188/stat : 16188 (java) S 16170 16175 16037 0 -1 64 363 0 0 0 16 0 0 0 16 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16175/tid=16189] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16189/stat : 16189 (java) S 16170 16175 16037 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16175/tid=16190] ppid=16170 vsize=915432 CPUtime=0
/proc/16175/task/16190/stat : 16190 (java) S 16170 16175 16037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 269957376 937402368 7822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915432
Child status: 0
Real time (s): 39.068
CPU time (s): 38.8391
CPU user time (s): 36.0845
CPU system time (s): 2.75458
CPU usage (%): 99.414
Max. virtual memory (cumulated for all children) (KiB): 915948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.0845
system time used= 2.75458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9354
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2121
involuntary context switches= 3688
runsolver used 0.052991 s user time and 0.118981 s system time
The end
Begin job on node24 on Fri Jan 19 14:07:01 UTC 2007
IDJOB= 275008
IDBENCH= 3096
IDSOLVER= 68
FILE ID= node24/275008-1169215621
PBS_JOBID= 3589138
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-75-1-2/composed-75-1-2-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275008-1169215621/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-275008-1169215621 -o ROOT/results/node24/solver-275008-1169215621 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275008-1169215621/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7b11356db0138df0c4114f6e8785d12e
RANDOM SEED= 127643653
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.234
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.234
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: 1423600 kB
Buffers: 42180 kB
Cached: 475380 kB
SwapCached: 600 kB
Active: 129688 kB
Inactive: 433352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1423600 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 3740 kB
Writeback: 0 kB
Mapped: 62512 kB
Slab: 54228 kB
Committed_AS: 5022260 kB
PageTables: 2276 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 node24 on Fri Jan 19 14:07:40 UTC 2007