0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/277274-1169263881/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=16 nbDomainTypes=16 minDomainSize=141 maxDomainSize=220
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M887
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
1.00 nbConstraints=48 nbConvertedConstraints=48 nbConvertConstraintsChecks=1630237 nbExtensionStructures=48
1.00 nbSharedExtensionStructures=0 nbConflictsStructures=48 nbSharedConflictsStructures=0
1.00 nbSharedBinaryRepresentations=8792 maxDegree=6 maxArity=2
1.00 => wckTime=0.685 cpuTime=0.63 mem=9M814
1.04
1.04 solver LocalSearchSolver being built...
1.08 => wckTime=0.768 cpuTime=0.67 mem=6M50
1.09
1.09 s SATISFIABLE
1.09 o 31
1.09 c 17
1.10 o 34
1.10 c 14
1.10 o 35
1.10 c 13
1.10 o 37
1.10 c 11
1.10 o 38
1.10 c 10
1.10 o 39
1.10 c 9
1.10 o 40
1.10 c 8
1.11 o 41
1.11 c 7
1.12 o 42
1.12 c 6
1.12 o 43
1.12 c 5
1.13 o 44
1.13 c 4
1.48 o 45
1.48 c 3
8.45
8.45 search
8.45 run=0 nbConstraintChecks=64979297 nbAssignments=10000
8.45 => wckTime=7.37 cpuTime=7.28 mem=6M50
10.94 o 46
10.94 c 2
16.05
16.05 search
16.05 run=1 nbConstraintChecks=131485899 nbAssignments=20000
16.05 => wckTime=14.967 cpuTime=14.81 mem=6M50
22.80
22.80 search
22.80 run=2 nbConstraintChecks=190061840 nbAssignments=30000
22.80 => wckTime=21.715 cpuTime=21.5 mem=6M50
30.72
30.72 search
30.72 run=3 nbConstraintChecks=259250694 nbAssignments=40000
30.72 => wckTime=29.634 cpuTime=29.33 mem=6M50
37.71
37.71 search
37.71 run=4 nbConstraintChecks=320011856 nbAssignments=50000
37.71 => wckTime=36.63 cpuTime=36.27 mem=6M50
41.22
41.22 search
41.22 run=5 nbConstraintChecks=350893663 nbAssignments=54607
41.22 => wckTime=40.134 cpuTime=39.75 mem=6M50
41.22
41.22 global
41.22 nbConstraintChecks=350893663 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.22 solvingWckTime=40.132 solvingCpuTime=39.75 expiredTime=no totalExploration=no nbFoundSolutions=0
41.22 globalCpuTime=40.47
41.22 => wckTime=40.903 cpuTime=40.42 mem=6M50
41.22
41.22 solver IterativeSystematicSolver being built...
41.36 => wckTime=41.043 cpuTime=40.52 mem=16M0
41.42
41.42 preprocessing
41.42 nbConstraintChecks=173783 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
41.42 detectedInconsistency=no
41.42 => wckTime=0.063 cpuTime=0.05 mem=16M0
41.75
41.75 search
41.75 run=0 nbConstraintChecks=3864847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=254
41.75 nbFailedAssignments=239 nbBacktracks=10 nbVisitedNodes=504 nbRestartNogoods=0
41.75 => wckTime=0.39 cpuTime=0.36 mem=17M8
42.91
42.91 search
42.91 run=1 nbConstraintChecks=15544925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1022
42.91 nbFailedAssignments=986 nbBacktracks=25 nbVisitedNodes=2034 nbRestartNogoods=1
42.91 => wckTime=1.545 cpuTime=1.5 mem=17M8
43.45
43.45 search
43.46 run=2 nbConstraintChecks=21693886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1566
43.46 nbFailedAssignments=1500 nbBacktracks=47 nbVisitedNodes=3114 nbRestartNogoods=46
43.46 => wckTime=2.094 cpuTime=2.02 mem=17M8
45.89
45.89 search
45.89 run=3 nbConstraintChecks=50794483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3630
45.89 nbFailedAssignments=3523 nbBacktracks=80 nbVisitedNodes=7234 nbRestartNogoods=86
45.89 => wckTime=4.532 cpuTime=4.43 mem=17M8
47.08
47.08 search
47.08 run=4 nbConstraintChecks=64115614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4446
47.08 nbFailedAssignments=4284 nbBacktracks=130 nbVisitedNodes=8861 nbRestartNogoods=166
47.08 => wckTime=5.72 cpuTime=5.6 mem=17M8
48.85
48.85 search
48.85 run=5 nbConstraintChecks=83051632 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5610
48.85 nbFailedAssignments=5366 nbBacktracks=205 nbVisitedNodes=11182 nbRestartNogoods=185
48.85 => wckTime=7.493 cpuTime=7.36 mem=17M8
51.64
51.64 search
51.64 run=6 nbConstraintChecks=111553487 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7876
51.64 nbFailedAssignments=7515 nbBacktracks=318 nbVisitedNodes=15710 nbRestartNogoods=245
51.64 => wckTime=10.281 cpuTime=10.12 mem=17M8
62.93
62.93 search
62.93 run=7 nbConstraintChecks=230609931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15826
62.93 nbFailedAssignments=15288 nbBacktracks=488 nbVisitedNodes=31603 nbRestartNogoods=252
62.93 => wckTime=21.567 cpuTime=21.3 mem=17M8
84.54
84.54 search
84.54 run=8 nbConstraintChecks=446902295 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28999
84.54 nbFailedAssignments=28200 nbBacktracks=744 nbVisitedNodes=57943 nbRestartNogoods=408
84.54 => wckTime=43.181 cpuTime=42.71 mem=17M8
98.53
98.53 search
98.53 run=9 nbConstraintChecks=592456396 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37377
98.53 nbFailedAssignments=36188 nbBacktracks=1128 nbVisitedNodes=74690 nbRestartNogoods=425
98.53 => wckTime=57.174 cpuTime=56.57 mem=17M8
133.10
133.10 search
133.10 run=10 nbConstraintChecks=946619927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56059
133.10 nbFailedAssignments=54292 nbBacktracks=1704 nbVisitedNodes=112041 nbRestartNogoods=480
133.10 => wckTime=91.739 cpuTime=90.82 mem=17M8
149.57
149.57 search
149.57 run=11 nbConstraintChecks=1091534938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64300
149.57 nbFailedAssignments=61664 nbBacktracks=2568 nbVisitedNodes=128473 nbRestartNogoods=500
149.57 => wckTime=108.212 cpuTime=107.14 mem=17M8
207.10
207.10 search
207.10 run=12 nbConstraintChecks=1569910703 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=91962
207.10 nbFailedAssignments=88023 nbBacktracks=3865 nbVisitedNodes=183651 nbRestartNogoods=554
207.10 => wckTime=165.737 cpuTime=164.14 mem=17M8
281.84
281.84 search
281.84 run=13 nbConstraintChecks=2145061739 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=127369
281.84 nbFailedAssignments=121482 nbBacktracks=5811 nbVisitedNodes=254346 nbRestartNogoods=649
281.84 => wckTime=240.477 cpuTime=238.19 mem=17M8
355.93
355.93 search
355.93 run=14 nbConstraintChecks=2737660543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164098
355.93 nbFailedAssignments=155290 nbBacktracks=8730 nbVisitedNodes=327585 nbRestartNogoods=702
355.93 => wckTime=314.569 cpuTime=311.6 mem=17M8
492.67
492.67 search
492.67 run=15 nbConstraintChecks=3934547236 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=228191
492.67 nbFailedAssignments=215000 nbBacktracks=13108 nbVisitedNodes=455477 nbRestartNogoods=868
492.67 => wckTime=451.31 cpuTime=447.4 mem=17M8
674.71
674.71 search
674.71 run=16 nbConstraintChecks=5576281903 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=318680
674.71 nbFailedAssignments=298916 nbBacktracks=19676 nbVisitedNodes=636003 nbRestartNogoods=942
674.71 => wckTime=633.354 cpuTime=628.57 mem=17M8
930.98
930.98 search
930.98 run=17 nbConstraintChecks=7913083592 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=450242
930.98 nbFailedAssignments=420623 nbBacktracks=29528 nbVisitedNodes=898668 nbRestartNogoods=1016
930.98 => wckTime=889.62 cpuTime=884.49 mem=17M8
1383.28
1383.28 search
1383.28 run=18 nbConstraintChecks=12100984714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=699635
1383.28 nbFailedAssignments=655232 nbBacktracks=44306 nbVisitedNodes=1396572 nbRestartNogoods=1106
1383.28 => wckTime=1341.917 cpuTime=1336.63 mem=17M8
1985.93
1985.93 search
1985.93 run=19 nbConstraintChecks=17891756389 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1985.93 nbAssignments=1021510 nbFailedAssignments=954935 nbBacktracks=66474 nbVisitedNodes=2038765
1985.93 nbRestartNogoods=1267
1985.93 => wckTime=1944.573 cpuTime=1938.9 mem=17M8
2406.48 v 10 154 78 213 75 213 173 0 90 1 149 209 173 28 76 104
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-277274-1169263881 -o ROOT/results/node12/solver-277274-1169263881 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277274-1169263881/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.01 2.03 2.00 5/93 572
/proc/meminfo: memFree=1137200/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=18540 CPUtime=0
/proc/571/stat : 571 (runsolver) R 569 571 31867 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274783164 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/571/statm: 4635 279 244 17 0 2626 0
[startup+0.10274 s]
/proc/loadavg: 2.01 2.03 2.00 5/93 572
/proc/meminfo: memFree=1137200/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=914988 CPUtime=0.07
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 2956 0 1 0 6 1 0 0 17 0 8 0 274783164 936947712 2702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154009163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/571/statm: 228747 2702 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.510813 s]
/proc/loadavg: 2.01 2.03 2.00 5/93 572
/proc/meminfo: memFree=1137200/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=0.49
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 6436 0 1 0 44 5 0 0 18 0 8 0 274783164 937435136 6175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585686 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/571/statm: 228866 6175 2170 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.33196 s]
/proc/loadavg: 2.01 2.03 2.00 3/100 579
/proc/meminfo: memFree=1117880/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=1.29
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 7517 0 1 0 122 7 0 0 25 0 8 0 274783164 937435136 7255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/571/statm: 228866 7255 2499 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 288 0 0 0 2 0 0 0 17 0 8 0 274783168 937435136 7255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 7255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.1
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 319 0 0 0 9 1 0 0 16 0 8 0 274783172 937435136 7255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 7255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 7255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.97225 s]
/proc/loadavg: 2.01 2.03 2.00 3/100 579
/proc/meminfo: memFree=1117816/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=2.92
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 7521 0 1 0 275 17 0 0 25 0 8 0 274783164 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/571/statm: 228866 7258 2499 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 288 0 0 0 2 0 0 0 17 0 8 0 274783168 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.11
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 322 0 0 0 10 1 0 0 16 0 8 0 274783172 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.26684 s]
/proc/loadavg: 2.01 2.03 2.00 3/100 579
/proc/meminfo: memFree=1117816/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=6.18
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 7521 0 1 0 583 35 0 0 25 0 8 0 274783164 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/571/statm: 228866 7258 2499 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 288 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.11
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 322 0 0 0 10 1 0 0 16 0 8 0 274783172 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 7258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.742 s]
/proc/loadavg: 2.01 2.03 2.00 3/100 579
/proc/meminfo: memFree=1117752/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=12.6
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 7525 0 1 0 1192 68 0 0 25 0 8 0 274783164 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637612 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/571/statm: 228866 7262 2499 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 288 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.11
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 326 0 0 0 10 1 0 0 16 0 8 0 274783172 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464
[startup+25.6023 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 579
/proc/meminfo: memFree=1117816/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=25.34
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 7525 0 1 0 2396 138 0 0 25 0 8 0 274783164 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/571/statm: 228866 7262 2499 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 288 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.11
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 326 0 0 0 10 1 0 0 16 0 8 0 274783172 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915464
[startup+51.2079 s]
/proc/loadavg: 2.08 2.04 2.00 3/100 579
/proc/meminfo: memFree=1111928/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=50.71
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9080 0 1 0 4850 221 0 0 25 0 8 0 274783164 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/571/statm: 228866 8812 2549 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 289 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.21
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 378 0 0 0 20 1 0 0 16 0 8 0 274783172 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915464
[startup+102.415 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 579
/proc/meminfo: memFree=1111800/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=101.45
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9096 0 1 0 9924 221 0 0 25 0 8 0 274783164 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/571/statm: 228866 8826 2549 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 289 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.22
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 274783172 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915464
[startup+162.469 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 579
/proc/meminfo: memFree=1111800/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=160.94
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9104 0 1 0 15873 221 0 0 25 0 8 0 274783164 937435136 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2017.4
Current children cumulated vsize (KiB) 915464
[startup+2083.45 s]
/proc/loadavg: 1.03 1.01 1.21 2/88 887
/proc/meminfo: memFree=1349336/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=2077.38
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9135 0 1 0 207498 240 0 0 25 0 8 0 274783164 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755666 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/571/statm: 228866 8861 2549 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 289 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.22
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2077.38
Current children cumulated vsize (KiB) 915464
[startup+2143.51 s]
/proc/loadavg: 1.61 1.17 1.25 3/100 929
/proc/meminfo: memFree=1239992/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=2137.36
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9135 0 1 0 213495 241 0 0 25 0 8 0 274783164 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/571/statm: 228866 8861 2549 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 289 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.22
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2137.36
Current children cumulated vsize (KiB) 915464
[startup+2203.59 s]
/proc/loadavg: 1.85 1.32 1.29 3/100 929
/proc/meminfo: memFree=1180216/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=2197.37
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9135 0 1 0 219496 241 0 0 25 0 8 0 274783164 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/571/statm: 228866 8861 2549 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 289 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.22
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2197.37
Current children cumulated vsize (KiB) 915464
[startup+2263.65 s]
/proc/loadavg: 1.94 1.44 1.33 3/100 929
/proc/meminfo: memFree=1120696/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=2257.37
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9135 0 1 0 225496 241 0 0 25 0 8 0 274783164 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783327 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/571/statm: 228866 8861 2549 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 289 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.22
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2257.37
Current children cumulated vsize (KiB) 915464
[startup+2323.73 s]
/proc/loadavg: 1.98 1.54 1.37 3/100 929
/proc/meminfo: memFree=1120696/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=2317.37
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9135 0 1 0 231496 241 0 0 25 0 8 0 274783164 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751450 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/571/statm: 228866 8861 2549 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 289 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.22
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2317.37
Current children cumulated vsize (KiB) 915464
[startup+2383.83 s]
/proc/loadavg: 1.99 1.62 1.41 3/100 929
/proc/meminfo: memFree=1120696/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=2377.42
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9135 0 1 0 237501 241 0 0 25 0 8 0 274783164 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758074 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/571/statm: 228866 8861 2549 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 289 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.22
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2377.42
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2406.46 s]
/proc/loadavg: 1.99 1.65 1.42 3/100 929
/proc/meminfo: memFree=1120696/2055920 swapFree=4160348/4192956
[pid=571] ppid=569 vsize=915464 CPUtime=2400.04
/proc/571/stat : 571 (java) R 569 571 31867 0 -1 0 9135 0 1 0 239763 241 0 0 25 0 8 0 274783164 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754719 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/571/statm: 228866 8861 2549 14 0 215336 0
[pid=571/tid=573] ppid=569 vsize=915464 CPUtime=0.02
/proc/571/task/573/stat : 573 (java) S 569 571 31867 0 -1 64 289 0 0 0 2 0 0 0 16 0 8 0 274783168 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=574] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/574/stat : 574 (java) S 569 571 31867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=575] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/575/stat : 575 (java) S 569 571 31867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274783169 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=576] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/576/stat : 576 (java) S 569 571 31867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=577] ppid=569 vsize=915464 CPUtime=0.22
/proc/571/task/577/stat : 577 (java) S 569 571 31867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=578] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/578/stat : 578 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274783172 937435136 8861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=571/tid=579] ppid=569 vsize=915464 CPUtime=0
/proc/571/task/579/stat : 579 (java) S 569 571 31867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274783172 937435136 8861 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) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.5
CPU time (s): 2400.08
CPU user time (s): 2397.66
CPU system time (s): 2.42163
CPU usage (%): 99.7331
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.66
system time used= 2.42163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9161
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= 49755
involuntary context switches= 78892
runsolver used 2.53861 s user time and 6.99594 s system time
The end
Begin job on node12 on Sat Jan 20 03:31:21 UTC 2007
IDJOB= 277274
IDBENCH= 6546
IDSOLVER= 68
FILE ID= node12/277274-1169263881
PBS_JOBID= 3607289
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-4/os-taillard-4-95-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277274-1169263881/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-277274-1169263881 -o ROOT/results/node12/solver-277274-1169263881 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277274-1169263881/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b860347ffd5aacca0d5d880f58d9a1b4
RANDOM SEED= 143991089
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.265
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.265
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: 1137680 kB
Buffers: 59508 kB
Cached: 514552 kB
SwapCached: 5164 kB
Active: 500084 kB
Inactive: 343304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1137680 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1676 kB
Writeback: 0 kB
Mapped: 288644 kB
Slab: 59364 kB
Committed_AS: 8394468 kB
PageTables: 2584 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= 66560 MiB
End job on node12 on Sat Jan 20 04:11:28 UTC 2007