0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276652-1169243472/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.78
0.78 constraints being loaded...
0.92 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.92 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.92 => wckTime=0.606 cpuTime=0.55 mem=36M329
0.97
0.97 solver LocalSearchSolver being built...
1.02 => wckTime=0.711 cpuTime=0.59 mem=7M469
1.04
1.04 s SATISFIABLE
1.04 o 15
1.04 c 69
1.04 o 18
1.04 c 66
1.04 o 21
1.04 c 63
1.04 o 24
1.04 c 60
1.04 o 27
1.04 c 57
1.04 o 30
1.04 c 54
1.05 o 33
1.05 c 51
1.05 o 35
1.05 c 49
1.05 o 37
1.05 c 47
1.05 o 38
1.05 c 46
1.05 o 40
1.05 c 44
1.05 o 42
1.05 c 42
1.06 o 44
1.06 c 40
1.06 o 46
1.06 c 38
1.06 o 48
1.06 c 36
1.06 o 50
1.06 c 34
1.06 o 52
1.06 c 32
1.06 o 54
1.06 c 30
1.07 o 55
1.07 c 29
1.07 o 56
1.07 c 28
1.07 o 58
1.07 c 26
1.07 o 59
1.07 c 25
1.07 o 60
1.08 c 24
1.08 o 61
1.08 c 23
1.09 o 62
1.09 c 22
1.09 o 63
1.09 c 21
1.10 o 64
1.10 c 20
1.11 o 65
1.11 c 19
1.11 o 66
1.11 c 18
1.11 o 67
1.11 c 17
1.11 o 68
1.11 c 16
1.13 o 70
1.13 c 14
1.13 o 71
1.13 c 13
1.15 o 72
1.15 c 12
1.16 o 73
1.16 c 11
1.17 o 74
1.17 c 10
1.30 o 75
1.30 c 9
1.57 o 76
1.57 c 8
3.64 o 77
3.64 c 7
3.70 o 78
3.70 c 6
9.28 o 79
9.28 c 5
11.76
11.76 search
11.76 run=0 nbConstraintChecks=91888609 nbAssignments=10000
11.76 => wckTime=10.741 cpuTime=10.63 mem=7M469
22.58
22.58 search
22.58 run=1 nbConstraintChecks=181227389 nbAssignments=20000
22.58 => wckTime=21.556 cpuTime=21.35 mem=7M469
33.07
33.07 search
33.07 run=2 nbConstraintChecks=266814963 nbAssignments=30000
33.07 => wckTime=32.051 cpuTime=31.76 mem=7M469
39.55
39.55 search
39.55 run=3 nbConstraintChecks=320070277 nbAssignments=35533
39.55 => wckTime=38.526 cpuTime=38.18 mem=7M469
39.55
39.55 global
39.55 nbConstraintChecks=320070277 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.55 solvingWckTime=38.522 solvingCpuTime=38.18 expiredTime=no totalExploration=no nbFoundSolutions=0
39.55 globalCpuTime=38.81
39.55 => wckTime=39.238 cpuTime=38.77 mem=7M469
39.55
39.55 solver IterativeSystematicSolver being built...
39.68 => wckTime=39.371 cpuTime=38.88 mem=18M283
39.82
39.82 preprocessing
39.82 nbConstraintChecks=549323 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
39.82 detectedInconsistency=no
39.82 => wckTime=0.135 cpuTime=0.1 mem=18M283
42.75
42.76 search
42.76 run=0 nbConstraintChecks=20400061 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=725
42.76 nbFailedAssignments=710 nbBacktracks=10 nbVisitedNodes=1446 nbRestartNogoods=0
42.76 => wckTime=3.071 cpuTime=3.0 mem=18M283
43.89
43.89 search
43.89 run=1 nbConstraintChecks=27418582 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=911
43.89 nbFailedAssignments=865 nbBacktracks=25 nbVisitedNodes=1802 nbRestartNogoods=79
43.89 => wckTime=4.208 cpuTime=4.12 mem=18M283
50.01
50.01 search
50.01 run=2 nbConstraintChecks=75579496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2493
50.01 nbFailedAssignments=2418 nbBacktracks=47 nbVisitedNodes=4959 nbRestartNogoods=179
50.01 => wckTime=10.324 cpuTime=10.15 mem=18M283
57.97
57.97 search
57.97 run=3 nbConstraintChecks=155652046 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5115
57.97 nbFailedAssignments=5000 nbBacktracks=80 nbVisitedNodes=10196 nbRestartNogoods=347
57.97 => wckTime=18.29 cpuTime=18.04 mem=18M283
66.02
66.02 search
66.02 run=4 nbConstraintChecks=215449750 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7468
66.02 nbFailedAssignments=7294 nbBacktracks=130 nbVisitedNodes=14893 nbRestartNogoods=501
66.02 => wckTime=26.337 cpuTime=26.02 mem=18M283
79.63
79.63 search
79.63 run=5 nbConstraintChecks=327386597 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10925
79.63 nbFailedAssignments=10668 nbBacktracks=205 nbVisitedNodes=21799 nbRestartNogoods=703
79.63 => wckTime=39.945 cpuTime=39.5 mem=18M283
88.90
88.90 search
88.90 run=6 nbConstraintChecks=387437643 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13891
88.90 nbFailedAssignments=13507 nbBacktracks=318 nbVisitedNodes=27717 nbRestartNogoods=838
88.90 => wckTime=49.215 cpuTime=48.68 mem=18M283
119.82
119.82 search
119.82 run=7 nbConstraintChecks=629901083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22137
119.82 nbFailedAssignments=21574 nbBacktracks=488 nbVisitedNodes=44200 nbRestartNogoods=1008
119.82 => wckTime=80.136 cpuTime=79.32 mem=18M283
130.51
130.51 search
130.51 run=8 nbConstraintChecks=710687907 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26092
130.51 nbFailedAssignments=25257 nbBacktracks=744 nbVisitedNodes=52094 nbRestartNogoods=1108
130.51 => wckTime=90.825 cpuTime=89.91 mem=18M283
167.21
167.21 search
167.21 run=9 nbConstraintChecks=970486544 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37469
167.21 nbFailedAssignments=36234 nbBacktracks=1128 nbVisitedNodes=74832 nbRestartNogoods=1290
167.21 => wckTime=127.529 cpuTime=126.28 mem=18M283
206.97
206.97 search
206.97 run=10 nbConstraintChecks=1223482638 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46671
206.97 nbFailedAssignments=44842 nbBacktracks=1704 nbVisitedNodes=93207 nbRestartNogoods=1625
206.97 => wckTime=167.284 cpuTime=165.7 mem=18M283
273.25
273.25 search
273.25 run=11 nbConstraintChecks=1683076097 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=65291
273.25 nbFailedAssignments=62592 nbBacktracks=2568 nbVisitedNodes=130440 nbRestartNogoods=1717
273.25 => wckTime=233.565 cpuTime=231.42 mem=18M283
348.10
348.10 search
348.10 run=12 nbConstraintChecks=2133739656 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79025
348.10 nbFailedAssignments=75024 nbBacktracks=3865 nbVisitedNodes=157888 nbRestartNogoods=1737
348.10 => wckTime=308.412 cpuTime=305.63 mem=18M283
467.03
467.04 search
467.04 run=13 nbConstraintChecks=2948958501 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=105926
467.04 nbFailedAssignments=99972 nbBacktracks=5811 nbVisitedNodes=211612 nbRestartNogoods=1903
467.04 => wckTime=427.352 cpuTime=423.57 mem=18M283
521.38 o 80
521.39 c 4
550.05
550.05 search
550.05 run=14 nbConstraintChecks=3425165060 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=130601
550.05 nbFailedAssignments=121721 nbBacktracks=8730 nbVisitedNodes=260818 nbRestartNogoods=2003
550.05 => wckTime=510.365 cpuTime=505.85 mem=18M283
668.94 o 81
668.94 c 3
713.00
713.01 search
713.01 run=15 nbConstraintChecks=4270600549 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=161529
713.01 nbFailedAssignments=148266 nbBacktracks=13109 nbVisitedNodes=322233 nbRestartNogoods=2028
713.01 => wckTime=673.322 cpuTime=667.14 mem=18M283
880.65 o 82
880.65 c 2
915.03
915.03 search
915.03 run=16 nbConstraintChecks=5316628491 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=199996
915.03 nbFailedAssignments=180157 nbBacktracks=19678 nbVisitedNodes=398401 nbRestartNogoods=2068
915.03 => wckTime=875.349 cpuTime=867.36 mem=18M283
1188.79
1188.79 search
1188.79 run=17 nbConstraintChecks=6398291927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=241938
1188.79 nbFailedAssignments=212243 nbBacktracks=29531 nbVisitedNodes=479232 nbRestartNogoods=2097
1188.79 => wckTime=1149.104 cpuTime=1138.67 mem=18M283
1575.03
1575.04 search
1575.04 run=18 nbConstraintChecks=7877034235 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=302695
1575.04 nbFailedAssignments=258220 nbBacktracks=44309 nbVisitedNodes=595128 nbRestartNogoods=2128
1575.04 => wckTime=1535.352 cpuTime=1521.56 mem=18M283
2144.96 o 83
2144.96 c 1
2162.92
2162.92 search
2162.92 run=19 nbConstraintChecks=10191872598 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=396577
2162.92 nbFailedAssignments=329932 nbBacktracks=66477 nbVisitedNodes=774559 nbRestartNogoods=2149
2162.92 => wckTime=2123.241 cpuTime=2104.36 mem=19M255
2239.52
2239.52 search
2239.52 run=20 nbConstraintChecks=10477406112 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=406836
2239.52 nbFailedAssignments=336989 nbBacktracks=69680 nbVisitedNodes=792860 nbRestartNogoods=2219
2239.52 => wckTime=2199.835 cpuTime=2180.28 mem=19M255
2239.52
2239.52 global
2239.52 nbConstraintChecks=10477955435 nbRestartNogoods=2219 solvingWckTime=2199.836 solvingCpuTime=2180.28
2239.52 expiredTime=no totalExploration=yes nbFoundSolutions=4 globalCpuTime=2219.2
2239.52 => wckTime=2239.208 cpuTime=2219.16 mem=19M255
2239.52
2239.52 s OPTIMUM FOUND
2239.52 v 9 59 2 20 77 156 93 0 53 148 59 36 154 11 162 115 161 64 148 2 39 36 4 177 149 78 114 68 34 172 140 80 138 118 115 89 61 155 50 153
2239.52
2239.52 totalWckTime=2239.29 totalCpuTime=2219.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-276652-1169243472 -o ROOT/results/node19/solver-276652-1169243472 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276652-1169243472/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.97 2.00 1.99 4/86 12248
/proc/meminfo: memFree=1140816/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=906644 CPUtime=0.03
/proc/12247/stat : 12247 (java) S 12245 12247 11916 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 272741893 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 226661 1818 1036 14 0 214244 0
[pid=12247/tid=12249] ppid=12245 vsize=906644 CPUtime=0
/proc/12247/task/12249/stat : 12249 (java) R 12245 12247 11916 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 272741897 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102671 s]
/proc/loadavg: 1.97 2.00 1.99 4/86 12248
/proc/meminfo: memFree=1140816/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=914988 CPUtime=0.08
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 272741893 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228747 2735 1426 14 0 215242 0
[pid=12247/tid=12249] ppid=12245 vsize=914988 CPUtime=0
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 272741897 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510748 s]
/proc/loadavg: 1.97 2.00 1.99 4/86 12248
/proc/meminfo: memFree=1140816/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915332 CPUtime=0.49
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 7375 0 1 0 45 4 0 0 18 0 8 0 272741893 937299968 7114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228833 7114 2142 14 0 215303 0
[pid=12247/tid=12249] ppid=12245 vsize=915332 CPUtime=0
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 272741897 937299968 7114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3319 s]
/proc/loadavg: 1.97 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094296/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=1.3
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14262 0 1 0 122 8 0 0 25 0 8 0 272741893 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14000 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 17 0 8 0 272741897 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.13
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 330 0 0 0 13 0 0 0 16 0 8 0 272741901 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14000 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) 915444
[startup+2.97421 s]
/proc/loadavg: 1.97 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094168/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2.93
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14268 0 1 0 278 15 0 0 25 0 8 0 272741893 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14005 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.14
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 335 0 0 0 14 0 0 0 15 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14005 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) 915444
[startup+6.26883 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094168/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=6.2
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14268 0 1 0 592 28 0 0 25 0 8 0 272741893 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14005 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.14
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 335 0 0 0 14 0 0 0 15 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14005 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) 915444
[startup+12.744 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094168/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=12.62
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14270 0 1 0 1209 53 0 0 25 0 8 0 272741893 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14007 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.14
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 337 0 0 0 14 0 0 0 16 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
[startup+25.6055 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094232/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=25.37
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14270 0 1 0 2437 100 0 0 25 0 8 0 272741893 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14007 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.14
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 337 0 0 0 14 0 0 0 16 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444
[startup+51.2233 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1093848/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=50.76
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14429 0 1 0 4926 150 0 0 25 0 8 0 272741893 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14158 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.25
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 272741901 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915444
[startup+102.441 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1093976/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=101.52
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14434 0 1 0 10001 151 0 0 25 0 8 0 272741893 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14161 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.25
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 272741901 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915444
################
# More data... #
################
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.51
Current children cumulated vsize (KiB) 915444
[startup+1844.49 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12455
/proc/meminfo: memFree=1093592/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=1828.09
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 182644 165 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1828.09
Current children cumulated vsize (KiB) 915444
[startup+1904.57 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 12455
/proc/meminfo: memFree=1093592/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=1887.65
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 188600 165 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1887.65
Current children cumulated vsize (KiB) 915444
[startup+1964.64 s]
/proc/loadavg: 2.01 2.01 2.00 4/93 12455
/proc/meminfo: memFree=1093656/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=1947.21
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 194555 166 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1947.21
Current children cumulated vsize (KiB) 915444
[startup+2024.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12455
/proc/meminfo: memFree=1093720/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2006.77
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 200511 166 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2006.77
Current children cumulated vsize (KiB) 915444
[startup+2084.78 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12455
/proc/meminfo: memFree=1093720/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2066.33
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 206466 167 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.33
Current children cumulated vsize (KiB) 915444
[startup+2144.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12455
/proc/meminfo: memFree=1093720/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2125.88
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 212421 167 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.88
Current children cumulated vsize (KiB) 915444
[startup+2204.94 s]
/proc/loadavg: 2.11 2.03 2.01 3/93 12455
/proc/meminfo: memFree=1093784/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2185.45
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 218377 168 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.45
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 2239.59
CPU time (s): 2219.75
CPU user time (s): 2218.05
CPU system time (s): 1.69574
CPU usage (%): 99.114
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2218.05
system time used= 1.69574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14452
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= 46437
involuntary context switches= 85350
runsolver used 2.68859 s user time and 7.2469 s system time
The end
Begin job on node19 on Fri Jan 19 21:51:13 UTC 2007
IDJOB= 276652
IDBENCH= 5921
IDSOLVER= 68
FILE ID= node19/276652-1169243472
PBS_JOBID= 3589031
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276652-1169243472/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-276652-1169243472 -o ROOT/results/node19/solver-276652-1169243472 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276652-1169243472/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b0f833c6013824edaf84bd63c190d30c
RANDOM SEED= 826362541
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.260
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.260
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: 1141232 kB
Buffers: 61388 kB
Cached: 702280 kB
SwapCached: 10172 kB
Active: 378612 kB
Inactive: 457260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1141232 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 3548 kB
Writeback: 0 kB
Mapped: 82476 kB
Slab: 63584 kB
Committed_AS: 7271816 kB
PageTables: 2396 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= 66555 MiB
End job on node19 on Fri Jan 19 22:28:32 UTC 2007