0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/280460-1169305920/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.63
0.63 constraints being loaded...
0.74 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.74 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=5 maxArity=10
0.74 => wckTime=0.419 cpuTime=0.38 mem=37M825
0.80
0.80 solver LocalSearchSolver being built...
0.84 => wckTime=0.527 cpuTime=0.42 mem=10M983
0.85
0.85 s SATISFIABLE
0.85 o 0
0.85 c 5
6.52
6.52 search
6.52 run=0 nbConstraintChecks=4300023 nbAssignments=10000
6.52 => wckTime=5.678 cpuTime=5.64 mem=10M983
7.96 o 1
7.96 c 4
11.90
11.90 search
11.90 run=1 nbConstraintChecks=8623917 nbAssignments=20000
11.90 => wckTime=11.054 cpuTime=10.98 mem=10M983
17.18
17.18 search
17.18 run=2 nbConstraintChecks=12955906 nbAssignments=30000
17.18 => wckTime=16.338 cpuTime=16.24 mem=10M983
22.50
22.50 search
22.50 run=3 nbConstraintChecks=17287927 nbAssignments=40000
22.50 => wckTime=21.655 cpuTime=21.53 mem=10M983
27.63
27.63 search
27.63 run=4 nbConstraintChecks=21444412 nbAssignments=50000
27.63 => wckTime=26.793 cpuTime=26.65 mem=10M983
32.54
32.54 search
32.54 run=5 nbConstraintChecks=25434221 nbAssignments=60000
32.54 => wckTime=31.694 cpuTime=31.52 mem=10M983
37.86
37.86 search
37.86 run=6 nbConstraintChecks=29762842 nbAssignments=70000
37.86 => wckTime=37.017 cpuTime=36.82 mem=10M983
38.11
38.11 search
38.11 run=7 nbConstraintChecks=29965967 nbAssignments=70468
38.11 => wckTime=37.269 cpuTime=37.07 mem=10M983
38.11
38.11 global
38.11 nbConstraintChecks=29965967 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.11 solvingWckTime=37.268 solvingCpuTime=37.07 expiredTime=no totalExploration=no nbFoundSolutions=0
38.11 globalCpuTime=37.55
38.11 => wckTime=37.797 cpuTime=37.49 mem=10M983
38.11
38.11 solver IterativeSystematicSolver being built...
38.25 => wckTime=37.937 cpuTime=37.6 mem=21M800
38.26
38.26 preprocessing
38.26 nbConstraintChecks=178 nbValidityChecks=500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.26 nbRemovedValues=0 detectedInconsistency=no
38.26 => wckTime=0.0080 cpuTime=0.01 mem=21M800
38.71
38.71 search
38.71 run=0 nbConstraintChecks=352443 nbValidityChecks=361360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.71 nbAssignments=27 nbFailedAssignments=8 nbBacktracks=13 nbVisitedNodes=38 nbRestartNogoods=0
38.71 => wckTime=0.452 cpuTime=0.43 mem=22M756
38.90 o 2
38.90 c 3
38.95
38.95 search
38.95 run=1 nbConstraintChecks=558809 nbValidityChecks=575099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.95 nbAssignments=53 nbFailedAssignments=13 nbBacktracks=28 nbVisitedNodes=75 nbRestartNogoods=7
38.95 => wckTime=0.693 cpuTime=0.66 mem=22M756
39.70
39.70 search
39.70 run=2 nbConstraintChecks=1239579 nbValidityChecks=1280461 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.70 nbAssignments=112 nbFailedAssignments=41 nbBacktracks=51 nbVisitedNodes=170 nbRestartNogoods=8
39.70 => wckTime=1.448 cpuTime=1.39 mem=22M756
39.91
39.91 search
39.91 run=3 nbConstraintChecks=1402506 nbValidityChecks=1486991 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.91 nbAssignments=206 nbFailedAssignments=94 nbBacktracks=85 nbVisitedNodes=326 nbRestartNogoods=16
39.91 => wckTime=1.657 cpuTime=1.6 mem=22M756
40.77
40.77 search
40.77 run=4 nbConstraintChecks=2157773 nbValidityChecks=2314132 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.77 nbAssignments=361 nbFailedAssignments=193 nbBacktracks=136 nbVisitedNodes=596 nbRestartNogoods=26
40.77 => wckTime=2.516 cpuTime=2.45 mem=22M756
41.93
41.93 search
41.93 run=5 nbConstraintChecks=3125899 nbValidityChecks=3360262 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.93 nbAssignments=534 nbFailedAssignments=287 nbBacktracks=211 nbVisitedNodes=875 nbRestartNogoods=29
41.93 => wckTime=3.674 cpuTime=3.6 mem=22M756
43.10
43.10 search
43.10 run=6 nbConstraintChecks=4105025 nbValidityChecks=4463834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.10 nbAssignments=798 nbFailedAssignments=430 nbBacktracks=324 nbVisitedNodes=1317 nbRestartNogoods=31
43.10 => wckTime=4.846 cpuTime=4.76 mem=22M756
45.13
45.13 search
45.13 run=7 nbConstraintChecks=5850457 nbValidityChecks=6462681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.13 nbAssignments=1284 nbFailedAssignments=739 nbBacktracks=494 nbVisitedNodes=2188 nbRestartNogoods=53
45.13 => wckTime=6.875 cpuTime=6.77 mem=22M756
47.27
47.27 search
47.27 run=8 nbConstraintChecks=7655749 nbValidityChecks=8486447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.27 nbAssignments=1780 nbFailedAssignments=973 nbBacktracks=751 nbVisitedNodes=2976 nbRestartNogoods=63
47.27 => wckTime=9.013 cpuTime=8.89 mem=22M756
50.81
50.81 search
50.81 run=9 nbConstraintChecks=10693553 nbValidityChecks=11907347 nbPropagations=0 nbRevisions=0
50.81 nbUselessRevisions=0 nbAssignments=2671 nbFailedAssignments=1473 nbBacktracks=1135 nbVisitedNodes=4486
50.81 nbRestartNogoods=71
50.81 => wckTime=12.562 cpuTime=12.41 mem=22M756
55.53
55.53 search
55.53 run=10 nbConstraintChecks=14587629 nbValidityChecks=16474284 nbPropagations=0 nbRevisions=0
55.53 nbUselessRevisions=0 nbAssignments=4046 nbFailedAssignments=2266 nbBacktracks=1711 nbVisitedNodes=6920
55.53 nbRestartNogoods=88
55.53 => wckTime=17.277 cpuTime=17.1 mem=22M756
62.22
62.22 search
62.22 run=11 nbConstraintChecks=20514822 nbValidityChecks=23286662 nbPropagations=0 nbRevisions=0
62.22 nbUselessRevisions=0 nbAssignments=5918 nbFailedAssignments=3269 nbBacktracks=2575 nbVisitedNodes=10176
62.22 nbRestartNogoods=94
62.22 => wckTime=23.971 cpuTime=23.76 mem=22M756
79.34
79.34 search
79.34 run=12 nbConstraintChecks=35102915 nbValidityChecks=39331170 nbPropagations=0 nbRevisions=0
79.34 nbUselessRevisions=0 nbAssignments=8784 nbFailedAssignments=4830 nbBacktracks=3873 nbVisitedNodes=15057
79.34 nbRestartNogoods=110
79.34 => wckTime=41.086 cpuTime=40.79 mem=22M756
92.41
92.41 search
92.41 run=13 nbConstraintChecks=46555114 nbValidityChecks=52663546 nbPropagations=0 nbRevisions=0
92.41 nbUselessRevisions=0 nbAssignments=12844 nbFailedAssignments=6936 nbBacktracks=5819 nbVisitedNodes=21881
92.41 nbRestartNogoods=128
92.41 => wckTime=54.153 cpuTime=53.79 mem=22M756
125.84
125.84 search
125.84 run=14 nbConstraintChecks=75922390 nbValidityChecks=85527662 nbPropagations=0 nbRevisions=0
125.84 nbUselessRevisions=0 nbAssignments=19987 nbFailedAssignments=11154 nbBacktracks=8739 nbVisitedNodes=34300
125.84 nbRestartNogoods=147
125.84 => wckTime=87.585 cpuTime=87.07 mem=22M756
155.64
155.64 search
155.64 run=15 nbConstraintChecks=100083162 nbValidityChecks=115511968 nbPropagations=0 nbRevisions=0
155.64 nbUselessRevisions=0 nbAssignments=31291 nbFailedAssignments=18073 nbBacktracks=13117 nbVisitedNodes=54182
155.64 nbRestartNogoods=164
155.64 => wckTime=117.39 cpuTime=116.73 mem=22M756
223.14
223.14 search
223.14 run=16 nbConstraintChecks=160581372 nbValidityChecks=183596537 nbPropagations=0 nbRevisions=0
223.14 nbUselessRevisions=0 nbAssignments=46848 nbFailedAssignments=27053 nbBacktracks=19685 nbVisitedNodes=81265
223.14 nbRestartNogoods=177
223.14 => wckTime=184.888 cpuTime=183.9 mem=22M756
336.82
336.82 search
336.82 run=17 nbConstraintChecks=253563961 nbValidityChecks=288500332 nbPropagations=0 nbRevisions=0
336.82 nbUselessRevisions=0 nbAssignments=70637 nbFailedAssignments=40984 nbBacktracks=29538 nbVisitedNodes=122860
336.82 nbRestartNogoods=202
336.82 => wckTime=298.566 cpuTime=297.04 mem=22M756
498.00
498.00 search
498.00 run=18 nbConstraintChecks=399674961 nbValidityChecks=451908032 nbPropagations=0 nbRevisions=0
498.00 nbUselessRevisions=0 nbAssignments=105800 nbFailedAssignments=61362 nbBacktracks=44316 nbVisitedNodes=184230
498.00 nbRestartNogoods=226
498.00 => wckTime=459.75 cpuTime=457.44 mem=22M756
695.55 o 3
695.55 c 2
777.79
777.79 search
777.79 run=19 nbConstraintChecks=636803375 nbValidityChecks=718846312 nbPropagations=0 nbRevisions=0
777.79 nbUselessRevisions=0 nbAssignments=162466 nbFailedAssignments=95855 nbBacktracks=66484 nbVisitedNodes=284626
777.79 nbRestartNogoods=230
777.79 => wckTime=739.536 cpuTime=736.03 mem=22M756
1204.80
1204.80 search
1204.80 run=20 nbConstraintChecks=1033427736 nbValidityChecks=1169034652 nbPropagations=0 nbRevisions=0
1204.80 nbUselessRevisions=0 nbAssignments=255602 nbFailedAssignments=155734 nbBacktracks=99736 nbVisitedNodes=456792
1204.80 nbRestartNogoods=242
1204.80 => wckTime=1166.543 cpuTime=1162.55 mem=22M756
1906.24
1906.24 search
1906.24 run=21 nbConstraintChecks=1691159640 nbValidityChecks=1905359662 nbPropagations=0 nbRevisions=0
1906.24 nbUselessRevisions=0 nbAssignments=392650 nbFailedAssignments=242898 nbBacktracks=149615 nbVisitedNodes=708874
1906.24 nbRestartNogoods=260
1906.24 => wckTime=1867.986 cpuTime=1863.21 mem=22M756
2405.47 v 8 8 6 2 0 9 0 0 0 4 9 3 5 4 8 8 2 5 9 7
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-280460-1169305920 -o ROOT/results/node11/solver-280460-1169305920 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280460-1169305920/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.85 1.97 1.99 4/87 25212
/proc/meminfo: memFree=1269440/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=18540 CPUtime=0
/proc/25211/stat : 25211 (runsolver) R 25209 25211 25095 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 278987116 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25211/statm: 4635 279 244 17 0 2626 0
[startup+0.107785 s]
/proc/loadavg: 1.85 1.97 1.99 4/87 25212
/proc/meminfo: memFree=1269440/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=914988 CPUtime=0.08
/proc/25211/stat : 25211 (java) D 25209 25211 25095 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 278987116 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25211/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515863 s]
/proc/loadavg: 1.85 1.97 1.99 4/87 25212
/proc/meminfo: memFree=1269440/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=0.49
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 8027 0 1 0 44 5 0 0 18 0 8 0 278987116 937299968 7766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25211/statm: 228833 7766 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33703 s]
/proc/loadavg: 1.85 1.97 1.99 3/94 25219
/proc/meminfo: memFree=1217352/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=1.31
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15677 0 1 0 119 12 0 0 25 0 8 0 278987116 937299968 15415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25211/statm: 228833 15415 2477 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.09
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 278987124 937299968 15415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915332
[startup+2.98435 s]
/proc/loadavg: 1.86 1.97 1.99 3/94 25219
/proc/meminfo: memFree=1217352/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=2.94
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15681 0 1 0 270 24 0 0 25 0 8 0 278987116 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25211/statm: 228833 15418 2477 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.1
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 278987124 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915332
[startup+6.275 s]
/proc/loadavg: 1.86 1.97 1.99 3/94 25219
/proc/meminfo: memFree=1217360/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=6.22
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15681 0 1 0 573 49 0 0 25 0 8 0 278987116 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25211/statm: 228833 15418 2477 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.1
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 278987124 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915332
[startup+12.7593 s]
/proc/loadavg: 1.88 1.97 1.99 3/94 25219
/proc/meminfo: memFree=1217360/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=12.67
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15685 0 1 0 1170 97 0 0 25 0 8 0 278987116 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25211/statm: 228833 15422 2477 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.1
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278987124 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915332
[startup+25.6208 s]
/proc/loadavg: 1.90 1.97 1.99 3/94 25219
/proc/meminfo: memFree=1217424/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=25.48
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15685 0 1 0 2353 195 0 0 25 0 8 0 278987116 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25211/statm: 228833 15422 2477 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.1
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278987124 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915332
[startup+51.2419 s]
/proc/loadavg: 1.93 1.97 1.99 3/94 25219
/proc/meminfo: memFree=1217104/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=50.97
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15849 0 1 0 4804 293 0 0 25 0 8 0 278987116 937299968 15577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25211/statm: 228833 15577 2530 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.22
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 382 0 0 0 22 0 0 0 15 0 8 0 278987124 937299968 15577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15577 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915332
[startup+102.488 s]
/proc/loadavg: 1.97 1.97 1.99 3/94 25219
/proc/meminfo: memFree=1217104/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=101.97
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15853 0 1 0 9904 293 0 0 25 0 8 0 278987116 937299968 15580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25211/statm: 228833 15580 2530 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.22
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 386 0 0 0 22 0 0 0 16 0 8 0 278987124 937299968 15580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915332
[startup+162.586 s]
/proc/loadavg: 1.99 1.97 1.99 3/94 25219
/proc/meminfo: memFree=1217104/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=161.78
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15854 0 1 0 15884 294 0 0 25 0 8 0 278987116 937299968 15580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2019.38
Current children cumulated vsize (KiB) 915332
[startup+2084.45 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25327
/proc/meminfo: memFree=1125640/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=2079.37
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15858 0 1 0 207634 303 0 0 25 0 8 0 278987116 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25211/statm: 228833 15582 2530 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.23
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 388 0 0 0 23 0 0 0 16 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.37
Current children cumulated vsize (KiB) 915332
[startup+2144.53 s]
/proc/loadavg: 2.04 2.01 2.00 3/100 25327
/proc/meminfo: memFree=1125704/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=2139.37
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15858 0 1 0 213634 303 0 0 25 0 8 0 278987116 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25211/statm: 228833 15582 2530 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.23
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 388 0 0 0 23 0 0 0 16 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) R 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.37
Current children cumulated vsize (KiB) 915332
[startup+2204.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 25327
/proc/meminfo: memFree=1125640/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=2199.38
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15858 0 1 0 219635 303 0 0 25 0 8 0 278987116 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25211/statm: 228833 15582 2530 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.23
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 388 0 0 0 23 0 0 0 16 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.38
Current children cumulated vsize (KiB) 915332
[startup+2264.66 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25327
/proc/meminfo: memFree=1125704/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=2259.37
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15858 0 1 0 225634 303 0 0 25 0 8 0 278987116 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25211/statm: 228833 15582 2530 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.23
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 388 0 0 0 23 0 0 0 16 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.37
Current children cumulated vsize (KiB) 915332
[startup+2324.72 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25327
/proc/meminfo: memFree=1125640/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=2319.36
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15858 0 1 0 231632 304 0 0 25 0 8 0 278987116 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760387 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25211/statm: 228833 15582 2530 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.23
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 388 0 0 0 23 0 0 0 16 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.36
Current children cumulated vsize (KiB) 915332
[startup+2384.79 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25327
/proc/meminfo: memFree=1125704/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=2379.36
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15858 0 1 0 237632 304 0 0 25 0 8 0 278987116 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25211/statm: 228833 15582 2530 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.23
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 388 0 0 0 23 0 0 0 16 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2379.36
Current children cumulated vsize (KiB) 915332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.46 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25327
/proc/meminfo: memFree=1125640/2055920 swapFree=4171812/4192956
[pid=25211] ppid=25209 vsize=915332 CPUtime=2400
/proc/25211/stat : 25211 (java) R 25209 25211 25095 0 -1 0 15858 0 1 0 239696 304 0 0 25 0 8 0 278987116 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25211/statm: 228833 15582 2530 14 0 215303 0
[pid=25211/tid=25213] ppid=25209 vsize=915332 CPUtime=0.04
/proc/25211/task/25213/stat : 25213 (java) S 25209 25211 25095 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278987120 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25214] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25214/stat : 25214 (java) S 25209 25211 25095 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25215] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25215/stat : 25215 (java) S 25209 25211 25095 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278987121 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25216] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25216/stat : 25216 (java) S 25209 25211 25095 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25217] ppid=25209 vsize=915332 CPUtime=0.23
/proc/25211/task/25217/stat : 25217 (java) S 25209 25211 25095 0 -1 64 388 0 0 0 23 0 0 0 16 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25211/tid=25218] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25218/stat : 25218 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25211/tid=25219] ppid=25209 vsize=915332 CPUtime=0
/proc/25211/task/25219/stat : 25219 (java) S 25209 25211 25095 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278987124 937299968 15582 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.52
CPU time (s): 2400.06
CPU user time (s): 2397.01
CPU system time (s): 3.05353
CPU usage (%): 99.773
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.01
system time used= 3.05354
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15877
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= 49663
involuntary context switches= 70806
runsolver used 2.89256 s user time and 7.75682 s system time
The end
Begin job on node11 on Sat Jan 20 15:12:01 UTC 2007
IDJOB= 280460
IDBENCH= 11096
IDSOLVER= 69
FILE ID= node11/280460-1169305920
PBS_JOBID= 3609927
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280460-1169305920/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-280460-1169305920 -o ROOT/results/node11/solver-280460-1169305920 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280460-1169305920/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 48aec55d51369d317b185ca8a98f5a6a
RANDOM SEED= 140237605
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.261
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 : 5931.00
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.261
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: 1269920 kB
Buffers: 65212 kB
Cached: 594964 kB
SwapCached: 3844 kB
Active: 236148 kB
Inactive: 469500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1269920 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 3048 kB
Writeback: 0 kB
Mapped: 64248 kB
Slab: 65016 kB
Committed_AS: 8790404 kB
PageTables: 2404 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= 66559 MiB
End job on node11 on Sat Jan 20 15:52:07 UTC 2007