0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276815-1169247174/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.70 nbConstraints=751 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=751 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11880 maxDegree=39
0.70 maxArity=2
0.70 => wckTime=0.378 cpuTime=0.25 mem=11M802
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.47 cpuTime=0.3 mem=6M107
0.79
0.79 s SATISFIABLE
0.79 o 679
0.79 c 72
0.80 o 685
0.80 c 66
0.80 o 690
0.80 c 61
0.80 o 695
0.80 c 56
0.80 o 699
0.80 c 52
0.80 o 702
0.80 c 49
0.80 o 705
0.80 c 46
0.80 o 709
0.80 c 42
0.80 o 713
0.80 c 38
0.80 o 716
0.80 c 35
0.80 o 718
0.80 c 33
0.80 o 720
0.80 c 31
0.80 o 722
0.80 c 29
0.81 o 724
0.81 c 27
0.81 o 726
0.81 c 25
0.81 o 727
0.81 c 24
0.81 o 730
0.81 c 21
0.81 o 732
0.81 c 19
0.81 o 733
0.81 c 18
0.81 o 734
0.81 c 17
0.82 o 735
0.82 c 16
0.82 o 736
0.82 c 15
0.82 o 739
0.82 c 12
0.82 o 740
0.82 c 11
0.82 o 742
0.82 c 9
0.82 o 744
0.82 c 7
0.82 o 745
0.82 c 6
0.83 o 746
0.83 c 5
0.83 o 748
0.83 c 3
0.83 o 749
0.83 c 2
2.32 o 750
2.32 c 1
2.32
2.32 search
2.32 run=0 nbConstraintChecks=9457761 nbAssignments=5048
2.32 => wckTime=1.532 cpuTime=1.49 mem=6M107
2.32
2.32 global
2.32 nbConstraintChecks=9457761 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.32 solvingWckTime=1.53 solvingCpuTime=1.49 expiredTime=no totalExploration=no nbFoundSolutions=0
2.32 globalCpuTime=1.84
2.32 => wckTime=2.002 cpuTime=1.79 mem=6M107
2.32
2.32 solver IterativeSystematicSolver being built...
2.45 => wckTime=2.132 cpuTime=1.89 mem=17M113
2.46
2.46 preprocessing
2.46 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.46 detectedInconsistency=no
2.46 => wckTime=0.01 cpuTime=0.01 mem=17M113
2.56
2.56 search
2.56 run=0 nbConstraintChecks=133802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39
2.56 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=72 nbRestartNogoods=0
2.56 => wckTime=0.104 cpuTime=0.08 mem=17M113
2.66
2.66 search
2.66 run=1 nbConstraintChecks=328864 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=92
2.66 nbFailedAssignments=53 nbBacktracks=25 nbVisitedNodes=171 nbRestartNogoods=9
2.66 => wckTime=0.206 cpuTime=0.16 mem=17M113
2.78
2.78 search
2.78 run=2 nbConstraintChecks=656966 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=178
2.78 nbFailedAssignments=111 nbBacktracks=47 nbVisitedNodes=337 nbRestartNogoods=22
2.78 => wckTime=0.326 cpuTime=0.28 mem=17M113
2.95
2.95 search
2.95 run=3 nbConstraintChecks=1125945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=299
2.95 nbFailedAssignments=192 nbBacktracks=80 nbVisitedNodes=572 nbRestartNogoods=28
2.95 => wckTime=0.499 cpuTime=0.45 mem=17M113
3.20
3.20 search
3.20 run=4 nbConstraintChecks=1840983 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=480
3.20 nbFailedAssignments=315 nbBacktracks=130 nbVisitedNodes=926 nbRestartNogoods=41
3.20 => wckTime=0.75 cpuTime=0.7 mem=17M113
3.52
3.52 search
3.52 run=5 nbConstraintChecks=2677038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=696
3.52 nbFailedAssignments=448 nbBacktracks=205 nbVisitedNodes=1350 nbRestartNogoods=51
3.52 => wckTime=1.07 cpuTime=1.01 mem=17M113
4.05
4.05 search
4.05 run=6 nbConstraintChecks=4072010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1046
4.05 nbFailedAssignments=679 nbBacktracks=318 nbVisitedNodes=2044 nbRestartNogoods=59
4.05 => wckTime=1.597 cpuTime=1.53 mem=17M113
4.90
4.90 search
4.90 run=7 nbConstraintChecks=6386330 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1604
4.90 nbFailedAssignments=1060 nbBacktracks=488 nbVisitedNodes=3153 nbRestartNogoods=75
4.90 => wckTime=2.451 cpuTime=2.37 mem=17M113
6.19
6.19 search
6.19 run=8 nbConstraintChecks=9814079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2443
6.19 nbFailedAssignments=1638 nbBacktracks=744 nbVisitedNodes=4824 nbRestartNogoods=88
6.19 => wckTime=3.736 cpuTime=3.63 mem=17M113
7.95
7.95 search
7.95 run=9 nbConstraintChecks=14719012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3662
7.95 nbFailedAssignments=2466 nbBacktracks=1128 nbVisitedNodes=7255 nbRestartNogoods=93
7.95 => wckTime=5.493 cpuTime=5.38 mem=17M113
10.34
10.34 search
10.34 run=10 nbConstraintChecks=21140790 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5273
10.34 nbFailedAssignments=3494 nbBacktracks=1704 nbVisitedNodes=10428 nbRestartNogoods=104
10.34 => wckTime=7.885 cpuTime=7.76 mem=17M113
13.70
13.70 search
13.70 run=11 nbConstraintChecks=30126757 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7513
13.70 nbFailedAssignments=4862 nbBacktracks=2568 nbVisitedNodes=14821 nbRestartNogoods=116
13.70 => wckTime=11.249 cpuTime=11.11 mem=17M113
17.64
17.64 search
17.64 run=12 nbConstraintChecks=40164866 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10268
17.64 nbFailedAssignments=6315 nbBacktracks=3865 nbVisitedNodes=19823 nbRestartNogoods=131
17.64 => wckTime=15.19 cpuTime=15.03 mem=17M113
22.78
22.78 search
22.78 run=13 nbConstraintChecks=53321424 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14105
22.78 nbFailedAssignments=8199 nbBacktracks=5811 nbVisitedNodes=26430 nbRestartNogoods=139
22.78 => wckTime=20.33 cpuTime=20.15 mem=17M113
29.22
29.22 search
29.22 run=14 nbConstraintChecks=69486510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19202
29.22 nbFailedAssignments=10371 nbBacktracks=8731 nbVisitedNodes=34602 nbRestartNogoods=145
29.22 => wckTime=26.767 cpuTime=26.55 mem=17M113
38.01
38.01 search
38.01 run=15 nbConstraintChecks=91060144 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26439
38.01 nbFailedAssignments=13224 nbBacktracks=13109 nbVisitedNodes=45644 nbRestartNogoods=151
38.01 => wckTime=35.555 cpuTime=35.29 mem=17M113
50.40
50.40 search
50.40 run=16 nbConstraintChecks=121956039 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37055
50.40 nbFailedAssignments=17265 nbBacktracks=19678 nbVisitedNodes=61425 nbRestartNogoods=162
50.40 => wckTime=47.944 cpuTime=47.62 mem=17M113
67.62
67.62 search
67.62 run=17 nbConstraintChecks=164758496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52376
67.62 nbFailedAssignments=22728 nbBacktracks=29533 nbVisitedNodes=83583 nbRestartNogoods=171
67.62 => wckTime=65.168 cpuTime=64.76 mem=17M113
93.47
93.47 search
93.47 run=18 nbConstraintChecks=228577490 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75308
93.47 nbFailedAssignments=30873 nbBacktracks=44311 nbVisitedNodes=116647 nbRestartNogoods=180
93.47 => wckTime=91.014 cpuTime=90.49 mem=17M113
132.08
132.08 search
132.08 run=19 nbConstraintChecks=323658149 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109379
132.08 nbFailedAssignments=42770 nbBacktracks=66479 nbVisitedNodes=165533 nbRestartNogoods=192
132.08 => wckTime=129.624 cpuTime=128.92 mem=17M113
177.82
177.82 search
177.82 run=20 nbConstraintChecks=436883220 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=150635
177.82 nbFailedAssignments=57016 nbBacktracks=93490 nbVisitedNodes=224342 nbRestartNogoods=201
177.82 => wckTime=175.371 cpuTime=174.44 mem=17M113
177.82
177.82 global
177.82 nbConstraintChecks=436883220 nbRestartNogoods=201 solvingWckTime=175.372 solvingCpuTime=174.45 expiredTime=no
177.82 totalExploration=yes nbFoundSolutions=0 globalCpuTime=176.39
177.82 => wckTime=177.505 cpuTime=176.34 mem=17M113
177.83
177.83 s OPTIMUM FOUND
177.83 v 3 4 7 2 4 7 6 5 5 7 2 7 7 4 1 3 0 6 1 2 0 2 6 3 4 2 7 7 3 2 4 5 1 2 3 0 7 2 2 1
177.83
177.83 totalWckTime=177.591 totalCpuTime=176.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-276815-1169247174 -o ROOT/results/node3/solver-276815-1169247174 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276815-1169247174/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.93 1.99 1.99 4/93 23936
/proc/meminfo: memFree=1286576/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=18540 CPUtime=0
/proc/23935/stat : 23935 (runsolver) R 23933 23935 23249 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273113012 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23935/statm: 4635 279 244 17 0 2626 0
[startup+0.103896 s]
/proc/loadavg: 1.93 1.99 1.99 4/93 23936
/proc/meminfo: memFree=1286576/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=914988 CPUtime=0.08
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 2966 0 1 0 6 2 0 0 17 0 8 0 273113012 936947712 2712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228747 2712 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51196 s]
/proc/loadavg: 1.93 1.99 1.99 4/93 23936
/proc/meminfo: memFree=1286576/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=915332 CPUtime=0.48
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 6258 0 1 0 43 5 0 0 18 0 8 0 273113012 937299968 5997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228833 5997 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.34109 s]
/proc/loadavg: 1.93 1.99 1.99 3/100 23943
/proc/meminfo: memFree=1264760/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=915448 CPUtime=1.31
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 8104 0 1 0 117 14 0 0 25 0 8 0 273113012 937418752 7842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228862 7842 2476 14 0 215332 0
[pid=23935/tid=23937] ppid=23933 vsize=915448 CPUtime=0.03
/proc/23935/task/23937/stat : 23937 (java) S 23933 23935 23249 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273113016 937418752 7842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23938] ppid=23933 vsize=915448 CPUtime=0
/proc/23935/task/23938/stat : 23938 (java) S 23933 23935 23249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273113017 937418752 7842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23939] ppid=23933 vsize=915448 CPUtime=0
/proc/23935/task/23939/stat : 23939 (java) S 23933 23935 23249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273113017 937418752 7842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23940] ppid=23933 vsize=915448 CPUtime=0
/proc/23935/task/23940/stat : 23940 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273113020 937418752 7842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23941] ppid=23933 vsize=915448 CPUtime=0.2
/proc/23935/task/23941/stat : 23941 (java) S 23933 23935 23249 0 -1 64 375 0 0 0 19 1 0 0 16 0 8 0 273113020 937418752 7842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23942] ppid=23933 vsize=915448 CPUtime=0
/proc/23935/task/23942/stat : 23942 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273113020 937418752 7842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23943] ppid=23933 vsize=915448 CPUtime=0
/proc/23935/task/23943/stat : 23943 (java) S 23933 23935 23249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273113020 937418752 7842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.97836 s]
/proc/loadavg: 1.93 1.99 1.99 4/100 23943
/proc/meminfo: memFree=1264760/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=915580 CPUtime=2.93
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 9211 0 1 0 267 26 0 0 25 0 8 0 273113012 937553920 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228895 8947 2527 14 0 215365 0
[pid=23935/tid=23937] ppid=23933 vsize=915580 CPUtime=0.03
/proc/23935/task/23937/stat : 23937 (java) S 23933 23935 23249 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273113016 937553920 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23938] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23938/stat : 23938 (java) S 23933 23935 23249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273113017 937553920 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23939] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23939/stat : 23939 (java) S 23933 23935 23249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273113017 937553920 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23940] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23940/stat : 23940 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273113020 937553920 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23941] ppid=23933 vsize=915580 CPUtime=0.26
/proc/23935/task/23941/stat : 23941 (java) S 23933 23935 23249 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 273113020 937553920 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23942] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23942/stat : 23942 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273113020 937553920 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23943] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23943/stat : 23943 (java) S 23933 23935 23249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273113020 937553920 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915580
[startup+6.2749 s]
/proc/loadavg: 1.94 1.99 1.99 3/100 23943
/proc/meminfo: memFree=1260344/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=915580 CPUtime=6.2
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 9238 0 1 0 593 27 0 0 25 0 8 0 273113012 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228895 8971 2527 14 0 215365 0
[pid=23935/tid=23937] ppid=23933 vsize=915580 CPUtime=0.03
/proc/23935/task/23937/stat : 23937 (java) S 23933 23935 23249 0 -1 64 307 0 0 0 3 0 0 0 17 0 8 0 273113016 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23938] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23938/stat : 23938 (java) S 23933 23935 23249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273113017 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23939] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23939/stat : 23939 (java) S 23933 23935 23249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273113017 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23940] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23940/stat : 23940 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273113020 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23941] ppid=23933 vsize=915580 CPUtime=0.29
/proc/23935/task/23941/stat : 23941 (java) S 23933 23935 23249 0 -1 64 428 0 0 0 28 1 0 0 16 0 8 0 273113020 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23942] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23942/stat : 23942 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273113020 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23943] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23943/stat : 23943 (java) S 23933 23935 23249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273113020 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915580
[startup+12.7618 s]
/proc/loadavg: 1.94 1.99 1.99 3/100 23943
/proc/meminfo: memFree=1260280/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=915580 CPUtime=12.65
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 9246 0 1 0 1238 27 0 0 25 0 8 0 273113012 937553920 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228895 8978 2527 14 0 215365 0
[pid=23935/tid=23937] ppid=23933 vsize=915580 CPUtime=0.03
/proc/23935/task/23937/stat : 23937 (java) S 23933 23935 23249 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273113016 937553920 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23938] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23938/stat : 23938 (java) S 23933 23935 23249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273113017 937553920 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23939] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23939/stat : 23939 (java) S 23933 23935 23249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273113017 937553920 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23940] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23940/stat : 23940 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273113020 937553920 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23941] ppid=23933 vsize=915580 CPUtime=0.29
/proc/23935/task/23941/stat : 23941 (java) S 23933 23935 23249 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273113020 937553920 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23942] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23942/stat : 23942 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273113020 937553920 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23943] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23943/stat : 23943 (java) S 23933 23935 23249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273113020 937553920 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915580
[startup+25.5998 s]
/proc/loadavg: 1.95 1.99 1.99 3/100 23943
/proc/meminfo: memFree=1260280/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=915580 CPUtime=25.43
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 9253 0 1 0 2516 27 0 0 25 0 8 0 273113012 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228895 8985 2527 14 0 215365 0
[pid=23935/tid=23937] ppid=23933 vsize=915580 CPUtime=0.03
/proc/23935/task/23937/stat : 23937 (java) S 23933 23935 23249 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273113016 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23938] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23938/stat : 23938 (java) S 23933 23935 23249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273113017 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23939] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23939/stat : 23939 (java) S 23933 23935 23249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273113017 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23940] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23940/stat : 23940 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273113020 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23941] ppid=23933 vsize=915580 CPUtime=0.29
/proc/23935/task/23941/stat : 23941 (java) S 23933 23935 23249 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273113020 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23942] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23942/stat : 23942 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273113020 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23943] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23943/stat : 23943 (java) S 23933 23935 23249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273113020 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915580
[startup+51.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/100 23943
/proc/meminfo: memFree=1260344/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=915580 CPUtime=51
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 9263 0 1 0 5073 27 0 0 25 0 8 0 273113012 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228895 8993 2527 14 0 215365 0
[pid=23935/tid=23937] ppid=23933 vsize=915580 CPUtime=0.03
/proc/23935/task/23937/stat : 23937 (java) S 23933 23935 23249 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273113016 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23938] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23938/stat : 23938 (java) S 23933 23935 23249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273113017 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23939] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23939/stat : 23939 (java) S 23933 23935 23249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273113017 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23940] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23940/stat : 23940 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273113020 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23941] ppid=23933 vsize=915580 CPUtime=0.29
/proc/23935/task/23941/stat : 23941 (java) S 23933 23935 23249 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273113020 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23942] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23942/stat : 23942 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273113020 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23943] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23943/stat : 23943 (java) S 23933 23935 23249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273113020 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915580
[startup+102.593 s]
/proc/loadavg: 1.98 1.99 1.99 3/100 23943
/proc/meminfo: memFree=1260344/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=915580 CPUtime=102.06
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 9268 0 1 0 10178 28 0 0 25 0 8 0 273113012 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228895 8998 2527 14 0 215365 0
[pid=23935/tid=23937] ppid=23933 vsize=915580 CPUtime=0.03
/proc/23935/task/23937/stat : 23937 (java) S 23933 23935 23249 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273113016 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23938] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23938/stat : 23938 (java) S 23933 23935 23249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273113017 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23939] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23939/stat : 23939 (java) S 23933 23935 23249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273113017 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23940] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23940/stat : 23940 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273113020 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23941] ppid=23933 vsize=915580 CPUtime=0.29
/proc/23935/task/23941/stat : 23941 (java) S 23933 23935 23249 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273113020 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23942] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23942/stat : 23942 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273113020 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23943] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23943/stat : 23943 (java) S 23933 23935 23249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273113020 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 915580
[startup+162.62 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 23943
/proc/meminfo: memFree=1260280/2055920 swapFree=4191880/4192956
[pid=23935] ppid=23933 vsize=915580 CPUtime=161.79
/proc/23935/stat : 23935 (java) R 23933 23935 23249 0 -1 0 9270 0 1 0 16151 28 0 0 25 0 8 0 273113012 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23935/statm: 228895 9000 2527 14 0 215365 0
[pid=23935/tid=23937] ppid=23933 vsize=915580 CPUtime=0.03
/proc/23935/task/23937/stat : 23937 (java) S 23933 23935 23249 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273113016 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23938] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23938/stat : 23938 (java) S 23933 23935 23249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273113017 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23939] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23939/stat : 23939 (java) S 23933 23935 23249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273113017 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23940] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23940/stat : 23940 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273113020 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23941] ppid=23933 vsize=915580 CPUtime=0.29
/proc/23935/task/23941/stat : 23941 (java) S 23933 23935 23249 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273113020 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23942] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23942/stat : 23942 (java) S 23933 23935 23249 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273113020 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23935/tid=23943] ppid=23933 vsize=915580 CPUtime=0
/proc/23935/task/23943/stat : 23943 (java) S 23933 23935 23249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273113020 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.79
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 177.851
CPU time (s): 176.953
CPU user time (s): 176.659
CPU system time (s): 0.293955
CPU usage (%): 99.4953
Max. virtual memory (cumulated for all children) (KiB): 916096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.659
system time used= 0.293955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9365
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= 4908
involuntary context switches= 10875
runsolver used 0.182972 s user time and 0.480926 s system time
The end
Begin job on node3 on Fri Jan 19 22:52:54 UTC 2007
IDJOB= 276815
IDBENCH= 6038
IDSOLVER= 69
FILE ID= node3/276815-1169247174
PBS_JOBID= 3589036
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276815-1169247174/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-276815-1169247174 -o ROOT/results/node3/solver-276815-1169247174 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276815-1169247174/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f520e27d9dc735632c581f772ba03f39
RANDOM SEED= 740531823
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.279
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.279
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: 1286992 kB
Buffers: 55528 kB
Cached: 555304 kB
SwapCached: 284 kB
Active: 213060 kB
Inactive: 480800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1286992 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1808 kB
Writeback: 0 kB
Mapped: 104668 kB
Slab: 60000 kB
Committed_AS: 8067312 kB
PageTables: 2164 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 node3 on Fri Jan 19 22:55:52 UTC 2007