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-4248541-1500692130/watcher-4248541-1500692130 -o /tmp/evaluation-result-4248541-1500692130/solver-4248541-1500692130 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 185465282 HOME/instance-4248541-1500692130.xml
pid=16200
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: 16.25 14.42 13.17 10/274 16203
/proc/meminfo: memFree=29626072/32770624 swapFree=5900/306384
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 16.25 14.42 13.17 10/274 16203
/proc/meminfo: memFree=29626072/32770624 swapFree=5900/306384
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200281 s]
/proc/loadavg: 16.25 14.42 13.17 10/274 16203
/proc/meminfo: memFree=29626072/32770624 swapFree=5900/306384
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300232 s]
/proc/loadavg: 16.25 14.42 13.17 10/274 16203
/proc/meminfo: memFree=29626072/32770624 swapFree=5900/306384
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700186 s]
/proc/loadavg: 16.25 14.42 13.17 10/274 16203
/proc/meminfo: memFree=29626072/32770624 swapFree=5900/306384
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50147 s]
/proc/loadavg: 16.25 14.42 13.17 17/303 16232
/proc/meminfo: memFree=29432636/32770624 swapFree=5900/306368
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
[pid=16204] ppid=16203 vsize=13801768 CPUtime=6.97 cores=1,3,5,7,9,11,13,15
/proc/16204/stat : 16204 (java) S 16203 16203 16913 0 -1 1077944320 18527 0 0 0 683 14 0 0 20 0 27 0 4479968 14133010432 54985 33554432000 4194304 4196468 140727483926576 140727483909120 140211160657655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
/proc/16204/statm: 3450442 54985 3260 1 0 3437675 0
[pid=16204/tid=16205] ppid=16203 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16205/stat : 16205 (java) S 16203 16203 16913 0 -1 1077944384 6932 0 0 0 95 4 0 0 20 0 27 0 4479968 14133010432 54985 33554432000 4194304 4196468 140727483926576 140211164898432 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16207] ppid=16203 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16207/stat : 16207 (java) S 16203 16203 16913 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 27 0 4479969 14133010432 54985 33554432000 4194304 4196468 140727483926576 140211092794000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16208] ppid=16203 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16208/stat : 16208 (java) S 16203 16203 16913 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 27 0 4479969 14133010432 54985 33554432000 4194304 4196468 140727483926576 140211091741200 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16209] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16209/stat : 16209 (java) S 16203 16203 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 27 0 4479969 14133010432 54985 33554432000 4194304 4196468 140727483926576 140211090688400 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16210] ppid=16203 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16210/stat : 16210 (java) S 16203 16203 16913 0 -1 1077944384 18 0 0 0 0 1 0 0 20 0 27 0 4479969 14133010432 54985 33554432000 4194304 4196468 140727483926576 140211089635600 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16211] ppid=16203 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16211/stat : 16211 (java) S 16203 16203 16913 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 27 0 4479969 14133010432 54985 33554432000 4194304 4196468 140727483926576 140211088583824 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16212] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16212/stat : 16212 (java) S 16203 16203 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 27 0 4479969 14133010432 54985 33554432000 4194304 4196468 140727483926576 140211087531024 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16213] ppid=16203 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16213/stat : 16213 (java) S 16203 16203 16913 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 27 0 4479969 14133010432 54985 33554432000 4194304 4196468 140727483926576 140210753997712 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16214] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16214/stat : 16214 (java) S 16203 16203 16913 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 27 0 4479969 14133010432 54985 33554432000 4194304 4196468 140727483926576 140210752944912 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16215] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16215/stat : 16215 (java) S 16203 16203 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 27 0 4479972 14133010432 54985 33554432000 4194304 4196468 140727483926576 140210354538864 140211160668802 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16216] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16216/stat : 16216 (java) S 16203 16203 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 27 0 4479972 14133010432 54985 33554432000 4194304 4196468 140727483926576 140210353484832 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16217] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16217/stat : 16217 (java) S 16203 16203 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 27 0 4479973 14133010432 54985 33554432000 4194304 4196468 140727483926576 140210352431984 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16218] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16218/stat : 16218 (java) S 16203 16203 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 4479976 14133010432 54985 33554432000 4194304 4196468 140727483926576 140210351380304 140211160676251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16219] ppid=16203 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16219/stat : 16219 (java) R 16203 16203 16913 0 -1 4202560 2897 0 0 0 91 0 0 0 20 0 27 0 4479977 14133010432 54985 33554432000 4194304 4196468 140727483926576 140210350314568 140211142202120 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16220] ppid=16203 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16220/stat : 16220 (java) R 16203 16203 16913 0 -1 4202560 2258 0 0 0 106 0 0 0 20 0 27 0 4479977 14133010432 54985 33554432000 4194304 4196468 140727483926576 140210349256904 140211144568376 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16221] ppid=16203 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16221/stat : 16221 (java) R 16203 16203 16913 0 -1 4202560 1710 0 0 0 93 0 0 0 20 0 27 0 4479977 14133010432 54985 33554432000 4194304 4196468 140727483926576 140209886306376 140211145761642 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16222] ppid=16203 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16222/stat : 16222 (java) S 16203 16203 16913 0 -1 1077944384 2691 0 0 0 69 1 0 0 20 0 27 0 4479977 14133010432 54985 33554432000 4194304 4196468 140727483926576 140209885272560 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16223] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16223/stat : 16223 (java) S 16203 16203 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 4479977 14133010432 54985 33554432000 4194304 4196468 140727483926576 140209884220000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16224] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16224/stat : 16224 (java) S 16203 16203 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 4479977 14133010432 54985 33554432000 4194304 4196468 140727483926576 140209883167280 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 13811280
[startup+3.1016 s]
/proc/loadavg: 16.25 14.42 13.17 20/303 16240
/proc/meminfo: memFree=29381192/32770624 swapFree=5900/306368
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
[pid=16204] ppid=16203 vsize=13801768 CPUtime=19.63 cores=1,3,5,7,9,11,13,15
/proc/16204/stat : 16204 (java) S 16203 16203 16913 0 -1 1077944320 20907 0 0 0 1942 21 0 0 20 0 28 0 4479968 14133010432 69323 33554432000 4194304 4196468 140727483926576 140727483909120 140211160657655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
/proc/16204/statm: 3450442 69323 3272 1 0 3437675 0
[pid=16204/tid=16205] ppid=16203 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16205/stat : 16205 (java) S 16203 16203 16913 0 -1 1077944384 6932 0 0 0 95 4 0 0 20 0 28 0 4479968 14133010432 69323 33554432000 4194304 4196468 140727483926576 140211164898432 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16207] ppid=16203 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16207/stat : 16207 (java) S 16203 16203 16913 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 4479969 14133010432 69323 33554432000 4194304 4196468 140727483926576 140211092794000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16208] ppid=16203 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16208/stat : 16208 (java) S 16203 16203 16913 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 4479969 14133010432 69323 33554432000 4194304 4196468 140727483926576 140211091741200 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16209] ppid=16203 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16209/stat : 16209 (java) S 16203 16203 16913 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 4479969 14133010432 69323 33554432000 4194304 4196468 140727483926576 140211090688400 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16210] ppid=16203 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16210/stat : 16210 (java) S 16203 16203 16913 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 4479969 14133010432 69323 33554432000 4194304 4196468 140727483926576 140211089635600 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16211] ppid=16203 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16211/stat : 16211 (java) S 16203 16203 16913 0 -1 1077944384 43 0 0 0 3 2 0 0 20 0 28 0 4479969 14133010432 69323 33554432000 4194304 4196468 140727483926576 140211088583824 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16212] ppid=16203 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16212/stat : 16212 (java) S 16203 16203 16913 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 4479969 14133010432 69323 33554432000 4194304 4196468 140727483926576 140211087531024 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16213] ppid=16203 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16213/stat : 16213 (java) S 16203 16203 16913 0 -1 1077944384 41 0 0 0 3 1 0 0 20 0 28 0 4479969 14133010432 69323 33554432000 4194304 4196468 140727483926576 140210753997712 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16214] ppid=16203 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16214/stat : 16214 (java) S 16203 16203 16913 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 4479969 14133010432 69323 33554432000 4194304 4196468 140727483926576 140210752944912 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16215] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16215/stat : 16215 (java) S 16203 16203 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4479972 14133010432 69323 33554432000 4194304 4196468 140727483926576 140210354538864 140211160668802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16216] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16216/stat : 16216 (java) S 16203 16203 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4479972 14133010432 69323 33554432000 4194304 4196468 140727483926576 140210353484896 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16217] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16217/stat : 16217 (java) S 16203 16203 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4479973 14133010432 69323 33554432000 4194304 4196468 140727483926576 140210352432000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16218] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16218/stat : 16218 (java) S 16203 16203 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4479976 14133010432 69323 33554432000 4194304 4196468 140727483926576 140210351380304 140211160676251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16219] ppid=16203 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16219/stat : 16219 (java) S 16203 16203 16913 0 -1 1077944384 3296 0 0 0 187 0 0 0 20 0 28 0 4479977 14133010432 69323 33554432000 4194304 4196468 140727483926576 140210350328688 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16220] ppid=16203 vsize=13801768 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16220/stat : 16220 (java) R 16203 16203 16913 0 -1 4202560 2957 0 0 0 226 0 0 0 20 0 28 0 4479977 14133010432 69323 33554432000 4194304 4196468 140727483926576 140210349261808 140211142201743 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16221] ppid=16203 vsize=13801768 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16221/stat : 16221 (java) S 16203 16203 16913 0 -1 1077944384 2308 0 0 0 178 0 0 0 20 0 28 0 4479977 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209886325360 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16222] ppid=16203 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16222/stat : 16222 (java) S 16203 16203 16913 0 -1 1077944384 3054 0 0 0 88 1 0 0 20 0 28 0 4479977 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209885272560 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16223] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16223/stat : 16223 (java) S 16203 16203 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4479977 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209884220000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16224] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16224/stat : 16224 (java) S 16203 16203 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4479977 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209883167280 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16233] ppid=16203 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16233/stat : 16233 (java) R 16203 16203 16913 0 -1 4202560 38 0 0 0 109 0 0 0 20 0 28 0 4480117 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209134914504 140210775123137 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16234] ppid=16203 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16234/stat : 16234 (java) R 16203 16203 16913 0 -1 4202560 34 0 0 0 120 0 0 0 20 0 28 0 4480117 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209129651872 140210774665888 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16235] ppid=16203 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16235/stat : 16235 (java) R 16203 16203 16913 0 -1 4202560 24 0 0 0 131 0 0 0 20 0 28 0 4480117 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209132811592 140210774003973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16236] ppid=16203 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16236/stat : 16236 (java) R 16203 16203 16913 0 -1 4202560 39 0 0 0 111 0 0 0 20 0 28 0 4480117 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209133863992 140210773853741 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16237] ppid=16203 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16237/stat : 16237 (java) R 16203 16203 16913 0 -1 4202560 76 0 0 0 128 0 0 0 20 0 28 0 4480117 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209128601832 140210775123137 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16238] ppid=16203 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16238/stat : 16238 (java) R 16203 16203 16913 0 -1 4202560 18 0 0 0 95 0 0 0 20 0 28 0 4480117 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209130705832 140210774664372 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16239] ppid=16203 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16239/stat : 16239 (java) R 16203 16203 16913 0 -1 4202560 28 0 0 0 123 0 0 0 20 0 28 0 4480117 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209131758264 140210774288800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16240] ppid=16203 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16240/stat : 16240 (java) R 16203 16203 16913 0 -1 4202560 23 0 0 0 110 0 0 0 20 0 28 0 4480118 14133010432 69323 33554432000 4194304 4196468 140727483926576 140209135968952 140210773794078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
Current children cumulated CPU time (s) 19.63
Current children cumulated vsize (KiB) 13811280
[startup+6.30172 s]
/proc/loadavg: 16.23 14.44 13.18 17/303 16240
/proc/meminfo: memFree=29240936/32770624 swapFree=5900/306384
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
[pid=16204] ppid=16203 vsize=13801768 CPUtime=45.04 cores=1,3,5,7,9,11,13,15
/proc/16204/stat : 16204 (java) S 16203 16203 16913 0 -1 1077944320 29161 0 0 0 4466 38 0 0 20 0 28 0 4479968 14133010432 99134 33554432000 4194304 4196468 140727483926576 140727483909120 140211160657655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
/proc/16204/statm: 3450442 99134 3288 1 0 3437675 0
[pid=16204/tid=16205] ppid=16203 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16205/stat : 16205 (java) S 16203 16203 16913 0 -1 1077944384 6932 0 0 0 95 4 0 0 20 0 28 0 4479968 14133010432 99134 33554432000 4194304 4196468 140727483926576 140211164898432 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16207] ppid=16203 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16207/stat : 16207 (java) S 16203 16203 16913 0 -1 1077944384 87 0 0 0 3 2 0 0 20 0 28 0 4479969 14133010432 99134 33554432000 4194304 4196468 140727483926576 140211092794000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16208] ppid=16203 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16208/stat : 16208 (java) S 16203 16203 16913 0 -1 1077944384 71 0 0 0 3 3 0 0 20 0 28 0 4479969 14133010432 99134 33554432000 4194304 4196468 140727483926576 140211091741200 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16209] ppid=16203 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16209/stat : 16209 (java) S 16203 16203 16913 0 -1 1077944384 91 0 0 0 3 3 0 0 20 0 28 0 4479969 14133010432 99134 33554432000 4194304 4196468 140727483926576 140211090688400 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16210] ppid=16203 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16210/stat : 16210 (java) S 16203 16203 16913 0 -1 1077944384 764 0 0 0 3 3 0 0 20 0 28 0 4479969 14133010432 99134 33554432000 4194304 4196468 140727483926576 140211089635600 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
################
# More data... #
################
[pid=16204/tid=16434] ppid=16203 vsize=13801768 CPUtime=121.32 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16434/stat : 16434 (java) R 16203 16203 16913 0 -1 4202560 1591 0 0 0 12132 0 0 0 20 0 28 0 4495996 14133010432 224400 33554432000 4194304 4196468 140727483926576 140209132810712 140210773794190 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16435] ppid=16203 vsize=13801768 CPUtime=120.52 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16435/stat : 16435 (java) R 16203 16203 16913 0 -1 4202560 978 0 0 0 12051 1 0 0 20 0 28 0 4495996 14133010432 224400 33554432000 4194304 4196468 140727483926576 140209130704616 140210774665025 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
Current children cumulated CPU time (s) 2241.12
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.302 s]
/proc/loadavg: 16.00 15.28 13.88 17/305 16470
/proc/meminfo: memFree=29433392/32770624 swapFree=5900/306784
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
[pid=16204] ppid=16203 vsize=13801768 CPUtime=2400.18 cores=1,3,5,7,9,11,13,15
/proc/16204/stat : 16204 (java) S 16203 16203 16913 0 -1 1077944320 85953 0 0 0 239873 145 0 0 20 0 28 0 4479968 14133010432 210310 33554432000 4194304 4196468 140727483926576 140727483909120 140211160657655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
/proc/16204/statm: 3450442 210310 3289 1 0 3437675 0
[pid=16204/tid=16205] ppid=16203 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16205/stat : 16205 (java) S 16203 16203 16913 0 -1 1077944384 7319 0 0 0 96 4 0 0 20 0 28 0 4479968 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211164898432 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16207] ppid=16203 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16207/stat : 16207 (java) S 16203 16203 16913 0 -1 1077944384 1863 0 0 0 19 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211092794000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16208] ppid=16203 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16208/stat : 16208 (java) S 16203 16203 16913 0 -1 1077944384 898 0 0 0 19 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211091741200 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16209] ppid=16203 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16209/stat : 16209 (java) S 16203 16203 16913 0 -1 1077944384 2404 0 0 0 17 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211090688400 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16210] ppid=16203 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16210/stat : 16210 (java) S 16203 16203 16913 0 -1 1077944384 1887 0 0 0 20 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211089635600 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16211] ppid=16203 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16211/stat : 16211 (java) S 16203 16203 16913 0 -1 1077944384 1785 0 0 0 20 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211088583824 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16212] ppid=16203 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16212/stat : 16212 (java) S 16203 16203 16913 0 -1 1077944384 684 0 0 0 17 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211087531024 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16213] ppid=16203 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16213/stat : 16213 (java) S 16203 16203 16913 0 -1 1077944384 1418 0 0 0 20 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210753997712 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16214] ppid=16203 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16214/stat : 16214 (java) S 16203 16203 16913 0 -1 1077944384 1689 0 0 0 21 11 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210752944912 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16215] ppid=16203 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16215/stat : 16215 (java) S 16203 16203 16913 0 -1 1077944384 3891 0 0 0 5 7 0 0 20 0 28 0 4479972 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210354538864 140211160668802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16216] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16216/stat : 16216 (java) S 16203 16203 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4479972 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210353484896 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16217] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16217/stat : 16217 (java) S 16203 16203 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4479973 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210352432000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16218] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16218/stat : 16218 (java) S 16203 16203 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4479976 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210351380304 140211160676251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16219] ppid=16203 vsize=13801768 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16219/stat : 16219 (java) S 16203 16203 16913 0 -1 1077944384 11426 0 0 0 244 0 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210350328688 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16220] ppid=16203 vsize=13801768 CPUtime=3.16 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16220/stat : 16220 (java) S 16203 16203 16913 0 -1 1077944384 10759 0 0 0 315 1 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210349275888 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16221] ppid=16203 vsize=13801768 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16221/stat : 16221 (java) S 16203 16203 16913 0 -1 1077944384 8151 0 0 0 257 1 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209886325360 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16222] ppid=16203 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16222/stat : 16222 (java) S 16203 16203 16913 0 -1 1077944384 6539 0 0 0 96 2 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209885272560 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16223] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16223/stat : 16223 (java) S 16203 16203 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209884220000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16224] ppid=16203 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16224/stat : 16224 (java) S 16203 16203 16913 0 -1 1077944384 1136 0 0 0 6 9 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209883167280 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16428] ppid=16203 vsize=13801768 CPUtime=141.55 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16428/stat : 16428 (java) R 16203 16203 16913 0 -1 4202560 1779 0 0 0 14155 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209135969504 140210773792827 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16429] ppid=16203 vsize=13801768 CPUtime=140.96 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16429/stat : 16429 (java) R 16203 16203 16913 0 -1 4202560 798 0 0 0 14096 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209131757320 140210773794069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16430] ppid=16203 vsize=13801768 CPUtime=140.91 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16430/stat : 16430 (java) R 16203 16203 16913 0 -1 4202560 1508 0 0 0 14091 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209133862976 140210775270568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16431] ppid=16203 vsize=13801768 CPUtime=140.98 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16431/stat : 16431 (java) R 16203 16203 16913 0 -1 4202560 1216 0 0 0 14098 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209128599784 140210775270538 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16432] ppid=16203 vsize=13801768 CPUtime=141.44 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16432/stat : 16432 (java) R 16203 16203 16913 0 -1 4202560 1177 0 0 0 14144 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209134915976 140210774664316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16433] ppid=16203 vsize=13801768 CPUtime=141.62 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16433/stat : 16433 (java) R 16203 16203 16913 0 -1 4202560 373 0 0 0 14162 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209129652488 140210773794190 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16434] ppid=16203 vsize=13801768 CPUtime=141.25 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16434/stat : 16434 (java) R 16203 16203 16913 0 -1 4202560 1632 0 0 0 14125 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209132810008 140210775716339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16435] ppid=16203 vsize=13801768 CPUtime=140.25 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16435/stat : 16435 (java) R 16203 16203 16913 0 -1 4202560 1031 0 0 0 14024 1 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209130704248 140210773182343 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
Current children cumulated CPU time (s) 2400.18
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 16204 sig 9
??? kill 16203 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.302 s]
/proc/loadavg: 16.00 15.28 13.88 17/305 16470
/proc/meminfo: memFree=29433392/32770624 swapFree=5900/306784
[pid=16203] ppid=16200 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16203/stat : 16203 (xcsp3-exec) S 16200 16203 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4479967 9740288 346 33554432000 4194304 5098028 140736184886528 140736184884632 140234048328316 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25444352 140736184890511 140736184890720 140736184890720 140736184893419 0
/proc/16203/statm: 2378 346 289 221 0 87 0
[pid=16204] ppid=16203 vsize=13801768 CPUtime=2400.18 cores=1,3,5,7,9,11,13,15
/proc/16204/stat : 16204 (java) S 16203 16203 16913 0 -1 1077944320 85953 0 0 0 239873 145 0 0 20 0 28 0 4479968 14133010432 210310 33554432000 4194304 4196468 140727483926576 140727483909120 140211160657655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
/proc/16204/statm: 3450442 210310 3289 1 0 3437675 0
[pid=16204/tid=16205] ppid=16203 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16205/stat : 16205 (java) S 16203 16203 16913 0 -1 1077944384 7319 0 0 0 96 4 0 0 20 0 28 0 4479968 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211164898432 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16207] ppid=16203 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16207/stat : 16207 (java) S 16203 16203 16913 0 -1 1077944384 1863 0 0 0 19 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211092794000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16208] ppid=16203 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16208/stat : 16208 (java) S 16203 16203 16913 0 -1 1077944384 898 0 0 0 19 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211091741200 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16209] ppid=16203 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16209/stat : 16209 (java) S 16203 16203 16913 0 -1 1077944384 2404 0 0 0 17 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211090688400 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16210] ppid=16203 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16210/stat : 16210 (java) S 16203 16203 16913 0 -1 1077944384 1887 0 0 0 20 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211089635600 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16211] ppid=16203 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16211/stat : 16211 (java) S 16203 16203 16913 0 -1 1077944384 1785 0 0 0 20 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211088583824 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16212] ppid=16203 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16212/stat : 16212 (java) S 16203 16203 16913 0 -1 1077944384 684 0 0 0 17 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140211087531024 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16213] ppid=16203 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16213/stat : 16213 (java) S 16203 16203 16913 0 -1 1077944384 1418 0 0 0 20 12 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210753997712 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16214] ppid=16203 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16214/stat : 16214 (java) S 16203 16203 16913 0 -1 1077944384 1689 0 0 0 21 11 0 0 20 0 28 0 4479969 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210752944912 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16215] ppid=16203 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16215/stat : 16215 (java) S 16203 16203 16913 0 -1 1077944384 3891 0 0 0 5 7 0 0 20 0 28 0 4479972 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210354538864 140211160668802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16216] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16216/stat : 16216 (java) S 16203 16203 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4479972 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210353484896 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16217] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16217/stat : 16217 (java) S 16203 16203 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4479973 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210352432000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16218] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16218/stat : 16218 (java) S 16203 16203 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4479976 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210351380304 140211160676251 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16219] ppid=16203 vsize=13801768 CPUtime=2.44 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16219/stat : 16219 (java) S 16203 16203 16913 0 -1 1077944384 11426 0 0 0 244 0 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210350328688 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16220] ppid=16203 vsize=13801768 CPUtime=3.16 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16220/stat : 16220 (java) S 16203 16203 16913 0 -1 1077944384 10759 0 0 0 315 1 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140210349275888 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16221] ppid=16203 vsize=13801768 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16221/stat : 16221 (java) S 16203 16203 16913 0 -1 1077944384 8151 0 0 0 257 1 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209886325360 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16222] ppid=16203 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16222/stat : 16222 (java) S 16203 16203 16913 0 -1 1077944384 6539 0 0 0 96 2 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209885272560 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16223] ppid=16203 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16223/stat : 16223 (java) S 16203 16203 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209884220000 140211160667861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16224] ppid=16203 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16224/stat : 16224 (java) S 16203 16203 16913 0 -1 1077944384 1136 0 0 0 6 9 0 0 20 0 28 0 4479977 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209883167280 140211160668802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16428] ppid=16203 vsize=13801768 CPUtime=141.55 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16428/stat : 16428 (java) R 16203 16203 16913 0 -1 4202560 1779 0 0 0 14155 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209135969504 140210773792827 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16429] ppid=16203 vsize=13801768 CPUtime=140.96 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16429/stat : 16429 (java) R 16203 16203 16913 0 -1 4202560 798 0 0 0 14096 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209131757320 140210773794069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16430] ppid=16203 vsize=13801768 CPUtime=140.91 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16430/stat : 16430 (java) R 16203 16203 16913 0 -1 4202560 1508 0 0 0 14091 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209133862976 140210775270568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16431] ppid=16203 vsize=13801768 CPUtime=140.98 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16431/stat : 16431 (java) R 16203 16203 16913 0 -1 4202560 1216 0 0 0 14098 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209128599784 140210775270538 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16432] ppid=16203 vsize=13801768 CPUtime=141.44 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16432/stat : 16432 (java) R 16203 16203 16913 0 -1 4202560 1177 0 0 0 14144 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209134915976 140210774664316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16433] ppid=16203 vsize=13801768 CPUtime=141.62 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16433/stat : 16433 (java) R 16203 16203 16913 0 -1 4202560 373 0 0 0 14162 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209129652488 140210773794190 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16434] ppid=16203 vsize=13801768 CPUtime=141.25 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16434/stat : 16434 (java) R 16203 16203 16913 0 -1 4202560 1632 0 0 0 14125 0 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209132810008 140210775716339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
[pid=16204/tid=16435] ppid=16203 vsize=13801768 CPUtime=140.25 cores=1,3,5,7,9,11,13,15
/proc/16204/task/16435/stat : 16435 (java) R 16203 16203 16913 0 -1 4202560 1031 0 0 0 14024 1 0 0 20 0 28 0 4495996 14133010432 210310 33554432000 4194304 4196468 140727483926576 140209130704248 140210773182343 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37060608 140727483929788 140727483929964 140727483929964 140727483932623 0
Current children cumulated CPU time (s) 2400.18
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16203 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1006
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2012
# CPU time returned by wait4() is 0.003018
# while last known CPU time is 2400.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.312
CPU time (s): 2400.18
CPU user time (s): 2398.73
CPU system time (s): 1.45
CPU usage (%): 793.94
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001006
system time used= 0.002012
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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= 3
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94412 second user time and 4.39188 second system time
The end