runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245224-1500685388/watcher-4245224-1500685388 -o /tmp/evaluation-result-4245224-1500685388/solver-4245224-1500685388 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1020083531 HOME/instance-4245224-1500685388.xml
pid=27813
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.43 13.82 13.58 9/273 27816
/proc/meminfo: memFree=28294864/32770624 swapFree=5736/224808
[pid=27816] ppid=27813 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27816/stat : 27816 (xcsp3-exec) S 27813 27816 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3807955 9740288 346 33554432000 4194304 5098028 140735451355744 140735451353848 140479350112892 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16252928 140735451358350 140735451358560 140735451358560 140735451361259 0
/proc/27816/statm: 2378 346 289 221 0 87 0
[startup+0.100125 s]
/proc/loadavg: 15.43 13.82 13.58 9/273 27816
/proc/meminfo: memFree=28294864/32770624 swapFree=5736/224808
[pid=27816] ppid=27813 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27816/stat : 27816 (xcsp3-exec) S 27813 27816 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3807955 9740288 346 33554432000 4194304 5098028 140735451355744 140735451353848 140479350112892 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16252928 140735451358350 140735451358560 140735451358560 140735451361259 0
/proc/27816/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200285 s]
/proc/loadavg: 15.43 13.82 13.58 9/273 27816
/proc/meminfo: memFree=28294864/32770624 swapFree=5736/224808
[pid=27816] ppid=27813 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27816/stat : 27816 (xcsp3-exec) S 27813 27816 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3807955 9740288 346 33554432000 4194304 5098028 140735451355744 140735451353848 140479350112892 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16252928 140735451358350 140735451358560 140735451358560 140735451361259 0
/proc/27816/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300245 s]
/proc/loadavg: 15.43 13.82 13.58 9/273 27816
/proc/meminfo: memFree=28294864/32770624 swapFree=5736/224808
[pid=27816] ppid=27813 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27816/stat : 27816 (xcsp3-exec) S 27813 27816 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3807955 9740288 346 33554432000 4194304 5098028 140735451355744 140735451353848 140479350112892 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16252928 140735451358350 140735451358560 140735451358560 140735451361259 0
/proc/27816/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70022 s]
/proc/loadavg: 15.43 13.82 13.58 9/273 27816
/proc/meminfo: memFree=28294864/32770624 swapFree=5736/224808
[pid=27816] ppid=27813 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27816/stat : 27816 (xcsp3-exec) S 27813 27816 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3807955 9740288 346 33554432000 4194304 5098028 140735451355744 140735451353848 140479350112892 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16252928 140735451358350 140735451358560 140735451358560 140735451361259 0
/proc/27816/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50143 s]
/proc/loadavg: 15.43 13.82 13.58 19/302 27845
/proc/meminfo: memFree=28152676/32770624 swapFree=5736/224828
[pid=27816] ppid=27813 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27816/stat : 27816 (xcsp3-exec) S 27813 27816 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3807955 9740288 346 33554432000 4194304 5098028 140735451355744 140735451353848 140479350112892 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16252928 140735451358350 140735451358560 140735451358560 140735451361259 0
/proc/27816/statm: 2378 346 289 221 0 87 0
[pid=27817] ppid=27816 vsize=13801768 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/27817/stat : 27817 (java) S 27816 27816 16473 0 -1 1077944320 20499 0 0 0 788 8 0 0 20 0 28 0 3807955 14133010432 38743 33554432000 4194304 4196468 140723669179664 140723669162208 139974593687287 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
/proc/27817/statm: 3450442 38743 3236 1 0 3437675 0
[pid=27817/tid=27818] ppid=27816 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27818/stat : 27818 (java) S 27816 27816 16473 0 -1 1077944384 6940 0 0 0 60 3 0 0 20 0 28 0 3807956 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974597928064 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27820] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27820/stat : 27820 (java) S 27816 27816 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974532652048 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27821] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27821/stat : 27821 (java) S 27816 27816 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974531599504 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27822] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27822/stat : 27822 (java) S 27816 27816 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974530546448 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27823] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27823/stat : 27823 (java) S 27816 27816 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974529493904 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27824] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27824/stat : 27824 (java) S 27816 27816 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974188423696 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27825] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27825/stat : 27825 (java) S 27816 27816 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974187371152 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27826] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27826/stat : 27826 (java) S 27816 27816 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974186318096 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27827] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27827/stat : 27827 (java) S 27816 27816 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974185265552 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27828] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27828/stat : 27828 (java) S 27816 27816 16473 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3807959 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974055807728 139974593698434 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27829] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27829/stat : 27829 (java) S 27816 27816 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3807959 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974054753952 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27830] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27830/stat : 27830 (java) S 27816 27816 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3807960 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974053700848 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27831] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27831/stat : 27831 (java) S 27816 27816 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974052649424 139974593705883 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27832] ppid=27816 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27832/stat : 27832 (java) R 27816 27816 16473 0 -1 4202560 2455 0 0 0 64 0 0 0 20 0 28 0 3807963 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974051582408 139974573380383 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27833] ppid=27816 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27833/stat : 27833 (java) R 27816 27816 16473 0 -1 4202560 2498 0 0 0 58 0 0 0 20 0 28 0 3807963 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974050529864 139974571557248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27834] ppid=27816 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27834/stat : 27834 (java) R 27816 27816 16473 0 -1 4202560 4226 0 0 0 65 1 0 0 20 0 28 0 3807963 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974049476432 139974571282720 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27835] ppid=27816 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27835/stat : 27835 (java) S 27816 27816 16473 0 -1 1077944384 2528 0 0 0 61 1 0 0 20 0 28 0 3807963 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974048438384 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27836] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27836/stat : 27836 (java) S 27816 27816 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974047386592 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27837] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27837/stat : 27837 (java) S 27816 27816 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974046334128 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27838] ppid=27816 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27838/stat : 27838 (java) R 27816 27816 16473 0 -1 4202560 58 0 0 0 74 0 0 0 20 0 28 0 3808021 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974038318472 139974213055005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27839] ppid=27816 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27839/stat : 27839 (java) R 27816 27816 16473 0 -1 4202560 83 0 0 0 57 0 0 0 20 0 28 0 3808021 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974037265160 139974214321744 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27840] ppid=27816 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27840/stat : 27840 (java) R 27816 27816 16473 0 -1 4202560 88 0 0 0 58 0 0 0 20 0 28 0 3808021 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974036211856 139974214321373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27841] ppid=27816 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27841/stat : 27841 (java) R 27816 27816 16473 0 -1 4202560 114 0 0 0 45 0 0 0 20 0 28 0 3808021 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974035160936 139974214141380 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27842] ppid=27816 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27842/stat : 27842 (java) R 27816 27816 16473 0 -1 4202560 31 0 0 0 56 0 0 0 20 0 28 0 3808021 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974034109776 139974213475106 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27843] ppid=27816 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27843/stat : 27843 (java) R 27816 27816 16473 0 -1 4202560 29 0 0 0 59 0 0 0 20 0 28 0 3808021 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974033055848 139974213818309 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27844] ppid=27816 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27844/stat : 27844 (java) R 27816 27816 16473 0 -1 4202560 50 0 0 0 54 0 0 0 20 0 28 0 3808021 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974032004072 139974214321624 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27845] ppid=27816 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27845/stat : 27845 (java) R 27816 27816 16473 0 -1 4202560 81 0 0 0 71 0 0 0 20 0 28 0 3808021 14133010432 38743 33554432000 4194304 4196468 140723669179664 139974030951352 139974213292283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 13811280
[startup+3.10157 s]
/proc/loadavg: 15.43 13.82 13.58 20/302 27845
/proc/meminfo: memFree=28033976/32770624 swapFree=5736/224820
[pid=27816] ppid=27813 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27816/stat : 27816 (xcsp3-exec) S 27813 27816 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3807955 9740288 346 33554432000 4194304 5098028 140735451355744 140735451353848 140479350112892 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16252928 140735451358350 140735451358560 140735451358560 140735451361259 0
/proc/27816/statm: 2378 346 289 221 0 87 0
[pid=27817] ppid=27816 vsize=13801768 CPUtime=20.62 cores=1,3,5,7,9,11,13,15
/proc/27817/stat : 27817 (java) S 27816 27816 16473 0 -1 1077944320 33264 0 0 0 2047 15 0 0 20 0 28 0 3807955 14133010432 60379 33554432000 4194304 4196468 140723669179664 140723669162208 139974593687287 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
/proc/27817/statm: 3450442 60379 3265 1 0 3437675 0
[pid=27817/tid=27818] ppid=27816 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27818/stat : 27818 (java) S 27816 27816 16473 0 -1 1077944384 6940 0 0 0 60 3 0 0 20 0 28 0 3807956 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974597928064 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27820] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27820/stat : 27820 (java) S 27816 27816 16473 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974532652048 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27821] ppid=27816 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27821/stat : 27821 (java) S 27816 27816 16473 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 3807957 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974531599504 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27822] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27822/stat : 27822 (java) S 27816 27816 16473 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974530546448 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27823] ppid=27816 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27823/stat : 27823 (java) S 27816 27816 16473 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 28 0 3807957 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974529493904 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27824] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27824/stat : 27824 (java) S 27816 27816 16473 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974188423696 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27825] ppid=27816 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27825/stat : 27825 (java) S 27816 27816 16473 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 3807957 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974187371152 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27826] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27826/stat : 27826 (java) S 27816 27816 16473 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 28 0 3807957 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974186318096 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27827] ppid=27816 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27827/stat : 27827 (java) S 27816 27816 16473 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 3807957 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974185265552 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27828] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27828/stat : 27828 (java) S 27816 27816 16473 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 28 0 3807959 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974055807728 139974593698434 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27829] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27829/stat : 27829 (java) S 27816 27816 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3807959 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974054754016 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27830] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27830/stat : 27830 (java) S 27816 27816 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3807960 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974053700848 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27831] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27831/stat : 27831 (java) S 27816 27816 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974052649424 139974593705883 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27832] ppid=27816 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27832/stat : 27832 (java) R 27816 27816 16473 0 -1 4202560 7074 0 0 0 180 1 0 0 20 0 28 0 3807963 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974051582624 139974572103602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27833] ppid=27816 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27833/stat : 27833 (java) R 27816 27816 16473 0 -1 4202560 4975 0 0 0 144 1 0 0 20 0 28 0 3807963 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974050525000 139974578081163 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27834] ppid=27816 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27834/stat : 27834 (java) R 27816 27816 16473 0 -1 4202560 7657 0 0 0 190 1 0 0 20 0 28 0 3807963 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974049476952 139974575231400 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27835] ppid=27816 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27835/stat : 27835 (java) S 27816 27816 16473 0 -1 1077944384 3033 0 0 0 70 1 0 0 20 0 28 0 3807963 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974048438384 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27836] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27836/stat : 27836 (java) S 27816 27816 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974047386592 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27837] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27837/stat : 27837 (java) S 27816 27816 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974046334128 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27838] ppid=27816 vsize=13801768 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27838/stat : 27838 (java) R 27816 27816 16473 0 -1 4202560 99 0 0 0 183 0 0 0 20 0 28 0 3808021 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974038319072 139974215010948 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27839] ppid=27816 vsize=13801768 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27839/stat : 27839 (java) R 27816 27816 16473 0 -1 4202560 138 0 0 0 167 0 0 0 20 0 28 0 3808021 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974037266696 139974209012192 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27840] ppid=27816 vsize=13801768 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27840/stat : 27840 (java) R 27816 27816 16473 0 -1 4202560 265 0 0 0 200 0 0 0 20 0 28 0 3808021 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974036212968 139974215119498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27841] ppid=27816 vsize=13801768 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27841/stat : 27841 (java) R 27816 27816 16473 0 -1 4202560 254 0 0 0 146 1 0 0 20 0 28 0 3808021 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974035160808 139974214472699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27842] ppid=27816 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27842/stat : 27842 (java) R 27816 27816 16473 0 -1 4202560 122 0 0 0 165 0 0 0 20 0 28 0 3808021 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974034107800 139974215080935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27843] ppid=27816 vsize=13801768 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27843/stat : 27843 (java) R 27816 27816 16473 0 -1 4202560 192 0 0 0 164 0 0 0 20 0 28 0 3808021 14133010432 60379 33554432000 4194304 4196468 140723669179664 139974033056264 139974213292444 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27844] ppid=27816 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27844/stat : 27844 (java) R 27816 27816 16473 0 -1 4202560 268 0 0 0 181 0 0 0 20 0 28 0 3808021 14133010432 60390 33554432000 4194304 4196468 140723669179664 139974032003656 139974213054976 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27845] ppid=27816 vsize=13801768 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27845/stat : 27845 (java) R 27816 27816 16473 0 -1 4202560 205 0 0 0 182 0 0 0 20 0 28 0 3808021 14133010432 60390 33554432000 4194304 4196468 140723669179664 139974030952168 139974215103222 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
Current children cumulated CPU time (s) 20.62
Current children cumulated vsize (KiB) 13811280
[startup+6.30166 s]
/proc/loadavg: 15.48 13.86 13.59 17/302 27845
/proc/meminfo: memFree=27865372/32770624 swapFree=5736/224828
################
# More data... #
################
[pid=27817/tid=27844] ppid=27816 vsize=13801768 CPUtime=218.38 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27844/stat : 27844 (java) R 27816 27816 16473 0 -1 4202560 2059 0 0 0 21835 3 0 0 20 0 28 0 3808021 14133010432 225012 33554432000 4194304 4196468 140723669179664 139974032006304 139974215519465 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27845] ppid=27816 vsize=13801768 CPUtime=218.4 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27845/stat : 27845 (java) R 27816 27816 16473 0 -1 4202560 1932 0 0 0 21836 4 0 0 20 0 28 0 3808021 14133010432 225012 33554432000 4194304 4196468 140723669179664 139974030950968 139974215080928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
Current children cumulated CPU time (s) 1760.42
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.00 15.10 14.19 17/300 27945
/proc/meminfo: memFree=30069100/32770624 swapFree=5736/225172
[pid=27816] ppid=27813 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27816/stat : 27816 (xcsp3-exec) S 27813 27816 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3807955 9740288 346 33554432000 4194304 5098028 140735451355744 140735451353848 140479350112892 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16252928 140735451358350 140735451358560 140735451358560 140735451361259 0
/proc/27816/statm: 2378 346 289 221 0 87 0
[pid=27817] ppid=27816 vsize=13801768 CPUtime=2231.1 cores=1,3,5,7,9,11,13,15
/proc/27817/stat : 27817 (java) S 27816 27816 16473 0 -1 1077944320 75268 0 0 0 222824 286 0 0 20 0 28 0 3807955 14133010432 159837 33554432000 4194304 4196468 140723669179664 140723669162208 139974593687287 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
/proc/27817/statm: 3450442 159837 3295 1 0 3437675 0
[pid=27817/tid=27818] ppid=27816 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27818/stat : 27818 (java) S 27816 27816 16473 0 -1 1077944384 6940 0 0 0 60 3 0 0 20 0 28 0 3807956 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974597928064 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27820] ppid=27816 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27820/stat : 27820 (java) S 27816 27816 16473 0 -1 1077944384 717 0 0 0 82 16 0 0 20 0 28 0 3807957 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974532652048 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27821] ppid=27816 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27821/stat : 27821 (java) S 27816 27816 16473 0 -1 1077944384 938 0 0 0 83 14 0 0 20 0 28 0 3807957 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974531599504 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27822] ppid=27816 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27822/stat : 27822 (java) S 27816 27816 16473 0 -1 1077944384 977 0 0 0 82 17 0 0 20 0 28 0 3807957 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974530546448 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27823] ppid=27816 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27823/stat : 27823 (java) S 27816 27816 16473 0 -1 1077944384 1415 0 0 0 82 17 0 0 20 0 28 0 3807957 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974529493904 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27824] ppid=27816 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27824/stat : 27824 (java) S 27816 27816 16473 0 -1 1077944384 1176 0 0 0 84 14 0 0 20 0 28 0 3807957 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974188423696 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27825] ppid=27816 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27825/stat : 27825 (java) S 27816 27816 16473 0 -1 1077944384 790 0 0 0 83 16 0 0 20 0 28 0 3807957 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974187371152 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27826] ppid=27816 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27826/stat : 27826 (java) S 27816 27816 16473 0 -1 1077944384 1927 0 0 0 86 15 0 0 20 0 28 0 3807957 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974186318096 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27827] ppid=27816 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27827/stat : 27827 (java) S 27816 27816 16473 0 -1 1077944384 1395 0 0 0 82 17 0 0 20 0 28 0 3807957 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974185265552 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27828] ppid=27816 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27828/stat : 27828 (java) S 27816 27816 16473 0 -1 1077944384 6416 0 0 0 81 113 0 0 20 0 28 0 3807959 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974055807728 139974593698434 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27829] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27829/stat : 27829 (java) S 27816 27816 16473 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3807959 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974054754016 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27830] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27830/stat : 27830 (java) S 27816 27816 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3807960 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974053700864 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27831] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27831/stat : 27831 (java) S 27816 27816 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974052649424 139974593705883 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27832] ppid=27816 vsize=13801768 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27832/stat : 27832 (java) S 27816 27816 16473 0 -1 1077944384 11975 0 0 0 300 1 0 0 20 0 28 0 3807963 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974051596528 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27833] ppid=27816 vsize=13801768 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27833/stat : 27833 (java) S 27816 27816 16473 0 -1 1077944384 8850 0 0 0 268 1 0 0 20 0 28 0 3807963 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974050543984 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27834] ppid=27816 vsize=13801768 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27834/stat : 27834 (java) S 27816 27816 16473 0 -1 1077944384 11291 0 0 0 333 2 0 0 20 0 28 0 3807963 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974049490928 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27835] ppid=27816 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27835/stat : 27835 (java) S 27816 27816 16473 0 -1 1077944384 6182 0 0 0 86 2 0 0 20 0 28 0 3807963 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974048438384 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27836] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27836/stat : 27836 (java) S 27816 27816 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974047386592 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27837] ppid=27816 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27837/stat : 27837 (java) S 27816 27816 16473 0 -1 1077944384 266 0 0 0 6 9 0 0 20 0 28 0 3807963 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974046334128 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27838] ppid=27816 vsize=13801768 CPUtime=274.66 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27838/stat : 27838 (java) R 27816 27816 16473 0 -1 4202560 1258 0 0 0 27464 2 0 0 20 0 28 0 3808021 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974038318008 139974210050368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27839] ppid=27816 vsize=13801768 CPUtime=276.29 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27839/stat : 27839 (java) R 27816 27816 16473 0 -1 4202560 2008 0 0 0 27624 5 0 0 20 0 28 0 3808021 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974037266744 139974213513152 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27840] ppid=27816 vsize=13801768 CPUtime=277.68 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27840/stat : 27840 (java) R 27816 27816 16473 0 -1 4202560 1328 0 0 0 27767 1 0 0 20 0 28 0 3808021 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974036213688 139974215080955 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27841] ppid=27816 vsize=13801768 CPUtime=276.53 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27841/stat : 27841 (java) R 27816 27816 16473 0 -1 4202560 1556 0 0 0 27650 3 0 0 20 0 28 0 3808021 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974035161144 139974215080962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27842] ppid=27816 vsize=13801768 CPUtime=276.03 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27842/stat : 27842 (java) R 27816 27816 16473 0 -1 4202560 1086 0 0 0 27602 1 0 0 20 0 28 0 3808021 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974034108088 139974215081061 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27843] ppid=27816 vsize=13801768 CPUtime=276.04 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27843/stat : 27843 (java) R 27816 27816 16473 0 -1 4202560 1312 0 0 0 27603 1 0 0 20 0 28 0 3808021 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974033055400 139974213967600 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27844] ppid=27816 vsize=13801768 CPUtime=276.48 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27844/stat : 27844 (java) R 27816 27816 16473 0 -1 4202560 2122 0 0 0 27645 3 0 0 20 0 28 0 3808021 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974032006304 139974213217600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27845] ppid=27816 vsize=13801768 CPUtime=276.61 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27845/stat : 27845 (java) R 27816 27816 16473 0 -1 4202560 1999 0 0 0 27657 4 0 0 20 0 28 0 3808021 14133010432 159837 33554432000 4194304 4196468 140723669179664 139974030950720 139974215080967 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
Current children cumulated CPU time (s) 2231.1
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.801 s]
/proc/loadavg: 16.00 15.18 14.24 17/300 27945
/proc/meminfo: memFree=30153040/32770624 swapFree=5736/225180
[pid=27816] ppid=27813 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27816/stat : 27816 (xcsp3-exec) S 27813 27816 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3807955 9740288 346 33554432000 4194304 5098028 140735451355744 140735451353848 140479350112892 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16252928 140735451358350 140735451358560 140735451358560 140735451361259 0
/proc/27816/statm: 2378 346 289 221 0 87 0
[pid=27817] ppid=27816 vsize=13801768 CPUtime=2400.12 cores=1,3,5,7,9,11,13,15
/proc/27817/stat : 27817 (java) S 27816 27816 16473 0 -1 1077944320 80535 0 0 0 239702 310 0 0 20 0 28 0 3807955 14133010432 139225 33554432000 4194304 4196468 140723669179664 140723669162208 139974593687287 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
/proc/27817/statm: 3450442 139225 3295 1 0 3437675 0
[pid=27817/tid=27818] ppid=27816 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27818/stat : 27818 (java) S 27816 27816 16473 0 -1 1077944384 6940 0 0 0 60 3 0 0 20 0 28 0 3807956 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974597928064 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27820] ppid=27816 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27820/stat : 27820 (java) S 27816 27816 16473 0 -1 1077944384 814 0 0 0 93 16 0 0 20 0 28 0 3807957 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974532652048 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27821] ppid=27816 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27821/stat : 27821 (java) S 27816 27816 16473 0 -1 1077944384 997 0 0 0 93 14 0 0 20 0 28 0 3807957 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974531599504 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27822] ppid=27816 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27822/stat : 27822 (java) S 27816 27816 16473 0 -1 1077944384 1055 0 0 0 93 17 0 0 20 0 28 0 3807957 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974530546448 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27823] ppid=27816 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27823/stat : 27823 (java) S 27816 27816 16473 0 -1 1077944384 1489 0 0 0 93 17 0 0 20 0 28 0 3807957 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974529493904 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27824] ppid=27816 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27824/stat : 27824 (java) S 27816 27816 16473 0 -1 1077944384 1361 0 0 0 95 14 0 0 20 0 28 0 3807957 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974188423696 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27825] ppid=27816 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27825/stat : 27825 (java) S 27816 27816 16473 0 -1 1077944384 878 0 0 0 93 16 0 0 20 0 28 0 3807957 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974187371152 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27826] ppid=27816 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27826/stat : 27826 (java) S 27816 27816 16473 0 -1 1077944384 2016 0 0 0 98 16 0 0 20 0 28 0 3807957 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974186318096 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27827] ppid=27816 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27827/stat : 27827 (java) S 27816 27816 16473 0 -1 1077944384 1531 0 0 0 93 17 0 0 20 0 28 0 3807957 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974185265552 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27828] ppid=27816 vsize=13801768 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27828/stat : 27828 (java) S 27816 27816 16473 0 -1 1077944384 9920 0 0 0 97 135 0 0 20 0 28 0 3807959 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974055807728 139974593698434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27829] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27829/stat : 27829 (java) S 27816 27816 16473 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3807959 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974054754016 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27830] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27830/stat : 27830 (java) S 27816 27816 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3807960 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974053700864 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27831] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27831/stat : 27831 (java) S 27816 27816 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974052649424 139974593705883 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27832] ppid=27816 vsize=13801768 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27832/stat : 27832 (java) S 27816 27816 16473 0 -1 1077944384 11977 0 0 0 300 1 0 0 20 0 28 0 3807963 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974051596528 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27833] ppid=27816 vsize=13801768 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27833/stat : 27833 (java) S 27816 27816 16473 0 -1 1077944384 8852 0 0 0 268 1 0 0 20 0 28 0 3807963 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974050543984 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27834] ppid=27816 vsize=13801768 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27834/stat : 27834 (java) S 27816 27816 16473 0 -1 1077944384 11294 0 0 0 333 2 0 0 20 0 28 0 3807963 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974049490928 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27835] ppid=27816 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27835/stat : 27835 (java) S 27816 27816 16473 0 -1 1077944384 6184 0 0 0 86 2 0 0 20 0 28 0 3807963 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974048438384 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27836] ppid=27816 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27836/stat : 27836 (java) S 27816 27816 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3807963 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974047386592 139974593697493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27837] ppid=27816 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27837/stat : 27837 (java) S 27816 27816 16473 0 -1 1077944384 288 0 0 0 6 9 0 0 20 0 28 0 3807963 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974046334128 139974593698434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27838] ppid=27816 vsize=13801768 CPUtime=295.6 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27838/stat : 27838 (java) R 27816 27816 16473 0 -1 4202560 1379 0 0 0 29558 2 0 0 20 0 28 0 3808021 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974038318264 139974215966347 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27839] ppid=27816 vsize=13801768 CPUtime=297.14 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27839/stat : 27839 (java) R 27816 27816 16473 0 -1 4202560 2139 0 0 0 29709 5 0 0 20 0 28 0 3808021 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974037266744 139974214473138 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27840] ppid=27816 vsize=13801768 CPUtime=298.73 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27840/stat : 27840 (java) R 27816 27816 16473 0 -1 4202560 1388 0 0 0 29872 1 0 0 20 0 28 0 3808021 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974036213688 139974215080962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27841] ppid=27816 vsize=13801768 CPUtime=297.57 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27841/stat : 27841 (java) R 27816 27816 16473 0 -1 4202560 1678 0 0 0 29753 4 0 0 20 0 28 0 3808021 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974035163936 139974215080825 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27842] ppid=27816 vsize=13801768 CPUtime=297.02 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27842/stat : 27842 (java) R 27816 27816 16473 0 -1 4202560 1144 0 0 0 29700 2 0 0 20 0 28 0 3808021 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974034108088 139974215080938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27843] ppid=27816 vsize=13801768 CPUtime=297.01 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27843/stat : 27843 (java) R 27816 27816 16473 0 -1 4202560 1492 0 0 0 29700 1 0 0 20 0 28 0 3808021 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974033055728 139974213513084 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27844] ppid=27816 vsize=13801768 CPUtime=297.42 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27844/stat : 27844 (java) R 27816 27816 16473 0 -1 4202560 2349 0 0 0 29738 4 0 0 20 0 28 0 3808021 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974032003512 139974215080962 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
[pid=27817/tid=27845] ppid=27816 vsize=13801768 CPUtime=297.6 cores=1,3,5,7,9,11,13,15
/proc/27817/task/27845/stat : 27845 (java) R 27816 27816 16473 0 -1 4202560 2026 0 0 0 29756 4 0 0 20 0 28 0 3808021 14133010432 139225 33554432000 4194304 4196468 140723669179664 139974030950952 139974213255111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140723669181628 140723669181804 140723669181804 140723669184463 0
Current children cumulated CPU time (s) 2400.12
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27817 sig 9
??? kill 27816 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27816 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=880
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1760
# CPU time returned by wait4() is 0.00264
# while last known CPU time is 2400.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.812
CPU time (s): 2400.12
CPU user time (s): 2397.02
CPU system time (s): 3.1
CPU usage (%): 790.002
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00088
system time used= 0.00176
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76649 second user time and 4.11238 second system time
The end