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 (15292 MiB free)
memory of node 1: 16384 MiB (5438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398911-1568695878/watcher-4398911-1568695878 -o /tmp/evaluation-result-4398911-1568695878/solver-4398911-1568695878 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 47054814 HOME/instance-4398911-1568695878.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=23917, runsolver pid=23914
[startup+0.100115 s]*
/proc/loadavg: 8.03 8.17 7.73 8/234 23933
/proc/meminfo: memFree=21213068/32770624 swapFree=66976996/67108860
[pid=23917] ppid=23914 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23917/stat : 23917 (xcsp3-exec) S 23914 23917 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445850420 115843072 362 33554432000 4194304 5098028 140725515759392 140725515757496 140411607601788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10240000 140725515760508 140725515760749 140725515760749 140725515763658 0
/proc/23917/statm: 28282 362 304 221 0 87 0
[pid=23919] ppid=23917 vsize=15144776 memory=29124 CPUtime=0.13 cores=0,2,4,6
/proc/23919/stat : 23919 (java) S 23917 23917 21506 0 -1 1077944320 5683 0 0 0 12 1 0 0 20 0 15 0 445850421 15508250624 7281 33554432000 4194304 4196468 140732224691456 140732224674000 140325059030775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
/proc/23919/statm: 3786194 7281 3150 1 0 3748377 0
[pid=23919/tid=23920] ppid=23917 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=0,2,4,6
/proc/23919/task/23920/stat : 23920 (java) R 23917 23917 21506 0 -1 4202560 3604 0 0 0 9 0 0 0 20 0 15 0 445850421 15508250624 7281 33554432000 4194304 4196468 140732224691456 140325063262016 140324651504992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23921] ppid=23917 vsize=15144776 memory=3472467968474752208 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23921/stat : 23921 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324651395344 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23922] ppid=23917 vsize=15144776 memory=139839579600512 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23922/stat : 23922 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324650342800 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23923] ppid=23917 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23923/stat : 23923 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324649290256 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23924] ppid=23917 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23924/stat : 23924 (java) S 23917 23917 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445850422 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324648237712 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23925] ppid=23917 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23925/stat : 23925 (java) S 23917 23917 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445850423 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324527655408 140325059041922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23926] ppid=23917 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23926/stat : 23926 (java) S 23917 23917 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445850423 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324526601632 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23927] ppid=23917 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23927/stat : 23927 (java) S 23917 23917 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445850424 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324525549040 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23928] ppid=23917 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23928/stat : 23928 (java) S 23917 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324524497616 140325059049371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23929] ppid=23917 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23929/stat : 23929 (java) R 23917 23917 21506 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 445850426 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324523444304 140325059040981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23930] ppid=23917 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23930/stat : 23930 (java) R 23917 23917 21506 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 445850426 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324522390848 140325042466513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23931] ppid=23917 vsize=15144776 memory=139839579600512 CPUtime=0.02 cores=0,2,4,6
/proc/23919/task/23931/stat : 23931 (java) R 23917 23917 21506 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 445850426 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324521336656 140325059052122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23932] ppid=23917 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23932/stat : 23932 (java) S 23917 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324520286816 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23933] ppid=23917 vsize=15144776 memory=139839579600512 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23933/stat : 23933 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850427 15508250624 7281 33554432000 4194304 4196468 140732224691456 140324519234352 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30572 KiB
[startup+0.210983 s]*
/proc/loadavg: 8.03 8.17 7.73 6/234 23933
/proc/meminfo: memFree=21200464/32770624 swapFree=66976996/67108860
[pid=23917] ppid=23914 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23917/stat : 23917 (xcsp3-exec) S 23914 23917 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445850420 115843072 362 33554432000 4194304 5098028 140725515759392 140725515757496 140411607601788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10240000 140725515760508 140725515760749 140725515760749 140725515763658 0
/proc/23917/statm: 28282 362 304 221 0 87 0
[pid=23919] ppid=23917 vsize=15144776 memory=40532 CPUtime=0.34 cores=0,2,4,6
/proc/23919/stat : 23919 (java) S 23917 23917 21506 0 -1 1077944320 9337 0 0 0 31 3 0 0 20 0 15 0 445850421 15508250624 10133 33554432000 4194304 4196468 140732224691456 140732224674000 140325059030775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
/proc/23919/statm: 3786194 10133 3299 1 0 3748377 0
[pid=23919/tid=23920] ppid=23917 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=0,2,4,6
/proc/23919/task/23920/stat : 23920 (java) R 23917 23917 21506 0 -1 4202560 6600 0 0 0 18 2 0 0 20 0 15 0 445850421 15508250624 10133 33554432000 4194304 4196468 140732224691456 140325063263504 140325059042710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23921] ppid=23917 vsize=15144776 memory=3472467968474752208 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23921/stat : 23921 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324651395344 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23922] ppid=23917 vsize=15144776 memory=139839579600512 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23922/stat : 23922 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324650342800 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23923] ppid=23917 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23923/stat : 23923 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324649290256 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23924] ppid=23917 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23924/stat : 23924 (java) S 23917 23917 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445850422 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324648237712 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23925] ppid=23917 vsize=15144776 memory=139839579600512 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23925/stat : 23925 (java) S 23917 23917 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445850423 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324527655408 140325059041922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23926] ppid=23917 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23926/stat : 23926 (java) S 23917 23917 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445850423 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324526601632 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23927] ppid=23917 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23927/stat : 23927 (java) S 23917 23917 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445850424 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324525549040 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23928] ppid=23917 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23928/stat : 23928 (java) S 23917 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324524497616 140325059049371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23929] ppid=23917 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23919/task/23929/stat : 23929 (java) S 23917 23917 21506 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 445850426 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324523444208 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23930] ppid=23917 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23919/task/23930/stat : 23930 (java) S 23917 23917 21506 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 15 0 445850426 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324522391664 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23931] ppid=23917 vsize=15144776 memory=139839579600512 CPUtime=0.08 cores=0,2,4,6
/proc/23919/task/23931/stat : 23931 (java) R 23917 23917 21506 0 -1 4202560 797 0 0 0 8 0 0 0 20 0 15 0 445850426 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324521338928 140325038307576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23932] ppid=23917 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23932/stat : 23932 (java) S 23917 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324520286816 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23933] ppid=23917 vsize=15144776 memory=139839579600512 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23933/stat : 23933 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850427 15508250624 10133 33554432000 4194304 4196468 140732224691456 140324519234352 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41980 KiB
[startup+0.31507 s]*
/proc/loadavg: 8.03 8.17 7.73 7/234 23933
/proc/meminfo: memFree=21192344/32770624 swapFree=66976996/67108860
[pid=23917] ppid=23914 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23917/stat : 23917 (xcsp3-exec) S 23914 23917 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445850420 115843072 362 33554432000 4194304 5098028 140725515759392 140725515757496 140411607601788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10240000 140725515760508 140725515760749 140725515760749 140725515763658 0
/proc/23917/statm: 28282 362 304 221 0 87 0
[pid=23919] ppid=23917 vsize=15149032 memory=49780 CPUtime=0.54 cores=0,2,4,6
/proc/23919/stat : 23919 (java) S 23917 23917 21506 0 -1 1077944320 11180 0 0 0 50 4 0 0 20 0 15 0 445850421 15512608768 12445 33554432000 4194304 4196468 140732224691456 140732224674000 140325059030775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
/proc/23919/statm: 3787258 12445 3358 1 0 3748377 0
[pid=23919/tid=23920] ppid=23917 vsize=15149032 memory=-8439527450518781933 CPUtime=0.3 cores=0,2,4,6
/proc/23919/task/23920/stat : 23920 (java) R 23917 23917 21506 0 -1 4202560 8145 0 0 0 27 3 0 0 20 0 15 0 445850421 15512608768 12445 33554432000 4194304 4196468 140732224691456 140325063261888 140325043111262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23921] ppid=23917 vsize=15149032 memory=3472467968474752208 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23921/stat : 23921 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324651395344 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23922] ppid=23917 vsize=15149032 memory=279679017249152 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23922/stat : 23922 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324650342800 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23923] ppid=23917 vsize=15149032 memory=279678875329568 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23923/stat : 23923 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324649290256 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23924] ppid=23917 vsize=15149032 memory=139839437648655 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23924/stat : 23924 (java) S 23917 23917 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445850422 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324648237712 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23925] ppid=23917 vsize=15149032 memory=279679017256064 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23925/stat : 23925 (java) S 23917 23917 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445850423 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324527655408 140325059041922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23926] ppid=23917 vsize=15149032 memory=139839437653263 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23926/stat : 23926 (java) S 23917 23917 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445850423 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324526601632 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23927] ppid=23917 vsize=15149032 memory=139839437677106 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23927/stat : 23927 (java) S 23917 23917 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445850424 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324525549040 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23928] ppid=23917 vsize=15149032 memory=139839437681688 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23928/stat : 23928 (java) S 23917 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324524497616 140325059049371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23929] ppid=23917 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23919/task/23929/stat : 23929 (java) S 23917 23917 21506 0 -1 1077944384 537 0 0 0 4 0 0 0 20 0 15 0 445850426 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324523444208 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23930] ppid=23917 vsize=15149032 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/23919/task/23930/stat : 23930 (java) R 23917 23917 21506 0 -1 4202560 239 0 0 0 5 0 0 0 20 0 15 0 445850426 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324522391664 140325044157183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23931] ppid=23917 vsize=15149032 memory=139839579600512 CPUtime=0.13 cores=0,2,4,6
/proc/23919/task/23931/stat : 23931 (java) S 23917 23917 21506 0 -1 1077944384 962 0 0 0 13 0 0 0 20 0 15 0 445850426 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324521339120 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23932] ppid=23917 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23932/stat : 23932 (java) S 23917 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324520286816 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23933] ppid=23917 vsize=15149032 memory=139839579601960 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23933/stat : 23933 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850427 15512608768 12445 33554432000 4194304 4196468 140732224691456 140324519234352 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51228 KiB
[startup+0.701324 s]
/proc/loadavg: 8.03 8.17 7.73 7/234 23933
/proc/meminfo: memFree=21169228/32770624 swapFree=66976996/67108860
[pid=23917] ppid=23914 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23917/stat : 23917 (xcsp3-exec) S 23914 23917 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445850420 115843072 362 33554432000 4194304 5098028 140725515759392 140725515757496 140411607601788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10240000 140725515760508 140725515760749 140725515760749 140725515763658 0
/proc/23917/statm: 28282 362 304 221 0 87 0
[pid=23919] ppid=23917 vsize=15151156 memory=136188 CPUtime=1.74 cores=0,2,4,6
/proc/23919/stat : 23919 (java) S 23917 23917 21506 0 -1 1077944320 14355 0 0 0 168 6 0 0 20 0 15 0 445850421 15514783744 34047 33554432000 4194304 4196468 140732224691456 140732224674000 140325059030775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
/proc/23919/statm: 3787789 34047 3439 1 0 3748889 0
[pid=23919/tid=23920] ppid=23917 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/23919/task/23920/stat : 23920 (java) R 23917 23917 21506 0 -1 4202560 8672 0 0 0 63 4 0 0 20 0 15 0 445850421 15514783744 34047 33554432000 4194304 4196468 140732224691456 140325063265848 140324655034663 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23921] ppid=23917 vsize=15151156 memory=128 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23921/stat : 23921 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324651395344 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23922] ppid=23917 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23922/stat : 23922 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324650342800 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23923] ppid=23917 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23923/stat : 23923 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850422 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324649290256 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23924] ppid=23917 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23924/stat : 23924 (java) S 23917 23917 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445850422 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324648237712 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23925] ppid=23917 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23925/stat : 23925 (java) S 23917 23917 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445850423 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324527655408 140325059041922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23926] ppid=23917 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23926/stat : 23926 (java) S 23917 23917 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445850423 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324526601632 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23927] ppid=23917 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23927/stat : 23927 (java) S 23917 23917 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445850424 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324525549040 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23928] ppid=23917 vsize=15151156 memory=7872 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23928/stat : 23928 (java) S 23917 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324524497616 140325059049371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23929] ppid=23917 vsize=15151156 memory=1164 CPUtime=0.36 cores=0,2,4,6
/proc/23919/task/23929/stat : 23929 (java) R 23917 23917 21506 0 -1 4202560 1519 0 0 0 36 0 0 0 20 0 15 0 445850426 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324523434000 140325044155824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23930] ppid=23917 vsize=15151156 memory=9448 CPUtime=0.38 cores=0,2,4,6
/proc/23919/task/23930/stat : 23930 (java) R 23917 23917 21506 0 -1 4202560 1115 0 0 0 38 0 0 0 20 0 15 0 445850426 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324522381456 140325038685601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23931] ppid=23917 vsize=15151156 memory=14008 CPUtime=0.29 cores=0,2,4,6
/proc/23919/task/23931/stat : 23931 (java) S 23917 23917 21506 0 -1 1077944384 1742 0 0 0 29 0 0 0 20 0 15 0 445850426 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324521339120 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23932] ppid=23917 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23932/stat : 23932 (java) S 23917 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324520286816 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23933] ppid=23917 vsize=15151156 memory=11976 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23933/stat : 23933 (java) S 23917 23917 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445850427 15514783744 34047 33554432000 4194304 4196468 140732224691456 140324519234352 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 137636 KiB
[startup+1.5014 s]
/proc/loadavg: 8.03 8.17 7.73 9/234 23933
/proc/meminfo: memFree=21047224/32770624 swapFree=66976996/67108860
[pid=23917] ppid=23914 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23917/stat : 23917 (xcsp3-exec) S 23914 23917 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 445850420 115843072 362 33554432000 4194304 5098028 140725515759392 140725515757496 140411607601788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10240000 140725515760508 140725515760749 140725515760749 140725515763658 0
/proc/23917/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+667.201 s]
/proc/loadavg: 6.20 7.42 7.65 7/229 24094
/proc/meminfo: memFree=9228480/32770624 swapFree=66977020/67108860
[pid=23919] ppid=23914 vsize=15151156 memory=12622616 CPUtime=2521.88 cores=0,2,4,6
/proc/23919/stat : 23919 (java) S 23914 23917 21506 0 -1 1077944320 729691 0 0 0 250743 1445 0 0 20 0 15 0 445850421 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140732224674000 140325059030775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
/proc/23919/statm: 3787789 3155654 3524 1 0 3748889 0
[pid=23919/tid=23920] ppid=23914 vsize=15151156 memory=1548 CPUtime=29.71 cores=0,2,4,6
/proc/23919/task/23920/stat : 23920 (java) S 23914 23917 21506 0 -1 1077944384 19526 0 0 0 2958 13 0 0 20 0 15 0 445850421 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140325063269760 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23921] ppid=23914 vsize=15151156 memory=7872 CPUtime=618.32 cores=0,2,4,6
/proc/23919/task/23921/stat : 23921 (java) R 23914 23917 21506 0 -1 4202560 164025 0 0 0 61489 343 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324651395544 140325043729520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23922] ppid=23914 vsize=15151156 memory=1164 CPUtime=616.29 cores=0,2,4,6
/proc/23919/task/23922/stat : 23922 (java) R 23914 23917 21506 0 -1 4202560 103197 0 0 0 61240 389 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324650343000 140325044027185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23923] ppid=23914 vsize=15151156 memory=3620 CPUtime=618.96 cores=0,2,4,6
/proc/23919/task/23923/stat : 23923 (java) R 23914 23917 21506 0 -1 4202560 97639 0 0 0 61573 323 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324649290456 140325044027402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23924] ppid=23914 vsize=15151156 memory=30632 CPUtime=621.03 cores=0,2,4,6
/proc/23919/task/23924/stat : 23924 (java) R 23914 23917 21506 0 -1 4202560 180872 0 0 0 61745 358 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324648237600 140325044027176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23925] ppid=23914 vsize=15151156 memory=2004 CPUtime=10.94 cores=0,2,4,6
/proc/23919/task/23925/stat : 23925 (java) S 23914 23917 21506 0 -1 1077944384 129723 0 0 0 1086 8 0 0 20 0 15 0 445850423 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324527653952 140325059040981 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23926] ppid=23914 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23926/stat : 23926 (java) S 23914 23917 21506 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 445850423 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324526601696 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23927] ppid=23914 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23927/stat : 23927 (java) S 23914 23917 21506 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 445850424 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324525549056 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23928] ppid=23914 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23928/stat : 23928 (java) S 23914 23917 21506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324524497264 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23929] ppid=23914 vsize=15151156 memory=6791534058613427641 CPUtime=2.81 cores=0,2,4,6
/proc/23919/task/23929/stat : 23929 (java) S 23914 23917 21506 0 -1 1077944384 14163 0 0 0 279 2 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324523443968 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23930] ppid=23914 vsize=15151156 memory=512 CPUtime=2.76 cores=0,2,4,6
/proc/23919/task/23930/stat : 23930 (java) S 23914 23917 21506 0 -1 1077944384 13497 0 0 0 274 2 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324522391712 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23931] ppid=23914 vsize=15151156 memory=1564 CPUtime=0.67 cores=0,2,4,6
/proc/23919/task/23931/stat : 23931 (java) S 23914 23917 21506 0 -1 1077944384 4984 0 0 0 66 1 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324521339120 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23932] ppid=23914 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23932/stat : 23932 (java) S 23914 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324520286816 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23933] ppid=23914 vsize=15151156 memory=9448 CPUtime=0.27 cores=0,2,4,6
/proc/23919/task/23933/stat : 23933 (java) S 23914 23917 21506 0 -1 1077944384 704 0 0 0 18 9 0 0 20 0 15 0 445850427 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324519234352 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
Current cumulated CPU time of completed processes: 0.002338 s
Current children cumulated CPU time: 2521.88 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12622616 KiB
[startup+668.001 s]*
/proc/loadavg: 6.10 7.38 7.63 9/229 24094
/proc/meminfo: memFree=9175932/32770624 swapFree=66977020/67108860
[pid=23919] ppid=23914 vsize=15151156 memory=12622616 CPUtime=2524.89 cores=0,2,4,6
/proc/23919/stat : 23919 (java) S 23914 23917 21506 0 -1 1077944320 729835 0 0 0 251044 1445 0 0 20 0 15 0 445850421 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140732224674000 140325059030775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
/proc/23919/statm: 3787789 3155654 3524 1 0 3748889 0
[pid=23919/tid=23920] ppid=23914 vsize=15151156 memory=8317482817917895235 CPUtime=29.71 cores=0,2,4,6
/proc/23919/task/23920/stat : 23920 (java) S 23914 23917 21506 0 -1 1077944384 19527 0 0 0 2958 13 0 0 20 0 15 0 445850421 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140325063269760 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23921] ppid=23914 vsize=15151156 memory=-7003737579269690708 CPUtime=619.05 cores=0,2,4,6
/proc/23919/task/23921/stat : 23921 (java) R 23914 23917 21506 0 -1 4202560 164038 0 0 0 61562 343 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324651395544 140325044015795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23922] ppid=23914 vsize=15151156 memory=2960 CPUtime=617.02 cores=0,2,4,6
/proc/23919/task/23922/stat : 23922 (java) R 23914 23917 21506 0 -1 4202560 103224 0 0 0 61313 389 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324650343000 140325044016071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23923] ppid=23914 vsize=15151156 memory=1452 CPUtime=619.7 cores=0,2,4,6
/proc/23919/task/23923/stat : 23923 (java) R 23914 23917 21506 0 -1 4202560 97661 0 0 0 61647 323 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324649290144 140325044016071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23924] ppid=23914 vsize=15151156 memory=9751792 CPUtime=621.77 cores=0,2,4,6
/proc/23919/task/23924/stat : 23924 (java) R 23914 23917 21506 0 -1 4202560 180918 0 0 0 61819 358 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324648237912 140325043981453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23925] ppid=23914 vsize=15151156 memory=1628 CPUtime=11.01 cores=0,2,4,6
/proc/23919/task/23925/stat : 23925 (java) S 23914 23917 21506 0 -1 1077944384 129752 0 0 0 1093 8 0 0 20 0 15 0 445850423 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324527653728 140325059040981 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23926] ppid=23914 vsize=15151156 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23926/stat : 23926 (java) S 23914 23917 21506 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 445850423 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324526601696 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23927] ppid=23914 vsize=15151156 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23927/stat : 23927 (java) S 23914 23917 21506 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 445850424 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324525549056 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23928] ppid=23914 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23928/stat : 23928 (java) S 23914 23917 21506 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324524496688 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23929] ppid=23914 vsize=15151156 memory=984 CPUtime=2.81 cores=0,2,4,6
/proc/23919/task/23929/stat : 23929 (java) S 23914 23917 21506 0 -1 1077944384 14163 0 0 0 279 2 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324523444208 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23930] ppid=23914 vsize=15151156 memory=1448 CPUtime=2.76 cores=0,2,4,6
/proc/23919/task/23930/stat : 23930 (java) S 23914 23917 21506 0 -1 1077944384 13497 0 0 0 274 2 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324522391424 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23931] ppid=23914 vsize=15151156 memory=6791534058613427641 CPUtime=0.67 cores=0,2,4,6
/proc/23919/task/23931/stat : 23931 (java) S 23914 23917 21506 0 -1 1077944384 4984 0 0 0 66 1 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324521339168 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23932] ppid=23914 vsize=15151156 memory=12622616 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23932/stat : 23932 (java) S 23914 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324520286816 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23933] ppid=23914 vsize=15151156 memory=1060 CPUtime=0.27 cores=0,2,4,6
/proc/23919/task/23933/stat : 23933 (java) S 23914 23917 21506 0 -1 1077944384 706 0 0 0 18 9 0 0 20 0 15 0 445850427 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324519234352 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
Current cumulated CPU time of completed processes: 0.002338 s
Current children cumulated CPU time: 2524.89 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12622616 KiB
[startup+668.401 s]
/proc/loadavg: 6.10 7.38 7.63 9/229 24094
/proc/meminfo: memFree=9175932/32770624 swapFree=66977020/67108860
[pid=23919] ppid=23914 vsize=15151156 memory=12622616 CPUtime=2526.45 cores=0,2,4,6
/proc/23919/stat : 23919 (java) S 23914 23917 21506 0 -1 1077944320 730185 0 0 0 251200 1445 0 0 20 0 15 0 445850421 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140732224674000 140325059030775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
/proc/23919/statm: 3787789 3155654 3524 1 0 3748889 0
[pid=23919/tid=23920] ppid=23914 vsize=15151156 memory=12622616 CPUtime=29.71 cores=0,2,4,6
/proc/23919/task/23920/stat : 23920 (java) S 23914 23917 21506 0 -1 1077944384 19527 0 0 0 2958 13 0 0 20 0 15 0 445850421 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140325063269760 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23921] ppid=23914 vsize=15151156 memory=6791534058613427641 CPUtime=619.44 cores=0,2,4,6
/proc/23919/task/23921/stat : 23921 (java) R 23914 23917 21506 0 -1 4202560 164071 0 0 0 61601 343 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324651395544 140325043728517 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23922] ppid=23914 vsize=15151156 memory=1448 CPUtime=617.41 cores=0,2,4,6
/proc/23919/task/23922/stat : 23922 (java) R 23914 23917 21506 0 -1 4202560 103339 0 0 0 61352 389 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324650343000 140325043728367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23923] ppid=23914 vsize=15151156 memory=12622616 CPUtime=620.1 cores=0,2,4,6
/proc/23919/task/23923/stat : 23923 (java) R 23914 23917 21506 0 -1 4202560 97830 0 0 0 61686 324 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324649290144 140325043728414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23924] ppid=23914 vsize=15151156 memory=8317482817917895235 CPUtime=622.16 cores=0,2,4,6
/proc/23919/task/23924/stat : 23924 (java) R 23914 23917 21506 0 -1 4202560 180942 0 0 0 61858 358 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324648237912 140325043728527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23925] ppid=23914 vsize=15151156 memory=-7003737579269690708 CPUtime=11.01 cores=0,2,4,6
/proc/23919/task/23925/stat : 23925 (java) S 23914 23917 21506 0 -1 1077944384 129752 0 0 0 1093 8 0 0 20 0 15 0 445850423 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324527653728 140325059040981 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23926] ppid=23914 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23926/stat : 23926 (java) S 23914 23917 21506 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 445850423 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324526601696 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23927] ppid=23914 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23927/stat : 23927 (java) S 23914 23917 21506 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 445850424 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324525549056 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23928] ppid=23914 vsize=15151156 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23928/stat : 23928 (java) S 23914 23917 21506 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324524496688 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23929] ppid=23914 vsize=15151156 memory=2592 CPUtime=2.81 cores=0,2,4,6
/proc/23919/task/23929/stat : 23929 (java) S 23914 23917 21506 0 -1 1077944384 14163 0 0 0 279 2 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324523444208 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23930] ppid=23914 vsize=15151156 memory=2596 CPUtime=2.76 cores=0,2,4,6
/proc/23919/task/23930/stat : 23930 (java) S 23914 23917 21506 0 -1 1077944384 13497 0 0 0 274 2 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324522391424 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23931] ppid=23914 vsize=15151156 memory=1412 CPUtime=0.67 cores=0,2,4,6
/proc/23919/task/23931/stat : 23931 (java) S 23914 23917 21506 0 -1 1077944384 4984 0 0 0 66 1 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324521339168 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23932] ppid=23914 vsize=15151156 memory=3268 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23932/stat : 23932 (java) S 23914 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324520286816 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23933] ppid=23914 vsize=15151156 memory=12622616 CPUtime=0.27 cores=0,2,4,6
/proc/23919/task/23933/stat : 23933 (java) S 23914 23917 21506 0 -1 1077944384 715 0 0 0 18 9 0 0 20 0 15 0 445850427 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324519234352 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
Current cumulated CPU time of completed processes: 0.002338 s
Current children cumulated CPU time: 2526.45 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12622616 KiB
[startup+668.801 s]
/proc/loadavg: 6.10 7.38 7.63 9/229 24094
/proc/meminfo: memFree=9175932/32770624 swapFree=66977020/67108860
[pid=23919] ppid=23914 vsize=15151156 memory=12622616 CPUtime=2528.05 cores=0,2,4,6
/proc/23919/stat : 23919 (java) S 23914 23917 21506 0 -1 1077944320 730204 0 0 0 251360 1445 0 0 20 0 15 0 445850421 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140732224674000 140325059030775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
/proc/23919/statm: 3787789 3155654 3524 1 0 3748889 0
[pid=23919/tid=23920] ppid=23914 vsize=15151156 memory=780 CPUtime=29.71 cores=0,2,4,6
/proc/23919/task/23920/stat : 23920 (java) S 23914 23917 21506 0 -1 1077944384 19527 0 0 0 2958 13 0 0 20 0 15 0 445850421 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140325063269760 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23921] ppid=23914 vsize=15151156 memory=4088 CPUtime=619.83 cores=0,2,4,6
/proc/23919/task/23921/stat : 23921 (java) R 23914 23917 21506 0 -1 4202560 164074 0 0 0 61640 343 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324651395544 140325043981380 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23922] ppid=23914 vsize=15151156 memory=1448 CPUtime=617.81 cores=0,2,4,6
/proc/23919/task/23922/stat : 23922 (java) R 23914 23917 21506 0 -1 4202560 103339 0 0 0 61392 389 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324650343000 140325043728400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23923] ppid=23914 vsize=15151156 memory=1448 CPUtime=620.5 cores=0,2,4,6
/proc/23919/task/23923/stat : 23923 (java) R 23914 23917 21506 0 -1 4202560 97842 0 0 0 61726 324 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324649290144 140325045095605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23924] ppid=23914 vsize=15151156 memory=12622540 CPUtime=622.56 cores=0,2,4,6
/proc/23919/task/23924/stat : 23924 (java) R 23914 23917 21506 0 -1 4202560 180946 0 0 0 61898 358 0 0 20 0 15 0 445850422 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324648237912 140325043984290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23925] ppid=23914 vsize=15151156 memory=12622540 CPUtime=11.01 cores=0,2,4,6
/proc/23919/task/23925/stat : 23925 (java) S 23914 23917 21506 0 -1 1077944384 129752 0 0 0 1093 8 0 0 20 0 15 0 445850423 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324527653728 140325059040981 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23926] ppid=23914 vsize=15151156 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23926/stat : 23926 (java) S 23914 23917 21506 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 445850423 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324526601696 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23927] ppid=23914 vsize=15151156 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23927/stat : 23927 (java) S 23914 23917 21506 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 445850424 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324525549056 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23928] ppid=23914 vsize=15151156 memory=1028 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23928/stat : 23928 (java) S 23914 23917 21506 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324524496688 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23929] ppid=23914 vsize=15151156 memory=12622616 CPUtime=2.81 cores=0,2,4,6
/proc/23919/task/23929/stat : 23929 (java) S 23914 23917 21506 0 -1 1077944384 14163 0 0 0 279 2 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324523444208 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23930] ppid=23914 vsize=15151156 memory=3620 CPUtime=2.76 cores=0,2,4,6
/proc/23919/task/23930/stat : 23930 (java) S 23914 23917 21506 0 -1 1077944384 13497 0 0 0 274 2 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324522391424 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23931] ppid=23914 vsize=15151156 memory=30632 CPUtime=0.67 cores=0,2,4,6
/proc/23919/task/23931/stat : 23931 (java) S 23914 23917 21506 0 -1 1077944384 4984 0 0 0 66 1 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324521339168 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23932] ppid=23914 vsize=15151156 memory=12622616 CPUtime=0 cores=0,2,4,6
/proc/23919/task/23932/stat : 23932 (java) S 23914 23917 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445850426 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324520286816 140325059040981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
[pid=23919/tid=23933] ppid=23914 vsize=15151156 memory=1448 CPUtime=0.27 cores=0,2,4,6
/proc/23919/task/23933/stat : 23933 (java) S 23914 23917 21506 0 -1 1077944384 715 0 0 0 18 9 0 0 20 0 15 0 445850427 15514783744 3155654 33554432000 4194304 4196468 140732224691456 140324519234352 140325059041922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8605696 140732224697327 140732224697498 140732224697498 140732224700367 0
Current cumulated CPU time of completed processes: 0.002338 s
Current children cumulated CPU time: 2528.05 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12622616 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 668.875
CPU time (s): 2528.17
CPU user time (s): 2513.65
CPU system time (s): 14.5194
CPU usage (%): 377.973
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12624064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.65
system time used= 14.5194
maximum resident set size= 12622860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 730757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37670
involuntary context switches= 77925
# summary of solver processes directly reported to runsolver:
# pid: 23917,23919
# total CPU time (s): 2528.17
# total CPU user time (s): 2513.65
# total CPU system time (s): 14.5194
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.10437 second user time and 7.13795 second system time
The end