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 (4835 MiB free)
memory of node 1: 16384 MiB (12889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283287-1503221674/watcher-4283287-1503221674 -o /tmp/evaluation-result-4283287-1503221674/solver-4283287-1503221674 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503215543-27248 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1127032388 HOME/instance-4283287-1503221674.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28363, runsolver pid=28360
[startup+0.100142 s]*
/proc/loadavg: 2.24 2.33 2.14 3/218 28379
/proc/meminfo: memFree=18133120/32770624 swapFree=67108860/67108860
[pid=28363] ppid=28360 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (xcsp3-exec) S 28360 28363 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155255307 9740288 346 33554432000 4194304 5098028 140722535169680 140722535167784 139967264969340 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23224320 140722535175278 140722535175483 140722535175483 140722535178219 0
/proc/28363/statm: 2378 346 289 221 0 87 0
[pid=28365] ppid=28363 vsize=13978596 memory=28792 CPUtime=0.12 cores=1,3,5,7
/proc/28365/stat : 28365 (java) S 28363 28363 21004 0 -1 1077944320 5506 0 0 0 11 1 0 0 20 0 15 0 155255307 14314082304 7198 33554432000 4194304 4196468 140734907973232 140734907955776 139821931175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
/proc/28365/statm: 3494649 7198 2898 1 0 3482966 0
[pid=28365/tid=28366] ppid=28363 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/28365/task/28366/stat : 28366 (java) R 28363 28363 21004 0 -1 4202560 3439 0 0 0 8 1 0 0 20 0 15 0 155255307 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821935407360 139821916856616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28367] ppid=28363 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28367/stat : 28367 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821861263888 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28368] ppid=28363 vsize=13978596 memory=140166783551104 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28368/stat : 28368 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821860211344 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28369] ppid=28363 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821859158288 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28370] ppid=28363 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (java) S 28363 28363 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155255308 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821858105744 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28371] ppid=28363 vsize=13978596 memory=140166783551104 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (java) S 28363 28363 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155255309 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821404764912 139821931186818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28372] ppid=28363 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28372/stat : 28372 (java) S 28363 28363 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155255310 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821403711136 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28373] ppid=28363 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28373/stat : 28373 (java) S 28363 28363 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155255310 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821402658032 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28374] ppid=28363 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28374/stat : 28374 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821401606608 139821931194267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28375] ppid=28363 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28375/stat : 28375 (java) S 28363 28363 21004 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 155255313 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821400553712 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28376] ppid=28363 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28376/stat : 28376 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821399501168 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28377] ppid=28363 vsize=13978596 memory=140166783551104 CPUtime=0.01 cores=1,3,5,7
/proc/28365/task/28377/stat : 28377 (java) R 28363 28363 21004 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 15 0 155255313 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821398448112 139821924280404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28378] ppid=28363 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28378/stat : 28378 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821397395808 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28379] ppid=28363 vsize=13978596 memory=140166783551104 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28379/stat : 28379 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255313 14314082304 7198 33554432000 4194304 4196468 140734907973232 139821396343856 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30176 KiB
[startup+0.210792 s]*
/proc/loadavg: 2.24 2.33 2.14 4/218 28379
/proc/meminfo: memFree=18121584/32770624 swapFree=67108860/67108860
[pid=28363] ppid=28360 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (xcsp3-exec) S 28360 28363 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155255307 9740288 346 33554432000 4194304 5098028 140722535169680 140722535167784 139967264969340 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23224320 140722535175278 140722535175483 140722535175483 140722535178219 0
/proc/28363/statm: 2378 346 289 221 0 87 0
[pid=28365] ppid=28363 vsize=13982852 memory=40740 CPUtime=0.34 cores=1,3,5,7
/proc/28365/stat : 28365 (java) S 28363 28363 21004 0 -1 1077944320 8304 0 0 0 32 2 0 0 20 0 15 0 155255307 14318440448 10185 33554432000 4194304 4196468 140734907973232 140734907955776 139821931175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
/proc/28365/statm: 3495713 10185 3055 1 0 3482966 0
[pid=28365/tid=28366] ppid=28363 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28365/task/28366/stat : 28366 (java) R 28363 28363 21004 0 -1 4202560 5412 0 0 0 18 2 0 0 20 0 15 0 155255307 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821935386576 139821931197597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28367] ppid=28363 vsize=13982852 memory=12478 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28367/stat : 28367 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821861263888 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28368] ppid=28363 vsize=13982852 memory=140166783577457 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28368/stat : 28368 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821860211344 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28369] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821859158288 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28370] ppid=28363 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (java) S 28363 28363 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155255308 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821858105744 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28371] ppid=28363 vsize=13982852 memory=140166783551104 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (java) S 28363 28363 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155255309 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821404764912 139821931186818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28372] ppid=28363 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28372/stat : 28372 (java) S 28363 28363 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155255310 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821403711136 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28373] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28373/stat : 28373 (java) S 28363 28363 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155255310 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821402658032 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28374] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28374/stat : 28374 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821401606608 139821931194267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28375] ppid=28363 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28365/task/28375/stat : 28375 (java) S 28363 28363 21004 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 15 0 155255313 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821400553712 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28376] ppid=28363 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28365/task/28376/stat : 28376 (java) S 28363 28363 21004 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 155255313 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821399501168 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28377] ppid=28363 vsize=13982852 memory=140166783551104 CPUtime=0.08 cores=1,3,5,7
/proc/28365/task/28377/stat : 28377 (java) S 28363 28363 21004 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 15 0 155255313 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821398448112 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28378] ppid=28363 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28378/stat : 28378 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821397395808 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28379] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28379/stat : 28379 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255313 14318440448 10185 33554432000 4194304 4196468 140734907973232 139821396343856 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42124 KiB
[startup+0.310984 s]*
/proc/loadavg: 2.24 2.33 2.14 4/218 28379
/proc/meminfo: memFree=18115504/32770624 swapFree=67108860/67108860
[pid=28363] ppid=28360 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (xcsp3-exec) S 28360 28363 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155255307 9740288 346 33554432000 4194304 5098028 140722535169680 140722535167784 139967264969340 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23224320 140722535175278 140722535175483 140722535175483 140722535178219 0
/proc/28363/statm: 2378 346 289 221 0 87 0
[pid=28365] ppid=28363 vsize=13982852 memory=47336 CPUtime=0.51 cores=1,3,5,7
/proc/28365/stat : 28365 (java) S 28363 28363 21004 0 -1 1077944320 9048 0 0 0 49 2 0 0 20 0 15 0 155255307 14318440448 11834 33554432000 4194304 4196468 140734907973232 140734907955776 139821931175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
/proc/28365/statm: 3495713 11834 3103 1 0 3482966 0
[pid=28365/tid=28366] ppid=28363 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/28365/task/28366/stat : 28366 (java) R 28363 28363 21004 0 -1 4202560 5980 0 0 0 28 2 0 0 20 0 15 0 155255307 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821935414720 139821915256158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28367] ppid=28363 vsize=13982852 memory=12817 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28367/stat : 28367 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821861263888 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28368] ppid=28363 vsize=13982852 memory=3474868185298395620 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28368/stat : 28368 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821860211344 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28369] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821859158288 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28370] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (java) S 28363 28363 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155255308 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821858105744 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28371] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (java) S 28363 28363 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155255309 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821404764912 139821931186818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28372] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28372/stat : 28372 (java) S 28363 28363 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155255310 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821403711136 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28373] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28373/stat : 28373 (java) S 28363 28363 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155255310 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821402658032 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28374] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28374/stat : 28374 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821401606608 139821931194267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28375] ppid=28363 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28365/task/28375/stat : 28375 (java) R 28363 28363 21004 0 -1 4202560 514 0 0 0 4 0 0 0 20 0 15 0 155255313 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821400542976 139821910422784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28376] ppid=28363 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28365/task/28376/stat : 28376 (java) S 28363 28363 21004 0 -1 1077944384 403 0 0 0 3 0 0 0 20 0 15 0 155255313 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821399501168 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28377] ppid=28363 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/28365/task/28377/stat : 28377 (java) S 28363 28363 21004 0 -1 1077944384 848 0 0 0 13 0 0 0 20 0 15 0 155255313 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821398448112 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28378] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28378/stat : 28378 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821397395808 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28379] ppid=28363 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28379/stat : 28379 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255313 14318440448 11834 33554432000 4194304 4196468 140734907973232 139821396343856 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48720 KiB
[startup+0.70086 s]
/proc/loadavg: 2.24 2.33 2.14 5/218 28379
/proc/meminfo: memFree=18079788/32770624 swapFree=67108860/67108860
[pid=28363] ppid=28360 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (xcsp3-exec) S 28360 28363 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155255307 9740288 346 33554432000 4194304 5098028 140722535169680 140722535167784 139967264969340 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23224320 140722535175278 140722535175483 140722535175483 140722535178219 0
/proc/28363/statm: 2378 346 289 221 0 87 0
[pid=28365] ppid=28363 vsize=13984976 memory=100552 CPUtime=1.71 cores=1,3,5,7
/proc/28365/stat : 28365 (java) S 28363 28363 21004 0 -1 1077944320 12699 0 0 0 167 4 0 0 20 0 15 0 155255307 14320615424 25138 33554432000 4194304 4196468 140734907973232 140734907955776 139821931175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
/proc/28365/statm: 3496244 25138 3209 1 0 3483478 0
[pid=28365/tid=28366] ppid=28363 vsize=13984976 memory=4044 CPUtime=0.67 cores=1,3,5,7
/proc/28365/task/28366/stat : 28366 (java) R 28363 28363 21004 0 -1 4202560 6737 0 0 0 64 3 0 0 20 0 15 0 155255307 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821935410584 139821536383647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28367] ppid=28363 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28367/stat : 28367 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821861263888 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28368] ppid=28363 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28368/stat : 28368 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821860211344 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28369] ppid=28363 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255308 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821859158288 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28370] ppid=28363 vsize=13984976 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (java) S 28363 28363 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155255308 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821858105744 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28371] ppid=28363 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (java) S 28363 28363 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155255309 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821404764912 139821931186818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28372] ppid=28363 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28372/stat : 28372 (java) S 28363 28363 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821403711136 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28373] ppid=28363 vsize=13984976 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28373/stat : 28373 (java) S 28363 28363 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821402658032 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28374] ppid=28363 vsize=13984976 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28374/stat : 28374 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821401606608 139821931194267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28375] ppid=28363 vsize=13984976 memory=932 CPUtime=0.31 cores=1,3,5,7
/proc/28365/task/28375/stat : 28375 (java) R 28363 28363 21004 0 -1 4202560 1649 0 0 0 31 0 0 0 20 0 15 0 155255313 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821400534728 139821916057439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28376] ppid=28363 vsize=13984976 memory=2200 CPUtime=0.34 cores=1,3,5,7
/proc/28365/task/28376/stat : 28376 (java) R 28363 28363 21004 0 -1 4202560 1229 0 0 0 34 0 0 0 20 0 15 0 155255313 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821399494360 139821917327317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28377] ppid=28363 vsize=13984976 memory=7792 CPUtime=0.36 cores=1,3,5,7
/proc/28365/task/28377/stat : 28377 (java) S 28363 28363 21004 0 -1 1077944384 1777 0 0 0 36 0 0 0 20 0 15 0 155255313 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821398448112 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28378] ppid=28363 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28378/stat : 28378 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821397395808 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28379] ppid=28363 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28379/stat : 28379 (java) S 28363 28363 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 25138 33554432000 4194304 4196468 140734907973232 139821396343856 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 101936 KiB
[startup+1.50088 s]
/proc/loadavg: 2.24 2.33 2.14 6/218 28379
/proc/meminfo: memFree=18030876/32770624 swapFree=67108860/67108860
[pid=28363] ppid=28360 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (xcsp3-exec) S 28360 28363 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155255307 9740288 346 33554432000 4194304 5098028 140722535169680 140722535167784 139967264969340 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23224320 140722535175278 140722535175483 140722535175483 140722535178219 0
/proc/28363/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/28363/stat : 28363 (xcsp3-exec) S 28360 28363 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155255307 9740288 346 33554432000 4194304 5098028 140722535169680 140722535167784 139967264969340 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23224320 140722535175278 140722535175483 140722535175483 140722535178219 0
/proc/28363/statm: 2378 346 289 221 0 87 0
[pid=28365] ppid=28363 vsize=13984976 memory=398556 CPUtime=16.87 cores=1,3,5,7
/proc/28365/stat : 28365 (java) S 28363 28363 21004 0 -1 1077944320 43097 0 0 0 1666 21 0 0 20 0 15 0 155255307 14320615424 99639 33554432000 4194304 4196468 140734907973232 140734907955776 139821931175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
/proc/28365/statm: 3496244 99639 3258 1 0 3483478 0
[pid=28365/tid=28366] ppid=28363 vsize=13984976 memory=0 CPUtime=7.88 cores=1,3,5,7
/proc/28365/task/28366/stat : 28366 (java) R 28363 28363 21004 0 -1 4202560 8384 0 0 0 782 6 0 0 20 0 15 0 155255307 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821935412984 139821542358517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28367] ppid=28363 vsize=13984976 memory=140166660473183 CPUtime=0.04 cores=1,3,5,7
/proc/28365/task/28367/stat : 28367 (java) S 28363 28363 21004 0 -1 1077944384 133 0 0 0 3 1 0 0 20 0 15 0 155255308 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821861263888 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28368] ppid=28363 vsize=13984976 memory=140166783551104 CPUtime=0.06 cores=1,3,5,7
/proc/28365/task/28368/stat : 28368 (java) S 28363 28363 21004 0 -1 1077944384 578 0 0 0 4 2 0 0 20 0 15 0 155255308 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821860211344 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28369] ppid=28363 vsize=13984976 memory=7953763088628867665 CPUtime=0.05 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (java) S 28363 28363 21004 0 -1 1077944384 103 0 0 0 3 2 0 0 20 0 15 0 155255308 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821859158288 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28370] ppid=28363 vsize=13984976 memory=2320815291802924344 CPUtime=0.07 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (java) S 28363 28363 21004 0 -1 1077944384 386 0 0 0 5 2 0 0 20 0 15 0 155255308 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821858105744 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28371] ppid=28363 vsize=13984976 memory=3835296326536002738 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (java) S 28363 28363 21004 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 15 0 155255309 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821404764912 139821931186818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28372] ppid=28363 vsize=13984976 memory=3539886705881527089 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28372/stat : 28372 (java) S 28363 28363 21004 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821403711136 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28373] ppid=28363 vsize=13984976 memory=4638778402628129104 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28373/stat : 28373 (java) S 28363 28363 21004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821402658032 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28374] ppid=28363 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28374/stat : 28374 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821401606608 139821931194267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28375] ppid=28363 vsize=13984976 memory=0 CPUtime=4 cores=1,3,5,7
/proc/28365/task/28375/stat : 28375 (java) S 28363 28363 21004 0 -1 1077944384 13762 0 0 0 399 1 0 0 20 0 15 0 155255313 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821400553712 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28376] ppid=28363 vsize=13984976 memory=140166257733322 CPUtime=3.88 cores=1,3,5,7
/proc/28365/task/28376/stat : 28376 (java) S 28363 28363 21004 0 -1 1077944384 11749 0 0 0 387 1 0 0 20 0 15 0 155255313 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821399501168 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28377] ppid=28363 vsize=13984976 memory=140166783570391 CPUtime=0.8 cores=1,3,5,7
/proc/28365/task/28377/stat : 28377 (java) S 28363 28363 21004 0 -1 1077944384 6366 0 0 0 78 2 0 0 20 0 15 0 155255313 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821398448112 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28378] ppid=28363 vsize=13984976 memory=274 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28378/stat : 28378 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821397395808 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28379] ppid=28363 vsize=13984976 memory=140166783553445 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28379/stat : 28379 (java) S 28363 28363 21004 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 99639 33554432000 4194304 4196468 140734907973232 139821396343856 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
Current children cumulated CPU time: 16.87 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 399940 KiB
[startup+8.80137 s]
/proc/loadavg: 2.35 2.35 2.14 3/218 28379
/proc/meminfo: memFree=17762384/32770624 swapFree=67108860/67108860
[pid=28363] ppid=28360 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (xcsp3-exec) S 28360 28363 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155255307 9740288 346 33554432000 4194304 5098028 140722535169680 140722535167784 139967264969340 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23224320 140722535175278 140722535175483 140722535175483 140722535178219 0
/proc/28363/statm: 2378 346 289 221 0 87 0
[pid=28365] ppid=28363 vsize=13984976 memory=481360 CPUtime=17.95 cores=1,3,5,7
/proc/28365/stat : 28365 (java) S 28363 28363 21004 0 -1 1077944320 43554 0 0 0 1768 27 0 0 20 0 15 0 155255307 14320615424 120340 33554432000 4194304 4196468 140734907973232 140734907955776 139821931175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
/proc/28365/statm: 3496244 120340 3260 1 0 3483478 0
[pid=28365/tid=28366] ppid=28363 vsize=13984976 memory=1384 CPUtime=8.63 cores=1,3,5,7
/proc/28365/task/28366/stat : 28366 (java) R 28363 28363 21004 0 -1 4202560 8501 0 0 0 857 6 0 0 20 0 15 0 155255307 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821935412432 139821543278202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28367] ppid=28363 vsize=13984976 memory=378076 CPUtime=0.09 cores=1,3,5,7
/proc/28365/task/28367/stat : 28367 (java) S 28363 28363 21004 0 -1 1077944384 224 0 0 0 6 3 0 0 20 0 15 0 155255308 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821861263888 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28368] ppid=28363 vsize=13984976 memory=1728 CPUtime=0.1 cores=1,3,5,7
/proc/28365/task/28368/stat : 28368 (java) S 28363 28363 21004 0 -1 1077944384 614 0 0 0 7 3 0 0 20 0 15 0 155255308 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821860211344 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28369] ppid=28363 vsize=13984976 memory=1420 CPUtime=0.09 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (java) S 28363 28363 21004 0 -1 1077944384 135 0 0 0 6 3 0 0 20 0 15 0 155255308 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821859158288 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28370] ppid=28363 vsize=13984976 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (java) S 28363 28363 21004 0 -1 1077944384 420 0 0 0 7 4 0 0 20 0 15 0 155255308 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821858105744 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28371] ppid=28363 vsize=13984976 memory=7681421203011431829 CPUtime=0.01 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (java) S 28363 28363 21004 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 155255309 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821404764912 139821931186818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28372] ppid=28363 vsize=13984976 memory=-6237260532469557610 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28372/stat : 28372 (java) S 28363 28363 21004 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821403711136 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28373] ppid=28363 vsize=13984976 memory=3472328296160576641 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28373/stat : 28373 (java) S 28363 28363 21004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821402658032 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28374] ppid=28363 vsize=13984976 memory=3472328128895152424 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28374/stat : 28374 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821401606608 139821931194267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28375] ppid=28363 vsize=13984976 memory=280333321265872 CPUtime=4.06 cores=1,3,5,7
/proc/28365/task/28375/stat : 28375 (java) R 28363 28363 21004 0 -1 4202560 13774 0 0 0 405 1 0 0 20 0 15 0 155255313 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821400535104 139821912720233 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28376] ppid=28363 vsize=13984976 memory=11108 CPUtime=3.98 cores=1,3,5,7
/proc/28365/task/28376/stat : 28376 (java) R 28363 28363 21004 0 -1 4202560 11757 0 0 0 397 1 0 0 20 0 15 0 155255313 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821399501168 139821910862369 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28377] ppid=28363 vsize=13984976 memory=1712 CPUtime=0.8 cores=1,3,5,7
/proc/28365/task/28377/stat : 28377 (java) S 28363 28363 21004 0 -1 1077944384 6366 0 0 0 78 2 0 0 20 0 15 0 155255313 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821398448112 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28378] ppid=28363 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28378/stat : 28378 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821397395808 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28379] ppid=28363 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28379/stat : 28379 (java) S 28363 28363 21004 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 120340 33554432000 4194304 4196468 140734907973232 139821396343856 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
Current children cumulated CPU time: 17.95 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 482744 KiB
[startup+9.60083 s]
/proc/loadavg: 2.35 2.35 2.14 3/218 28379
/proc/meminfo: memFree=17679224/32770624 swapFree=67108860/67108860
[pid=28363] ppid=28360 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (xcsp3-exec) S 28360 28363 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155255307 9740288 346 33554432000 4194304 5098028 140722535169680 140722535167784 139967264969340 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23224320 140722535175278 140722535175483 140722535175483 140722535178219 0
/proc/28363/statm: 2378 346 289 221 0 87 0
[pid=28365] ppid=28363 vsize=13984976 memory=481380 CPUtime=18.78 cores=1,3,5,7
/proc/28365/stat : 28365 (java) S 28363 28363 21004 0 -1 1077944320 43570 0 0 0 1851 27 0 0 20 0 15 0 155255307 14320615424 120345 33554432000 4194304 4196468 140734907973232 140734907955776 139821931175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
/proc/28365/statm: 3496244 120345 3260 1 0 3483478 0
[pid=28365/tid=28366] ppid=28363 vsize=13984976 memory=4137293581110450563 CPUtime=9.43 cores=1,3,5,7
/proc/28365/task/28366/stat : 28366 (java) R 28363 28363 21004 0 -1 4202560 8511 0 0 0 937 6 0 0 20 0 15 0 155255307 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821935412176 139821541690477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28367] ppid=28363 vsize=13984976 memory=516 CPUtime=0.09 cores=1,3,5,7
/proc/28365/task/28367/stat : 28367 (java) S 28363 28363 21004 0 -1 1077944384 224 0 0 0 6 3 0 0 20 0 15 0 155255308 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821861263888 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28368] ppid=28363 vsize=13984976 memory=3472468462885544782 CPUtime=0.1 cores=1,3,5,7
/proc/28365/task/28368/stat : 28368 (java) S 28363 28363 21004 0 -1 1077944384 614 0 0 0 7 3 0 0 20 0 15 0 155255308 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821860211344 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28369] ppid=28363 vsize=13984976 memory=481360 CPUtime=0.09 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (java) S 28363 28363 21004 0 -1 1077944384 135 0 0 0 6 3 0 0 20 0 15 0 155255308 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821859158288 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28370] ppid=28363 vsize=13984976 memory=262568 CPUtime=0.11 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (java) S 28363 28363 21004 0 -1 1077944384 420 0 0 0 7 4 0 0 20 0 15 0 155255308 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821858105744 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28371] ppid=28363 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (java) S 28363 28363 21004 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 155255309 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821404764912 139821931186818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28372] ppid=28363 vsize=13984976 memory=307020 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28372/stat : 28372 (java) S 28363 28363 21004 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821403711136 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28373] ppid=28363 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28373/stat : 28373 (java) S 28363 28363 21004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821402658032 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28374] ppid=28363 vsize=13984976 memory=7378110472974787414 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28374/stat : 28374 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821401606608 139821931194267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28375] ppid=28363 vsize=13984976 memory=359644 CPUtime=4.07 cores=1,3,5,7
/proc/28365/task/28375/stat : 28375 (java) S 28363 28363 21004 0 -1 1077944384 13778 0 0 0 406 1 0 0 20 0 15 0 155255313 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821400553712 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28376] ppid=28363 vsize=13984976 memory=1384 CPUtime=4 cores=1,3,5,7
/proc/28365/task/28376/stat : 28376 (java) S 28363 28363 21004 0 -1 1077944384 11759 0 0 0 399 1 0 0 20 0 15 0 155255313 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821399501168 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28377] ppid=28363 vsize=13984976 memory=321168 CPUtime=0.8 cores=1,3,5,7
/proc/28365/task/28377/stat : 28377 (java) S 28363 28363 21004 0 -1 1077944384 6366 0 0 0 78 2 0 0 20 0 15 0 155255313 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821398448112 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28378] ppid=28363 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28378/stat : 28378 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821397395808 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28379] ppid=28363 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28379/stat : 28379 (java) S 28363 28363 21004 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 120345 33554432000 4194304 4196468 140734907973232 139821396343856 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
Current children cumulated CPU time: 18.78 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 482764 KiB
[startup+9.80094 s]
/proc/loadavg: 2.35 2.35 2.14 3/218 28379
/proc/meminfo: memFree=17679224/32770624 swapFree=67108860/67108860
[pid=28363] ppid=28360 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (xcsp3-exec) S 28360 28363 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155255307 9740288 346 33554432000 4194304 5098028 140722535169680 140722535167784 139967264969340 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23224320 140722535175278 140722535175483 140722535175483 140722535178219 0
/proc/28363/statm: 2378 346 289 221 0 87 0
[pid=28365] ppid=28363 vsize=13984976 memory=481404 CPUtime=18.99 cores=1,3,5,7
/proc/28365/stat : 28365 (java) S 28363 28363 21004 0 -1 1077944320 43590 0 0 0 1872 27 0 0 20 0 15 0 155255307 14320615424 120345 33554432000 4194304 4196468 140734907973232 140734907955776 139821931175671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
/proc/28365/statm: 3496244 120351 3260 1 0 3483478 0
[pid=28365/tid=28366] ppid=28363 vsize=13984976 memory=6944656592452807316 CPUtime=9.63 cores=1,3,5,7
/proc/28365/task/28366/stat : 28366 (java) R 28363 28363 21004 0 -1 4202560 8530 0 0 0 957 6 0 0 20 0 15 0 155255307 14320615424 120351 33554432000 4194304 4196468 140734907973232 139821935412888 139821931187606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28367] ppid=28363 vsize=13984976 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/28365/task/28367/stat : 28367 (java) S 28363 28363 21004 0 -1 1077944384 224 0 0 0 6 3 0 0 20 0 15 0 155255308 14320615424 120351 33554432000 4194304 4196468 140734907973232 139821861263888 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28368] ppid=28363 vsize=13984976 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28365/task/28368/stat : 28368 (java) S 28363 28363 21004 0 -1 1077944384 614 0 0 0 7 3 0 0 20 0 15 0 155255308 14320615424 120351 33554432000 4194304 4196468 140734907973232 139821860211344 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28369] ppid=28363 vsize=13984976 memory=397 CPUtime=0.09 cores=1,3,5,7
/proc/28365/task/28369/stat : 28369 (java) S 28363 28363 21004 0 -1 1077944384 135 0 0 0 6 3 0 0 20 0 15 0 155255308 14320615424 120351 33554432000 4194304 4196468 140734907973232 139821859158288 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28370] ppid=28363 vsize=13984976 memory=388 CPUtime=0.11 cores=1,3,5,7
/proc/28365/task/28370/stat : 28370 (java) S 28363 28363 21004 0 -1 1077944384 420 0 0 0 7 4 0 0 20 0 15 0 155255308 14320615424 120351 33554432000 4194304 4196468 140734907973232 139821858105744 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28371] ppid=28363 vsize=13984976 memory=80 CPUtime=0.01 cores=1,3,5,7
/proc/28365/task/28371/stat : 28371 (java) S 28363 28363 21004 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 155255309 14320615424 120351 33554432000 4194304 4196468 140734907973232 139821404764912 139821931186818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28372] ppid=28363 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28372/stat : 28372 (java) S 28363 28363 21004 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 120351 33554432000 4194304 4196468 140734907973232 139821403711136 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28373] ppid=28363 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28373/stat : 28373 (java) S 28363 28363 21004 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155255310 14320615424 120351 33554432000 4194304 4196468 140734907973232 139821402658032 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28374] ppid=28363 vsize=13984976 memory=1 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28374/stat : 28374 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 120351 33554432000 4194304 4196468 140734907973232 139821401606608 139821931194267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28375] ppid=28363 vsize=13984976 memory=0 CPUtime=4.08 cores=1,3,5,7
/proc/28365/task/28375/stat : 28375 (java) R 28363 28363 21004 0 -1 4202560 13782 0 0 0 407 1 0 0 20 0 15 0 155255313 14320615424 120353 33554432000 4194304 4196468 140734907973232 139821400553808 139821916856369 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28376] ppid=28363 vsize=13984976 memory=24124 CPUtime=4 cores=1,3,5,7
/proc/28365/task/28376/stat : 28376 (java) R 28363 28363 21004 0 -1 1077944384 11759 0 0 0 399 1 0 0 20 0 15 0 155255313 14320615424 120353 33554432000 4194304 4196468 140734907973232 139821399501168 139821931186818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28377] ppid=28363 vsize=13984976 memory=4044 CPUtime=0.8 cores=1,3,5,7
/proc/28365/task/28377/stat : 28377 (java) R 28363 28363 21004 0 -1 4202560 6371 0 0 0 78 2 0 0 20 0 15 0 155255313 14320615424 120353 33554432000 4194304 4196468 140734907973232 139821398446072 139821916856369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28378] ppid=28363 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28378/stat : 28378 (java) S 28363 28363 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 120353 33554432000 4194304 4196468 140734907973232 139821397395808 139821931185877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
[pid=28365/tid=28379] ppid=28363 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/28365/task/28379/stat : 28379 (java) S 28363 28363 21004 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 155255313 14320615424 120353 33554432000 4194304 4196468 140734907973232 139821396343856 139821931186818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38629376 140734907974807 140734907974983 140734907974983 140734907977679 0
Current children cumulated CPU time: 18.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 482788 KiB
Child status: 0
Real time (s): 9.82074
CPU time (s): 19.0177
CPU user time (s): 18.7331
CPU system time (s): 0.284582
CPU usage (%): 193.648
Max. virtual memory (cumulated for all children) (KiB): 13996616
Max. memory (cumulated for all children) (KiB): 482788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.7331
system time used= 0.284582
maximum resident set size= 482164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2865
involuntary context switches= 63
# summary of solver processes directly reported to runsolver:
# pid: 28363
# total CPU time (s): 19.0177
# total CPU user time (s): 18.7331
# total CPU system time (s): 0.284582
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.09808 second user time and 0.129539 second system time
The end