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 (9811 MiB free)
memory of node 1: 16384 MiB (12245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282724-1503214654/watcher-4282724-1503214654 -o /tmp/evaluation-result-4282724-1503214654/solver-4282724-1503214654 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5117 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1802141919 HOME/instance-4282724-1503214654.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9738, runsolver pid=9735
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 2.12 1.92 1.82 3/218 9754
/proc/meminfo: memFree=22569060/32770624 swapFree=67108860/67108860
[pid=9738] ppid=9735 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9738/stat : 9738 (xcsp3-exec) S 9735 9738 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154546397 9740288 346 33554432000 4194304 5098028 140721802925824 140721802923928 140033856582268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31457280 140721802933364 140721802933568 140721802933568 140721802936299 0
/proc/9738/statm: 2378 346 289 221 0 87 0
[pid=9740] ppid=9738 vsize=13978596 memory=28068 CPUtime=0.11 cores=1,3,5,7
/proc/9740/stat : 9740 (java) S 9738 9738 5085 0 -1 1077944320 5454 0 0 0 10 1 0 0 20 0 15 0 154546397 14314082304 7017 33554432000 4194304 4196468 140724639838448 140724639820992 140590664142583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
/proc/9740/statm: 3494649 7017 2838 1 0 3482966 0
[pid=9740/tid=9741] ppid=9738 vsize=13978596 memory=7756788037170991963 CPUtime=0.09 cores=1,3,5,7
/proc/9740/task/9741/stat : 9741 (java) R 9738 9738 5085 0 -1 4202560 3456 0 0 0 8 1 0 0 20 0 15 0 154546398 14314082304 7017 33554432000 4194304 4196468 140724639838448 140590668375856 140590664154518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9742] ppid=9738 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9742/stat : 9742 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546399 14314082304 7017 33554432000 4194304 4196468 140724639838448 140590594230928 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9743] ppid=9738 vsize=13978596 memory=140598768379520 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9743/stat : 9743 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546399 14314082304 7017 33554432000 4194304 4196468 140724639838448 140590593178128 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9744] ppid=9738 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9744/stat : 9744 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546399 14314082304 7017 33554432000 4194304 4196468 140724639838448 140590592125328 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9745] ppid=9738 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9745/stat : 9745 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546399 14314082304 7017 33554432000 4194304 4196468 140724639838448 140590591072528 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9746] ppid=9738 vsize=13978596 memory=140598768379520 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9746/stat : 9746 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546400 14314082304 7017 33554432000 4194304 4196468 140724639838448 140589777529712 140590664153730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9747] ppid=9738 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9747/stat : 9747 (java) S 9738 9738 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154546400 14314082304 7017 33554432000 4194304 4196468 140724639838448 140589776475680 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9748] ppid=9738 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9748/stat : 9748 (java) S 9738 9738 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154546401 14314082304 7017 33554432000 4194304 4196468 140724639838448 140589775422832 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9749] ppid=9738 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9749/stat : 9749 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14314082304 7017 33554432000 4194304 4196468 140724639838448 140589774371152 140590664161179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9750] ppid=9738 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9750/stat : 9750 (java) S 9738 9738 5085 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 154546403 14314082304 7017 33554432000 4194304 4196468 140724639838448 140589773318512 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9751] ppid=9738 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9751/stat : 9751 (java) S 9738 9738 5085 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154546403 14314082304 7017 33554432000 4194304 4196468 140724639838448 140589772265712 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9752] ppid=9738 vsize=13978596 memory=140598768379520 CPUtime=0.01 cores=1,3,5,7
/proc/9740/task/9752/stat : 9752 (java) R 9738 9738 5085 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 154546403 14314082304 7017 33554432000 4194304 4196468 140724639838448 140589771212912 140590664163930 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9753] ppid=9738 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9753/stat : 9753 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14314082304 7017 33554432000 4194304 4196468 140724639838448 140589770160352 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9754] ppid=9738 vsize=13978596 memory=140598768379520 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9754/stat : 9754 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546403 14314082304 7017 33554432000 4194304 4196468 140724639838448 140589769108656 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29452 KiB
[startup+0.210719 s]*
/proc/loadavg: 2.12 1.92 1.82 3/218 9754
/proc/meminfo: memFree=22558284/32770624 swapFree=67108860/67108860
[pid=9738] ppid=9735 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9738/stat : 9738 (xcsp3-exec) S 9735 9738 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154546397 9740288 346 33554432000 4194304 5098028 140721802925824 140721802923928 140033856582268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31457280 140721802933364 140721802933568 140721802933568 140721802936299 0
/proc/9738/statm: 2378 346 289 221 0 87 0
[pid=9740] ppid=9738 vsize=13982852 memory=40164 CPUtime=0.33 cores=1,3,5,7
/proc/9740/stat : 9740 (java) S 9738 9738 5085 0 -1 1077944320 8071 0 0 0 31 2 0 0 20 0 15 0 154546397 14318440448 10041 33554432000 4194304 4196468 140724639838448 140724639820992 140590664142583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
/proc/9740/statm: 3495713 10041 3053 1 0 3482966 0
[pid=9740/tid=9741] ppid=9738 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/9740/task/9741/stat : 9741 (java) D 9738 9738 5085 0 -1 1077944384 5304 0 0 0 18 1 0 0 20 0 15 0 154546398 14318440448 10041 33554432000 4194304 4196468 140724639838448 140590668353376 140590656821805 0 4 0 16800975 18446744072101654052 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9742] ppid=9738 vsize=13982852 memory=9010 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9742/stat : 9742 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546399 14318440448 10041 33554432000 4194304 4196468 140724639838448 140590594230928 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9743] ppid=9738 vsize=13982884 memory=140598769146001 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9743/stat : 9743 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546399 14318473216 10041 33554432000 4194304 4196468 140724639838448 140590593178128 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9744] ppid=9738 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9744/stat : 9744 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546399 14318440448 10041 33554432000 4194304 4196468 140724639838448 140590592125328 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9745] ppid=9738 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9745/stat : 9745 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546399 14318440448 10041 33554432000 4194304 4196468 140724639838448 140590591072528 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9746] ppid=9738 vsize=13982852 memory=140598768379520 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9746/stat : 9746 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546400 14318440448 10041 33554432000 4194304 4196468 140724639838448 140589777529712 140590664153730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9747] ppid=9738 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9747/stat : 9747 (java) S 9738 9738 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154546400 14318440448 10041 33554432000 4194304 4196468 140724639838448 140589776475680 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9748] ppid=9738 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9748/stat : 9748 (java) S 9738 9738 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154546401 14318440448 10041 33554432000 4194304 4196468 140724639838448 140589775422832 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9749] ppid=9738 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9749/stat : 9749 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14318440448 10041 33554432000 4194304 4196468 140724639838448 140589774371152 140590664161179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9750] ppid=9738 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9740/task/9750/stat : 9750 (java) S 9738 9738 5085 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 154546403 14318440448 10041 33554432000 4194304 4196468 140724639838448 140589773318512 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9751] ppid=9738 vsize=13982884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9740/task/9751/stat : 9751 (java) S 9738 9738 5085 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 154546403 14318473216 10041 33554432000 4194304 4196468 140724639838448 140589772265712 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9752] ppid=9738 vsize=13982884 memory=140598768379520 CPUtime=0.07 cores=1,3,5,7
/proc/9740/task/9752/stat : 9752 (java) S 9738 9738 5085 0 -1 1077944384 702 0 0 0 7 0 0 0 20 0 15 0 154546403 14318473216 10041 33554432000 4194304 4196468 140724639838448 140589771212912 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9753] ppid=9738 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9753/stat : 9753 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14318440448 10041 33554432000 4194304 4196468 140724639838448 140589770160352 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9754] ppid=9738 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9754/stat : 9754 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546403 14318440448 10041 33554432000 4194304 4196468 140724639838448 140589769108656 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41548 KiB
[startup+0.31633 s]*
/proc/loadavg: 2.12 1.92 1.82 5/218 9754
/proc/meminfo: memFree=22550840/32770624 swapFree=67108860/67108860
[pid=9738] ppid=9735 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9738/stat : 9738 (xcsp3-exec) S 9735 9738 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154546397 9740288 346 33554432000 4194304 5098028 140721802925824 140721802923928 140033856582268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31457280 140721802933364 140721802933568 140721802933568 140721802936299 0
/proc/9738/statm: 2378 346 289 221 0 87 0
[pid=9740] ppid=9738 vsize=13982852 memory=48104 CPUtime=0.51 cores=1,3,5,7
/proc/9740/stat : 9740 (java) S 9738 9738 5085 0 -1 1077944320 9134 0 0 0 48 3 0 0 20 0 15 0 154546397 14318440448 12026 33554432000 4194304 4196468 140724639838448 140724639820992 140590664142583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
/proc/9740/statm: 3495713 12026 3117 1 0 3482966 0
[pid=9740/tid=9741] ppid=9738 vsize=13982852 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/9740/task/9741/stat : 9741 (java) R 9738 9738 5085 0 -1 4202560 5946 0 0 0 28 2 0 0 20 0 15 0 154546398 14318440448 12026 33554432000 4194304 4196468 140724639838448 140590668380320 140590656820597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9742] ppid=9738 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9742/stat : 9742 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546399 14318440448 12026 33554432000 4194304 4196468 140724639838448 140590594230928 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9743] ppid=9738 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9743/stat : 9743 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546399 14318440448 12026 33554432000 4194304 4196468 140724639838448 140590593178128 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9744] ppid=9738 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9744/stat : 9744 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546399 14318440448 12026 33554432000 4194304 4196468 140724639838448 140590592125328 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9745] ppid=9738 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9745/stat : 9745 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546399 14318440448 12026 33554432000 4194304 4196468 140724639838448 140590591072528 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9746] ppid=9738 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9746/stat : 9746 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546400 14318440448 12026 33554432000 4194304 4196468 140724639838448 140589777529712 140590664153730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9747] ppid=9738 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9747/stat : 9747 (java) S 9738 9738 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154546400 14318440448 12026 33554432000 4194304 4196468 140724639838448 140589776475680 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9748] ppid=9738 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9748/stat : 9748 (java) S 9738 9738 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154546401 14318440448 12026 33554432000 4194304 4196468 140724639838448 140589775422832 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9749] ppid=9738 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9749/stat : 9749 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14318440448 12026 33554432000 4194304 4196468 140724639838448 140589774371152 140590664161179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9750] ppid=9738 vsize=13982852 memory=7100839887185294217 CPUtime=0.03 cores=1,3,5,7
/proc/9740/task/9750/stat : 9750 (java) S 9738 9738 5085 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 154546403 14318440448 12026 33554432000 4194304 4196468 140724639838448 140589773318512 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9751] ppid=9738 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9740/task/9751/stat : 9751 (java) S 9738 9738 5085 0 -1 1077944384 619 0 0 0 4 0 0 0 20 0 15 0 154546403 14318440448 12026 33554432000 4194304 4196468 140724639838448 140589772265712 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9752] ppid=9738 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9740/task/9752/stat : 9752 (java) R 9738 9738 5085 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 154546403 14318440448 12026 33554432000 4194304 4196468 140724639838448 140589771212912 140590664153730 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9753] ppid=9738 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9753/stat : 9753 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14318440448 12026 33554432000 4194304 4196468 140724639838448 140589770160352 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9754] ppid=9738 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9754/stat : 9754 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546403 14318440448 12026 33554432000 4194304 4196468 140724639838448 140589769108656 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49488 KiB
[startup+0.700843 s]
/proc/loadavg: 2.12 1.92 1.82 5/218 9754
/proc/meminfo: memFree=22512740/32770624 swapFree=67108860/67108860
[pid=9738] ppid=9735 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9738/stat : 9738 (xcsp3-exec) S 9735 9738 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154546397 9740288 346 33554432000 4194304 5098028 140721802925824 140721802923928 140033856582268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31457280 140721802933364 140721802933568 140721802933568 140721802936299 0
/proc/9738/statm: 2378 346 289 221 0 87 0
[pid=9740] ppid=9738 vsize=13982928 memory=120312 CPUtime=1.56 cores=1,3,5,7
/proc/9740/stat : 9740 (java) S 9738 9738 5085 0 -1 1077944320 10871 0 0 0 151 5 0 0 20 0 15 0 154546397 14318518272 30078 33554432000 4194304 4196468 140724639838448 140724639820992 140590664142583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
/proc/9740/statm: 3495732 30078 3195 1 0 3482966 0
[pid=9740/tid=9741] ppid=9738 vsize=13982928 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/9740/task/9741/stat : 9741 (java) R 9738 9738 5085 0 -1 4202560 6293 0 0 0 64 3 0 0 20 0 15 0 154546398 14318518272 30078 33554432000 4194304 4196468 140724639838448 140590668379808 140590271416891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9742] ppid=9738 vsize=13982928 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9742/stat : 9742 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546399 14318518272 30078 33554432000 4194304 4196468 140724639838448 140590594230928 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9743] ppid=9738 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9743/stat : 9743 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546399 14318518272 30078 33554432000 4194304 4196468 140724639838448 140590593178128 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9744] ppid=9738 vsize=13982928 memory=43080 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9744/stat : 9744 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546399 14318518272 30078 33554432000 4194304 4196468 140724639838448 140590592125328 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9745] ppid=9738 vsize=13982928 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9745/stat : 9745 (java) S 9738 9738 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154546399 14318518272 30078 33554432000 4194304 4196468 140724639838448 140590591072528 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9746] ppid=9738 vsize=13982928 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9746/stat : 9746 (java) S 9738 9738 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154546400 14318518272 30078 33554432000 4194304 4196468 140724639838448 140589777529712 140590664153730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9747] ppid=9738 vsize=13982928 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9747/stat : 9747 (java) S 9738 9738 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154546400 14318518272 30078 33554432000 4194304 4196468 140724639838448 140589776475680 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9748] ppid=9738 vsize=13982928 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9748/stat : 9748 (java) S 9738 9738 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154546401 14318518272 30078 33554432000 4194304 4196468 140724639838448 140589775422832 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9749] ppid=9738 vsize=13982928 memory=11112 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9749/stat : 9749 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14318518272 30078 33554432000 4194304 4196468 140724639838448 140589774371152 140590664161179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9750] ppid=9738 vsize=13982928 memory=5776 CPUtime=0.29 cores=1,3,5,7
/proc/9740/task/9750/stat : 9750 (java) S 9738 9738 5085 0 -1 1077944384 989 0 0 0 29 0 0 0 20 0 15 0 154546403 14318518272 30078 33554432000 4194304 4196468 140724639838448 140589773318512 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9751] ppid=9738 vsize=13982928 memory=4616 CPUtime=0.35 cores=1,3,5,7
/proc/9740/task/9751/stat : 9751 (java) S 9738 9738 5085 0 -1 1077944384 1097 0 0 0 35 0 0 0 20 0 15 0 154546403 14318518272 30078 33554432000 4194304 4196468 140724639838448 140589772265712 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9752] ppid=9738 vsize=13982928 memory=792 CPUtime=0.21 cores=1,3,5,7
/proc/9740/task/9752/stat : 9752 (java) S 9738 9738 5085 0 -1 1077944384 1184 0 0 0 21 0 0 0 20 0 15 0 154546403 14318518272 30078 33554432000 4194304 4196468 140724639838448 140589771212912 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9753] ppid=9738 vsize=13982928 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9753/stat : 9753 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14318518272 30078 33554432000 4194304 4196468 140724639838448 140589770160352 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9754] ppid=9738 vsize=13982928 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9754/stat : 9754 (java) S 9738 9738 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154546403 14318518272 30078 33554432000 4194304 4196468 140724639838448 140589769108656 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 121696 KiB
[startup+1.50168 s]
/proc/loadavg: 2.12 1.92 1.82 4/218 9754
/proc/meminfo: memFree=22431804/32770624 swapFree=67108860/67108860
[pid=9738] ppid=9735 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9738/stat : 9738 (xcsp3-exec) S 9735 9738 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154546397 9740288 346 33554432000 4194304 5098028 140721802925824 140721802923928 140033856582268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31457280 140721802933364 140721802933568 140721802933568 140721802936299 0
/proc/9738/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=9740/tid=9746] ppid=9738 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9746/stat : 9746 (java) S 9738 9738 5085 0 -1 1077944384 737 0 0 0 0 0 0 0 20 0 15 0 154546400 14320615424 120111 33554432000 4194304 4196468 140724639838448 140589777529712 140590664153730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9747] ppid=9738 vsize=13984976 memory=218 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9747/stat : 9747 (java) S 9738 9738 5085 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154546400 14320615424 120111 33554432000 4194304 4196468 140724639838448 140589776475744 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9748] ppid=9738 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9748/stat : 9748 (java) S 9738 9738 5085 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 154546401 14320615424 120111 33554432000 4194304 4196468 140724639838448 140589775422848 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9749] ppid=9738 vsize=13984976 memory=43080 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9749/stat : 9749 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14320615424 120111 33554432000 4194304 4196468 140724639838448 140589774371152 140590664161179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9750] ppid=9738 vsize=13984976 memory=466676 CPUtime=2.18 cores=1,3,5,7
/proc/9740/task/9750/stat : 9750 (java) S 9738 9738 5085 0 -1 1077944384 11116 0 0 0 216 2 0 0 20 0 15 0 154546403 14320615424 120111 33554432000 4194304 4196468 140724639838448 140589773318512 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9751] ppid=9738 vsize=13984976 memory=1384 CPUtime=2.22 cores=1,3,5,7
/proc/9740/task/9751/stat : 9751 (java) S 9738 9738 5085 0 -1 1077944384 9874 0 0 0 221 1 0 0 20 0 15 0 154546403 14320615424 120111 33554432000 4194304 4196468 140724639838448 140589772265712 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9752] ppid=9738 vsize=13984976 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/9740/task/9752/stat : 9752 (java) S 9738 9738 5085 0 -1 1077944384 5993 0 0 0 48 1 0 0 20 0 15 0 154546403 14320615424 120111 33554432000 4194304 4196468 140724639838448 140589771212912 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9753] ppid=9738 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9753/stat : 9753 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14320615424 120111 33554432000 4194304 4196468 140724639838448 140589770160352 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9754] ppid=9738 vsize=13984976 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9740/task/9754/stat : 9754 (java) S 9738 9738 5085 0 -1 1077944384 474 0 0 0 2 3 0 0 20 0 15 0 154546403 14320615424 120111 33554432000 4194304 4196468 140724639838448 140589769108656 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
Current children cumulated CPU time: 107.47 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 481828 KiB
[startup+162.301 s]
/proc/loadavg: 1.96 1.93 1.84 3/217 9757
/proc/meminfo: memFree=21766040/32770624 swapFree=67108860/67108860
[pid=9738] ppid=9735 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9738/stat : 9738 (xcsp3-exec) S 9735 9738 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154546397 9740288 346 33554432000 4194304 5098028 140721802925824 140721802923928 140033856582268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31457280 140721802933364 140721802933568 140721802933568 140721802936299 0
/proc/9738/statm: 2378 346 289 221 0 87 0
[pid=9740] ppid=9738 vsize=13984976 memory=705448 CPUtime=167.63 cores=1,3,5,7
/proc/9740/stat : 9740 (java) S 9738 9738 5085 0 -1 1077944320 46254 0 0 0 16728 35 0 0 20 0 15 0 154546397 14320615424 176362 33554432000 4194304 4196468 140724639838448 140724639820992 140590664142583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
/proc/9740/statm: 3496244 176362 3259 1 0 3483478 0
[pid=9740/tid=9741] ppid=9738 vsize=13984976 memory=705448 CPUtime=162.19 cores=1,3,5,7
/proc/9740/task/9741/stat : 9741 (java) R 9738 9738 5085 0 -1 4202560 11908 0 0 0 16209 10 0 0 20 0 15 0 154546398 14320615424 176362 33554432000 4194304 4196468 140724639838448 140590668378144 140590273026884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9742] ppid=9738 vsize=13984976 memory=705184 CPUtime=0.07 cores=1,3,5,7
/proc/9740/task/9742/stat : 9742 (java) S 9738 9738 5085 0 -1 1077944384 292 0 0 0 4 3 0 0 20 0 15 0 154546399 14320615424 176362 33554432000 4194304 4196468 140724639838448 140590594230928 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9743] ppid=9738 vsize=13984976 memory=705184 CPUtime=0.07 cores=1,3,5,7
/proc/9740/task/9743/stat : 9743 (java) S 9738 9738 5085 0 -1 1077944384 960 0 0 0 3 4 0 0 20 0 15 0 154546399 14320615424 176362 33554432000 4194304 4196468 140724639838448 140590593178128 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9744] ppid=9738 vsize=13984976 memory=705228 CPUtime=0.07 cores=1,3,5,7
/proc/9740/task/9744/stat : 9744 (java) S 9738 9738 5085 0 -1 1077944384 937 0 0 0 4 3 0 0 20 0 15 0 154546399 14320615424 176362 33554432000 4194304 4196468 140724639838448 140590592125328 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9745] ppid=9738 vsize=13984976 memory=705448 CPUtime=0.07 cores=1,3,5,7
/proc/9740/task/9745/stat : 9745 (java) S 9738 9738 5085 0 -1 1077944384 898 0 0 0 4 3 0 0 20 0 15 0 154546399 14320615424 176362 33554432000 4194304 4196468 140724639838448 140590591072528 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9746] ppid=9738 vsize=13984976 memory=705448 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9746/stat : 9746 (java) S 9738 9738 5085 0 -1 1077944384 1205 0 0 0 0 0 0 0 20 0 15 0 154546400 14320615424 176362 33554432000 4194304 4196468 140724639838448 140589777529712 140590664153730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9747] ppid=9738 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9747/stat : 9747 (java) S 9738 9738 5085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154546400 14320615424 176362 33554432000 4194304 4196468 140724639838448 140589776475744 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9748] ppid=9738 vsize=13984976 memory=182420145982487 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9748/stat : 9748 (java) S 9738 9738 5085 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 154546401 14320615424 176362 33554432000 4194304 4196468 140724639838448 140589775422848 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9749] ppid=9738 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9749/stat : 9749 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14320615424 176362 33554432000 4194304 4196468 140724639838448 140589774371152 140590664161179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9750] ppid=9738 vsize=13984976 memory=43088 CPUtime=2.2 cores=1,3,5,7
/proc/9740/task/9750/stat : 9750 (java) S 9738 9738 5085 0 -1 1077944384 12124 0 0 0 218 2 0 0 20 0 15 0 154546403 14320615424 176362 33554432000 4194304 4196468 140724639838448 140589773318512 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9751] ppid=9738 vsize=13984976 memory=1384 CPUtime=2.28 cores=1,3,5,7
/proc/9740/task/9751/stat : 9751 (java) S 9738 9738 5085 0 -1 1077944384 9968 0 0 0 227 1 0 0 20 0 15 0 154546403 14320615424 176362 33554432000 4194304 4196468 140724639838448 140589772265712 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9752] ppid=9738 vsize=13984976 memory=4140 CPUtime=0.49 cores=1,3,5,7
/proc/9740/task/9752/stat : 9752 (java) S 9738 9738 5085 0 -1 1077944384 6037 0 0 0 48 1 0 0 20 0 15 0 154546403 14320615424 176362 33554432000 4194304 4196468 140724639838448 140589771212912 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9753] ppid=9738 vsize=13984976 memory=705184 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9753/stat : 9753 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14320615424 176362 33554432000 4194304 4196468 140724639838448 140589770160352 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9754] ppid=9738 vsize=13984976 memory=55 CPUtime=0.09 cores=1,3,5,7
/proc/9740/task/9754/stat : 9754 (java) S 9738 9738 5085 0 -1 1077944384 506 0 0 0 4 5 0 0 20 0 15 0 154546403 14320615424 176362 33554432000 4194304 4196468 140724639838448 140589769108656 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
Current children cumulated CPU time: 167.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 706832 KiB
[startup+222.301 s]
/proc/loadavg: 1.98 1.94 1.85 3/217 9758
/proc/meminfo: memFree=21741828/32770624 swapFree=67108860/67108860
[pid=9738] ppid=9735 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9738/stat : 9738 (xcsp3-exec) S 9735 9738 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154546397 9740288 346 33554432000 4194304 5098028 140721802925824 140721802923928 140033856582268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31457280 140721802933364 140721802933568 140721802933568 140721802936299 0
/proc/9738/statm: 2378 346 289 221 0 87 0
[pid=9740] ppid=9738 vsize=13984976 memory=727392 CPUtime=227.76 cores=1,3,5,7
/proc/9740/stat : 9740 (java) S 9738 9738 5085 0 -1 1077944320 50105 0 0 0 22737 39 0 0 20 0 15 0 154546397 14320615424 181848 33554432000 4194304 4196468 140724639838448 140724639820992 140590664142583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
/proc/9740/statm: 3496244 181848 3262 1 0 3483478 0
[pid=9740/tid=9741] ppid=9738 vsize=13984976 memory=727392 CPUtime=222.18 cores=1,3,5,7
/proc/9740/task/9741/stat : 9741 (java) R 9738 9738 5085 0 -1 4202560 12850 0 0 0 22208 10 0 0 20 0 15 0 154546398 14320615424 181848 33554432000 4194304 4196468 140724639838448 140590668380408 140590273026765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9742] ppid=9738 vsize=13984976 memory=727392 CPUtime=0.07 cores=1,3,5,7
/proc/9740/task/9742/stat : 9742 (java) S 9738 9738 5085 0 -1 1077944384 491 0 0 0 4 3 0 0 20 0 15 0 154546399 14320615424 181848 33554432000 4194304 4196468 140724639838448 140590594230928 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9743] ppid=9738 vsize=13984976 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/9740/task/9743/stat : 9743 (java) S 9738 9738 5085 0 -1 1077944384 1047 0 0 0 3 5 0 0 20 0 15 0 154546399 14320615424 181848 33554432000 4194304 4196468 140724639838448 140590593178128 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9744] ppid=9738 vsize=13984976 memory=727380 CPUtime=0.08 cores=1,3,5,7
/proc/9740/task/9744/stat : 9744 (java) S 9738 9738 5085 0 -1 1077944384 983 0 0 0 4 4 0 0 20 0 15 0 154546399 14320615424 181848 33554432000 4194304 4196468 140724639838448 140590592125328 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9745] ppid=9738 vsize=13984976 memory=2 CPUtime=0.08 cores=1,3,5,7
/proc/9740/task/9745/stat : 9745 (java) S 9738 9738 5085 0 -1 1077944384 1074 0 0 0 4 4 0 0 20 0 15 0 154546399 14320615424 181848 33554432000 4194304 4196468 140724639838448 140590591072528 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9746] ppid=9738 vsize=13984976 memory=1004 CPUtime=0.01 cores=1,3,5,7
/proc/9740/task/9746/stat : 9746 (java) S 9738 9738 5085 0 -1 1077944384 1349 0 0 0 1 0 0 0 20 0 15 0 154546400 14320615424 181848 33554432000 4194304 4196468 140724639838448 140589777529712 140590664153730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9747] ppid=9738 vsize=13984976 memory=11112 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9747/stat : 9747 (java) S 9738 9738 5085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154546400 14320615424 181848 33554432000 4194304 4196468 140724639838448 140589776475744 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9748] ppid=9738 vsize=13984976 memory=727380 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9748/stat : 9748 (java) S 9738 9738 5085 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 154546401 14320615424 181848 33554432000 4194304 4196468 140724639838448 140589775422848 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9749] ppid=9738 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9749/stat : 9749 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14320615424 181848 33554432000 4194304 4196468 140724639838448 140589774371152 140590664161179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9750] ppid=9738 vsize=13984976 memory=1384 CPUtime=2.21 cores=1,3,5,7
/proc/9740/task/9750/stat : 9750 (java) S 9738 9738 5085 0 -1 1077944384 12313 0 0 0 219 2 0 0 20 0 15 0 154546403 14320615424 181848 33554432000 4194304 4196468 140724639838448 140589773318512 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9751] ppid=9738 vsize=13984976 memory=4140 CPUtime=2.33 cores=1,3,5,7
/proc/9740/task/9751/stat : 9751 (java) S 9738 9738 5085 0 -1 1077944384 11368 0 0 0 232 1 0 0 20 0 15 0 154546403 14320615424 181848 33554432000 4194304 4196468 140724639838448 140589772265712 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9752] ppid=9738 vsize=13984976 memory=727392 CPUtime=0.5 cores=1,3,5,7
/proc/9740/task/9752/stat : 9752 (java) S 9738 9738 5085 0 -1 1077944384 6698 0 0 0 49 1 0 0 20 0 15 0 154546403 14320615424 181848 33554432000 4194304 4196468 140724639838448 140589771212912 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9753] ppid=9738 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9753/stat : 9753 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14320615424 181848 33554432000 4194304 4196468 140724639838448 140589770160352 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9754] ppid=9738 vsize=13984976 memory=43088 CPUtime=0.12 cores=1,3,5,7
/proc/9740/task/9754/stat : 9754 (java) S 9738 9738 5085 0 -1 1077944384 513 0 0 0 5 7 0 0 20 0 15 0 154546403 14320615424 181848 33554432000 4194304 4196468 140724639838448 140589769108656 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
Current children cumulated CPU time: 227.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 728776 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.99 1.94 1.85 3/217 9836
/proc/meminfo: memFree=21857752/32770624 swapFree=67108860/67108860
[pid=9738] ppid=9735 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9738/stat : 9738 (xcsp3-exec) S 9735 9738 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154546397 9740288 346 33554432000 4194304 5098028 140721802925824 140721802923928 140033856582268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31457280 140721802933364 140721802933568 140721802933568 140721802936299 0
/proc/9738/statm: 2378 346 289 221 0 87 0
[pid=9740] ppid=9738 vsize=13984976 memory=724120 CPUtime=245.5 cores=1,3,5,7
/proc/9740/stat : 9740 (java) S 9738 9738 5085 0 -1 1077944320 50314 0 0 0 24510 40 0 0 20 0 15 0 154546397 14320615424 181030 33554432000 4194304 4196468 140724639838448 140724639820992 140590664142583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
/proc/9740/statm: 3496244 181030 3262 1 0 3483478 0
[pid=9740/tid=9741] ppid=9738 vsize=13984976 memory=1232 CPUtime=239.89 cores=1,3,5,7
/proc/9740/task/9741/stat : 9741 (java) R 9738 9738 5085 0 -1 4202560 12911 0 0 0 23979 10 0 0 20 0 15 0 154546398 14320615424 181030 33554432000 4194304 4196468 140724639838448 140590668378080 140590273026232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9742] ppid=9738 vsize=13984976 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/9740/task/9742/stat : 9742 (java) S 9738 9738 5085 0 -1 1077944384 491 0 0 0 4 3 0 0 20 0 15 0 154546399 14320615424 181030 33554432000 4194304 4196468 140724639838448 140590594230928 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9743] ppid=9738 vsize=13984976 memory=1424 CPUtime=0.08 cores=1,3,5,7
/proc/9740/task/9743/stat : 9743 (java) S 9738 9738 5085 0 -1 1077944384 1047 0 0 0 3 5 0 0 20 0 15 0 154546399 14320615424 181030 33554432000 4194304 4196468 140724639838448 140590593178128 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9744] ppid=9738 vsize=13984976 memory=1936 CPUtime=0.08 cores=1,3,5,7
/proc/9740/task/9744/stat : 9744 (java) S 9738 9738 5085 0 -1 1077944384 983 0 0 0 4 4 0 0 20 0 15 0 154546399 14320615424 181030 33554432000 4194304 4196468 140724639838448 140590592125328 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9745] ppid=9738 vsize=13984976 memory=1224 CPUtime=0.08 cores=1,3,5,7
/proc/9740/task/9745/stat : 9745 (java) S 9738 9738 5085 0 -1 1077944384 1074 0 0 0 4 4 0 0 20 0 15 0 154546399 14320615424 181030 33554432000 4194304 4196468 140724639838448 140590591072528 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9746] ppid=9738 vsize=13984976 memory=1716 CPUtime=0.01 cores=1,3,5,7
/proc/9740/task/9746/stat : 9746 (java) S 9738 9738 5085 0 -1 1077944384 1350 0 0 0 1 0 0 0 20 0 15 0 154546400 14320615424 181030 33554432000 4194304 4196468 140724639838448 140589777529712 140590664153730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9747] ppid=9738 vsize=13984976 memory=10640 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9747/stat : 9747 (java) S 9738 9738 5085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154546400 14320615424 181030 33554432000 4194304 4196468 140724639838448 140589776475744 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9748] ppid=9738 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9748/stat : 9748 (java) S 9738 9738 5085 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 154546401 14320615424 181030 33554432000 4194304 4196468 140724639838448 140589775422848 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9749] ppid=9738 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9749/stat : 9749 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14320615424 181030 33554432000 4194304 4196468 140724639838448 140589774371152 140590664161179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9750] ppid=9738 vsize=13984976 memory=4126316290023845779 CPUtime=2.23 cores=1,3,5,7
/proc/9740/task/9750/stat : 9750 (java) S 9738 9738 5085 0 -1 1077944384 12451 0 0 0 221 2 0 0 20 0 15 0 154546403 14320615424 181030 33554432000 4194304 4196468 140724639838448 140589773318512 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9751] ppid=9738 vsize=13984976 memory=920 CPUtime=2.33 cores=1,3,5,7
/proc/9740/task/9751/stat : 9751 (java) S 9738 9738 5085 0 -1 1077944384 11368 0 0 0 232 1 0 0 20 0 15 0 154546403 14320615424 181030 33554432000 4194304 4196468 140724639838448 140589772265712 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9752] ppid=9738 vsize=13984976 memory=3832 CPUtime=0.5 cores=1,3,5,7
/proc/9740/task/9752/stat : 9752 (java) S 9738 9738 5085 0 -1 1077944384 6702 0 0 0 49 1 0 0 20 0 15 0 154546403 14320615424 181030 33554432000 4194304 4196468 140724639838448 140589771212912 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9753] ppid=9738 vsize=13984976 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/9740/task/9753/stat : 9753 (java) S 9738 9738 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154546403 14320615424 181030 33554432000 4194304 4196468 140724639838448 140589770160352 140590664152789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
[pid=9740/tid=9754] ppid=9738 vsize=13984976 memory=2548 CPUtime=0.13 cores=1,3,5,7
/proc/9740/task/9754/stat : 9754 (java) S 9738 9738 5085 0 -1 1077944384 518 0 0 0 6 7 0 0 20 0 15 0 154546403 14320615424 181030 33554432000 4194304 4196468 140724639838448 140589769108656 140590664153730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 28958720 140724639843485 140724639843660 140724639843660 140724639846351 0
Current children cumulated CPU time: 245.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 725504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.024 s]
# the end of solver process 9738 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.114 s, system=0.409181 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.024
CPU time (s): 245.523
CPU user time (s): 245.114
CPU system time (s): 0.409181
CPU usage (%): 102.291
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 728776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.114
system time used= 0.409181
maximum resident set size= 728024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7790
involuntary context switches= 325
# summary of solver processes directly reported to runsolver:
# pid: 9738
# total CPU time (s): 245.523
# total CPU user time (s): 245.114
# total CPU system time (s): 0.409181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45902 second user time and 2.39175 second system time
The end