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 (15127 MiB free)
memory of node 1: 16384 MiB (11538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300399-1532870228/watcher-4300399-1532870228 -o /tmp/evaluation-result-4300399-1532870228/solver-4300399-1532870228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532844911-3526 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4300399-1532870228.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=6354, runsolver pid=6351
[startup+0.105441 s]*
/proc/loadavg: 1.23 1.32 1.37 4/215 6369
/proc/meminfo: memFree=27290324/32770624 swapFree=67108496/67108860
[pid=6354] ppid=6351 vsize=10661056 memory=27724 CPUtime=0.13 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6351 6354 3495 0 -1 1077944320 5332 0 0 0 12 1 0 0 20 0 15 0 104586041 10916921344 6931 33554432000 4194304 4196468 140727535021968 140727535004512 139882439761655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
/proc/6354/statm: 2665264 6931 2867 1 0 2627263 0
[pid=6354/tid=6356] ppid=6351 vsize=10661056 memory=-8681633255153038528 CPUtime=0.1 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) R 6351 6354 3495 0 -1 4202560 3157 0 0 0 9 1 0 0 20 0 15 0 104586041 10916921344 6931 33554432000 4194304 4196468 140727535021968 139882443989808 139882432003045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6357] ppid=6351 vsize=10661056 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10916921344 6931 33554432000 4194304 4196468 140727535021968 139882392382352 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6358] ppid=6351 vsize=10661056 memory=139784230319744 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10916921344 6931 33554432000 4194304 4196468 140727535021968 139882391329552 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6359] ppid=6351 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10916921344 6931 33554432000 4194304 4196468 140727535021968 139882390277264 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6360] ppid=6351 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6351 6354 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104586042 10916921344 6931 33554432000 4194304 4196468 140727535021968 139882389224464 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6361] ppid=6351 vsize=10661056 memory=139784230319744 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6351 6354 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104586043 10916921344 6931 33554432000 4194304 4196468 140727535021968 139881999526000 139882439772802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6362] ppid=6351 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6351 6354 3495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104586044 10916921344 6931 33554432000 4194304 4196468 140727535021968 139881998471968 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6363] ppid=6351 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6351 6354 3495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104586044 10916921344 6931 33554432000 4194304 4196468 140727535021968 139881997419632 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6364] ppid=6351 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916921344 6931 33554432000 4194304 4196468 140727535021968 139881996367952 139882439780251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6365] ppid=6351 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) R 6351 6354 3495 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 104586046 10916921344 6931 33554432000 4194304 4196468 140727535021968 139881995315824 139882439772802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6366] ppid=6351 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6351 6354 3495 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 15 0 104586046 10916921344 6931 33554432000 4194304 4196468 140727535021968 139881994256048 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6367] ppid=6351 vsize=10661056 memory=139784230319744 CPUtime=0.02 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) R 6351 6354 3495 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 15 0 104586046 10916921344 6931 33554432000 4194304 4196468 140727535021968 139881993210736 139882424408448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6368] ppid=6351 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916921344 6931 33554432000 4194304 4196468 140727535021968 139881992158176 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6369] ppid=6351 vsize=10661056 memory=139784230319744 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6369/stat : 6369 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586047 10916921344 6931 33554432000 4194304 4196468 140727535021968 139881991104944 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27724 KiB
[startup+0.210556 s]*
/proc/loadavg: 1.23 1.32 1.37 3/215 6369
/proc/meminfo: memFree=27278524/32770624 swapFree=67108496/67108860
[pid=6354] ppid=6351 vsize=10661132 memory=39960 CPUtime=0.32 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6351 6354 3495 0 -1 1077944320 8120 0 0 0 30 2 0 0 20 0 15 0 104586041 10916999168 9990 33554432000 4194304 4196468 140727535021968 140727535004512 139882439761655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
/proc/6354/statm: 2665283 9990 2947 1 0 2627263 0
[pid=6354/tid=6356] ppid=6351 vsize=10661132 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) R 6351 6354 3495 0 -1 4202560 5222 0 0 0 18 1 0 0 20 0 15 0 104586041 10916999168 10017 33554432000 4194304 4196468 140727535021968 139882443993968 139882439783581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6357] ppid=6351 vsize=10661132 memory=364 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 10017 33554432000 4194304 4196468 140727535021968 139882392382352 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6358] ppid=6351 vsize=10661132 memory=3906510204026009248 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 10017 33554432000 4194304 4196468 140727535021968 139882391329552 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6359] ppid=6351 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 10017 33554432000 4194304 4196468 140727535021968 139882390277264 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6360] ppid=6351 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6351 6354 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 10017 33554432000 4194304 4196468 140727535021968 139882389224464 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6361] ppid=6351 vsize=10661132 memory=139784230319744 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6351 6354 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104586043 10916999168 10017 33554432000 4194304 4196468 140727535021968 139881999526000 139882439772802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6362] ppid=6351 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6351 6354 3495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 10017 33554432000 4194304 4196468 140727535021968 139881998471968 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6363] ppid=6351 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6351 6354 3495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 10017 33554432000 4194304 4196468 140727535021968 139881997419632 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6364] ppid=6351 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 10017 33554432000 4194304 4196468 140727535021968 139881996367952 139882439780251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6365] ppid=6351 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6351 6354 3495 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 15 0 104586046 10916999168 10017 33554432000 4194304 4196468 140727535021968 139881995315824 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6366] ppid=6351 vsize=10661132 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6351 6354 3495 0 -1 1077944384 394 0 0 0 2 0 0 0 20 0 15 0 104586046 10916999168 10017 33554432000 4194304 4196468 140727535021968 139881994263024 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6367] ppid=6351 vsize=10661132 memory=139784230319744 CPUtime=0.06 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6351 6354 3495 0 -1 1077944384 770 0 0 0 6 0 0 0 20 0 15 0 104586046 10916999168 10017 33554432000 4194304 4196468 140727535021968 139881993210736 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6368] ppid=6351 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 10017 33554432000 4194304 4196468 140727535021968 139881992158176 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6369] ppid=6351 vsize=10661132 memory=139784230319744 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6369/stat : 6369 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586047 10916999168 10017 33554432000 4194304 4196468 140727535021968 139881991104944 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 39960 KiB
[startup+0.310112 s]*
/proc/loadavg: 1.23 1.32 1.37 4/215 6369
/proc/meminfo: memFree=27272292/32770624 swapFree=67108496/67108860
[pid=6354] ppid=6351 vsize=10661132 memory=46652 CPUtime=0.53 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6351 6354 3495 0 -1 1077944320 8772 0 0 0 50 3 0 0 20 0 15 0 104586041 10916999168 11663 33554432000 4194304 4196468 140727535021968 140727535004512 139882439761655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
/proc/6354/statm: 2665283 11663 3037 1 0 2627263 0
[pid=6354/tid=6356] ppid=6351 vsize=10661132 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) R 6351 6354 3495 0 -1 4202560 5600 0 0 0 27 2 0 0 20 0 15 0 104586041 10916999168 11663 33554432000 4194304 4196468 140727535021968 139882444000240 139882439773590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6357] ppid=6351 vsize=10661132 memory=290763875220193303 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 11663 33554432000 4194304 4196468 140727535021968 139882392382352 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6358] ppid=6351 vsize=10661132 memory=4123525207751702176 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 11663 33554432000 4194304 4196468 140727535021968 139882391329552 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6359] ppid=6351 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 11663 33554432000 4194304 4196468 140727535021968 139882390277264 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6360] ppid=6351 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6351 6354 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 11663 33554432000 4194304 4196468 140727535021968 139882389224464 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6361] ppid=6351 vsize=10661132 memory=139784230319744 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6351 6354 3495 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104586043 10916999168 11663 33554432000 4194304 4196468 140727535021968 139881999526000 139882439772802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6362] ppid=6351 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6351 6354 3495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 11663 33554432000 4194304 4196468 140727535021968 139881998471968 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6363] ppid=6351 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6351 6354 3495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 11663 33554432000 4194304 4196468 140727535021968 139881997419632 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6364] ppid=6351 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 11663 33554432000 4194304 4196468 140727535021968 139881996367952 139882439780251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6365] ppid=6351 vsize=10661132 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) R 6351 6354 3495 0 -1 1077944384 488 0 0 0 4 0 0 0 20 0 15 0 104586046 10916999168 11663 33554432000 4194304 4196468 140727535021968 139881995315824 139882439772802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6366] ppid=6351 vsize=10661132 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) R 6351 6354 3495 0 -1 4202560 429 0 0 0 5 0 0 0 20 0 15 0 104586046 10916999168 11663 33554432000 4194304 4196468 140727535021968 139881994251696 139882423248486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6367] ppid=6351 vsize=10661132 memory=139784230319744 CPUtime=0.14 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) R 6351 6354 3495 0 -1 4202560 893 0 0 0 14 0 0 0 20 0 15 0 104586046 10916999168 11663 33554432000 4194304 4196468 140727535021968 139881993210736 139882432858491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6368] ppid=6351 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 11663 33554432000 4194304 4196468 140727535021968 139881992158176 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6369] ppid=6351 vsize=10661132 memory=139784230319744 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6369/stat : 6369 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586047 10916999168 11663 33554432000 4194304 4196468 140727535021968 139881991104944 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46652 KiB
[startup+0.700759 s]
/proc/loadavg: 1.23 1.32 1.37 5/215 6369
/proc/meminfo: memFree=27242088/32770624 swapFree=67108496/67108860
[pid=6354] ppid=6351 vsize=10662912 memory=105220 CPUtime=1.7 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6351 6354 3495 0 -1 1077944320 17783 0 0 0 165 5 0 0 20 0 15 0 104586041 10918821888 26305 33554432000 4194304 4196468 140727535021968 140727535004512 139882439761655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
/proc/6354/statm: 2665728 26305 3086 1 0 2627708 0
[pid=6354/tid=6356] ppid=6351 vsize=10662912 memory=1788 CPUtime=0.68 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) R 6351 6354 3495 0 -1 4202560 5656 0 0 0 65 3 0 0 20 0 15 0 104586041 10918821888 26305 33554432000 4194304 4196468 140727535021968 139882444000848 139882070792937 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6357] ppid=6351 vsize=10662912 memory=860 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10918821888 26305 33554432000 4194304 4196468 140727535021968 139882392382352 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6358] ppid=6351 vsize=10662912 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10918821888 26305 33554432000 4194304 4196468 140727535021968 139882391329552 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6359] ppid=6351 vsize=10662912 memory=756 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586042 10918821888 26305 33554432000 4194304 4196468 140727535021968 139882390277264 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6360] ppid=6351 vsize=10662912 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6351 6354 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104586042 10918821888 26305 33554432000 4194304 4196468 140727535021968 139882389224464 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6361] ppid=6351 vsize=10662912 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6351 6354 3495 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104586043 10918821888 26371 33554432000 4194304 4196468 140727535021968 139881999526000 139882439772802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6362] ppid=6351 vsize=10662912 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6351 6354 3495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104586044 10918821888 26371 33554432000 4194304 4196468 140727535021968 139881998471968 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6363] ppid=6351 vsize=10662912 memory=6388 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6351 6354 3495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104586044 10918821888 26371 33554432000 4194304 4196468 140727535021968 139881997419632 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6364] ppid=6351 vsize=10662912 memory=5500 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10918821888 26371 33554432000 4194304 4196468 140727535021968 139881996367952 139882439780251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6365] ppid=6351 vsize=10662912 memory=7092418796125250880 CPUtime=0.38 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) R 6351 6354 3495 0 -1 4202560 4521 0 0 0 38 0 0 0 20 0 15 0 104586046 10918821888 26371 33554432000 4194304 4196468 140727535021968 139881995300488 139882421305372 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6366] ppid=6351 vsize=10662912 memory=7597685182856913236 CPUtime=0.42 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) R 6351 6354 3495 0 -1 4202560 4533 0 0 0 42 0 0 0 20 0 15 0 104586046 10918821888 26371 33554432000 4194304 4196468 140727535021968 139881994248904 139882419005542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6367] ppid=6351 vsize=10662912 memory=7301858164987948385 CPUtime=0.18 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6351 6354 3495 0 -1 1077944384 1799 0 0 0 18 0 0 0 20 0 15 0 104586046 10918821888 26371 33554432000 4194304 4196468 140727535021968 139881993210736 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6368] ppid=6351 vsize=10662912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10918821888 26371 33554432000 4194304 4196468 140727535021968 139881992158176 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6369] ppid=6351 vsize=10662912 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6369/stat : 6369 (java) S 6351 6354 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104586047 10918821888 26371 33554432000 4194304 4196468 140727535021968 139881991104944 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10662912 KiB
Current children cumulated memory: 105220 KiB
[startup+1.50075 s]
/proc/loadavg: 1.23 1.32 1.37 3/215 6369
/proc/meminfo: memFree=27179016/32770624 swapFree=67108496/67108860
[pid=6354] ppid=6351 vsize=10661132 memory=205640 CPUtime=3.17 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6351 6354 3495 0 -1 1077944320 23500 0 0 0 309 8 0 0 20 0 15 0 104586041 10916999168 51410 33554432000 4194304 4196468 140727535021968 140727535004512 139882439761655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
/proc/6354/statm: 2665283 51410 3114 1 0 2627263 0
[pid=6354/tid=6356] ppid=6351 vsize=10661132 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) R 6351 6354 3495 0 -1 4202560 5795 0 0 0 143 4 0 0 20 0 15 0 104586041 10916999168 51410 33554432000 4194304 4196468 140727535021968 139882444000720 139882071424587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6357] ppid=6351 vsize=10661132 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6351 6354 3495 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 51410 33554432000 4194304 4196468 140727535021968 139882392382352 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6358] ppid=6351 vsize=10661132 memory=-2843874019102283166 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6351 6354 3495 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 51410 33554432000 4194304 4196468 140727535021968 139882391329552 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6359] ppid=6351 vsize=10661132 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6351 6354 3495 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 51410 33554432000 4194304 4196468 140727535021968 139882390277264 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6360] ppid=6351 vsize=10661132 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6351 6354 3495 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 104586042 10916999168 51410 33554432000 4194304 4196468 140727535021968 139882389224464 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6361] ppid=6351 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6351 6354 3495 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 104586043 10916999168 51410 33554432000 4194304 4196468 140727535021968 139881999526000 139882439772802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
################
# More data... #
################
/proc/6354/task/6356/stat : 6356 (java) R 6351 6354 3495 0 -1 4202560 19295 0 0 0 243129 21 0 0 20 0 15 0 104586041 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882444001568 139882071420613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6357] ppid=6351 vsize=10661132 memory=217540 CPUtime=3.36 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6351 6354 3495 0 -1 1077944384 2836 0 0 0 295 41 0 0 20 0 15 0 104586042 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882392382352 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6358] ppid=6351 vsize=10661132 memory=215492 CPUtime=3.32 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6351 6354 3495 0 -1 1077944384 2268 0 0 0 288 44 0 0 20 0 15 0 104586042 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882391329552 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6359] ppid=6351 vsize=10661132 memory=215492 CPUtime=3.36 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6351 6354 3495 0 -1 1077944384 2780 0 0 0 292 44 0 0 20 0 15 0 104586042 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882390277264 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6360] ppid=6351 vsize=10661132 memory=217540 CPUtime=3.35 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6351 6354 3495 0 -1 1077944384 2912 0 0 0 293 42 0 0 20 0 15 0 104586042 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882389224464 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6361] ppid=6351 vsize=10661132 memory=217540 CPUtime=4.85 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6351 6354 3495 0 -1 1077944384 5298 0 0 0 452 33 0 0 20 0 15 0 104586043 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881999526000 139882439772802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6362] ppid=6351 vsize=10661132 memory=215492 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6351 6354 3495 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881998471968 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6363] ppid=6351 vsize=10661132 memory=3872 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6351 6354 3495 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881997419632 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6364] ppid=6351 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881996367952 139882439780251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6365] ppid=6351 vsize=10661132 memory=-6654736624941491801 CPUtime=0.8 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6351 6354 3495 0 -1 1077944384 8446 0 0 0 79 1 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881995315824 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6366] ppid=6351 vsize=10661132 memory=217540 CPUtime=0.84 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6351 6354 3495 0 -1 1077944384 7869 0 0 0 83 1 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881994263024 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6367] ppid=6351 vsize=10661132 memory=3872 CPUtime=0.25 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6351 6354 3495 0 -1 1077944384 3590 0 0 0 24 1 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881993210736 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6368] ppid=6351 vsize=10661132 memory=217540 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881992158176 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6369] ppid=6351 vsize=10661132 memory=217540 CPUtime=0.92 cores=0,2,4,6
/proc/6354/task/6369/stat : 6369 (java) S 6351 6354 3495 0 -1 1077944384 1017 0 0 0 48 44 0 0 20 0 15 0 104586047 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881991104944 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
Current children cumulated CPU time: 2452.63 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 217540 KiB
[startup+2502.3 s]
/proc/loadavg: 1.57 1.37 1.34 3/215 6525
/proc/meminfo: memFree=27085156/32770624 swapFree=67108496/67108860
[pid=6354] ppid=6351 vsize=10661132 memory=217540 CPUtime=2512.82 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6351 6354 3495 0 -1 1077944320 58612 0 0 0 251089 193 0 0 20 0 15 0 104586041 10916999168 54385 33554432000 4194304 4196468 140727535021968 140727535004512 139882439761655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
/proc/6354/statm: 2665283 54385 3138 1 0 2627263 0
[pid=6354/tid=6356] ppid=6351 vsize=10661132 memory=217540 CPUtime=2491.2 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) R 6351 6354 3495 0 -1 4202560 19670 0 0 0 249099 21 0 0 20 0 15 0 104586041 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882444001536 139882071443633 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6357] ppid=6351 vsize=10661132 memory=217540 CPUtime=3.45 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6351 6354 3495 0 -1 1077944384 2877 0 0 0 303 42 0 0 20 0 15 0 104586042 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882392382352 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6358] ppid=6351 vsize=10661132 memory=217540 CPUtime=3.4 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6351 6354 3495 0 -1 1077944384 2318 0 0 0 296 44 0 0 20 0 15 0 104586042 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882391329552 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6359] ppid=6351 vsize=10661132 memory=217540 CPUtime=3.44 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6351 6354 3495 0 -1 1077944384 3002 0 0 0 300 44 0 0 20 0 15 0 104586042 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882390277264 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6360] ppid=6351 vsize=10661132 memory=1616 CPUtime=3.44 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6351 6354 3495 0 -1 1077944384 2929 0 0 0 301 43 0 0 20 0 15 0 104586042 10916999168 54385 33554432000 4194304 4196468 140727535021968 139882389224464 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6361] ppid=6351 vsize=10661132 memory=217540 CPUtime=4.98 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6351 6354 3495 0 -1 1077944384 5466 0 0 0 464 34 0 0 20 0 15 0 104586043 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881999526000 139882439772802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6362] ppid=6351 vsize=10661132 memory=217540 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6351 6354 3495 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881998471968 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6363] ppid=6351 vsize=10661132 memory=217540 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6351 6354 3495 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881997419632 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6364] ppid=6351 vsize=10661132 memory=3872 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881996367952 139882439780251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6365] ppid=6351 vsize=10661132 memory=217540 CPUtime=0.8 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6351 6354 3495 0 -1 1077944384 8448 0 0 0 79 1 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881995315824 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6366] ppid=6351 vsize=10661132 memory=217540 CPUtime=0.84 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6351 6354 3495 0 -1 1077944384 7871 0 0 0 83 1 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881994263024 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6367] ppid=6351 vsize=10661132 memory=1224 CPUtime=0.25 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6351 6354 3495 0 -1 1077944384 3592 0 0 0 24 1 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881993210736 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6368] ppid=6351 vsize=10661132 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881992158176 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6369] ppid=6351 vsize=10661132 memory=217540 CPUtime=0.94 cores=0,2,4,6
/proc/6354/task/6369/stat : 6369 (java) S 6351 6354 3495 0 -1 1077944384 1034 0 0 0 49 45 0 0 20 0 15 0 104586047 10916999168 54385 33554432000 4194304 4196468 140727535021968 139881991104944 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
Current children cumulated CPU time: 2512.82 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 217540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.5 s]
/proc/loadavg: 1.52 1.37 1.33 3/215 6525
/proc/meminfo: memFree=27083408/32770624 swapFree=67108496/67108860
[pid=6354] ppid=6351 vsize=10661132 memory=218252 CPUtime=2520.04 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6351 6354 3495 0 -1 1077944320 58646 0 0 0 251811 193 0 0 20 0 15 0 104586041 10916999168 54563 33554432000 4194304 4196468 140727535021968 140727535004512 139882439761655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
/proc/6354/statm: 2665283 54563 3138 1 0 2627263 0
[pid=6354/tid=6356] ppid=6351 vsize=10661132 memory=14256 CPUtime=2498.37 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) R 6351 6354 3495 0 -1 4202560 19695 0 0 0 249816 21 0 0 20 0 15 0 104586041 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882444001536 139882071424326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6357] ppid=6351 vsize=10661132 memory=218252 CPUtime=3.46 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6351 6354 3495 0 -1 1077944384 2878 0 0 0 304 42 0 0 20 0 15 0 104586042 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882392382352 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6358] ppid=6351 vsize=10661132 memory=218252 CPUtime=3.42 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6351 6354 3495 0 -1 1077944384 2318 0 0 0 297 45 0 0 20 0 15 0 104586042 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882391329552 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6359] ppid=6351 vsize=10661132 memory=164 CPUtime=3.46 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6351 6354 3495 0 -1 1077944384 3003 0 0 0 301 45 0 0 20 0 15 0 104586042 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882390277264 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6360] ppid=6351 vsize=10661132 memory=218252 CPUtime=3.45 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6351 6354 3495 0 -1 1077944384 2931 0 0 0 302 43 0 0 20 0 15 0 104586042 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882389224464 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6361] ppid=6351 vsize=10661132 memory=217540 CPUtime=4.99 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6351 6354 3495 0 -1 1077944384 5469 0 0 0 465 34 0 0 20 0 15 0 104586043 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881999526000 139882439772802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6362] ppid=6351 vsize=10661132 memory=6388 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6351 6354 3495 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881998471968 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6363] ppid=6351 vsize=10661132 memory=217540 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6351 6354 3495 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881997419632 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6364] ppid=6351 vsize=10661132 memory=217540 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881996367952 139882439780251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6365] ppid=6351 vsize=10661132 memory=29912 CPUtime=0.8 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6351 6354 3495 0 -1 1077944384 8448 0 0 0 79 1 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881995315824 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6366] ppid=6351 vsize=10661132 memory=1224 CPUtime=0.84 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6351 6354 3495 0 -1 1077944384 7871 0 0 0 83 1 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881994263024 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6367] ppid=6351 vsize=10661132 memory=29912 CPUtime=0.25 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6351 6354 3495 0 -1 1077944384 3592 0 0 0 24 1 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881993210736 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6368] ppid=6351 vsize=10661132 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881992158176 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6369] ppid=6351 vsize=10661132 memory=2260 CPUtime=0.94 cores=0,2,4,6
/proc/6354/task/6369/stat : 6369 (java) S 6351 6354 3495 0 -1 1077944384 1036 0 0 0 49 45 0 0 20 0 15 0 104586047 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881991104944 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 218252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.51 s]
# the end of solver process 6354 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.13 s, system=1.93939 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.5 s]
/proc/loadavg: 1.52 1.37 1.33 3/215 6525
/proc/meminfo: memFree=27083408/32770624 swapFree=67108496/67108860
[pid=6354] ppid=6351 vsize=10661132 memory=218252 CPUtime=2520.04 cores=0,2,4,6
/proc/6354/stat : 6354 (java) S 6351 6354 3495 0 -1 1077944320 58646 0 0 0 251811 193 0 0 20 0 15 0 104586041 10916999168 54563 33554432000 4194304 4196468 140727535021968 140727535004512 139882439761655 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
/proc/6354/statm: 2665283 54563 3138 1 0 2627263 0
[pid=6354/tid=6356] ppid=6351 vsize=10661132 memory=14256 CPUtime=2498.37 cores=0,2,4,6
/proc/6354/task/6356/stat : 6356 (java) R 6351 6354 3495 0 -1 4202560 19695 0 0 0 249816 21 0 0 20 0 15 0 104586041 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882444001536 139882071424326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6357] ppid=6351 vsize=10661132 memory=218252 CPUtime=3.46 cores=0,2,4,6
/proc/6354/task/6357/stat : 6357 (java) S 6351 6354 3495 0 -1 1077944384 2878 0 0 0 304 42 0 0 20 0 15 0 104586042 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882392382352 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6358] ppid=6351 vsize=10661132 memory=218252 CPUtime=3.42 cores=0,2,4,6
/proc/6354/task/6358/stat : 6358 (java) S 6351 6354 3495 0 -1 1077944384 2318 0 0 0 297 45 0 0 20 0 15 0 104586042 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882391329552 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6359] ppid=6351 vsize=10661132 memory=164 CPUtime=3.46 cores=0,2,4,6
/proc/6354/task/6359/stat : 6359 (java) S 6351 6354 3495 0 -1 1077944384 3003 0 0 0 301 45 0 0 20 0 15 0 104586042 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882390277264 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6360] ppid=6351 vsize=10661132 memory=218252 CPUtime=3.45 cores=0,2,4,6
/proc/6354/task/6360/stat : 6360 (java) S 6351 6354 3495 0 -1 1077944384 2931 0 0 0 302 43 0 0 20 0 15 0 104586042 10916999168 54563 33554432000 4194304 4196468 140727535021968 139882389224464 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6361] ppid=6351 vsize=10661132 memory=217540 CPUtime=4.99 cores=0,2,4,6
/proc/6354/task/6361/stat : 6361 (java) S 6351 6354 3495 0 -1 1077944384 5469 0 0 0 465 34 0 0 20 0 15 0 104586043 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881999526000 139882439772802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6362] ppid=6351 vsize=10661132 memory=6388 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6362/stat : 6362 (java) S 6351 6354 3495 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881998471968 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6363] ppid=6351 vsize=10661132 memory=217540 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6363/stat : 6363 (java) S 6351 6354 3495 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 104586044 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881997419632 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6364] ppid=6351 vsize=10661132 memory=217540 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6364/stat : 6364 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881996367952 139882439780251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6365] ppid=6351 vsize=10661132 memory=29912 CPUtime=0.8 cores=0,2,4,6
/proc/6354/task/6365/stat : 6365 (java) S 6351 6354 3495 0 -1 1077944384 8448 0 0 0 79 1 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881995315824 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6366] ppid=6351 vsize=10661132 memory=1224 CPUtime=0.84 cores=0,2,4,6
/proc/6354/task/6366/stat : 6366 (java) S 6351 6354 3495 0 -1 1077944384 7871 0 0 0 83 1 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881994263024 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6367] ppid=6351 vsize=10661132 memory=29912 CPUtime=0.25 cores=0,2,4,6
/proc/6354/task/6367/stat : 6367 (java) S 6351 6354 3495 0 -1 1077944384 3592 0 0 0 24 1 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881993210736 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6368] ppid=6351 vsize=10661132 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/6354/task/6368/stat : 6368 (java) S 6351 6354 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104586046 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881992158176 139882439771861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
[pid=6354/tid=6369] ppid=6351 vsize=10661132 memory=2260 CPUtime=0.94 cores=0,2,4,6
/proc/6354/task/6369/stat : 6369 (java) S 6351 6354 3495 0 -1 1077944384 1036 0 0 0 49 45 0 0 20 0 15 0 104586047 10916999168 54563 33554432000 4194304 4196468 140727535021968 139881991104944 139882439772802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9383936 140727535027317 140727535027465 140727535027465 140727535030223 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 218252 KiB
Child status: 143
Real time (s): 2509.51
CPU time (s): 2520.07
CPU user time (s): 2518.13
CPU system time (s): 1.93939
CPU usage (%): 100.421
Max. virtual memory (cumulated for all children) (KiB): 10663200
Max. memory (cumulated for all children) (KiB): 218252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.13
system time used= 1.93939
maximum resident set size= 218760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 188742
involuntary context switches= 6477
# summary of solver processes directly reported to runsolver:
# pid: 6354
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.13
# total CPU system time (s): 1.93939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8999 second user time and 23.8902 second system time
The end