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-4248231-1500691469/watcher-4248231-1500691469 -o /tmp/evaluation-result-4248231-1500691469/solver-4248231-1500691469 -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 812243594 HOME/instance-4248231-1500691469.xml
pid=4798
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: 14.37 13.26 14.40 10/272 4801
/proc/meminfo: memFree=24739664/32770624 swapFree=5736/264204
[pid=4801] ppid=4798 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4801/stat : 4801 (xcsp3-exec) S 4798 4801 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4416046 9740288 346 33554432000 4194304 5098028 140737391385952 140737391384056 140188018373244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19648512 140737391391887 140737391392096 140737391392096 140737391394795 0
/proc/4801/statm: 2378 346 289 221 0 87 0
[startup+0.10011 s]
/proc/loadavg: 14.37 13.26 14.40 10/272 4801
/proc/meminfo: memFree=24739664/32770624 swapFree=5736/264204
[pid=4801] ppid=4798 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4801/stat : 4801 (xcsp3-exec) S 4798 4801 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4416046 9740288 346 33554432000 4194304 5098028 140737391385952 140737391384056 140188018373244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19648512 140737391391887 140737391392096 140737391392096 140737391394795 0
/proc/4801/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200294 s]
/proc/loadavg: 14.37 13.26 14.40 10/272 4801
/proc/meminfo: memFree=24739664/32770624 swapFree=5736/264204
[pid=4801] ppid=4798 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4801/stat : 4801 (xcsp3-exec) S 4798 4801 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4416046 9740288 346 33554432000 4194304 5098028 140737391385952 140737391384056 140188018373244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19648512 140737391391887 140737391392096 140737391392096 140737391394795 0
/proc/4801/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300284 s]
/proc/loadavg: 14.37 13.26 14.40 10/272 4801
/proc/meminfo: memFree=24739664/32770624 swapFree=5736/264204
[pid=4801] ppid=4798 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4801/stat : 4801 (xcsp3-exec) S 4798 4801 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4416046 9740288 346 33554432000 4194304 5098028 140737391385952 140737391384056 140188018373244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19648512 140737391391887 140737391392096 140737391392096 140737391394795 0
/proc/4801/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70018 s]
/proc/loadavg: 14.37 13.26 14.40 10/272 4801
/proc/meminfo: memFree=24739664/32770624 swapFree=5736/264204
[pid=4801] ppid=4798 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4801/stat : 4801 (xcsp3-exec) S 4798 4801 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4416046 9740288 346 33554432000 4194304 5098028 140737391385952 140737391384056 140188018373244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19648512 140737391391887 140737391392096 140737391392096 140737391394795 0
/proc/4801/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5018 s]
/proc/loadavg: 14.37 13.26 14.40 20/301 4830
/proc/meminfo: memFree=24610884/32770624 swapFree=5736/263908
[pid=4801] ppid=4798 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4801/stat : 4801 (xcsp3-exec) S 4798 4801 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4416046 9740288 346 33554432000 4194304 5098028 140737391385952 140737391384056 140188018373244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19648512 140737391391887 140737391392096 140737391392096 140737391394795 0
/proc/4801/statm: 2378 346 289 221 0 87 0
[pid=4802] ppid=4801 vsize=13801768 CPUtime=8.25 cores=1,3,5,7,9,11,13,15
/proc/4802/stat : 4802 (java) S 4801 4801 16473 0 -1 1077944320 15372 0 0 0 813 12 0 0 20 0 28 0 4416046 14133010432 50887 33554432000 4194304 4196468 140730653182432 140730653164976 139908175810295 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
/proc/4802/statm: 3450442 50887 3246 1 0 3437675 0
[pid=4802/tid=4803] ppid=4801 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4803/stat : 4803 (java) S 4801 4801 16473 0 -1 1077944384 6837 0 0 0 58 3 0 0 20 0 28 0 4416047 14133010432 50887 33554432000 4194304 4196468 140730653182432 139908180051072 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4805] ppid=4801 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4805/stat : 4805 (java) S 4801 4801 16473 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4416048 14133010432 50887 33554432000 4194304 4196468 140730653182432 139908094290832 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4806] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4806/stat : 4806 (java) S 4801 4801 16473 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4416048 14133010432 50887 33554432000 4194304 4196468 140730653182432 139908093238032 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4807] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4807/stat : 4807 (java) S 4801 4801 16473 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4416048 14133010432 50887 33554432000 4194304 4196468 140730653182432 139908092185744 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4808] ppid=4801 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4808/stat : 4808 (java) S 4801 4801 16473 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 28 0 4416048 14133010432 50887 33554432000 4194304 4196468 140730653182432 139908091132944 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4809] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4809/stat : 4809 (java) S 4801 4801 16473 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4416048 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907771132304 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4810] ppid=4801 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4810/stat : 4810 (java) S 4801 4801 16473 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 4416048 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907770079504 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4811] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4811/stat : 4811 (java) S 4801 4801 16473 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4416048 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907769027216 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4812] ppid=4801 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4812/stat : 4812 (java) S 4801 4801 16473 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 28 0 4416048 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907767974416 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4813] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4813/stat : 4813 (java) S 4801 4801 16473 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4416050 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907369745008 139908175821442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4814] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4814/stat : 4814 (java) S 4801 4801 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4416051 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907368690976 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4815] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4815/stat : 4815 (java) S 4801 4801 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4416051 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907367638640 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4816] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4816/stat : 4816 (java) S 4801 4801 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4416055 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907366586960 139908175828891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4817] ppid=4801 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4817/stat : 4817 (java) R 4801 4801 16473 0 -1 4202560 1291 0 0 0 65 0 0 0 20 0 28 0 4416055 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907365514824 139908160099310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4818] ppid=4801 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4818/stat : 4818 (java) R 4801 4801 16473 0 -1 4202560 1519 0 0 0 72 1 0 0 20 0 28 0 4416055 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907364467888 139908160710607 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4819] ppid=4801 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4819/stat : 4819 (java) R 4801 4801 16473 0 -1 4202560 1607 0 0 0 69 0 0 0 20 0 28 0 4416055 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907363414904 139908159293826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4820] ppid=4801 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4820/stat : 4820 (java) S 4801 4801 16473 0 -1 1077944384 2287 0 0 0 46 0 0 0 20 0 28 0 4416055 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907362375920 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4821] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4821/stat : 4821 (java) S 4801 4801 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4416055 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907361323872 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4822] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4822/stat : 4822 (java) S 4801 4801 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4416056 14133010432 50887 33554432000 4194304 4196468 140730653182432 139907360271152 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4823] ppid=4801 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4823/stat : 4823 (java) R 4801 4801 16473 0 -1 4202560 57 0 0 0 51 0 0 0 20 0 28 0 4416110 14133010432 50887 33554432000 4194304 4196468 140730653182432 139906822690088 139907776216434 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4824] ppid=4801 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4824/stat : 4824 (java) R 4801 4801 16473 0 -1 4202560 48 0 0 0 64 0 0 0 20 0 28 0 4416110 14133010432 50887 33554432000 4194304 4196468 140730653182432 139906821639064 139907776216710 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4825] ppid=4801 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4825/stat : 4825 (java) R 4801 4801 16473 0 -1 4202560 46 0 0 0 58 0 0 0 20 0 28 0 4416110 14133010432 50887 33554432000 4194304 4196468 140730653182432 139906820585128 139907775660730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4826] ppid=4801 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4826/stat : 4826 (java) R 4801 4801 16473 0 -1 4202560 40 0 0 0 52 0 0 0 20 0 28 0 4416110 14133010432 50887 33554432000 4194304 4196468 140730653182432 139906819532728 139907771288589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4827] ppid=4801 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4827/stat : 4827 (java) R 4801 4801 16473 0 -1 4202560 40 0 0 0 55 0 0 0 20 0 28 0 4416110 14133010432 50887 33554432000 4194304 4196468 140730653182432 139906818479896 139907776086110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4828] ppid=4801 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4828/stat : 4828 (java) R 4801 4801 16473 0 -1 4202560 39 0 0 0 64 0 0 0 20 0 28 0 4416110 14133010432 50887 33554432000 4194304 4196468 140730653182432 139906817425744 139907771274765 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4829] ppid=4801 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4829/stat : 4829 (java) R 4801 4801 16473 0 -1 4202560 44 0 0 0 69 0 0 0 20 0 28 0 4416110 14133010432 50887 33554432000 4194304 4196468 140730653182432 139906816375216 139907771428320 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4830] ppid=4801 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4830/stat : 4830 (java) R 4801 4801 16473 0 -1 4202560 50 0 0 0 73 0 0 0 20 0 28 0 4416110 14133010432 50887 33554432000 4194304 4196468 140730653182432 139905808191960 139907776086071 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 13811280
[startup+3.10157 s]
/proc/loadavg: 14.37 13.26 14.40 21/301 4830
/proc/meminfo: memFree=24532396/32770624 swapFree=5736/263908
[pid=4801] ppid=4798 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4801/stat : 4801 (xcsp3-exec) S 4798 4801 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4416046 9740288 346 33554432000 4194304 5098028 140737391385952 140737391384056 140188018373244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19648512 140737391391887 140737391392096 140737391392096 140737391394795 0
/proc/4801/statm: 2378 346 289 221 0 87 0
[pid=4802] ppid=4801 vsize=13801768 CPUtime=20.36 cores=1,3,5,7,9,11,13,15
/proc/4802/stat : 4802 (java) S 4801 4801 16473 0 -1 1077944320 18528 0 0 0 2006 30 0 0 20 0 28 0 4416046 14133010432 90759 33554432000 4194304 4196468 140730653182432 140730653164976 139908175810295 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
/proc/4802/statm: 3450442 90759 3260 1 0 3437675 0
[pid=4802/tid=4803] ppid=4801 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4803/stat : 4803 (java) S 4801 4801 16473 0 -1 1077944384 6837 0 0 0 58 3 0 0 20 0 28 0 4416047 14133010432 90759 33554432000 4194304 4196468 140730653182432 139908180051072 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4805] ppid=4801 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4805/stat : 4805 (java) S 4801 4801 16473 0 -1 1077944384 27 0 0 0 3 2 0 0 20 0 28 0 4416048 14133010432 90759 33554432000 4194304 4196468 140730653182432 139908094290832 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4806] ppid=4801 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4806/stat : 4806 (java) S 4801 4801 16473 0 -1 1077944384 22 0 0 0 2 2 0 0 20 0 28 0 4416048 14133010432 90759 33554432000 4194304 4196468 140730653182432 139908093238032 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4807] ppid=4801 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4807/stat : 4807 (java) S 4801 4801 16473 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 28 0 4416048 14133010432 90759 33554432000 4194304 4196468 140730653182432 139908092185744 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4808] ppid=4801 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4808/stat : 4808 (java) S 4801 4801 16473 0 -1 1077944384 24 0 0 0 2 2 0 0 20 0 28 0 4416048 14133010432 90759 33554432000 4194304 4196468 140730653182432 139908091132944 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4809] ppid=4801 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4809/stat : 4809 (java) S 4801 4801 16473 0 -1 1077944384 24 0 0 0 2 1 0 0 20 0 28 0 4416048 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907771132304 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4810] ppid=4801 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4810/stat : 4810 (java) S 4801 4801 16473 0 -1 1077944384 34 0 0 0 2 2 0 0 20 0 28 0 4416048 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907770079504 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4811] ppid=4801 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4811/stat : 4811 (java) S 4801 4801 16473 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4416048 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907769027216 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4812] ppid=4801 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4812/stat : 4812 (java) S 4801 4801 16473 0 -1 1077944384 32 0 0 0 4 1 0 0 20 0 28 0 4416048 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907767974416 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4813] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4813/stat : 4813 (java) S 4801 4801 16473 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 4416050 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907369745008 139908175821442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4814] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4814/stat : 4814 (java) S 4801 4801 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4416051 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907368691040 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4815] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4815/stat : 4815 (java) S 4801 4801 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4416051 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907367638656 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4816] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4816/stat : 4816 (java) S 4801 4801 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4416055 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907366586960 139908175828891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4817] ppid=4801 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4817/stat : 4817 (java) R 4801 4801 16473 0 -1 4202560 2119 0 0 0 145 0 0 0 20 0 28 0 4416055 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907365526296 139908153671280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4818] ppid=4801 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4818/stat : 4818 (java) R 4801 4801 16473 0 -1 4202560 2049 0 0 0 168 1 0 0 20 0 28 0 4416055 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907364467824 139908157331138 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4819] ppid=4801 vsize=13801768 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4819/stat : 4819 (java) R 4801 4801 16473 0 -1 4202560 2411 0 0 0 178 0 0 0 20 0 28 0 4416055 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907363414976 139908156446131 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4820] ppid=4801 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4820/stat : 4820 (java) S 4801 4801 16473 0 -1 1077944384 2855 0 0 0 61 1 0 0 20 0 28 0 4416055 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907362375920 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4821] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4821/stat : 4821 (java) S 4801 4801 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4416055 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907361323872 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4822] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4822/stat : 4822 (java) S 4801 4801 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4416056 14133010432 90759 33554432000 4194304 4196468 140730653182432 139907360271152 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4823] ppid=4801 vsize=13801768 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4823/stat : 4823 (java) R 4801 4801 16473 0 -1 4202560 76 0 0 0 167 1 0 0 20 0 28 0 4416110 14133010432 90759 33554432000 4194304 4196468 140730653182432 139906822690392 139907777470541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4824] ppid=4801 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4824/stat : 4824 (java) R 4801 4801 16473 0 -1 4202560 63 0 0 0 158 0 0 0 20 0 28 0 4416110 14133010432 90759 33554432000 4194304 4196468 140730653182432 139906821637096 139907776216732 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4825] ppid=4801 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4825/stat : 4825 (java) R 4801 4801 16473 0 -1 4202560 69 0 0 0 181 0 0 0 20 0 28 0 4416110 14133010432 90759 33554432000 4194304 4196468 140730653182432 139906820583256 139907777287780 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4826] ppid=4801 vsize=13801768 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4826/stat : 4826 (java) R 4801 4801 16473 0 -1 4202560 92 0 0 0 147 0 0 0 20 0 28 0 4416110 14133010432 90759 33554432000 4194304 4196468 140730653182432 139906819530536 139907775259635 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4827] ppid=4801 vsize=13801768 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4827/stat : 4827 (java) R 4801 4801 16473 0 -1 4202560 57 0 0 0 168 0 0 0 20 0 28 0 4416110 14133010432 90759 33554432000 4194304 4196468 140730653182432 139906818478296 139907775259511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4828] ppid=4801 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4828/stat : 4828 (java) R 4801 4801 16473 0 -1 4202560 55 0 0 0 170 0 0 0 20 0 28 0 4416110 14133010432 90759 33554432000 4194304 4196468 140730653182432 139906817426656 139907775660328 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4829] ppid=4801 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4829/stat : 4829 (java) R 4801 4801 16473 0 -1 4202560 63 0 0 0 172 1 0 0 20 0 28 0 4416110 14133010432 90759 33554432000 4194304 4196468 140730653182432 139906816373784 139907775259788 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4830] ppid=4801 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4830/stat : 4830 (java) R 4801 4801 16473 0 -1 4202560 75 0 0 0 204 0 0 0 20 0 28 0 4416110 14133010432 90759 33554432000 4194304 4196468 140730653182432 139905808192272 139907775259794 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
Current children cumulated CPU time (s) 20.36
Current children cumulated vsize (KiB) 13811280
[startup+6.30149 s]
/proc/loadavg: 14.66 13.34 14.42 18/301 4830
/proc/meminfo: memFree=24195124/32770624 swapFree=5736/263920
################
# More data... #
################
[pid=4802/tid=4829] ppid=4801 vsize=13801768 CPUtime=279.01 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4829/stat : 4829 (java) R 4801 4801 16473 0 -1 4202560 2884 0 0 0 27894 7 0 0 20 0 28 0 4416110 14133010432 806924 33554432000 4194304 4196468 140730653182432 139906816373528 139907777640078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4830] ppid=4801 vsize=13801768 CPUtime=278.22 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4830/stat : 4830 (java) R 4801 4801 16473 0 -1 4202560 2023 0 0 0 27817 5 0 0 20 0 28 0 4416110 14133010432 806924 33554432000 4194304 4196468 140730653182432 139905808191184 139907778433435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
Current children cumulated CPU time (s) 2242.84
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.102 s]
/proc/loadavg: 10.26 12.93 14.10 10/291 4922
/proc/meminfo: memFree=23322304/32770624 swapFree=5736/259448
[pid=4801] ppid=4798 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4801/stat : 4801 (xcsp3-exec) S 4798 4801 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4416046 9740288 346 33554432000 4194304 5098028 140737391385952 140737391384056 140188018373244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19648512 140737391391887 140737391392096 140737391392096 140737391394795 0
/proc/4801/statm: 2378 346 289 221 0 87 0
[pid=4802] ppid=4801 vsize=13801768 CPUtime=2400.16 cores=1,3,5,7,9,11,13,15
/proc/4802/stat : 4802 (java) S 4801 4801 16473 0 -1 1077944320 62676 0 0 0 239791 225 0 0 20 0 28 0 4416046 14133010432 800547 33554432000 4194304 4196468 140730653182432 140730653164976 139908175810295 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
/proc/4802/statm: 3450442 800547 3275 1 0 3437675 0
[pid=4802/tid=4803] ppid=4801 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4803/stat : 4803 (java) S 4801 4801 16473 0 -1 1077944384 6837 0 0 0 58 3 0 0 20 0 28 0 4416047 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908180051072 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4805] ppid=4801 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4805/stat : 4805 (java) S 4801 4801 16473 0 -1 1077944384 512 0 0 0 21 15 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908094290832 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4806] ppid=4801 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4806/stat : 4806 (java) S 4801 4801 16473 0 -1 1077944384 732 0 0 0 19 14 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908093238032 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4807] ppid=4801 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4807/stat : 4807 (java) S 4801 4801 16473 0 -1 1077944384 900 0 0 0 19 15 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908092185744 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4808] ppid=4801 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4808/stat : 4808 (java) S 4801 4801 16473 0 -1 1077944384 1120 0 0 0 19 15 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908091132944 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4809] ppid=4801 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4809/stat : 4809 (java) S 4801 4801 16473 0 -1 1077944384 1061 0 0 0 20 16 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907771132304 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4810] ppid=4801 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4810/stat : 4810 (java) S 4801 4801 16473 0 -1 1077944384 1065 0 0 0 20 15 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907770079504 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4811] ppid=4801 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4811/stat : 4811 (java) S 4801 4801 16473 0 -1 1077944384 878 0 0 0 20 13 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907769027216 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4812] ppid=4801 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4812/stat : 4812 (java) S 4801 4801 16473 0 -1 1077944384 936 0 0 0 21 13 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907767974416 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4813] ppid=4801 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4813/stat : 4813 (java) S 4801 4801 16473 0 -1 1077944384 3682 0 0 0 15 18 0 0 20 0 28 0 4416050 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907369745008 139908175821442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4814] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4814/stat : 4814 (java) S 4801 4801 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4416051 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907368691040 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4815] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4815/stat : 4815 (java) S 4801 4801 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4416051 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907367638656 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4816] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4816/stat : 4816 (java) S 4801 4801 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907366586960 139908175828891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4817] ppid=4801 vsize=13801768 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4817/stat : 4817 (java) S 4801 4801 16473 0 -1 1077944384 4700 0 0 0 257 1 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907365533808 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4818] ppid=4801 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4818/stat : 4818 (java) S 4801 4801 16473 0 -1 1077944384 5004 0 0 0 265 1 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907364481008 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 12 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4819] ppid=4801 vsize=13801768 CPUtime=2.83 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4819/stat : 4819 (java) S 4801 4801 16473 0 -1 1077944384 4400 0 0 0 282 1 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907363428720 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4820] ppid=4801 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4820/stat : 4820 (java) S 4801 4801 16473 0 -1 1077944384 4994 0 0 0 76 1 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907362375920 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4821] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4821/stat : 4821 (java) S 4801 4801 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907361323872 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4822] ppid=4801 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4822/stat : 4822 (java) S 4801 4801 16473 0 -1 1077944384 269 0 0 0 7 9 0 0 20 0 28 0 4416056 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907360271152 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4823] ppid=4801 vsize=13801768 CPUtime=298.58 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4823/stat : 4823 (java) R 4801 4801 16473 0 -1 4202560 2304 0 0 0 29853 5 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906822688408 139907778629798 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4824] ppid=4801 vsize=13801768 CPUtime=298.95 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4824/stat : 4824 (java) R 4801 4801 16473 0 -1 4202560 2449 0 0 0 29891 4 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906821640072 139907777609584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4825] ppid=4801 vsize=13801768 CPUtime=298.48 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4825/stat : 4825 (java) R 4801 4801 16473 0 -1 4202560 6253 0 0 0 29828 20 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906820582760 139907778433611 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4826] ppid=4801 vsize=13801768 CPUtime=299.24 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4826/stat : 4826 (java) R 4801 4801 16473 0 -1 4202560 5140 0 0 0 29910 14 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906819530584 139907776008446 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4827] ppid=4801 vsize=13801768 CPUtime=297.49 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4827/stat : 4827 (java) R 4801 4801 16473 0 -1 4202560 1975 0 0 0 29744 5 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906818477928 139907778433611 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4828] ppid=4801 vsize=13801768 CPUtime=298.07 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4828/stat : 4828 (java) R 4801 4801 16473 0 -1 4202560 1019 0 0 0 29802 5 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906817425128 139907776441256 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4829] ppid=4801 vsize=13801768 CPUtime=298.65 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4829/stat : 4829 (java) R 4801 4801 16473 0 -1 4202560 3052 0 0 0 29858 7 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906816375632 139907776394019 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4830] ppid=4801 vsize=13801768 CPUtime=297.75 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4830/stat : 4830 (java) R 4801 4801 16473 0 -1 4202560 2100 0 0 0 29770 5 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139905808191216 139907778433508 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
Current children cumulated CPU time (s) 2400.16
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 4802 sig 9
??? kill 4801 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.102 s]
/proc/loadavg: 10.26 12.93 14.10 10/291 4922
/proc/meminfo: memFree=23322304/32770624 swapFree=5736/259448
[pid=4801] ppid=4798 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4801/stat : 4801 (xcsp3-exec) S 4798 4801 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4416046 9740288 346 33554432000 4194304 5098028 140737391385952 140737391384056 140188018373244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 19648512 140737391391887 140737391392096 140737391392096 140737391394795 0
/proc/4801/statm: 2378 346 289 221 0 87 0
[pid=4802] ppid=4801 vsize=13801768 CPUtime=2400.16 cores=1,3,5,7,9,11,13,15
/proc/4802/stat : 4802 (java) S 4801 4801 16473 0 -1 1077944320 62676 0 0 0 239791 225 0 0 20 0 28 0 4416046 14133010432 800547 33554432000 4194304 4196468 140730653182432 140730653164976 139908175810295 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
/proc/4802/statm: 3450442 800547 3275 1 0 3437675 0
[pid=4802/tid=4803] ppid=4801 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4803/stat : 4803 (java) S 4801 4801 16473 0 -1 1077944384 6837 0 0 0 58 3 0 0 20 0 28 0 4416047 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908180051072 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4805] ppid=4801 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4805/stat : 4805 (java) S 4801 4801 16473 0 -1 1077944384 512 0 0 0 21 15 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908094290832 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4806] ppid=4801 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4806/stat : 4806 (java) S 4801 4801 16473 0 -1 1077944384 732 0 0 0 19 14 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908093238032 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4807] ppid=4801 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4807/stat : 4807 (java) S 4801 4801 16473 0 -1 1077944384 900 0 0 0 19 15 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908092185744 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4808] ppid=4801 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4808/stat : 4808 (java) S 4801 4801 16473 0 -1 1077944384 1120 0 0 0 19 15 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139908091132944 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4809] ppid=4801 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4809/stat : 4809 (java) S 4801 4801 16473 0 -1 1077944384 1061 0 0 0 20 16 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907771132304 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4810] ppid=4801 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4810/stat : 4810 (java) S 4801 4801 16473 0 -1 1077944384 1065 0 0 0 20 15 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907770079504 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4811] ppid=4801 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4811/stat : 4811 (java) S 4801 4801 16473 0 -1 1077944384 878 0 0 0 20 13 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907769027216 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4812] ppid=4801 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4812/stat : 4812 (java) S 4801 4801 16473 0 -1 1077944384 936 0 0 0 21 13 0 0 20 0 28 0 4416048 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907767974416 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4813] ppid=4801 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4813/stat : 4813 (java) S 4801 4801 16473 0 -1 1077944384 3682 0 0 0 15 18 0 0 20 0 28 0 4416050 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907369745008 139908175821442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4814] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4814/stat : 4814 (java) S 4801 4801 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4416051 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907368691040 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4815] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4815/stat : 4815 (java) S 4801 4801 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4416051 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907367638656 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4816] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4816/stat : 4816 (java) S 4801 4801 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907366586960 139908175828891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4817] ppid=4801 vsize=13801768 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4817/stat : 4817 (java) S 4801 4801 16473 0 -1 1077944384 4700 0 0 0 257 1 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907365533808 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4818] ppid=4801 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4818/stat : 4818 (java) S 4801 4801 16473 0 -1 1077944384 5004 0 0 0 265 1 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907364481008 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 12 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4819] ppid=4801 vsize=13801768 CPUtime=2.83 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4819/stat : 4819 (java) S 4801 4801 16473 0 -1 1077944384 4400 0 0 0 282 1 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907363428720 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4820] ppid=4801 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4820/stat : 4820 (java) S 4801 4801 16473 0 -1 1077944384 4994 0 0 0 76 1 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907362375920 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4821] ppid=4801 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4821/stat : 4821 (java) S 4801 4801 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4416055 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907361323872 139908175820501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4822] ppid=4801 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4822/stat : 4822 (java) S 4801 4801 16473 0 -1 1077944384 269 0 0 0 7 9 0 0 20 0 28 0 4416056 14133010432 800547 33554432000 4194304 4196468 140730653182432 139907360271152 139908175821442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4823] ppid=4801 vsize=13801768 CPUtime=298.58 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4823/stat : 4823 (java) R 4801 4801 16473 0 -1 4202560 2304 0 0 0 29853 5 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906822688408 139907778629798 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4824] ppid=4801 vsize=13801768 CPUtime=298.95 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4824/stat : 4824 (java) R 4801 4801 16473 0 -1 4202560 2449 0 0 0 29891 4 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906821640072 139907777609584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4825] ppid=4801 vsize=13801768 CPUtime=298.48 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4825/stat : 4825 (java) R 4801 4801 16473 0 -1 4202560 6253 0 0 0 29828 20 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906820582760 139907778433611 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4826] ppid=4801 vsize=13801768 CPUtime=299.24 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4826/stat : 4826 (java) R 4801 4801 16473 0 -1 4202560 5140 0 0 0 29910 14 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906819530584 139907776008446 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4827] ppid=4801 vsize=13801768 CPUtime=297.49 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4827/stat : 4827 (java) R 4801 4801 16473 0 -1 4202560 1975 0 0 0 29744 5 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906818477928 139907778433611 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4828] ppid=4801 vsize=13801768 CPUtime=298.07 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4828/stat : 4828 (java) R 4801 4801 16473 0 -1 4202560 1019 0 0 0 29802 5 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906817425128 139907776441256 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4829] ppid=4801 vsize=13801768 CPUtime=298.65 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4829/stat : 4829 (java) R 4801 4801 16473 0 -1 4202560 3052 0 0 0 29858 7 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139906816375632 139907776394019 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
[pid=4802/tid=4830] ppid=4801 vsize=13801768 CPUtime=297.75 cores=1,3,5,7,9,11,13,15
/proc/4802/task/4830/stat : 4830 (java) R 4801 4801 16473 0 -1 4202560 2100 0 0 0 29770 5 0 0 20 0 28 0 4416110 14133010432 800547 33554432000 4194304 4196468 140730653182432 139905808191216 139907778433508 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140730653185212 140730653185388 140730653185388 140730653188047 0
Current children cumulated CPU time (s) 2400.16
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 4801 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1013
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2027
# CPU time returned by wait4() is 0.00304
# while last known CPU time is 2400.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.112
CPU time (s): 2400.16
CPU user time (s): 2397.91
CPU system time (s): 2.25
CPU usage (%): 794.46
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001013
system time used= 0.002027
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66509 second user time and 4.12268 second system time
The end