0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=epfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/276490-1169238836/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.45 => wckTime=0.104 cpuTime=0.09 mem=6M887
0.45
0.45 relations being loaded...
0.63
0.63 constraints being loaded...
0.72 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.72 => wckTime=0.382 cpuTime=0.31 mem=21M663
0.77
0.77 solver LocalSearchSolver being built...
0.82 => wckTime=0.475 cpuTime=0.36 mem=6M328
0.83
0.83 s SATISFIABLE
0.83 o 24
0.83 c 79
0.83 o 29
0.83 c 74
0.83 o 34
0.83 c 69
0.83 o 38
0.83 c 65
0.83 o 41
0.83 c 62
0.83 o 44
0.83 c 59
0.84 o 47
0.84 c 56
0.84 o 51
0.84 c 52
0.84 o 52
0.84 c 51
0.84 o 55
0.84 c 48
0.84 o 58
0.84 c 45
0.84 o 60
0.84 c 43
0.84 o 61
0.84 c 42
0.84 o 63
0.84 c 40
0.84 o 65
0.84 c 38
0.84 o 66
0.84 c 37
0.85 o 67
0.85 c 36
0.85 o 69
0.85 c 34
0.85 o 70
0.85 c 33
0.85 o 71
0.85 c 32
0.85 o 72
0.85 c 31
0.85 o 73
0.85 c 30
0.85 o 74
0.85 c 29
0.85 o 75
0.85 c 28
0.85 o 76
0.85 c 27
0.86 o 77
0.86 c 26
0.86 o 78
0.86 c 25
0.86 o 79
0.86 c 24
0.86 o 80
0.86 c 23
0.87 o 82
0.87 c 21
0.87 o 83
0.87 c 20
0.87 o 84
0.87 c 19
0.87 o 85
0.87 c 18
0.87 o 86
0.87 c 17
0.88 o 88
0.88 c 15
0.89 o 89
0.89 c 14
0.90 o 90
0.90 c 13
0.91 o 91
0.91 c 12
0.92 o 92
0.92 c 11
0.92 o 93
0.92 c 10
0.92 o 94
0.92 c 9
1.02 o 95
1.02 c 8
1.03 o 96
1.03 c 7
1.21 o 97
1.21 c 6
2.26 o 98
2.26 c 5
6.78
6.78 search
6.78 run=0 nbConstraintChecks=46869840 nbAssignments=10000
6.78 => wckTime=5.967 cpuTime=5.89 mem=6M328
13.40
13.40 search
13.40 run=1 nbConstraintChecks=98834776 nbAssignments=20000
13.40 => wckTime=12.586 cpuTime=12.45 mem=6M328
19.31
19.31 search
19.31 run=2 nbConstraintChecks=144599862 nbAssignments=30000
19.31 => wckTime=18.495 cpuTime=18.3 mem=6M328
26.08
26.08 search
26.08 run=3 nbConstraintChecks=197660208 nbAssignments=40000
26.08 => wckTime=25.26 cpuTime=25.02 mem=6M328
32.18
32.18 search
32.18 run=4 nbConstraintChecks=245112570 nbAssignments=50000
32.18 => wckTime=31.367 cpuTime=31.07 mem=6M328
32.53
32.53 search
32.53 run=5 nbConstraintChecks=247772921 nbAssignments=50731
32.53 => wckTime=31.716 cpuTime=31.42 mem=6M328
32.53
32.53 global
32.53 nbConstraintChecks=247772921 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.53 solvingWckTime=31.712 solvingCpuTime=31.42 expiredTime=no totalExploration=no nbFoundSolutions=0
32.53 globalCpuTime=31.84
32.53 => wckTime=32.192 cpuTime=31.78 mem=6M328
32.53
32.53 solver IterativeSystematicSolver being built...
32.66 => wckTime=32.32 cpuTime=31.89 mem=17M269
32.75
32.75 preprocessing
32.75 nbConstraintChecks=214595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.75 detectedInconsistency=no
32.75 => wckTime=0.09 cpuTime=0.06 mem=17M269
33.32
33.32 search
33.32 run=0 nbConstraintChecks=3853762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=309
33.32 nbFailedAssignments=294 nbBacktracks=10 nbVisitedNodes=614 nbRestartNogoods=0
33.32 => wckTime=0.66 cpuTime=0.61 mem=17M269
34.11
34.11 search
34.11 run=1 nbConstraintChecks=7698848 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=667
34.11 nbFailedAssignments=629 nbBacktracks=25 nbVisitedNodes=1322 nbRestartNogoods=19
34.11 => wckTime=1.443 cpuTime=1.38 mem=17M269
35.35
35.35 search
35.35 run=2 nbConstraintChecks=14443284 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1287
35.35 nbFailedAssignments=1219 nbBacktracks=47 nbVisitedNodes=2554 nbRestartNogoods=31
35.35 => wckTime=2.682 cpuTime=2.6 mem=17M269
37.40
37.40 search
37.40 run=3 nbConstraintChecks=24478936 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2229
37.40 nbFailedAssignments=2119 nbBacktracks=80 nbVisitedNodes=4429 nbRestartNogoods=74
37.40 => wckTime=4.739 cpuTime=4.62 mem=17M269
39.10
39.10 search
39.10 run=4 nbConstraintChecks=33121067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3391
39.10 nbFailedAssignments=3217 nbBacktracks=130 nbVisitedNodes=6739 nbRestartNogoods=209
39.10 => wckTime=6.44 cpuTime=6.3 mem=17M269
41.84
41.84 search
41.84 run=5 nbConstraintChecks=46626629 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4301
41.84 nbFailedAssignments=4037 nbBacktracks=205 nbVisitedNodes=8544 nbRestartNogoods=282
41.84 => wckTime=9.182 cpuTime=9.01 mem=17M269
47.22
47.22 search
47.22 run=6 nbConstraintChecks=74064837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6925
47.23 nbFailedAssignments=6536 nbBacktracks=318 nbVisitedNodes=13780 nbRestartNogoods=312
47.23 => wckTime=14.562 cpuTime=14.35 mem=17M269
55.83
55.83 search
55.83 run=7 nbConstraintChecks=125099234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11781
55.83 nbFailedAssignments=11207 nbBacktracks=488 nbVisitedNodes=23477 nbRestartNogoods=428
55.83 => wckTime=23.168 cpuTime=22.87 mem=17M269
58.90
58.90 search
58.90 run=8 nbConstraintChecks=141294392 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14008
58.90 nbFailedAssignments=13163 nbBacktracks=744 nbVisitedNodes=27916 nbRestartNogoods=560
58.90 => wckTime=26.233 cpuTime=25.9 mem=17M269
61.73
61.73 search
61.73 run=9 nbConstraintChecks=154483182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16067
61.73 nbFailedAssignments=14824 nbBacktracks=1128 nbVisitedNodes=32020 nbRestartNogoods=745
61.73 => wckTime=29.063 cpuTime=28.71 mem=17M269
83.34
83.34 search
83.34 run=10 nbConstraintChecks=271243470 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27323
83.34 nbFailedAssignments=25492 nbBacktracks=1704 nbVisitedNodes=54520 nbRestartNogoods=908
83.34 => wckTime=50.677 cpuTime=50.12 mem=17M269
117.42
117.42 search
117.42 run=11 nbConstraintChecks=445398105 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40460
117.42 nbFailedAssignments=37757 nbBacktracks=2568 nbVisitedNodes=80786 nbRestartNogoods=976
117.42 => wckTime=84.761 cpuTime=83.9 mem=17M269
147.69
147.69 search
147.69 run=12 nbConstraintChecks=617339980 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59829
147.69 nbFailedAssignments=55817 nbBacktracks=3865 nbVisitedNodes=119511 nbRestartNogoods=1026
147.69 => wckTime=115.028 cpuTime=113.9 mem=17M269
187.86
187.86 search
187.86 run=13 nbConstraintChecks=817558656 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80111
187.86 nbFailedAssignments=74145 nbBacktracks=5811 nbVisitedNodes=160049 nbRestartNogoods=1053
187.86 => wckTime=155.2 cpuTime=153.71 mem=17M269
237.89
237.89 search
237.89 run=14 nbConstraintChecks=1030214925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=98717
237.89 nbFailedAssignments=89824 nbBacktracks=8730 nbVisitedNodes=197171 nbRestartNogoods=1080
237.89 => wckTime=205.229 cpuTime=203.29 mem=17M269
296.14
296.14 search
296.14 run=15 nbConstraintChecks=1303863651 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=123020
296.14 nbFailedAssignments=109743 nbBacktracks=13108 nbVisitedNodes=245551 nbRestartNogoods=1097
296.14 => wckTime=263.481 cpuTime=261.02 mem=17M269
361.90
361.90 search
361.90 run=16 nbConstraintChecks=1580352525 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=149185
361.90 nbFailedAssignments=129331 nbBacktracks=19676 nbVisitedNodes=297578 nbRestartNogoods=1138
361.90 => wckTime=329.241 cpuTime=326.18 mem=17M269
451.72
451.72 search
451.72 run=17 nbConstraintChecks=1932193384 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=180288
451.72 nbFailedAssignments=150572 nbBacktracks=29528 nbVisitedNodes=359004 nbRestartNogoods=1161
451.72 => wckTime=419.054 cpuTime=415.18 mem=17M269
579.15
579.15 search
579.15 run=18 nbConstraintChecks=2450660943 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=228737
579.15 nbFailedAssignments=184233 nbBacktracks=44306 nbVisitedNodes=454602 nbRestartNogoods=1186
579.15 => wckTime=546.489 cpuTime=541.89 mem=17M269
788.31
788.31 search
788.31 run=19 nbConstraintChecks=3344645451 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=305632
788.31 nbFailedAssignments=238952 nbBacktracks=66475 nbVisitedNodes=607465 nbRestartNogoods=1221
788.31 => wckTime=755.646 cpuTime=750.84 mem=17M269
1080.72
1080.72 search
1080.72 run=20 nbConstraintChecks=4645591743 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=422483
1080.72 nbFailedAssignments=322546 nbBacktracks=99727 nbVisitedNodes=838852 nbRestartNogoods=1225
1080.72 => wckTime=1048.055 cpuTime=1042.45 mem=17M269
1161.43 o 99
1161.43 c 4
1549.44
1549.44 search
1549.44 run=21 nbConstraintChecks=6595065505 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=596810
1549.44 nbFailedAssignments=446988 nbBacktracks=149606 nbVisitedNodes=1182608 nbRestartNogoods=1277
1549.44 => wckTime=1516.781 cpuTime=1510.1 mem=17M269
2204.65
2204.65 search
2204.65 run=22 nbConstraintChecks=9374910205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=846635
2204.65 nbFailedAssignments=621988 nbBacktracks=224424 nbVisitedNodes=1676437 nbRestartNogoods=1312
2204.65 => wckTime=2171.985 cpuTime=2164.9 mem=17M269
2407.45 v 75 62 31 50 3 0 0 48 75 1 12 36 17 35 31 0 64 6 8 40 32 11 21 46 59 50 40 39 20 7 79 17 50 4 1 45 17 66 68 23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-276490-1169238836 -o ROOT/results/node44/solver-276490-1169238836 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276490-1169238836/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.97 2/80 32706
/proc/meminfo: memFree=1452272/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=18540 CPUtime=0
/proc/32705/stat : 32705 (runsolver) R 32703 32705 31724 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272282674 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32705/statm: 4635 279 244 17 0 2626 0
[startup+0.102243 s]
/proc/loadavg: 1.97 2.00 1.97 2/80 32706
/proc/meminfo: memFree=1452272/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=911488 CPUtime=0.07
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 2633 0 1 0 6 1 0 0 20 0 8 0 272282674 933363712 2380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32705/statm: 227872 2380 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.510283 s]
/proc/loadavg: 1.97 2.00 1.97 2/80 32706
/proc/meminfo: memFree=1452272/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915332 CPUtime=0.46
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 6748 0 1 0 43 3 0 0 18 0 8 0 272282674 937299968 6487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32705/statm: 228833 6487 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33336 s]
/proc/loadavg: 1.97 2.00 1.97 3/87 32713
/proc/meminfo: memFree=1421176/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=1.27
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10435 0 1 0 118 9 0 0 25 0 8 0 272282674 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32705/statm: 228861 10173 2479 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.12
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 272282683 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915444
[startup+2.98653 s]
/proc/loadavg: 1.97 2.00 1.97 3/87 32713
/proc/meminfo: memFree=1421112/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=2.92
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10440 0 1 0 271 21 0 0 25 0 8 0 272282674 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32705/statm: 228861 10177 2479 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.13
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 272282683 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.26687 s]
/proc/loadavg: 1.97 2.00 1.97 3/87 32713
/proc/meminfo: memFree=1420984/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=6.17
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10440 0 1 0 575 42 0 0 25 0 8 0 272282674 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32705/statm: 228861 10177 2479 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.13
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 272282683 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915444
[startup+12.7535 s]
/proc/loadavg: 1.97 2.00 1.97 3/87 32713
/proc/meminfo: memFree=1421048/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=12.6
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10442 0 1 0 1180 80 0 0 25 0 8 0 272282674 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32705/statm: 228861 10179 2479 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.13
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272282683 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915444
[startup+25.5909 s]
/proc/loadavg: 1.98 2.00 1.97 3/87 32713
/proc/meminfo: memFree=1421112/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=25.33
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10442 0 1 0 2371 162 0 0 25 0 8 0 272282674 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32705/statm: 228861 10179 2479 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.13
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272282683 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915444
[startup+51.1985 s]
/proc/loadavg: 1.98 2.00 1.97 3/87 32713
/proc/meminfo: memFree=1420728/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=50.71
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10600 0 1 0 4862 209 0 0 25 0 8 0 272282674 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32705/statm: 228861 10332 2532 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.24
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 388 0 0 0 23 1 0 0 15 0 8 0 272282683 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915444
[startup+102.403 s]
/proc/loadavg: 1.99 2.00 1.97 3/87 32713
/proc/meminfo: memFree=1420856/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=101.45
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10606 0 1 0 9936 209 0 0 25 0 8 0 272282674 937414656 10336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32705/statm: 228861 10336 2532 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.25
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 393 0 0 0 24 1 0 0 17 0 8 0 272282683 937414656 10336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915444
[startup+162.451 s]
/proc/loadavg: 1.99 2.00 1.97 3/87 32713
/proc/meminfo: memFree=1420792/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=160.97
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10607 0 1 0 15887 210 0 0 25 0 8 0 272282674 937414656 10336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855783 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2016.25
Current children cumulated vsize (KiB) 915444
[startup+2083.44 s]
/proc/loadavg: 1.00 1.07 1.40 2/72 644
/proc/meminfo: memFree=1459912/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=2076.21
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10609 0 1 0 207398 223 0 0 25 0 8 0 272282674 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32705/statm: 228861 10337 2532 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.25
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2076.21
Current children cumulated vsize (KiB) 915444
[startup+2143.45 s]
/proc/loadavg: 1.00 1.06 1.37 2/72 644
/proc/meminfo: memFree=1459912/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=2136.18
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10609 0 1 0 213395 223 0 0 25 0 8 0 272282674 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32705/statm: 228861 10337 2532 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.25
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2136.18
Current children cumulated vsize (KiB) 915444
[startup+2203.46 s]
/proc/loadavg: 1.00 1.05 1.35 2/72 644
/proc/meminfo: memFree=1459976/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=2196.16
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10609 0 1 0 219393 223 0 0 25 0 8 0 272282674 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32705/statm: 228861 10337 2532 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.25
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2196.16
Current children cumulated vsize (KiB) 915444
[startup+2263.47 s]
/proc/loadavg: 1.00 1.03 1.32 2/72 644
/proc/meminfo: memFree=1459976/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=2256.13
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10609 0 1 0 225390 223 0 0 25 0 8 0 272282674 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32705/statm: 228861 10337 2532 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.25
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2256.13
Current children cumulated vsize (KiB) 915444
[startup+2323.48 s]
/proc/loadavg: 1.00 1.03 1.30 2/72 644
/proc/meminfo: memFree=1460040/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=2316.1
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10609 0 1 0 231387 223 0 0 25 0 8 0 272282674 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809828 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32705/statm: 228861 10337 2532 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.25
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2316.1
Current children cumulated vsize (KiB) 915444
[startup+2383.49 s]
/proc/loadavg: 1.00 1.02 1.28 2/72 644
/proc/meminfo: memFree=1460040/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=2376.07
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10609 0 1 0 237384 223 0 0 25 0 8 0 272282674 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32705/statm: 228861 10337 2532 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.25
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2376.07
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2407.44 s]
/proc/loadavg: 1.00 1.02 1.27 2/72 644
/proc/meminfo: memFree=1459976/2055920 swapFree=4191892/4192956
[pid=32705] ppid=32703 vsize=915444 CPUtime=2400.01
/proc/32705/stat : 32705 (java) R 32703 32705 31724 0 -1 0 10609 0 1 0 239778 223 0 0 25 0 8 0 272282674 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32705/statm: 228861 10337 2532 14 0 215331 0
[pid=32705/tid=32707] ppid=32703 vsize=915444 CPUtime=0.03
/proc/32705/task/32707/stat : 32707 (java) S 32703 32705 31724 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32708] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32708/stat : 32708 (java) S 32703 32705 31724 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32709] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32709/stat : 32709 (java) S 32703 32705 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272282680 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32710] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32710/stat : 32710 (java) S 32703 32705 31724 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32711] ppid=32703 vsize=915444 CPUtime=0.25
/proc/32705/task/32711/stat : 32711 (java) S 32703 32705 31724 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32705/tid=32712] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32712/stat : 32712 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32705/tid=32713] ppid=32703 vsize=915444 CPUtime=0
/proc/32705/task/32713/stat : 32713 (java) S 32703 32705 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272282683 937414656 10337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2407.49
CPU time (s): 2400.07
CPU user time (s): 2397.83
CPU system time (s): 2.24366
CPU usage (%): 99.6916
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.83
system time used= 2.24366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10630
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= 49818
involuntary context switches= 53438
runsolver used 2.55161 s user time and 7.14291 s system time
The end
Begin job on node44 on Fri Jan 19 20:33:56 UTC 2007
IDJOB= 276490
IDBENCH= 5803
IDSOLVER= 68
FILE ID= node44/276490-1169238836
PBS_JOBID= 3589290
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276490-1169238836/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-276490-1169238836 -o ROOT/results/node44/solver-276490-1169238836 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276490-1169238836/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8e7cbddc90b4e2781e7f5481f3b737fb
RANDOM SEED= 265117075
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.213
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.213
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: 1452752 kB
Buffers: 44160 kB
Cached: 432320 kB
SwapCached: 268 kB
Active: 183364 kB
Inactive: 345556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1452752 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2404 kB
Writeback: 0 kB
Mapped: 71432 kB
Slab: 59572 kB
Committed_AS: 5676340 kB
PageTables: 1868 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= 66562 MiB
End job on node44 on Fri Jan 19 21:14:04 UTC 2007