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-4245680-1500686308/watcher-4245680-1500686308 -o /tmp/evaluation-result-4245680-1500686308/solver-4245680-1500686308 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1692176581 HOME/instance-4245680-1500686308.xml
pid=29294
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.30 15.62 14.78 10/271 29297
/proc/meminfo: memFree=28255632/32770624 swapFree=5804/224444
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
[startup+0.100135 s]
/proc/loadavg: 15.30 15.62 14.78 10/271 29297
/proc/meminfo: memFree=28255632/32770624 swapFree=5804/224444
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20033 s]
/proc/loadavg: 15.30 15.62 14.78 10/271 29297
/proc/meminfo: memFree=28255632/32770624 swapFree=5804/224444
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300267 s]
/proc/loadavg: 15.30 15.62 14.78 10/271 29297
/proc/meminfo: memFree=28255632/32770624 swapFree=5804/224444
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700219 s]
/proc/loadavg: 15.30 15.62 14.78 10/271 29297
/proc/meminfo: memFree=28255632/32770624 swapFree=5804/224444
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50121 s]
/proc/loadavg: 15.30 15.62 14.78 13/292 29318
/proc/meminfo: memFree=28157932/32770624 swapFree=5804/224796
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
[pid=29298] ppid=29297 vsize=13269256 CPUtime=3.28 cores=0,2,4,6,8,10,12,14
/proc/29298/stat : 29298 (java) S 29297 29297 14782 0 -1 1077944320 20313 0 0 0 319 9 0 0 20 0 20 0 3897124 13587718144 37464 33554432000 4194304 4196468 140726270622832 140726270605376 140103991406327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
/proc/29298/statm: 3317314 37464 3220 1 0 3304547 0
[pid=29298/tid=29299] ppid=29297 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29299/stat : 29299 (java) R 29297 29297 14782 0 -1 4202560 8640 0 0 0 142 5 0 0 20 0 20 0 3897125 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103995642936 140103973869100 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29301] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29301/stat : 29301 (java) S 29297 29297 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3897126 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103923542928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29302] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29302/stat : 29302 (java) S 29297 29297 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3897126 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103922490128 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29303] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29303/stat : 29303 (java) S 29297 29297 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3897126 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103921437840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29304] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29304/stat : 29304 (java) S 29297 29297 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3897126 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103920385040 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29305] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29305/stat : 29305 (java) S 29297 29297 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3897126 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103919331728 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29306] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29306/stat : 29306 (java) S 29297 29297 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3897126 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103918278928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29307] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29307/stat : 29307 (java) S 29297 29297 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3897126 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103917226640 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29308] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29308/stat : 29308 (java) S 29297 29297 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3897126 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103916173840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29309] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29309/stat : 29309 (java) S 29297 29297 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3897128 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103453592176 140103991417474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29310] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29310/stat : 29310 (java) S 29297 29297 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3897128 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103452538144 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29311] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29311/stat : 29311 (java) S 29297 29297 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3897129 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103451485808 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29312] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29312/stat : 29312 (java) S 29297 29297 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3897133 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103450434128 140103991424923 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29313] ppid=29297 vsize=13269256 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29313/stat : 29313 (java) S 29297 29297 14782 0 -1 1077944384 2466 0 0 0 39 0 0 0 20 0 20 0 3897133 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103449380976 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29314] ppid=29297 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29314/stat : 29314 (java) S 29297 29297 14782 0 -1 1077944384 2654 0 0 0 43 0 0 0 20 0 20 0 3897133 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103448328176 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29315] ppid=29297 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29315/stat : 29315 (java) S 29297 29297 14782 0 -1 1077944384 2737 0 0 0 46 0 0 0 20 0 20 0 3897133 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103447275888 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29316] ppid=29297 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29316/stat : 29316 (java) S 29297 29297 14782 0 -1 1077944384 2477 0 0 0 47 0 0 0 20 0 20 0 3897133 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103446223088 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29317] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29317/stat : 29317 (java) S 29297 29297 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3897133 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103445171040 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29318] ppid=29297 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29318/stat : 29318 (java) S 29297 29297 14782 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 3897133 13587718144 37464 33554432000 4194304 4196468 140726270622832 140103242476336 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 13278768
[startup+3.10124 s]
/proc/loadavg: 14.79 15.51 14.75 10/292 29318
/proc/meminfo: memFree=28010692/32770624 swapFree=5804/224808
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
[pid=29298] ppid=29297 vsize=13801768 CPUtime=10.56 cores=0,2,4,6,8,10,12,14
/proc/29298/stat : 29298 (java) S 29297 29297 14782 0 -1 1077944320 26676 0 0 0 992 64 0 0 20 0 28 0 3897124 14133010432 72464 33554432000 4194304 4196468 140726270622832 140726270605376 140103991406327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
/proc/29298/statm: 3450442 72464 3267 1 0 3437675 0
[pid=29298/tid=29299] ppid=29297 vsize=13801768 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29299/stat : 29299 (java) S 29297 29297 14782 0 -1 1077944384 9272 0 0 0 213 6 0 0 20 0 28 0 3897125 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103995647104 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29301] ppid=29297 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29301/stat : 29301 (java) S 29297 29297 14782 0 -1 1077944384 107 0 0 0 4 6 0 0 20 0 28 0 3897126 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103923542928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29302] ppid=29297 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29302/stat : 29302 (java) S 29297 29297 14782 0 -1 1077944384 68 0 0 0 4 6 0 0 20 0 28 0 3897126 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103922490128 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29303] ppid=29297 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29303/stat : 29303 (java) S 29297 29297 14782 0 -1 1077944384 65 0 0 0 4 6 0 0 20 0 28 0 3897126 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103921437840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29304] ppid=29297 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29304/stat : 29304 (java) S 29297 29297 14782 0 -1 1077944384 165 0 0 0 3 5 0 0 20 0 28 0 3897126 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103920385040 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29305] ppid=29297 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29305/stat : 29305 (java) S 29297 29297 14782 0 -1 1077944384 90 0 0 0 4 6 0 0 20 0 28 0 3897126 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103919331728 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29306] ppid=29297 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29306/stat : 29306 (java) S 29297 29297 14782 0 -1 1077944384 61 0 0 0 4 6 0 0 20 0 28 0 3897126 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103918278928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29307] ppid=29297 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29307/stat : 29307 (java) S 29297 29297 14782 0 -1 1077944384 114 0 0 0 4 5 0 0 20 0 28 0 3897126 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103917226640 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29308] ppid=29297 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29308/stat : 29308 (java) S 29297 29297 14782 0 -1 1077944384 161 0 0 0 4 6 0 0 20 0 28 0 3897126 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103916173840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29309] ppid=29297 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29309/stat : 29309 (java) S 29297 29297 14782 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 28 0 3897128 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103453592176 140103991417474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29310] ppid=29297 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29310/stat : 29310 (java) S 29297 29297 14782 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3897128 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103452538208 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29311] ppid=29297 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29311/stat : 29311 (java) S 29297 29297 14782 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3897129 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103451485824 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29312] ppid=29297 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29312/stat : 29312 (java) S 29297 29297 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3897133 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103450434128 140103991424923 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29313] ppid=29297 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29313/stat : 29313 (java) R 29297 29297 14782 0 -1 4202560 2926 0 0 0 123 0 0 0 20 0 28 0 3897133 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103449366856 140103971100035 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29314] ppid=29297 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29314/stat : 29314 (java) R 29297 29297 14782 0 -1 4202560 2975 0 0 0 129 0 0 0 20 0 28 0 3897133 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103448321424 140103977438226 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29315] ppid=29297 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29315/stat : 29315 (java) R 29297 29297 14782 0 -1 4202560 3041 0 0 0 138 1 0 0 20 0 28 0 3897133 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103447261768 140103972927651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29316] ppid=29297 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29316/stat : 29316 (java) S 29297 29297 14782 0 -1 1077944384 3232 0 0 0 85 1 0 0 20 0 28 0 3897133 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103446223088 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29317] ppid=29297 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29317/stat : 29317 (java) S 29297 29297 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3897133 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103445171040 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29318] ppid=29297 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29318/stat : 29318 (java) S 29297 29297 14782 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3897133 14133010432 72464 33554432000 4194304 4196468 140726270622832 140103242476336 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
Current children cumulated CPU time (s) 10.56
Current children cumulated vsize (KiB) 13811280
[startup+6.30122 s]
/proc/loadavg: 14.79 15.51 14.75 19/300 29462
/proc/meminfo: memFree=27791600/32770624 swapFree=5804/224808
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
[pid=29298] ppid=29297 vsize=14135616 CPUtime=35.87 cores=0,2,4,6,8,10,12,14
/proc/29298/stat : 29298 (java) S 29297 29297 14782 0 -1 1077944320 48730 0 0 0 3518 69 0 0 20 0 28 0 3897124 14474870784 91429 33554432000 4194304 4196468 140726270622832 140726270605376 140103991406327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
/proc/29298/statm: 3533904 91429 3286 1 0 3521137 0
[pid=29298/tid=29299] ppid=29297 vsize=14135616 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29299/stat : 29299 (java) S 29297 29297 14782 0 -1 1077944384 9429 0 0 0 214 6 0 0 20 0 28 0 3897125 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103995647104 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29301] ppid=29297 vsize=14135616 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29301/stat : 29301 (java) S 29297 29297 14782 0 -1 1077944384 107 0 0 0 4 6 0 0 20 0 28 0 3897126 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103923542928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29302] ppid=29297 vsize=14135616 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29302/stat : 29302 (java) S 29297 29297 14782 0 -1 1077944384 68 0 0 0 4 6 0 0 20 0 28 0 3897126 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103922490128 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29303] ppid=29297 vsize=14135616 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29303/stat : 29303 (java) S 29297 29297 14782 0 -1 1077944384 65 0 0 0 4 6 0 0 20 0 28 0 3897126 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103921437840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29304] ppid=29297 vsize=14135616 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29304/stat : 29304 (java) S 29297 29297 14782 0 -1 1077944384 165 0 0 0 3 5 0 0 20 0 28 0 3897126 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103920385040 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29305] ppid=29297 vsize=14135616 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29305/stat : 29305 (java) S 29297 29297 14782 0 -1 1077944384 90 0 0 0 4 6 0 0 20 0 28 0 3897126 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103919331728 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29306] ppid=29297 vsize=14135616 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29306/stat : 29306 (java) S 29297 29297 14782 0 -1 1077944384 61 0 0 0 4 6 0 0 20 0 28 0 3897126 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103918278928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29307] ppid=29297 vsize=14135616 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29307/stat : 29307 (java) S 29297 29297 14782 0 -1 1077944384 114 0 0 0 4 5 0 0 20 0 28 0 3897126 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103917226640 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29308] ppid=29297 vsize=14135616 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29308/stat : 29308 (java) S 29297 29297 14782 0 -1 1077944384 161 0 0 0 4 6 0 0 20 0 28 0 3897126 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103916173840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29309] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29309/stat : 29309 (java) S 29297 29297 14782 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 28 0 3897128 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103453592176 140103991417474 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29310] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29310/stat : 29310 (java) S 29297 29297 14782 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3897128 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103452538208 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29311] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29311/stat : 29311 (java) S 29297 29297 14782 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3897129 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103451485824 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29312] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29312/stat : 29312 (java) S 29297 29297 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3897133 14474870784 91429 33554432000 4194304 4196468 140726270622832 140103450434128 140103991424923 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
################
# More data... #
################
/proc/29298/task/30058/stat : 30058 (java) R 29297 29297 14782 0 -1 4202560 3936 0 0 0 16391 3 0 0 20 0 28 0 3902883 14474870784 314811 33554432000 4194304 4196468 140726270622832 140103220777288 140103600509591 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30059] ppid=29297 vsize=14135616 CPUtime=163.65 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30059/stat : 30059 (java) R 29297 29297 14782 0 -1 4202560 911 0 0 0 16365 0 0 0 20 0 28 0 3902883 14474870784 314811 33554432000 4194304 4196468 140726270622832 140103223934816 140103600510143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
Current children cumulated CPU time (s) 1753.03
Current children cumulated vsize (KiB) 14145128
[startup+282.301 s]
/proc/loadavg: 16.11 15.85 15.09 17/301 30085
/proc/meminfo: memFree=30026140/32770624 swapFree=5804/225240
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
[pid=29298] ppid=29297 vsize=14135616 CPUtime=2230.61 cores=0,2,4,6,8,10,12,14
/proc/29298/stat : 29298 (java) S 29297 29297 14782 0 -1 1077944320 132746 0 0 0 222861 200 0 0 20 0 28 0 3897124 14474870784 314771 33554432000 4194304 4196468 140726270622832 140726270605376 140103991406327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
/proc/29298/statm: 3533904 314771 3295 1 0 3521137 0
[pid=29298/tid=29299] ppid=29297 vsize=14135616 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29299/stat : 29299 (java) S 29297 29297 14782 0 -1 1077944384 9931 0 0 0 215 6 0 0 20 0 28 0 3897125 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103995647104 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29301] ppid=29297 vsize=14135616 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29301/stat : 29301 (java) S 29297 29297 14782 0 -1 1077944384 1945 0 0 0 16 16 0 0 20 0 28 0 3897126 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103923542928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29302] ppid=29297 vsize=14135616 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29302/stat : 29302 (java) S 29297 29297 14782 0 -1 1077944384 602 0 0 0 14 15 0 0 20 0 28 0 3897126 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103922490128 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29303] ppid=29297 vsize=14135616 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29303/stat : 29303 (java) S 29297 29297 14782 0 -1 1077944384 1345 0 0 0 15 14 0 0 20 0 28 0 3897126 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103921437840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29304] ppid=29297 vsize=14135616 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29304/stat : 29304 (java) S 29297 29297 14782 0 -1 1077944384 1190 0 0 0 14 15 0 0 20 0 28 0 3897126 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103920385040 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29305] ppid=29297 vsize=14135616 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29305/stat : 29305 (java) S 29297 29297 14782 0 -1 1077944384 580 0 0 0 14 16 0 0 20 0 28 0 3897126 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103919331728 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29306] ppid=29297 vsize=14135616 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29306/stat : 29306 (java) S 29297 29297 14782 0 -1 1077944384 1359 0 0 0 15 15 0 0 20 0 28 0 3897126 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103918278928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29307] ppid=29297 vsize=14135616 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29307/stat : 29307 (java) S 29297 29297 14782 0 -1 1077944384 1208 0 0 0 15 16 0 0 20 0 28 0 3897126 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103917226640 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29308] ppid=29297 vsize=14135616 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29308/stat : 29308 (java) S 29297 29297 14782 0 -1 1077944384 848 0 0 0 15 16 0 0 20 0 28 0 3897126 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103916173840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29309] ppid=29297 vsize=14135616 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29309/stat : 29309 (java) S 29297 29297 14782 0 -1 1077944384 3754 0 0 0 6 7 0 0 20 0 28 0 3897128 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103453592176 140103991417474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29310] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29310/stat : 29310 (java) S 29297 29297 14782 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 3897128 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103452538208 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29311] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29311/stat : 29311 (java) S 29297 29297 14782 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 3897129 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103451485824 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29312] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29312/stat : 29312 (java) S 29297 29297 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3897133 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103450434128 140103991424923 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29313] ppid=29297 vsize=14135616 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29313/stat : 29313 (java) S 29297 29297 14782 0 -1 1077944384 20289 0 0 0 411 2 0 0 20 0 28 0 3897133 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103449380976 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29314] ppid=29297 vsize=14135616 CPUtime=4.46 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29314/stat : 29314 (java) S 29297 29297 14782 0 -1 1077944384 23259 0 0 0 443 3 0 0 20 0 28 0 3897133 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103448328176 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29315] ppid=29297 vsize=14135616 CPUtime=4.31 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29315/stat : 29315 (java) S 29297 29297 14782 0 -1 1077944384 18398 0 0 0 428 3 0 0 20 0 28 0 3897133 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103447275888 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29316] ppid=29297 vsize=14135616 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29316/stat : 29316 (java) S 29297 29297 14782 0 -1 1077944384 12585 0 0 0 118 4 0 0 20 0 28 0 3897133 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103446223088 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29317] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29317/stat : 29317 (java) S 29297 29297 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3897133 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103445171040 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29318] ppid=29297 vsize=14135616 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29318/stat : 29318 (java) S 29297 29297 14782 0 -1 1077944384 1734 0 0 0 6 8 0 0 20 0 28 0 3897133 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103242476336 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30052] ppid=29297 vsize=14135616 CPUtime=222.62 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30052/stat : 30052 (java) R 29297 29297 14782 0 -1 4202560 1486 0 0 0 22260 2 0 0 20 0 28 0 3902883 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103224986592 140103600510143 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30053] ppid=29297 vsize=14135616 CPUtime=223.23 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30053/stat : 30053 (java) R 29297 29297 14782 0 -1 4202560 1657 0 0 0 22322 1 0 0 20 0 28 0 3902883 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103221830616 140103600509591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30054] ppid=29297 vsize=14135616 CPUtime=223.92 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30054/stat : 30054 (java) R 29297 29297 14782 0 -1 4202560 1451 0 0 0 22392 0 0 0 20 0 28 0 3902883 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103222881752 140103601868907 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30055] ppid=29297 vsize=14135616 CPUtime=223.7 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30055/stat : 30055 (java) R 29297 29297 14782 0 -1 4202560 3005 0 0 0 22368 2 0 0 20 0 28 0 3902883 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103232357888 140103601867087 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30056] ppid=29297 vsize=14135616 CPUtime=223.54 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30056/stat : 30056 (java) R 29297 29297 14782 0 -1 4202560 963 0 0 0 22354 0 0 0 20 0 28 0 3902883 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103227093144 140103602544195 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30057] ppid=29297 vsize=14135616 CPUtime=223.41 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30057/stat : 30057 (java) R 29297 29297 14782 0 -1 4202560 473 0 0 0 22340 1 0 0 20 0 28 0 3902883 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103226040152 140103600509591 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30058] ppid=29297 vsize=14135616 CPUtime=223.81 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30058/stat : 30058 (java) R 29297 29297 14782 0 -1 4202560 4343 0 0 0 22378 3 0 0 20 0 28 0 3902883 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103220777368 140103600510143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30059] ppid=29297 vsize=14135616 CPUtime=223.28 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30059/stat : 30059 (java) R 29297 29297 14782 0 -1 4202560 994 0 0 0 22328 0 0 0 20 0 28 0 3902883 14474870784 314771 33554432000 4194304 4196468 140726270622832 140103223934872 140103600509591 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
Current children cumulated CPU time (s) 2230.61
Current children cumulated vsize (KiB) 14145128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.602 s]
/proc/loadavg: 16.13 15.88 15.12 17/301 30085
/proc/meminfo: memFree=30063384/32770624 swapFree=5804/225256
[pid=29297] ppid=29294 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29297/stat : 29297 (xcsp3-exec) S 29294 29297 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3897124 9740288 346 33554432000 4194304 5098028 140720479986192 140720479984296 140240966460028 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20512768 140720479990926 140720479991136 140720479991136 140720479993835 0
/proc/29297/statm: 2378 346 289 221 0 87 0
[pid=29298] ppid=29297 vsize=14135616 CPUtime=2400.31 cores=0,2,4,6,8,10,12,14
/proc/29298/stat : 29298 (java) S 29297 29297 14782 0 -1 1077944320 134328 0 0 0 239825 206 0 0 20 0 28 0 3897124 14474870784 316537 33554432000 4194304 4196468 140726270622832 140726270605376 140103991406327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
/proc/29298/statm: 3533904 316537 3295 1 0 3521137 0
[pid=29298/tid=29299] ppid=29297 vsize=14135616 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29299/stat : 29299 (java) S 29297 29297 14782 0 -1 1077944384 9931 0 0 0 215 6 0 0 20 0 28 0 3897125 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103995647104 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29301] ppid=29297 vsize=14135616 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29301/stat : 29301 (java) S 29297 29297 14782 0 -1 1077944384 1963 0 0 0 17 16 0 0 20 0 28 0 3897126 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103923542928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29302] ppid=29297 vsize=14135616 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29302/stat : 29302 (java) S 29297 29297 14782 0 -1 1077944384 608 0 0 0 15 16 0 0 20 0 28 0 3897126 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103922490128 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29303] ppid=29297 vsize=14135616 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29303/stat : 29303 (java) S 29297 29297 14782 0 -1 1077944384 1353 0 0 0 15 15 0 0 20 0 28 0 3897126 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103921437840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29304] ppid=29297 vsize=14135616 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29304/stat : 29304 (java) S 29297 29297 14782 0 -1 1077944384 1207 0 0 0 15 16 0 0 20 0 28 0 3897126 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103920385040 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29305] ppid=29297 vsize=14135616 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29305/stat : 29305 (java) S 29297 29297 14782 0 -1 1077944384 586 0 0 0 15 17 0 0 20 0 28 0 3897126 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103919331728 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29306] ppid=29297 vsize=14135616 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29306/stat : 29306 (java) S 29297 29297 14782 0 -1 1077944384 1371 0 0 0 15 16 0 0 20 0 28 0 3897126 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103918278928 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29307] ppid=29297 vsize=14135616 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29307/stat : 29307 (java) S 29297 29297 14782 0 -1 1077944384 1231 0 0 0 16 17 0 0 20 0 28 0 3897126 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103917226640 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29308] ppid=29297 vsize=14135616 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29308/stat : 29308 (java) S 29297 29297 14782 0 -1 1077944384 866 0 0 0 16 16 0 0 20 0 28 0 3897126 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103916173840 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29309] ppid=29297 vsize=14135616 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29309/stat : 29309 (java) S 29297 29297 14782 0 -1 1077944384 3758 0 0 0 6 8 0 0 20 0 28 0 3897128 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103453592176 140103991417474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29310] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29310/stat : 29310 (java) S 29297 29297 14782 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 3897128 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103452538208 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29311] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29311/stat : 29311 (java) S 29297 29297 14782 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 3897129 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103451485824 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29312] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29312/stat : 29312 (java) S 29297 29297 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3897133 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103450434128 140103991424923 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29313] ppid=29297 vsize=14135616 CPUtime=4.17 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29313/stat : 29313 (java) S 29297 29297 14782 0 -1 1077944384 21286 0 0 0 415 2 0 0 20 0 28 0 3897133 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103449380976 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29314] ppid=29297 vsize=14135616 CPUtime=4.46 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29314/stat : 29314 (java) S 29297 29297 14782 0 -1 1077944384 23259 0 0 0 443 3 0 0 20 0 28 0 3897133 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103448328176 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29315] ppid=29297 vsize=14135616 CPUtime=4.31 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29315/stat : 29315 (java) S 29297 29297 14782 0 -1 1077944384 18398 0 0 0 428 3 0 0 20 0 28 0 3897133 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103447275888 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29316] ppid=29297 vsize=14135616 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29316/stat : 29316 (java) S 29297 29297 14782 0 -1 1077944384 12585 0 0 0 118 4 0 0 20 0 28 0 3897133 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103446223088 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29317] ppid=29297 vsize=14135616 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29317/stat : 29317 (java) S 29297 29297 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3897133 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103445171040 140103991416533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=29318] ppid=29297 vsize=14135616 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/29298/task/29318/stat : 29318 (java) S 29297 29297 14782 0 -1 1077944384 1745 0 0 0 6 9 0 0 20 0 28 0 3897133 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103242476336 140103991417474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30052] ppid=29297 vsize=14135616 CPUtime=243.67 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30052/stat : 30052 (java) R 29297 29297 14782 0 -1 4202560 1516 0 0 0 24365 2 0 0 20 0 28 0 3902883 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103224987064 140103602544195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30053] ppid=29297 vsize=14135616 CPUtime=244.47 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30053/stat : 30053 (java) R 29297 29297 14782 0 -1 4202560 1669 0 0 0 24446 1 0 0 20 0 28 0 3902883 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103221830168 140103603628988 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30054] ppid=29297 vsize=14135616 CPUtime=245.05 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30054/stat : 30054 (java) R 29297 29297 14782 0 -1 4202560 1486 0 0 0 24505 0 0 0 20 0 28 0 3902883 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103222882040 140103600509591 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30055] ppid=29297 vsize=14135616 CPUtime=244.84 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30055/stat : 30055 (java) R 29297 29297 14782 0 -1 4202560 3075 0 0 0 24481 3 0 0 20 0 28 0 3902883 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103232358640 140103603726040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30056] ppid=29297 vsize=14135616 CPUtime=244.78 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30056/stat : 30056 (java) R 29297 29297 14782 0 -1 4202560 997 0 0 0 24478 0 0 0 20 0 28 0 3902883 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103227092952 140103604261751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30057] ppid=29297 vsize=14135616 CPUtime=244.6 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30057/stat : 30057 (java) R 29297 29297 14782 0 -1 4202560 476 0 0 0 24459 1 0 0 20 0 28 0 3902883 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103226040096 140103601867370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30058] ppid=29297 vsize=14135616 CPUtime=245.09 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30058/stat : 30058 (java) R 29297 29297 14782 0 -1 4202560 4601 0 0 0 24506 3 0 0 20 0 28 0 3902883 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103220777128 140103604231955 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
[pid=29298/tid=30059] ppid=29297 vsize=14135616 CPUtime=244.56 cores=0,2,4,6,8,10,12,14
/proc/29298/task/30059/stat : 30059 (java) R 29297 29297 14782 0 -1 4202560 1014 0 0 0 24456 0 0 0 20 0 28 0 3902883 14474870784 316537 33554432000 4194304 4196468 140726270622832 140103223934808 140103600510143 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23629824 140726270624956 140726270625132 140726270625132 140726270627791 0
Current children cumulated CPU time (s) 2400.31
Current children cumulated vsize (KiB) 14145128
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 29298 sig 9
??? kill 29297 sig 9
??? kill -29297 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29297 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=3177
# CPU time returned by wait4() is 0.003177
# while last known CPU time is 2400.31
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.632
CPU time (s): 2400.31
CPU user time (s): 2398.25
CPU system time (s): 2.06
CPU usage (%): 790.533
Max. virtual memory (cumulated for all children) (KiB): 14145128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.003177
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.50233 second user time and 4.4333 second system time
The end