0.47
0.47 Abscon 109 (November, 2006)
0.47
0.47 configuration
0.47 name=epfc.xml
0.50
0.50 instance
0.50 name=/tmp/evaluation/276679-1169244147/unknown.xml
0.53
0.53 domains being loaded...
0.54
0.54 variables being loaded...
0.57 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.57 => wckTime=0.097 cpuTime=0.09 mem=6M887
0.58
0.58 relations being loaded...
0.69
0.69 constraints being loaded...
0.77 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.77 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.77 => wckTime=0.291 cpuTime=0.24 mem=15M680
0.81
0.81 solver LocalSearchSolver being built...
0.85 => wckTime=0.376 cpuTime=0.28 mem=5M927
0.86
0.86 s SATISFIABLE
0.86 o 45
0.86 c 90
0.86 o 49
0.86 c 86
0.87 o 54
0.87 c 81
0.87 o 58
0.87 c 77
0.87 o 63
0.87 c 72
0.87 o 66
0.87 c 69
0.87 o 70
0.87 c 65
0.87 o 74
0.87 c 61
0.87 o 76
0.87 c 59
0.87 o 79
0.87 c 56
0.87 o 82
0.87 c 53
0.87 o 85
0.87 c 50
0.87 o 88
0.87 c 47
0.87 o 91
0.87 c 44
0.87 o 93
0.87 c 42
0.87 o 96
0.87 c 39
0.88 o 98
0.88 c 37
0.88 o 99
0.88 c 36
0.88 o 101
0.88 c 34
0.88 o 102
0.88 c 33
0.88 o 105
0.88 c 30
0.88 o 106
0.88 c 29
0.88 o 107
0.88 c 28
0.88 o 109
0.88 c 26
0.88 o 111
0.88 c 24
0.88 o 112
0.88 c 23
0.88 o 114
0.88 c 21
0.89 o 115
0.89 c 20
0.89 o 116
0.89 c 19
0.89 o 117
0.89 c 18
0.89 o 118
0.89 c 17
0.90 o 119
0.90 c 16
0.90 o 120
0.90 c 15
0.90 o 121
0.90 c 14
0.90 o 122
0.90 c 13
0.90 o 123
0.90 c 12
0.91 o 124
0.91 c 11
0.91 o 125
0.91 c 10
0.93 o 126
0.93 c 9
0.96 o 127
0.96 c 8
1.00 o 128
1.00 c 7
1.11 o 129
1.11 c 6
3.06 o 130
3.06 c 5
4.23
4.23 search
4.23 run=0 nbConstraintChecks=25178981 nbAssignments=10000
4.23 => wckTime=3.378 cpuTime=3.31 mem=5M927
7.68
7.68 search
7.68 run=1 nbConstraintChecks=52432499 nbAssignments=20000
7.68 => wckTime=6.833 cpuTime=6.75 mem=5M927
8.30 o 131
8.30 c 4
10.92
10.92 search
10.92 run=2 nbConstraintChecks=77586808 nbAssignments=30000
10.92 => wckTime=10.069 cpuTime=9.97 mem=5M927
14.23
14.23 search
14.23 run=3 nbConstraintChecks=103359425 nbAssignments=40000
14.23 => wckTime=13.378 cpuTime=13.27 mem=5M927
16.93 o 132
16.93 c 3
17.31
17.31 search
17.31 run=4 nbConstraintChecks=126732524 nbAssignments=50000
17.31 => wckTime=16.454 cpuTime=16.33 mem=5M927
20.69
20.69 search
20.69 run=5 nbConstraintChecks=152748120 nbAssignments=60000
20.69 => wckTime=19.839 cpuTime=19.69 mem=5M927
23.97
23.97 search
23.97 run=6 nbConstraintChecks=177772456 nbAssignments=70000
23.97 => wckTime=23.117 cpuTime=22.95 mem=5M927
27.44
27.44 search
27.44 run=7 nbConstraintChecks=205233864 nbAssignments=80000
27.44 => wckTime=26.591 cpuTime=26.4 mem=5M927
30.43
30.43 search
30.43 run=8 nbConstraintChecks=228076268 nbAssignments=90000
30.43 => wckTime=29.577 cpuTime=29.38 mem=5M927
33.55
33.55 search
33.55 run=9 nbConstraintChecks=252032591 nbAssignments=100000
33.55 => wckTime=32.702 cpuTime=32.49 mem=5M927
36.66
36.66 search
36.66 run=10 nbConstraintChecks=275803100 nbAssignments=110000
36.66 => wckTime=35.805 cpuTime=35.58 mem=5M927
40.08
40.08 search
40.08 run=11 nbConstraintChecks=302452933 nbAssignments=120000
40.08 => wckTime=39.234 cpuTime=38.99 mem=5M927
43.36
43.36 search
43.36 run=12 nbConstraintChecks=327840746 nbAssignments=130000
43.36 => wckTime=42.509 cpuTime=42.25 mem=5M927
46.46
46.46 search
46.46 run=13 nbConstraintChecks=351666004 nbAssignments=140000
46.46 => wckTime=45.609 cpuTime=45.33 mem=5M927
47.09
47.09 search
47.09 run=14 nbConstraintChecks=356541658 nbAssignments=142172
47.09 => wckTime=46.242 cpuTime=45.97 mem=5M927
47.09
47.09 global
47.09 nbConstraintChecks=356541658 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.09 solvingWckTime=46.238 solvingCpuTime=45.97 expiredTime=no totalExploration=no nbFoundSolutions=0
47.09 globalCpuTime=46.29
47.10 => wckTime=46.618 cpuTime=46.25 mem=5M927
47.10
47.10 solver IterativeSystematicSolver being built...
47.21 => wckTime=46.736 cpuTime=46.34 mem=16M916
47.31
47.31 preprocessing
47.31 nbConstraintChecks=109524 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
47.31 detectedInconsistency=no
47.31 => wckTime=0.099 cpuTime=0.06 mem=16M916
47.56
47.56 search
47.56 run=0 nbConstraintChecks=1191433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=197
47.56 nbFailedAssignments=180 nbBacktracks=10 nbVisitedNodes=388 nbRestartNogoods=0
47.56 => wckTime=0.341 cpuTime=0.3 mem=16M916
47.75
47.75 search
47.75 run=1 nbConstraintChecks=1911703 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=320
47.75 nbFailedAssignments=272 nbBacktracks=25 nbVisitedNodes=618 nbRestartNogoods=4
47.75 => wckTime=0.538 cpuTime=0.49 mem=16M916
48.04
48.04 search
48.04 run=2 nbConstraintChecks=3487808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=559
48.04 nbFailedAssignments=480 nbBacktracks=47 nbVisitedNodes=1087 nbRestartNogoods=23
48.04 => wckTime=0.828 cpuTime=0.77 mem=16M916
48.58
48.58 search
48.58 run=3 nbConstraintChecks=6217817 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1053
48.58 nbFailedAssignments=929 nbBacktracks=80 nbVisitedNodes=2063 nbRestartNogoods=64
48.58 => wckTime=1.363 cpuTime=1.3 mem=16M916
49.34
49.34 search
49.34 run=4 nbConstraintChecks=9916476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1742
49.34 nbFailedAssignments=1560 nbBacktracks=130 nbVisitedNodes=3433 nbRestartNogoods=128
49.34 => wckTime=2.13 cpuTime=2.05 mem=16M916
50.59
50.59 search
50.59 run=5 nbConstraintChecks=16293692 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2658
50.59 nbFailedAssignments=2385 nbBacktracks=205 nbVisitedNodes=5249 nbRestartNogoods=164
50.59 => wckTime=3.372 cpuTime=3.28 mem=16M916
51.89
51.89 search
51.89 run=6 nbConstraintChecks=21955163 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3572
51.89 nbFailedAssignments=3182 nbBacktracks=318 nbVisitedNodes=7068 nbRestartNogoods=235
51.89 => wckTime=4.676 cpuTime=4.58 mem=16M916
53.96
53.96 search
53.96 run=7 nbConstraintChecks=31387403 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5280
53.96 nbFailedAssignments=4712 nbBacktracks=488 nbVisitedNodes=10475 nbRestartNogoods=269
53.96 => wckTime=6.747 cpuTime=6.64 mem=16M916
55.63
55.63 search
55.63 run=8 nbConstraintChecks=39255328 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6555
55.63 nbFailedAssignments=5716 nbBacktracks=744 nbVisitedNodes=13007 nbRestartNogoods=290
55.63 => wckTime=8.417 cpuTime=8.3 mem=16M916
59.02
59.02 search
59.02 run=9 nbConstraintChecks=54467178 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8986
59.02 nbFailedAssignments=7746 nbBacktracks=1128 nbVisitedNodes=17851 nbRestartNogoods=340
59.02 => wckTime=11.802 cpuTime=11.67 mem=16M916
62.67
62.67 search
62.67 run=10 nbConstraintChecks=69939158 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11705
62.67 nbFailedAssignments=9881 nbBacktracks=1705 nbVisitedNodes=23275 nbRestartNogoods=381
62.67 => wckTime=15.456 cpuTime=15.3 mem=16M916
67.88
67.88 search
67.88 run=11 nbConstraintChecks=90618252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15048
67.88 nbFailedAssignments=12354 nbBacktracks=2569 nbVisitedNodes=29873 nbRestartNogoods=396
67.88 => wckTime=20.668 cpuTime=20.49 mem=16M916
75.49
75.49 search
75.49 run=12 nbConstraintChecks=118541014 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19563
75.49 nbFailedAssignments=15563 nbBacktracks=3866 nbVisitedNodes=38779 nbRestartNogoods=410
75.49 => wckTime=28.272 cpuTime=28.07 mem=16M916
84.65
84.65 search
84.65 run=13 nbConstraintChecks=154066313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25581
84.65 nbFailedAssignments=19627 nbBacktracks=5812 nbVisitedNodes=50614 nbRestartNogoods=427
84.65 => wckTime=37.436 cpuTime=37.19 mem=16M916
99.24
99.24 search
99.24 run=14 nbConstraintChecks=208680371 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34082
99.24 nbFailedAssignments=25192 nbBacktracks=8732 nbVisitedNodes=67204 nbRestartNogoods=460
99.24 => wckTime=52.022 cpuTime=51.68 mem=16M916
123.93
123.93 search
123.93 run=15 nbConstraintChecks=301847557 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48762
123.93 nbFailedAssignments=35487 nbBacktracks=13111 nbVisitedNodes=96069 nbRestartNogoods=493
123.93 => wckTime=76.715 cpuTime=76.28 mem=16M916
155.78
155.78 search
155.78 run=16 nbConstraintChecks=417035125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67173
155.78 nbFailedAssignments=47319 nbBacktracks=19679 nbVisitedNodes=132500 nbRestartNogoods=519
155.78 => wckTime=108.565 cpuTime=107.94 mem=16M916
208.18
208.18 search
208.18 run=17 nbConstraintChecks=599247871 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95072
208.18 nbFailedAssignments=65354 nbBacktracks=29531 nbVisitedNodes=187532 nbRestartNogoods=532
208.18 => wckTime=160.964 cpuTime=159.91 mem=16M916
271.89
271.89 search
271.89 run=18 nbConstraintChecks=833010875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=132566
271.89 nbFailedAssignments=88063 nbBacktracks=44309 nbVisitedNodes=259441 nbRestartNogoods=547
271.89 => wckTime=224.679 cpuTime=223.12 mem=16M916
380.43
380.43 search
380.43 run=19 nbConstraintChecks=1230345733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=193028
380.43 nbFailedAssignments=126350 nbBacktracks=66479 nbVisitedNodes=377374 nbRestartNogoods=584
380.43 => wckTime=333.219 cpuTime=330.77 mem=16M916
533.66
533.66 search
533.66 run=20 nbConstraintChecks=1798273212 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=282580
533.66 nbFailedAssignments=182643 nbBacktracks=99732 nbVisitedNodes=554033 nbRestartNogoods=606
533.66 => wckTime=486.45 cpuTime=482.76 mem=16M916
775.10
775.10 search
775.10 run=21 nbConstraintChecks=2655209483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=419430
775.10 nbFailedAssignments=269610 nbBacktracks=149610 nbVisitedNodes=821267 nbRestartNogoods=644
775.10 => wckTime=727.881 cpuTime=722.22 mem=16M916
1142.78
1142.78 search
1142.78 run=22 nbConstraintChecks=3987536520 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=624027
1142.78 nbFailedAssignments=399382 nbBacktracks=224428 nbVisitedNodes=1218694 nbRestartNogoods=670
1142.78 => wckTime=1095.571 cpuTime=1086.92 mem=16M916
1745.33
1745.33 search
1745.33 run=23 nbConstraintChecks=5975206090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=934952
1745.33 nbFailedAssignments=598072 nbBacktracks=336655 nbVisitedNodes=1827008 nbRestartNogoods=696
1745.33 => wckTime=1698.114 cpuTime=1688.81 mem=16M916
1934.56 o 133
1934.56 c 2
2410.02 v 18 18 15 26 0 2 21 18 12 3 22 1 0 31 29 35 33 36 9 18 12 8 29 37 22 13 1 18 23 30 22 26 7 39 9 18 29 0 1 11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-276679-1169244147 -o ROOT/results/node33/solver-276679-1169244147 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276679-1169244147/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: 2.07 2.06 1.92 5/81 24853
/proc/meminfo: memFree=1561768/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=172 CPUtime=0
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272808573 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10944811 0 0 4096 0 0 0 0 17 0 0 0
/proc/24852/statm: 55 31 25 14 0 3 0
[startup+0.107653 s]
/proc/loadavg: 2.07 2.06 1.92 5/81 24853
/proc/meminfo: memFree=1561768/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=47416 CPUtime=0
/proc/24852/stat : 24852 (java) D 24850 24852 24460 0 -1 0 1211 0 1 0 0 0 0 0 18 0 1 0 272808573 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/24852/statm: 11854 960 760 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416
[startup+0.519442 s]
/proc/loadavg: 2.07 2.06 1.92 5/81 24853
/proc/meminfo: memFree=1561768/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=915332 CPUtime=0.31
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 5584 0 1 0 28 3 0 0 25 0 8 0 272808573 937299968 5323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24852/statm: 228833 5323 2066 14 0 215303 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 915332
[startup+1.34361 s]
/proc/loadavg: 2.07 2.06 1.92 3/88 24860
/proc/meminfo: memFree=1536624/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=915444 CPUtime=1.13
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 8976 0 1 0 103 10 0 0 25 0 8 0 272808573 937414656 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24852/statm: 228861 8714 2479 14 0 215331 0
[pid=24852/tid=24854] ppid=24850 vsize=915444 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272808595 937414656 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 937414656 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 937414656 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 937414656 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=915444 CPUtime=0.11
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 272808598 937414656 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 937414656 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272808598 937414656 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 915444
[startup+2.98096 s]
/proc/loadavg: 2.07 2.06 1.92 3/88 24860
/proc/meminfo: memFree=1536496/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=915448 CPUtime=2.74
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 8980 0 1 0 245 29 0 0 25 0 8 0 272808573 937418752 8717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24852/statm: 228862 8717 2479 14 0 215332 0
[pid=24852/tid=24854] ppid=24850 vsize=915448 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272808595 937418752 8717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 937418752 8717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 937418752 8717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 937418752 8717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=915448 CPUtime=0.12
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 272808598 937418752 8717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 937418752 8717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 272808598 937418752 8717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 915448
[startup+6.27564 s]
/proc/loadavg: 2.07 2.06 1.92 3/88 24860
/proc/meminfo: memFree=1536496/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=915448 CPUtime=6.02
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 8982 0 1 0 538 64 0 0 25 0 8 0 272808573 937418752 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24852/statm: 228862 8719 2479 14 0 215332 0
[pid=24852/tid=24854] ppid=24850 vsize=915448 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272808595 937418752 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 937418752 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 937418752 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 937418752 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=915448 CPUtime=0.12
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272808598 937418752 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 937418752 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=915448 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272808598 937418752 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 915448
[startup+12.747 s]
/proc/loadavg: 2.06 2.05 1.92 3/88 24860
/proc/meminfo: memFree=1536496/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=915444 CPUtime=12.46
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 8982 0 1 0 1112 134 0 0 25 0 8 0 272808573 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24852/statm: 228861 8719 2479 14 0 215331 0
[pid=24852/tid=24854] ppid=24850 vsize=915444 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272808595 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=915444 CPUtime=0.12
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272808598 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) R 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272808598 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915444
[startup+25.5947 s]
/proc/loadavg: 1.97 2.04 1.91 3/82 25028
/proc/meminfo: memFree=1558040/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=915444 CPUtime=25.24
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 8982 0 1 0 2245 279 0 0 24 0 8 0 272808573 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679593 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24852/statm: 228861 8719 2479 14 0 215331 0
[pid=24852/tid=24854] ppid=24850 vsize=915444 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272808595 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=915444 CPUtime=0.12
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272808598 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=915444 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272808598 937414656 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915444
[startup+51.294 s]
/proc/loadavg: 1.98 2.03 1.91 3/81 25029
/proc/meminfo: memFree=1508960/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=50.81
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9142 0 1 0 4543 538 0 0 25 0 8 0 272808573 938463232 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24852/statm: 229117 8876 2532 14 0 215587 0
[pid=24852/tid=24854] ppid=24850 vsize=916468 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272808595 938463232 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 938463232 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 938463232 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 938463232 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=916468 CPUtime=0.22
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 272808598 938463232 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 938463232 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272808598 938463232 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 916468
[startup+102.58 s]
/proc/loadavg: 1.99 2.02 1.91 3/87 25101
/proc/meminfo: memFree=1536160/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=101.84
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9172 0 1 0 9645 539 0 0 25 0 8 0 272808573 938463232 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24852/statm: 229117 8903 2532 14 0 215587 0
[pid=24852/tid=24854] ppid=24850 vsize=916468 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272808595 938463232 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 938463232 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 938463232 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 938463232 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=916468 CPUtime=0.23
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 272808598 938463232 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 938463232 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272808598 938463232 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 916468
[startup+162.59 s]
/proc/loadavg: 2.03 2.03 1.92 3/87 25101
/proc/meminfo: memFree=1535840/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=161.53
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9177 0 1 0 15614 539 0 0 25 0 8 0 272808573 938463232 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.26
Current children cumulated vsize (KiB) 916468
[startup+2084.14 s]
/proc/loadavg: 1.00 1.05 1.34 2/72 25209
/proc/meminfo: memFree=1569728/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=2074.32
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9198 0 1 0 206888 544 0 0 25 0 8 0 272808573 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24852/statm: 229117 8927 2532 14 0 215587 0
[pid=24852/tid=24854] ppid=24850 vsize=916468 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=916468 CPUtime=0.23
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.32
Current children cumulated vsize (KiB) 916468
[startup+2144.22 s]
/proc/loadavg: 1.00 1.04 1.32 2/72 25209
/proc/meminfo: memFree=1569664/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=2134.38
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9198 0 1 0 212894 544 0 0 25 0 8 0 272808573 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796753 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24852/statm: 229117 8927 2532 14 0 215587 0
[pid=24852/tid=24854] ppid=24850 vsize=916468 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=916468 CPUtime=0.23
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.38
Current children cumulated vsize (KiB) 916468
[startup+2204.29 s]
/proc/loadavg: 1.00 1.03 1.29 2/72 25209
/proc/meminfo: memFree=1569728/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=2194.44
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9198 0 1 0 218899 545 0 0 25 0 8 0 272808573 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24852/statm: 229117 8927 2532 14 0 215587 0
[pid=24852/tid=24854] ppid=24850 vsize=916468 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=916468 CPUtime=0.23
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.44
Current children cumulated vsize (KiB) 916468
[startup+2264.37 s]
/proc/loadavg: 1.00 1.02 1.27 2/72 25209
/proc/meminfo: memFree=1569664/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=2254.5
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9198 0 1 0 224905 545 0 0 25 0 8 0 272808573 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24852/statm: 229117 8927 2532 14 0 215587 0
[pid=24852/tid=24854] ppid=24850 vsize=916468 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=916468 CPUtime=0.23
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.5
Current children cumulated vsize (KiB) 916468
[startup+2324.46 s]
/proc/loadavg: 1.00 1.02 1.25 2/72 25209
/proc/meminfo: memFree=1569664/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=2314.56
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9198 0 1 0 230911 545 0 0 25 0 8 0 272808573 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24852/statm: 229117 8927 2532 14 0 215587 0
[pid=24852/tid=24854] ppid=24850 vsize=916468 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=916468 CPUtime=0.23
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.56
Current children cumulated vsize (KiB) 916468
[startup+2384.54 s]
/proc/loadavg: 1.00 1.01 1.24 2/72 25209
/proc/meminfo: memFree=1569664/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=2374.62
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9198 0 1 0 236917 545 0 0 25 0 8 0 272808573 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24852/statm: 229117 8927 2532 14 0 215587 0
[pid=24852/tid=24854] ppid=24850 vsize=916468 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=916468 CPUtime=0.23
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.62
Current children cumulated vsize (KiB) 916468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2410.02 s]
/proc/loadavg: 1.00 1.01 1.23 2/72 25209
/proc/meminfo: memFree=1569664/2055920 swapFree=4192224/4192956
[pid=24852] ppid=24850 vsize=916468 CPUtime=2400.09
/proc/24852/stat : 24852 (java) R 24850 24852 24460 0 -1 0 9198 0 1 0 239464 545 0 0 25 0 8 0 272808573 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24852/statm: 229117 8927 2532 14 0 215587 0
[pid=24852/tid=24854] ppid=24850 vsize=916468 CPUtime=0.03
/proc/24852/task/24854/stat : 24854 (java) S 24850 24852 24460 0 -1 64 259 0 0 0 3 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24855] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24855/stat : 24855 (java) S 24850 24852 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24856] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24856/stat : 24856 (java) S 24850 24852 24460 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272808595 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24857] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24857/stat : 24857 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24858] ppid=24850 vsize=916468 CPUtime=0.23
/proc/24852/task/24858/stat : 24858 (java) S 24850 24852 24460 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24859] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24859/stat : 24859 (java) S 24850 24852 24460 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24852/tid=24860] ppid=24850 vsize=916468 CPUtime=0
/proc/24852/task/24860/stat : 24860 (java) S 24850 24852 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272808598 938463232 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 916468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2410.05
CPU time (s): 2400.12
CPU user time (s): 2394.67
CPU system time (s): 5.45817
CPU usage (%): 99.5882
Max. virtual memory (cumulated for all children) (KiB): 916472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.67
system time used= 5.45817
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9221
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= 49959
involuntary context switches= 54600
runsolver used 2.26066 s user time and 6.29604 s system time
The end
Begin job on node33 on Fri Jan 19 22:02:27 UTC 2007
IDJOB= 276679
IDBENCH= 5944
IDSOLVER= 68
FILE ID= node33/276679-1169244147
PBS_JOBID= 3589325
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276679-1169244147/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-276679-1169244147 -o ROOT/results/node33/solver-276679-1169244147 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276679-1169244147/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e90797268d71e6eb172828a0a7e4423c
RANDOM SEED= 557837986
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.281
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.281
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: 1562248 kB
Buffers: 43388 kB
Cached: 333880 kB
SwapCached: 268 kB
Active: 192920 kB
Inactive: 231612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1562248 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 2156 kB
Writeback: 0 kB
Mapped: 64412 kB
Slab: 54340 kB
Committed_AS: 4564656 kB
PageTables: 1904 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= 66563 MiB
End job on node33 on Fri Jan 19 22:42:37 UTC 2007