0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276481-1169238580/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.43 => wckTime=0.096 cpuTime=0.09 mem=6M887
0.43
0.43 relations being loaded...
0.60
0.60 constraints being loaded...
0.68 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.68 => wckTime=0.354 cpuTime=0.29 mem=21M668
0.73
0.73 solver LocalSearchSolver being built...
0.77 => wckTime=0.44 cpuTime=0.34 mem=6M328
0.78
0.78 s SATISFIABLE
0.78 o 20
0.78 c 83
0.78 o 25
0.78 c 78
0.78 o 30
0.78 c 73
0.79 o 34
0.79 c 69
0.79 o 38
0.79 c 65
0.79 o 41
0.79 c 62
0.79 o 44
0.79 c 59
0.79 o 47
0.79 c 56
0.79 o 49
0.79 c 54
0.79 o 53
0.79 c 50
0.79 o 56
0.79 c 47
0.79 o 59
0.79 c 44
0.79 o 62
0.79 c 41
0.79 o 65
0.79 c 38
0.79 o 67
0.80 c 36
0.80 o 69
0.80 c 34
0.80 o 72
0.80 c 31
0.80 o 74
0.80 c 29
0.80 o 75
0.80 c 28
0.80 o 77
0.80 c 26
0.80 o 78
0.80 c 25
0.80 o 79
0.80 c 24
0.80 o 81
0.80 c 22
0.80 o 82
0.80 c 21
0.80 o 83
0.80 c 20
0.80 o 84
0.80 c 19
0.80 o 85
0.80 c 18
0.81 o 86
0.81 c 17
0.81 o 87
0.81 c 16
0.81 o 88
0.81 c 15
0.81 o 89
0.81 c 14
0.82 o 90
0.82 c 13
0.82 o 91
0.82 c 12
0.83 o 92
0.83 c 11
0.86 o 93
0.86 c 10
0.87 o 94
0.87 c 9
0.90 o 95
0.90 c 8
0.90 o 96
0.90 c 7
0.93 o 97
0.93 c 6
1.54 o 98
1.54 c 5
1.57 o 99
1.57 c 4
5.99
5.99 search
5.99 run=0 nbConstraintChecks=45010032 nbAssignments=10000
5.99 => wckTime=5.216 cpuTime=5.19 mem=6M328
11.53
11.53 search
11.53 run=1 nbConstraintChecks=92627531 nbAssignments=20000
11.53 => wckTime=10.765 cpuTime=10.72 mem=6M328
16.70
16.70 search
16.70 run=2 nbConstraintChecks=136225147 nbAssignments=30000
16.70 => wckTime=15.933 cpuTime=15.9 mem=6M328
22.34
22.34 search
22.34 run=3 nbConstraintChecks=184345308 nbAssignments=40000
22.34 => wckTime=21.57 cpuTime=21.53 mem=6M328
27.44
27.44 search
27.44 run=4 nbConstraintChecks=227743388 nbAssignments=50000
27.44 => wckTime=26.674 cpuTime=26.63 mem=6M328
31.60
31.60 search
31.60 run=5 nbConstraintChecks=263118316 nbAssignments=57241
31.60 => wckTime=30.831 cpuTime=30.79 mem=6M328
31.60
31.60 global
31.60 nbConstraintChecks=263118316 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.60 solvingWckTime=30.828 solvingCpuTime=30.79 expiredTime=no totalExploration=no nbFoundSolutions=0
31.60 globalCpuTime=31.18
31.60 => wckTime=31.272 cpuTime=31.13 mem=6M328
31.60
31.60 solver IterativeSystematicSolver being built...
31.72 => wckTime=31.393 cpuTime=31.23 mem=17M269
31.81
31.81 preprocessing
31.81 nbConstraintChecks=181772 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.81 detectedInconsistency=no
31.81 => wckTime=0.079 cpuTime=0.05 mem=17M269
32.40
32.40 search
32.40 run=0 nbConstraintChecks=3509205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=314
32.40 nbFailedAssignments=296 nbBacktracks=10 nbVisitedNodes=621 nbRestartNogoods=0
32.40 => wckTime=0.677 cpuTime=0.65 mem=17M269
32.89
32.89 search
32.89 run=1 nbConstraintChecks=6296754 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=554
32.89 nbFailedAssignments=509 nbBacktracks=25 nbVisitedNodes=1089 nbRestartNogoods=105
32.89 => wckTime=1.162 cpuTime=1.12 mem=17M269
34.21
34.21 search
34.21 run=2 nbConstraintChecks=13110782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1175
34.21 nbFailedAssignments=1100 nbBacktracks=47 nbVisitedNodes=2323 nbRestartNogoods=126
34.21 => wckTime=2.487 cpuTime=2.44 mem=17M269
35.43
35.43 search
35.43 run=3 nbConstraintChecks=20380767 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1792
35.43 nbFailedAssignments=1677 nbBacktracks=80 nbVisitedNodes=3550 nbRestartNogoods=149
35.43 => wckTime=3.705 cpuTime=3.64 mem=17M269
37.99
38.00 search
38.00 run=4 nbConstraintChecks=38383123 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3216
38.00 nbFailedAssignments=3044 nbBacktracks=130 nbVisitedNodes=6391 nbRestartNogoods=174
38.00 => wckTime=6.27 cpuTime=6.2 mem=17M269
39.51
39.51 search
39.51 run=5 nbConstraintChecks=46353164 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4077
39.51 nbFailedAssignments=3820 nbBacktracks=205 nbVisitedNodes=8103 nbRestartNogoods=218
39.51 => wckTime=7.782 cpuTime=7.69 mem=17M269
40.57
40.57 search
40.57 run=6 nbConstraintChecks=51387264 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4711
40.57 nbFailedAssignments=4329 nbBacktracks=318 nbVisitedNodes=9359 nbRestartNogoods=304
40.57 => wckTime=8.843 cpuTime=8.75 mem=17M269
42.58
42.58 search
42.58 run=7 nbConstraintChecks=64281734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6742
42.58 nbFailedAssignments=6176 nbBacktracks=488 nbVisitedNodes=13407 nbRestartNogoods=404
42.58 => wckTime=10.857 cpuTime=10.76 mem=17M269
55.59
55.59 search
55.59 run=8 nbConstraintChecks=139565808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11948
55.59 nbFailedAssignments=11116 nbBacktracks=744 nbVisitedNodes=23809 nbRestartNogoods=556
55.59 => wckTime=23.868 cpuTime=23.76 mem=17M269
66.44
66.44 search
66.44 run=9 nbConstraintChecks=208109247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17977
66.44 nbFailedAssignments=16746 nbBacktracks=1129 nbVisitedNodes=35852 nbRestartNogoods=764
66.44 => wckTime=34.717 cpuTime=34.61 mem=17M269
78.80
78.80 search
78.80 run=10 nbConstraintChecks=285131590 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26496
78.80 nbFailedAssignments=24675 nbBacktracks=1705 nbVisitedNodes=52876 nbRestartNogoods=869
78.80 => wckTime=47.076 cpuTime=46.96 mem=17M269
102.90
102.90 search
102.90 run=11 nbConstraintChecks=416264473 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36016
102.90 nbFailedAssignments=33319 nbBacktracks=2569 nbVisitedNodes=71904 nbRestartNogoods=925
102.90 => wckTime=71.174 cpuTime=71.01 mem=17M269
109.80
109.80 search
109.80 run=12 nbConstraintChecks=459459424 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42235
109.80 nbFailedAssignments=38231 nbBacktracks=3866 nbVisitedNodes=84332 nbRestartNogoods=1049
109.80 => wckTime=78.077 cpuTime=77.91 mem=17M269
144.43
144.48 search
144.48 run=13 nbConstraintChecks=660332959 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57858
144.48 nbFailedAssignments=51891 nbBacktracks=5812 nbVisitedNodes=115561 nbRestartNogoods=1193
144.48 => wckTime=112.706 cpuTime=112.5 mem=17M269
182.21
182.21 search
182.21 run=14 nbConstraintChecks=854122453 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82187
182.21 nbFailedAssignments=73286 nbBacktracks=8731 nbVisitedNodes=164191 nbRestartNogoods=1228
182.21 => wckTime=150.486 cpuTime=150.25 mem=17M269
238.51
238.51 search
238.51 run=15 nbConstraintChecks=1137538939 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117414
238.51 nbFailedAssignments=104116 nbBacktracks=13110 nbVisitedNodes=234567 nbRestartNogoods=1353
238.51 => wckTime=206.785 cpuTime=206.49 mem=17M269
294.26
294.26 search
294.26 run=16 nbConstraintChecks=1397944716 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=149608
294.26 nbFailedAssignments=129738 nbBacktracks=19678 nbVisitedNodes=298813 nbRestartNogoods=1407
294.26 => wckTime=262.536 cpuTime=262.19 mem=17M269
417.42
417.42 search
417.42 run=17 nbConstraintChecks=1980171212 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=197221
417.42 nbFailedAssignments=167492 nbBacktracks=29531 nbVisitedNodes=393376 nbRestartNogoods=1441
417.42 => wckTime=385.691 cpuTime=385.22 mem=17M269
587.27
587.27 search
587.27 run=18 nbConstraintChecks=2751311529 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=261160
587.27 nbFailedAssignments=216646 nbBacktracks=44309 nbVisitedNodes=520158 nbRestartNogoods=1463
587.27 => wckTime=555.542 cpuTime=554.89 mem=17M269
837.68
837.68 search
837.68 run=19 nbConstraintChecks=3934781295 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=359829
837.68 nbFailedAssignments=293142 nbBacktracks=66477 nbVisitedNodes=716067 nbRestartNogoods=1489
837.68 => wckTime=805.952 cpuTime=805.05 mem=17M269
1172.50
1172.50 search
1172.50 run=20 nbConstraintChecks=5492167826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=490987
1172.50 nbFailedAssignments=391040 nbBacktracks=99729 nbVisitedNodes=976364 nbRestartNogoods=1511
1172.50 => wckTime=1140.771 cpuTime=1139.49 mem=17M269
1733.61
1733.61 search
1733.61 run=21 nbConstraintChecks=7985507927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=697615
1733.61 nbFailedAssignments=547783 nbBacktracks=149607 nbVisitedNodes=1385504 nbRestartNogoods=1567
1733.61 => wckTime=1701.886 cpuTime=1698.44 mem=17M269
2294.05 o 100
2294.05 c 3
2407.53 v 0 33 1 0 47 71 55 0 0 12 42 29 11 54 28 1 46 50 12 7 60 21 13 12 54 46 48 71 55 3 25 30 58 54 61 23 48 5 2 26
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-276481-1169238580 -o ROOT/results/node17/solver-276481-1169238580 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276481-1169238580/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.93 2.00 1.99 4/86 8381
/proc/meminfo: memFree=1375648/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=172 CPUtime=0
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272252858 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 0 0 0
/proc/8380/statm: 43 24 18 14 0 3 0
[startup+0.107216 s]
/proc/loadavg: 1.93 2.00 1.99 4/86 8381
/proc/meminfo: memFree=1375648/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=907808 CPUtime=0.05
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 2499 0 1 0 4 1 0 0 21 0 4 0 272252858 929595392 2246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 226952 2247 1229 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.515261 s]
/proc/loadavg: 1.93 2.00 1.99 4/86 8381
/proc/meminfo: memFree=1375648/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915332 CPUtime=0.46
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 7284 0 1 0 41 5 0 0 25 0 8 0 272252858 937299968 7023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073570526 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228833 7024 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33835 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 8388
/proc/meminfo: memFree=1344616/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=1.26
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10438 0 1 0 115 11 0 0 25 0 8 0 272252858 937414656 10176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10176 2479 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.1
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 330 0 0 0 10 0 0 0 16 0 8 0 272252870 937414656 10176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10176 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915444
[startup+2.99152 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 8388
/proc/meminfo: memFree=1344552/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=2.92
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10442 0 1 0 268 24 0 0 25 0 8 0 272252858 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073674924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10179 2479 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.1
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 333 0 0 0 10 0 0 0 16 0 8 0 272252870 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.28186 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 8388
/proc/meminfo: memFree=1344488/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=6.21
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10444 0 1 0 576 45 0 0 25 0 8 0 272252858 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10181 2479 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915448 CPUtime=0.11
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 335 0 0 0 11 0 0 0 16 0 8 0 272252870 937418752 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444
[startup+12.7735 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 8388
/proc/meminfo: memFree=1344488/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=12.7
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10444 0 1 0 1177 93 0 0 25 0 8 0 272252858 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073674971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10181 2479 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.11
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 335 0 0 0 11 0 0 0 16 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915444
[startup+25.6149 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 8388
/proc/meminfo: memFree=1344552/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=25.54
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10444 0 1 0 2371 183 0 0 25 0 8 0 272252858 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10181 2479 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915448 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937418752 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.11
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 335 0 0 0 11 0 0 0 16 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915444
[startup+51.2366 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 8388
/proc/meminfo: memFree=1344296/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=51.11
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10604 0 1 0 4889 222 0 0 25 0 8 0 272252858 937414656 10335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10335 2532 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.19
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 388 0 0 0 19 0 0 0 16 0 8 0 272252870 937414656 10335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915444
[startup+102.476 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 8388
/proc/meminfo: memFree=1344296/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=102.3
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10608 0 1 0 10008 222 0 0 25 0 8 0 272252858 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10338 2532 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.19
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 391 0 0 0 19 0 0 0 16 0 8 0 272252870 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915444
[startup+162.573 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 8388
/proc/meminfo: memFree=1344232/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=162.35
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10610 0 1 0 16012 223 0 0 25 0 8 0 272252858 937414656 10339 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.25
Current children cumulated vsize (KiB) 915444
[startup+2085.29 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 8586
/proc/meminfo: memFree=1343792/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=2080.07
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10612 0 1 0 207772 235 0 0 25 0 8 0 272252858 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10340 2532 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.2
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 393 0 0 0 20 0 0 0 16 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2080.07
Current children cumulated vsize (KiB) 915444
[startup+2145.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 8586
/proc/meminfo: memFree=1343792/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=2139.9
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10612 0 1 0 213755 235 0 0 25 0 8 0 272252858 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10340 2532 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.2
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 393 0 0 0 20 0 0 0 16 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2139.9
Current children cumulated vsize (KiB) 915444
[startup+2205.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 8586
/proc/meminfo: memFree=1343792/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=2199.71
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10612 0 1 0 219736 235 0 0 25 0 8 0 272252858 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10340 2532 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.2
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 393 0 0 0 20 0 0 0 16 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2199.71
Current children cumulated vsize (KiB) 915444
[startup+2265.57 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 8586
/proc/meminfo: memFree=1343856/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=2259.31
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10612 0 1 0 225696 235 0 0 25 0 8 0 272252858 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10340 2532 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.2
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 393 0 0 0 20 0 0 0 16 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2259.31
Current children cumulated vsize (KiB) 915444
[startup+2325.59 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 8586
/proc/meminfo: memFree=1343920/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=2318.85
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10612 0 1 0 231650 235 0 0 25 0 8 0 272252858 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10340 2532 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.2
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 393 0 0 0 20 0 0 0 16 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2318.85
Current children cumulated vsize (KiB) 915444
[startup+2385.63 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 8665
/proc/meminfo: memFree=1333784/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=2378.34
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10612 0 1 0 237596 238 0 0 25 0 8 0 272252858 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10340 2532 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.2
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 393 0 0 0 20 0 0 0 16 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2378.34
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2407.52 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 8665
/proc/meminfo: memFree=1333848/2055920 swapFree=4192812/4192956
[pid=8380] ppid=8378 vsize=915444 CPUtime=2400.04
/proc/8380/stat : 8380 (java) R 8378 8380 8312 0 -1 0 10612 0 1 0 239766 238 0 0 25 0 8 0 272252858 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8380/statm: 228861 10340 2532 14 0 215331 0
[pid=8380/tid=8382] ppid=8378 vsize=915444 CPUtime=0.03
/proc/8380/task/8382/stat : 8382 (java) S 8378 8380 8312 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8383] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8383/stat : 8383 (java) S 8378 8380 8312 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8384] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8384/stat : 8384 (java) S 8378 8380 8312 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272252866 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8385] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8385/stat : 8385 (java) S 8378 8380 8312 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8386] ppid=8378 vsize=915444 CPUtime=0.2
/proc/8380/task/8386/stat : 8386 (java) S 8378 8380 8312 0 -1 64 393 0 0 0 20 0 0 0 16 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8387] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8387/stat : 8387 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8380/tid=8388] ppid=8378 vsize=915444 CPUtime=0
/proc/8380/task/8388/stat : 8388 (java) S 8378 8380 8312 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272252870 937414656 10340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2407.55
CPU time (s): 2400.07
CPU user time (s): 2397.68
CPU system time (s): 2.38964
CPU usage (%): 99.6892
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.68
system time used= 2.38964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10632
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= 49882
involuntary context switches= 81211
runsolver used 3.32349 s user time and 7.2129 s system time
The end
Begin job on node17 on Fri Jan 19 20:29:41 UTC 2007
IDJOB= 276481
IDBENCH= 5796
IDSOLVER= 68
FILE ID= node17/276481-1169238580
PBS_JOBID= 3589021
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276481-1169238580/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-276481-1169238580 -o ROOT/results/node17/solver-276481-1169238580 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276481-1169238580/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 90b89c45a139e27edf2b84cc08c84db1
RANDOM SEED= 203422826
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.236
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.236
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: 1376128 kB
Buffers: 45340 kB
Cached: 491180 kB
SwapCached: 0 kB
Active: 258628 kB
Inactive: 346292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1376128 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2616 kB
Writeback: 0 kB
Mapped: 88760 kB
Slab: 59760 kB
Committed_AS: 7876636 kB
PageTables: 2216 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66555 MiB
End job on node17 on Fri Jan 19 21:09:48 UTC 2007