runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12168 MiB free)
memory of node 1: 16384 MiB (14004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298070-1532744140/watcher-4298070-1532744140 -o /tmp/evaluation-result-4298070-1532744140/solver-4298070-1532744140 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532739149-21839 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298070-1532744140.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22651, runsolver pid=22648
Current StackSize limit: 8192 KiB
[startup+0.100627 s]*
/proc/loadavg: 1.58 1.37 1.40 4/215 22666
/proc/meminfo: memFree=26784064/32770624 swapFree=67108436/67108860
[pid=22651] ppid=22648 vsize=10661056 memory=28156 CPUtime=0.12 cores=1,3,5,7
/proc/22651/stat : 22651 (java) S 22648 22651 21807 0 -1 1077944320 5436 0 0 0 12 0 0 0 20 0 15 0 91977174 10916921344 7039 33554432000 4194304 4196468 140726144456176 140726144438720 140084891004663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
/proc/22651/statm: 2665264 7039 2849 1 0 2627263 0
[pid=22651/tid=22653] ppid=22648 vsize=10661056 memory=-7254949987974015097 CPUtime=0.09 cores=1,3,5,7
/proc/22651/task/22653/stat : 22653 (java) R 22648 22651 21807 0 -1 4202560 3320 0 0 0 9 0 0 0 20 0 15 0 91977174 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084895234144 140084891026010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22654] ppid=22648 vsize=10661056 memory=5793855268447951289 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22654/stat : 22654 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084856285968 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22655] ppid=22648 vsize=10661056 memory=140017438058112 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22655/stat : 22655 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084496673680 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22656] ppid=22648 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22656/stat : 22656 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084495621136 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22657] ppid=22648 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22657/stat : 22657 (java) S 22648 22651 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91977175 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084494568592 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22658] ppid=22648 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22658/stat : 22658 (java) S 22648 22651 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91977177 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084248561648 140084891015810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22659] ppid=22648 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22659/stat : 22659 (java) S 22648 22651 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91977177 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084247507872 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22660] ppid=22648 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22660/stat : 22660 (java) S 22648 22651 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91977177 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084246455280 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22661] ppid=22648 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22661/stat : 22661 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084245403856 140084891023259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22662] ppid=22648 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22662/stat : 22662 (java) S 22648 22651 21807 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 91977180 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084244351472 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22663] ppid=22648 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22663/stat : 22663 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977180 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084243298928 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22664] ppid=22648 vsize=10661056 memory=140017438058112 CPUtime=0.01 cores=1,3,5,7
/proc/22651/task/22664/stat : 22664 (java) R 22648 22651 21807 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 15 0 91977180 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084242246384 140084891026010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22665] ppid=22648 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22665/stat : 22665 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084241194080 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22666] ppid=22648 vsize=10661056 memory=140017438058112 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22666/stat : 22666 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977180 10916921344 7039 33554432000 4194304 4196468 140726144456176 140084240140592 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 28156 KiB
[startup+0.2105 s]*
/proc/loadavg: 1.58 1.37 1.40 5/215 22666
/proc/meminfo: memFree=26772636/32770624 swapFree=67108436/67108860
[pid=22651] ppid=22648 vsize=10661056 memory=40020 CPUtime=0.34 cores=1,3,5,7
/proc/22651/stat : 22651 (java) S 22648 22651 21807 0 -1 1077944320 8095 0 0 0 33 1 0 0 20 0 15 0 91977174 10916921344 10005 33554432000 4194304 4196468 140726144456176 140726144438720 140084891004663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
/proc/22651/statm: 2665264 10005 2960 1 0 2627263 0
[pid=22651/tid=22653] ppid=22648 vsize=10661056 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/22651/task/22653/stat : 22653 (java) R 22648 22651 21807 0 -1 4202560 5197 0 0 0 19 0 0 0 20 0 15 0 91977174 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084895242608 140084527307768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22654] ppid=22648 vsize=10661056 memory=4211973743642848650 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22654/stat : 22654 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084856285968 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22655] ppid=22648 vsize=10661056 memory=140017438058112 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22655/stat : 22655 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084496673680 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22656] ppid=22648 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22656/stat : 22656 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084495621136 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22657] ppid=22648 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22657/stat : 22657 (java) S 22648 22651 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91977175 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084494568592 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22658] ppid=22648 vsize=10661056 memory=140017438058112 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22658/stat : 22658 (java) S 22648 22651 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91977177 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084248561648 140084891015810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22659] ppid=22648 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22659/stat : 22659 (java) S 22648 22651 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91977177 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084247507872 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22660] ppid=22648 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22660/stat : 22660 (java) S 22648 22651 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91977177 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084246455280 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22661] ppid=22648 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22661/stat : 22661 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084245403856 140084891023259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22662] ppid=22648 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22651/task/22662/stat : 22662 (java) S 22648 22651 21807 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 15 0 91977180 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084244351472 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22663] ppid=22648 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22651/task/22663/stat : 22663 (java) S 22648 22651 21807 0 -1 1077944384 196 0 0 0 2 0 0 0 20 0 15 0 91977180 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084243298928 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22664] ppid=22648 vsize=10661056 memory=140017438058112 CPUtime=0.08 cores=1,3,5,7
/proc/22651/task/22664/stat : 22664 (java) R 22648 22651 21807 0 -1 4202560 803 0 0 0 8 0 0 0 20 0 15 0 91977180 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084242246384 140084875085150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22665] ppid=22648 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22665/stat : 22665 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084241194080 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22666] ppid=22648 vsize=10661056 memory=140017438058112 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22666/stat : 22666 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977180 10916921344 10016 33554432000 4194304 4196468 140726144456176 140084240140592 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40020 KiB
[startup+0.310457 s]*
/proc/loadavg: 1.58 1.37 1.40 5/215 22666
/proc/meminfo: memFree=26757448/32770624 swapFree=67108436/67108860
[pid=22651] ppid=22648 vsize=10661132 memory=54860 CPUtime=0.65 cores=1,3,5,7
/proc/22651/stat : 22651 (java) S 22648 22651 21807 0 -1 1077944320 10326 0 0 0 63 2 0 0 20 0 15 0 91977174 10916999168 13715 33554432000 4194304 4196468 140726144456176 140726144438720 140084891004663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
/proc/22651/statm: 2665283 13715 3066 1 0 2627263 0
[pid=22651/tid=22653] ppid=22648 vsize=10661132 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/22651/task/22653/stat : 22653 (java) R 22648 22651 21807 0 -1 4202560 5641 0 0 0 28 1 0 0 20 0 15 0 91977174 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084895243344 140084527250279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22654] ppid=22648 vsize=10661132 memory=4211973743642848650 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22654/stat : 22654 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084856285968 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22655] ppid=22648 vsize=10661132 memory=140017438060469 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22655/stat : 22655 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084496673680 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22656] ppid=22648 vsize=10661132 memory=140017276157759 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22656/stat : 22656 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084495621136 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22657] ppid=22648 vsize=10661132 memory=140017276145103 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22657/stat : 22657 (java) S 22648 22651 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91977175 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084494568592 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22658] ppid=22648 vsize=10661132 memory=140017438079946 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22658/stat : 22658 (java) S 22648 22651 21807 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084248561648 140084891015810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22659] ppid=22648 vsize=10661132 memory=140017276154287 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22659/stat : 22659 (java) S 22648 22651 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084247507872 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22660] ppid=22648 vsize=10661132 memory=280034552299408 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22660/stat : 22660 (java) S 22648 22651 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084246455280 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22661] ppid=22648 vsize=10661132 memory=280034552297104 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22661/stat : 22661 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084245403856 140084891023259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22662] ppid=22648 vsize=10661132 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22651/task/22662/stat : 22662 (java) R 22648 22651 21807 0 -1 1077944384 858 0 0 0 8 0 0 0 20 0 15 0 91977180 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084244351472 140084891015810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22663] ppid=22648 vsize=10661132 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/22651/task/22663/stat : 22663 (java) R 22648 22651 21807 0 -1 4202560 1147 0 0 0 11 0 0 0 20 0 15 0 91977180 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084243276080 140084875925722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22664] ppid=22648 vsize=10661132 memory=140017438058112 CPUtime=0.15 cores=1,3,5,7
/proc/22651/task/22664/stat : 22664 (java) R 22648 22651 21807 0 -1 4202560 1310 0 0 0 15 0 0 0 20 0 15 0 91977180 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084242246384 140084875085150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22665] ppid=22648 vsize=10661132 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22665/stat : 22665 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084241194080 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22666] ppid=22648 vsize=10661132 memory=140017438058112 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22666/stat : 22666 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 13715 33554432000 4194304 4196468 140726144456176 140084240140592 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 54860 KiB
[startup+0.701025 s]
/proc/loadavg: 1.58 1.37 1.40 5/215 22666
/proc/meminfo: memFree=26627440/32770624 swapFree=67108436/67108860
[pid=22651] ppid=22648 vsize=10661132 memory=189268 CPUtime=1.9 cores=1,3,5,7
/proc/22651/stat : 22651 (java) S 22648 22651 21807 0 -1 1077944320 13791 0 0 0 185 5 0 0 20 0 15 0 91977174 10916999168 47317 33554432000 4194304 4196468 140726144456176 140726144438720 140084891004663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
/proc/22651/statm: 2665283 47317 3123 1 0 2627263 0
[pid=22651/tid=22653] ppid=22648 vsize=10661132 memory=1228 CPUtime=0.65 cores=1,3,5,7
/proc/22651/task/22653/stat : 22653 (java) R 22648 22651 21807 0 -1 4202560 5861 0 0 0 62 3 0 0 20 0 15 0 91977174 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084895238272 140084527295008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22654] ppid=22648 vsize=10661132 memory=1852 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22654/stat : 22654 (java) S 22648 22651 21807 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 91977175 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084856285968 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22655] ppid=22648 vsize=10661132 memory=872 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22655/stat : 22655 (java) S 22648 22651 21807 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 91977175 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084496673680 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22656] ppid=22648 vsize=10661132 memory=7307747153392788800 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22656/stat : 22656 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977175 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084495621136 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22657] ppid=22648 vsize=10661132 memory=7453282923444727654 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22657/stat : 22657 (java) S 22648 22651 21807 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 91977175 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084494568592 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22658] ppid=22648 vsize=10661132 memory=6370994028255662164 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22658/stat : 22658 (java) S 22648 22651 21807 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084248561648 140084891015810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22659] ppid=22648 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22659/stat : 22659 (java) S 22648 22651 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084247507872 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22660] ppid=22648 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22660/stat : 22660 (java) S 22648 22651 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084246455280 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22661] ppid=22648 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22661/stat : 22661 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084245403856 140084891023259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22662] ppid=22648 vsize=10661132 memory=78 CPUtime=0.38 cores=1,3,5,7
/proc/22651/task/22662/stat : 22662 (java) R 22648 22651 21807 0 -1 4202560 2140 0 0 0 38 0 0 0 20 0 15 0 91977180 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084244332576 140084870314636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22663] ppid=22648 vsize=10661132 memory=3 CPUtime=0.43 cores=1,3,5,7
/proc/22651/task/22663/stat : 22663 (java) R 22648 22651 21807 0 -1 4202560 1829 0 0 0 43 0 0 0 20 0 15 0 91977180 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084243285712 140084869408700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22664] ppid=22648 vsize=10661132 memory=259 CPUtime=0.39 cores=1,3,5,7
/proc/22651/task/22664/stat : 22664 (java) S 22648 22651 21807 0 -1 1077944384 2481 0 0 0 39 0 0 0 20 0 15 0 91977180 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084242246384 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22665] ppid=22648 vsize=10661132 memory=280034552483312 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22665/stat : 22665 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084241194080 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22666] ppid=22648 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22666/stat : 22666 (java) S 22648 22651 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 47317 33554432000 4194304 4196468 140726144456176 140084240140592 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189268 KiB
[startup+1.50124 s]
/proc/loadavg: 1.58 1.37 1.40 4/215 22666
/proc/meminfo: memFree=26508724/32770624 swapFree=67108436/67108860
[pid=22651] ppid=22648 vsize=10661132 memory=664896 CPUtime=3.8 cores=1,3,5,7
/proc/22651/stat : 22651 (java) S 22648 22651 21807 0 -1 1077944320 15301 0 0 0 355 25 0 0 20 0 15 0 91977174 10916999168 166224 33554432000 4194304 4196468 140726144456176 140726144438720 140084891004663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
/proc/22651/statm: 2665283 166224 3151 1 0 2627263 0
[pid=22651/tid=22653] ppid=22648 vsize=10661132 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/22651/task/22653/stat : 22653 (java) S 22648 22651 21807 0 -1 1077944384 6112 0 0 0 127 9 0 0 20 0 15 0 91977174 10916999168 166224 33554432000 4194304 4196468 140726144456176 140084895242704 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22654] ppid=22648 vsize=10661132 memory=4946534178329238144 CPUtime=0.08 cores=1,3,5,7
/proc/22651/task/22654/stat : 22654 (java) R 22648 22651 21807 0 -1 4202560 146 0 0 0 5 3 0 0 20 0 15 0 91977175 10916999168 166224 33554432000 4194304 4196468 140726144456176 140084856285968 140084876032519 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22655] ppid=22648 vsize=10661132 memory=-6293877817562260577 CPUtime=0.07 cores=1,3,5,7
/proc/22651/task/22655/stat : 22655 (java) R 22648 22651 21807 0 -1 4202560 122 0 0 0 4 3 0 0 20 0 15 0 91977175 10916999168 166224 33554432000 4194304 4196468 140726144456176 140084496673880 140084870199869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22656] ppid=22648 vsize=10661132 memory=-6079718012894977833 CPUtime=0.07 cores=1,3,5,7
/proc/22651/task/22656/stat : 22656 (java) R 22648 22651 21807 0 -1 4202560 125 0 0 0 4 3 0 0 20 0 15 0 91977175 10916999168 166224 33554432000 4194304 4196468 140726144456176 140084495621136 140084876026784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22657] ppid=22648 vsize=10661132 memory=-3472574513799858009 CPUtime=0.07 cores=1,3,5,7
/proc/22651/task/22657/stat : 22657 (java) R 22648 22651 21807 0 -1 4202560 116 0 0 0 4 3 0 0 20 0 15 0 91977175 10916999168 166224 33554432000 4194304 4196468 140726144456176 140084494568480 140084876029944 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22658] ppid=22648 vsize=10661132 memory=-6305712793535669376 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22658/stat : 22658 (java) S 22648 22651 21807 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 166224 33554432000 4194304 4196468 140726144456176 140084248560160 140084891014869 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
################
# More data... #
################
/proc/22651/task/22653/stat : 22653 (java) R 22648 22651 21807 0 -1 4202560 71537 0 0 0 237237 44 0 0 20 0 15 0 91977174 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084895244160 140084533939743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22654] ppid=22648 vsize=10661132 memory=2253860 CPUtime=5.19 cores=1,3,5,7
/proc/22651/task/22654/stat : 22654 (java) S 22648 22651 21807 0 -1 1077944384 16196 0 0 0 485 34 0 0 20 0 15 0 91977175 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084856285968 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22655] ppid=22648 vsize=10661132 memory=2255908 CPUtime=5.22 cores=1,3,5,7
/proc/22651/task/22655/stat : 22655 (java) S 22648 22651 21807 0 -1 1077944384 20626 0 0 0 489 33 0 0 20 0 15 0 91977175 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084496673680 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22656] ppid=22648 vsize=10661132 memory=2255908 CPUtime=5.19 cores=1,3,5,7
/proc/22651/task/22656/stat : 22656 (java) S 22648 22651 21807 0 -1 1077944384 22157 0 0 0 486 33 0 0 20 0 15 0 91977175 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084495621136 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22657] ppid=22648 vsize=10661132 memory=2255908 CPUtime=5.19 cores=1,3,5,7
/proc/22651/task/22657/stat : 22657 (java) S 22648 22651 21807 0 -1 1077944384 21517 0 0 0 488 31 0 0 20 0 15 0 91977175 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084494568592 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22658] ppid=22648 vsize=10661132 memory=2255908 CPUtime=2.26 cores=1,3,5,7
/proc/22651/task/22658/stat : 22658 (java) S 22648 22651 21807 0 -1 1077944384 24572 0 0 0 208 18 0 0 20 0 15 0 91977177 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084248561648 140084891015810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22659] ppid=22648 vsize=10661132 memory=2253860 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22659/stat : 22659 (java) S 22648 22651 21807 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084247507936 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22660] ppid=22648 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22660/stat : 22660 (java) S 22648 22651 21807 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084246455280 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22661] ppid=22648 vsize=10661132 memory=2255908 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22661/stat : 22661 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084245403856 140084891023259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22662] ppid=22648 vsize=10661132 memory=1852 CPUtime=1.74 cores=1,3,5,7
/proc/22651/task/22662/stat : 22662 (java) S 22648 22651 21807 0 -1 1077944384 8072 0 0 0 173 1 0 0 20 0 15 0 91977180 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084244351472 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22663] ppid=22648 vsize=10661132 memory=2255908 CPUtime=1.94 cores=1,3,5,7
/proc/22651/task/22663/stat : 22663 (java) S 22648 22651 21807 0 -1 1077944384 9387 0 0 0 193 1 0 0 20 0 15 0 91977180 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084243298928 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22664] ppid=22648 vsize=10661132 memory=6791534058613427641 CPUtime=0.62 cores=1,3,5,7
/proc/22651/task/22664/stat : 22664 (java) S 22648 22651 21807 0 -1 1077944384 3309 0 0 0 61 1 0 0 20 0 15 0 91977180 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084242246384 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22665] ppid=22648 vsize=10661132 memory=2255908 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22665/stat : 22665 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084241194080 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22666] ppid=22648 vsize=10661132 memory=2255908 CPUtime=0.8 cores=1,3,5,7
/proc/22651/task/22666/stat : 22666 (java) S 22648 22651 21807 0 -1 1077944384 3276 0 0 0 38 42 0 0 20 0 15 0 91977180 10916999168 563977 33554432000 4194304 4196468 140726144456176 140084240140592 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
Current children cumulated CPU time: 2401.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2255908 KiB
[startup+2442.3 s]
/proc/loadavg: 1.14 1.24 1.35 3/215 22740
/proc/meminfo: memFree=23596824/32770624 swapFree=67108436/67108860
[pid=22651] ppid=22648 vsize=10661132 memory=2260004 CPUtime=2461.55 cores=1,3,5,7
/proc/22651/stat : 22651 (java) S 22648 22651 21807 0 -1 1077944320 205582 0 0 0 245936 219 0 0 20 0 15 0 91977174 10916999168 565001 33554432000 4194304 4196468 140726144456176 140726144438720 140084891004663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
/proc/22651/statm: 2665283 565001 3163 1 0 2627263 0
[pid=22651/tid=22653] ppid=22648 vsize=10661132 memory=2260004 CPUtime=2432.41 cores=1,3,5,7
/proc/22651/task/22653/stat : 22653 (java) R 22648 22651 21807 0 -1 4202560 72307 0 0 0 243197 44 0 0 20 0 15 0 91977174 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084895243920 140084533936943 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22654] ppid=22648 vsize=10661132 memory=2260004 CPUtime=5.38 cores=1,3,5,7
/proc/22651/task/22654/stat : 22654 (java) S 22648 22651 21807 0 -1 1077944384 16501 0 0 0 504 34 0 0 20 0 15 0 91977175 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084856285968 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22655] ppid=22648 vsize=10661132 memory=2260004 CPUtime=5.41 cores=1,3,5,7
/proc/22651/task/22655/stat : 22655 (java) S 22648 22651 21807 0 -1 1077944384 21495 0 0 0 507 34 0 0 20 0 15 0 91977175 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084496673680 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22656] ppid=22648 vsize=10661132 memory=2255908 CPUtime=5.39 cores=1,3,5,7
/proc/22651/task/22656/stat : 22656 (java) S 22648 22651 21807 0 -1 1077944384 22793 0 0 0 505 34 0 0 20 0 15 0 91977175 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084495621136 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22657] ppid=22648 vsize=10661132 memory=2257956 CPUtime=5.38 cores=1,3,5,7
/proc/22651/task/22657/stat : 22657 (java) S 22648 22651 21807 0 -1 1077944384 21899 0 0 0 506 32 0 0 20 0 15 0 91977175 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084494568592 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22658] ppid=22648 vsize=10661132 memory=164 CPUtime=2.35 cores=1,3,5,7
/proc/22651/task/22658/stat : 22658 (java) S 22648 22651 21807 0 -1 1077944384 25076 0 0 0 217 18 0 0 20 0 15 0 91977177 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084248561648 140084891015810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22659] ppid=22648 vsize=10661132 memory=2260004 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22659/stat : 22659 (java) S 22648 22651 21807 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084247507936 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22660] ppid=22648 vsize=10661132 memory=2260004 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22660/stat : 22660 (java) S 22648 22651 21807 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084246455280 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22661] ppid=22648 vsize=10661132 memory=2260004 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22661/stat : 22661 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084245403856 140084891023259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22662] ppid=22648 vsize=10661132 memory=2257956 CPUtime=1.74 cores=1,3,5,7
/proc/22651/task/22662/stat : 22662 (java) S 22648 22651 21807 0 -1 1077944384 8076 0 0 0 173 1 0 0 20 0 15 0 91977180 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084244351472 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22663] ppid=22648 vsize=10661132 memory=2260004 CPUtime=1.94 cores=1,3,5,7
/proc/22651/task/22663/stat : 22663 (java) S 22648 22651 21807 0 -1 1077944384 9393 0 0 0 193 1 0 0 20 0 15 0 91977180 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084243298928 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22664] ppid=22648 vsize=10661132 memory=2260004 CPUtime=0.62 cores=1,3,5,7
/proc/22651/task/22664/stat : 22664 (java) S 22648 22651 21807 0 -1 1077944384 3315 0 0 0 61 1 0 0 20 0 15 0 91977180 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084242246384 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22665] ppid=22648 vsize=10661132 memory=1852 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22665/stat : 22665 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084241194080 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22666] ppid=22648 vsize=10661132 memory=26608 CPUtime=0.83 cores=1,3,5,7
/proc/22651/task/22666/stat : 22666 (java) S 22648 22651 21807 0 -1 1077944384 3317 0 0 0 39 44 0 0 20 0 15 0 91977180 10916999168 565001 33554432000 4194304 4196468 140726144456176 140084240140592 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
Current children cumulated CPU time: 2461.55 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2260004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.3 s]
/proc/loadavg: 1.38 1.27 1.35 3/215 22818
/proc/meminfo: memFree=24336676/32770624 swapFree=67108436/67108860
[pid=22651] ppid=22648 vsize=10661132 memory=2264100 CPUtime=2520.06 cores=1,3,5,7
/proc/22651/stat : 22651 (java) S 22648 22651 21807 0 -1 1077944320 208967 0 0 0 251782 224 0 0 20 0 15 0 91977174 10916999168 566025 33554432000 4194304 4196468 140726144456176 140726144438720 140084891004663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
/proc/22651/statm: 2665283 566025 3163 1 0 2627263 0
[pid=22651/tid=22653] ppid=22648 vsize=10661132 memory=2264100 CPUtime=2490.04 cores=1,3,5,7
/proc/22651/task/22653/stat : 22653 (java) R 22648 22651 21807 0 -1 4202560 73025 0 0 0 248960 44 0 0 20 0 15 0 91977174 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084895244160 140084533957160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22654] ppid=22648 vsize=10661132 memory=2264100 CPUtime=5.58 cores=1,3,5,7
/proc/22651/task/22654/stat : 22654 (java) S 22648 22651 21807 0 -1 1077944384 17152 0 0 0 522 36 0 0 20 0 15 0 91977175 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084856285968 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22655] ppid=22648 vsize=10661132 memory=0 CPUtime=5.61 cores=1,3,5,7
/proc/22651/task/22655/stat : 22655 (java) S 22648 22651 21807 0 -1 1077944384 21893 0 0 0 526 35 0 0 20 0 15 0 91977175 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084496673680 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22656] ppid=22648 vsize=10661132 memory=280034553851904 CPUtime=5.58 cores=1,3,5,7
/proc/22651/task/22656/stat : 22656 (java) S 22648 22651 21807 0 -1 1077944384 23613 0 0 0 523 35 0 0 20 0 15 0 91977175 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084495621136 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22657] ppid=22648 vsize=10661132 memory=2262052 CPUtime=5.58 cores=1,3,5,7
/proc/22651/task/22657/stat : 22657 (java) S 22648 22651 21807 0 -1 1077944384 22141 0 0 0 525 33 0 0 20 0 15 0 91977175 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084494568592 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22658] ppid=22648 vsize=10661132 memory=2262052 CPUtime=2.44 cores=1,3,5,7
/proc/22651/task/22658/stat : 22658 (java) S 22648 22651 21807 0 -1 1077944384 25574 0 0 0 225 19 0 0 20 0 15 0 91977177 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084248561648 140084891015810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22659] ppid=22648 vsize=10661132 memory=2262052 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22659/stat : 22659 (java) S 22648 22651 21807 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084247507936 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22660] ppid=22648 vsize=10661132 memory=2262052 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22660/stat : 22660 (java) S 22648 22651 21807 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084246455280 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22661] ppid=22648 vsize=10661132 memory=2262052 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22661/stat : 22661 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084245403856 140084891023259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22662] ppid=22648 vsize=10661132 memory=2264100 CPUtime=1.74 cores=1,3,5,7
/proc/22651/task/22662/stat : 22662 (java) S 22648 22651 21807 0 -1 1077944384 8080 0 0 0 173 1 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084244351472 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22663] ppid=22648 vsize=10661132 memory=2264100 CPUtime=1.94 cores=1,3,5,7
/proc/22651/task/22663/stat : 22663 (java) S 22648 22651 21807 0 -1 1077944384 9399 0 0 0 193 1 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084243298928 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22664] ppid=22648 vsize=10661132 memory=2264100 CPUtime=0.62 cores=1,3,5,7
/proc/22651/task/22664/stat : 22664 (java) S 22648 22651 21807 0 -1 1077944384 3321 0 0 0 61 1 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084242246384 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22665] ppid=22648 vsize=10661132 memory=2264100 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22665/stat : 22665 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084241194080 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22666] ppid=22648 vsize=10661132 memory=2264100 CPUtime=0.85 cores=1,3,5,7
/proc/22651/task/22666/stat : 22666 (java) S 22648 22651 21807 0 -1 1077944384 3359 0 0 0 40 45 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084240140592 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2264100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2500.32 s]
# the end of solver process 22651 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.83 s, system=2.2602 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2500.3 s]
/proc/loadavg: 1.38 1.27 1.35 3/215 22818
/proc/meminfo: memFree=24336676/32770624 swapFree=67108436/67108860
[pid=22651] ppid=22648 vsize=10661132 memory=2264100 CPUtime=2520.06 cores=1,3,5,7
/proc/22651/stat : 22651 (java) S 22648 22651 21807 0 -1 1077944320 208967 0 0 0 251782 224 0 0 20 0 15 0 91977174 10916999168 566025 33554432000 4194304 4196468 140726144456176 140726144438720 140084891004663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
/proc/22651/statm: 2665283 566025 3163 1 0 2627263 0
[pid=22651/tid=22653] ppid=22648 vsize=10661132 memory=2264100 CPUtime=2490.04 cores=1,3,5,7
/proc/22651/task/22653/stat : 22653 (java) R 22648 22651 21807 0 -1 4202560 73025 0 0 0 248960 44 0 0 20 0 15 0 91977174 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084895244160 140084533957160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22654] ppid=22648 vsize=10661132 memory=2264100 CPUtime=5.58 cores=1,3,5,7
/proc/22651/task/22654/stat : 22654 (java) S 22648 22651 21807 0 -1 1077944384 17152 0 0 0 522 36 0 0 20 0 15 0 91977175 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084856285968 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22655] ppid=22648 vsize=10661132 memory=0 CPUtime=5.61 cores=1,3,5,7
/proc/22651/task/22655/stat : 22655 (java) S 22648 22651 21807 0 -1 1077944384 21893 0 0 0 526 35 0 0 20 0 15 0 91977175 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084496673680 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22656] ppid=22648 vsize=10661132 memory=280034553851904 CPUtime=5.58 cores=1,3,5,7
/proc/22651/task/22656/stat : 22656 (java) S 22648 22651 21807 0 -1 1077944384 23613 0 0 0 523 35 0 0 20 0 15 0 91977175 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084495621136 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22657] ppid=22648 vsize=10661132 memory=2262052 CPUtime=5.58 cores=1,3,5,7
/proc/22651/task/22657/stat : 22657 (java) S 22648 22651 21807 0 -1 1077944384 22141 0 0 0 525 33 0 0 20 0 15 0 91977175 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084494568592 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22658] ppid=22648 vsize=10661132 memory=2262052 CPUtime=2.44 cores=1,3,5,7
/proc/22651/task/22658/stat : 22658 (java) S 22648 22651 21807 0 -1 1077944384 25574 0 0 0 225 19 0 0 20 0 15 0 91977177 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084248561648 140084891015810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22659] ppid=22648 vsize=10661132 memory=2262052 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22659/stat : 22659 (java) S 22648 22651 21807 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084247507936 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22660] ppid=22648 vsize=10661132 memory=2262052 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22660/stat : 22660 (java) S 22648 22651 21807 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 91977177 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084246455280 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22661] ppid=22648 vsize=10661132 memory=2262052 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22661/stat : 22661 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084245403856 140084891023259 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22662] ppid=22648 vsize=10661132 memory=2264100 CPUtime=1.74 cores=1,3,5,7
/proc/22651/task/22662/stat : 22662 (java) S 22648 22651 21807 0 -1 1077944384 8080 0 0 0 173 1 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084244351472 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22663] ppid=22648 vsize=10661132 memory=2264100 CPUtime=1.94 cores=1,3,5,7
/proc/22651/task/22663/stat : 22663 (java) S 22648 22651 21807 0 -1 1077944384 9399 0 0 0 193 1 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084243298928 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22664] ppid=22648 vsize=10661132 memory=2264100 CPUtime=0.62 cores=1,3,5,7
/proc/22651/task/22664/stat : 22664 (java) S 22648 22651 21807 0 -1 1077944384 3321 0 0 0 61 1 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084242246384 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22665] ppid=22648 vsize=10661132 memory=2264100 CPUtime=0 cores=1,3,5,7
/proc/22651/task/22665/stat : 22665 (java) S 22648 22651 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084241194080 140084891014869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
[pid=22651/tid=22666] ppid=22648 vsize=10661132 memory=2264100 CPUtime=0.85 cores=1,3,5,7
/proc/22651/task/22666/stat : 22666 (java) S 22648 22651 21807 0 -1 1077944384 3359 0 0 0 40 45 0 0 20 0 15 0 91977180 10916999168 566025 33554432000 4194304 4196468 140726144456176 140084240140592 140084891015810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35434496 140726144463989 140726144464137 140726144464137 140726144466895 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2264100 KiB
Child status: 143
Real time (s): 2500.32
CPU time (s): 2520.09
CPU user time (s): 2517.83
CPU system time (s): 2.2602
CPU usage (%): 100.791
Max. virtual memory (cumulated for all children) (KiB): 10662876
Max. memory (cumulated for all children) (KiB): 2736628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.83
system time used= 2.2602
maximum resident set size= 2736736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120906
involuntary context switches= 4188
# summary of solver processes directly reported to runsolver:
# pid: 22651
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.83
# total CPU system time (s): 2.2602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2153 second user time and 23.2215 second system time
The end