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-4244936-1500685056/watcher-4244936-1500685056 -o /tmp/evaluation-result-4244936-1500685056/solver-4244936-1500685056 -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 662132540 HOME/instance-4244936-1500685056.xml
pid=27178
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.48 15.26 12.15 10/270 27181
/proc/meminfo: memFree=31715620/32770624 swapFree=5804/221360
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
[startup+0.100103 s]
/proc/loadavg: 15.48 15.26 12.15 10/270 27181
/proc/meminfo: memFree=31715620/32770624 swapFree=5804/221360
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200277 s]
/proc/loadavg: 15.48 15.26 12.15 10/270 27181
/proc/meminfo: memFree=31715620/32770624 swapFree=5804/221360
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300214 s]
/proc/loadavg: 15.48 15.26 12.15 10/270 27181
/proc/meminfo: memFree=31715620/32770624 swapFree=5804/221360
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700187 s]
/proc/loadavg: 15.48 15.26 12.15 10/270 27181
/proc/meminfo: memFree=31715620/32770624 swapFree=5804/221360
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50119 s]
/proc/loadavg: 15.48 15.26 12.15 17/295 27286
/proc/meminfo: memFree=31551124/32770624 swapFree=5804/221664
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
[pid=27182] ppid=27181 vsize=13801768 CPUtime=7.1 cores=0,2,4,6,8,10,12,14
/proc/27182/stat : 27182 (java) S 27181 27181 14782 0 -1 1077944320 19500 0 0 0 697 13 0 0 20 0 28 0 3771898 14133010432 49814 33554432000 4194304 4196468 140729862225696 140729862208240 139926831570679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
/proc/27182/statm: 3450442 49814 3255 1 0 3437675 0
[pid=27182/tid=27183] ppid=27181 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27183/stat : 27183 (java) S 27181 27181 14782 0 -1 1077944384 6946 0 0 0 83 3 0 0 20 0 28 0 3771899 14133010432 49814 33554432000 4194304 4196468 140729862225696 139926835811456 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27185] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27185/stat : 27185 (java) S 27181 27181 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 49814 33554432000 4194304 4196468 140729862225696 139926750050704 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27186] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27186/stat : 27186 (java) S 27181 27181 14782 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 49814 33554432000 4194304 4196468 140729862225696 139926748997904 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27187] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27187/stat : 27187 (java) S 27181 27181 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 49814 33554432000 4194304 4196468 140729862225696 139926747945616 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27188] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27188/stat : 27188 (java) S 27181 27181 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 49814 33554432000 4194304 4196468 140729862225696 139926427396624 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27189] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27189/stat : 27189 (java) S 27181 27181 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 49814 33554432000 4194304 4196468 140729862225696 139926426344336 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27190] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27190/stat : 27190 (java) S 27181 27181 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 49814 33554432000 4194304 4196468 140729862225696 139926425291536 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27191] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27191/stat : 27191 (java) S 27181 27181 14782 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 49814 33554432000 4194304 4196468 140729862225696 139926424239248 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27192] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27192/stat : 27192 (java) S 27181 27181 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 49814 33554432000 4194304 4196468 140729862225696 139926423186448 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27193] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27193/stat : 27193 (java) S 27181 27181 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925496264816 139926831581826 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27194] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27194/stat : 27194 (java) S 27181 27181 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925495210784 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27195] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27195/stat : 27195 (java) S 27181 27181 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925494158448 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27196] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27196/stat : 27196 (java) S 27181 27181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925493106768 139926831589275 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27197] ppid=27181 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27197/stat : 27197 (java) R 27181 27181 14782 0 -1 4202560 1896 0 0 0 85 0 0 0 20 0 28 0 3771907 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925492051008 139926816492439 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27198] ppid=27181 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27198/stat : 27198 (java) R 27181 27181 14782 0 -1 4202560 2289 0 0 0 79 0 0 0 20 0 28 0 3771907 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925490987184 139926811283834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27199] ppid=27181 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27199/stat : 27199 (java) R 27181 27181 14782 0 -1 4202560 1660 0 0 0 86 0 0 0 20 0 28 0 3771907 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925489935432 139926813093681 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27200] ppid=27181 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27200/stat : 27200 (java) S 27181 27181 14782 0 -1 1077944384 3159 0 0 0 81 1 0 0 20 0 28 0 3771907 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925488896752 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27201] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27201/stat : 27201 (java) S 27181 27181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925487843680 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27202] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27202/stat : 27202 (java) S 27181 27181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 49814 33554432000 4194304 4196468 140729862225696 139925486790960 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 13811280
[startup+3.10154 s]
/proc/loadavg: 15.48 15.26 12.15 20/299 27306
/proc/meminfo: memFree=31519592/32770624 swapFree=5804/221672
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
[pid=27182] ppid=27181 vsize=13801768 CPUtime=19.77 cores=0,2,4,6,8,10,12,14
/proc/27182/stat : 27182 (java) S 27181 27181 14782 0 -1 1077944320 20987 0 0 0 1956 21 0 0 20 0 28 0 3771898 14133010432 62530 33554432000 4194304 4196468 140729862225696 140729862208240 139926831570679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
/proc/27182/statm: 3450442 62530 3276 1 0 3437675 0
[pid=27182/tid=27183] ppid=27181 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27183/stat : 27183 (java) S 27181 27181 14782 0 -1 1077944384 6946 0 0 0 83 3 0 0 20 0 28 0 3771899 14133010432 62530 33554432000 4194304 4196468 140729862225696 139926835811456 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27185] ppid=27181 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27185/stat : 27185 (java) S 27181 27181 14782 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 28 0 3771899 14133010432 62530 33554432000 4194304 4196468 140729862225696 139926750050704 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27186] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27186/stat : 27186 (java) S 27181 27181 14782 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 62530 33554432000 4194304 4196468 140729862225696 139926748997904 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27187] ppid=27181 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27187/stat : 27187 (java) S 27181 27181 14782 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3771899 14133010432 62530 33554432000 4194304 4196468 140729862225696 139926747945616 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27188] ppid=27181 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27188/stat : 27188 (java) S 27181 27181 14782 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3771899 14133010432 62530 33554432000 4194304 4196468 140729862225696 139926427396624 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27189] ppid=27181 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27189/stat : 27189 (java) S 27181 27181 14782 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 3771899 14133010432 62530 33554432000 4194304 4196468 140729862225696 139926426344336 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27190] ppid=27181 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27190/stat : 27190 (java) S 27181 27181 14782 0 -1 1077944384 27 0 0 0 0 1 0 0 20 0 28 0 3771899 14133010432 62530 33554432000 4194304 4196468 140729862225696 139926425291536 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27191] ppid=27181 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27191/stat : 27191 (java) S 27181 27181 14782 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 28 0 3771899 14133010432 62530 33554432000 4194304 4196468 140729862225696 139926424239248 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27192] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27192/stat : 27192 (java) S 27181 27181 14782 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3771899 14133010432 62530 33554432000 4194304 4196468 140729862225696 139926423186448 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27193] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27193/stat : 27193 (java) S 27181 27181 14782 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925496264816 139926831581826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27194] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27194/stat : 27194 (java) S 27181 27181 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925495210784 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27195] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27195/stat : 27195 (java) S 27181 27181 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925494158448 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27196] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27196/stat : 27196 (java) S 27181 27181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925493106768 139926831589275 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27197] ppid=27181 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27197/stat : 27197 (java) R 27181 27181 14782 0 -1 4202560 2577 0 0 0 193 1 0 0 20 0 28 0 3771907 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925492044448 139926815056602 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27198] ppid=27181 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27198/stat : 27198 (java) R 27181 27181 14782 0 -1 4202560 2414 0 0 0 170 0 0 0 20 0 28 0 3771907 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925490987936 139926811259088 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27199] ppid=27181 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27199/stat : 27199 (java) R 27181 27181 14782 0 -1 4202560 2110 0 0 0 171 0 0 0 20 0 28 0 3771907 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925489936096 139926809984602 0 4 0 16800975 0 0 0 -1 10 0 0 18 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27200] ppid=27181 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27200/stat : 27200 (java) S 27181 27181 14782 0 -1 1077944384 3250 0 0 0 91 1 0 0 20 0 28 0 3771907 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925488896752 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 18 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27201] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27201/stat : 27201 (java) S 27181 27181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925487843680 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27202] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27202/stat : 27202 (java) S 27181 27181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925486790960 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 14 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27299] ppid=27181 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27299/stat : 27299 (java) R 27181 27181 14782 0 -1 4202560 28 0 0 0 136 0 0 0 20 0 28 0 3772028 14133010432 62530 33554432000 4194304 4196468 140729862225696 139924464454080 139926434774641 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27300] ppid=27181 vsize=13801768 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27300/stat : 27300 (java) R 27181 27181 14782 0 -1 4202560 26 0 0 0 125 0 0 0 20 0 28 0 3772028 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925477724600 139926435298617 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27301] ppid=27181 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27301/stat : 27301 (java) R 27181 27181 14782 0 -1 4202560 36 0 0 0 151 0 0 0 20 0 28 0 3772028 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925475619104 139926435384488 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27302] ppid=27181 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27302/stat : 27302 (java) R 27181 27181 14782 0 -1 4202560 39 0 0 0 124 0 0 0 20 0 28 0 3772028 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925474566168 139926433581230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27303] ppid=27181 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27303/stat : 27303 (java) R 27181 27181 14782 0 -1 4202560 27 0 0 0 139 0 0 0 20 0 28 0 3772028 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925472461248 139926428537719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27304] ppid=27181 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27304/stat : 27304 (java) R 27181 27181 14782 0 -1 4202560 27 0 0 0 128 0 0 0 20 0 28 0 3772028 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925478776752 139926434199206 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27305] ppid=27181 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27305/stat : 27305 (java) R 27181 27181 14782 0 -1 4202560 22 0 0 0 131 0 0 0 20 0 28 0 3772028 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925473514640 139926435599163 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27306] ppid=27181 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27306/stat : 27306 (java) R 27181 27181 14782 0 -1 4202560 32 0 0 0 135 1 0 0 20 0 28 0 3772028 14133010432 62530 33554432000 4194304 4196468 140729862225696 139925476671160 139926433166493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (KiB) 13811280
[startup+6.30165 s]
/proc/loadavg: 15.29 15.22 12.16 20/299 27314
/proc/meminfo: memFree=31398780/32770624 swapFree=5804/221676
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
[pid=27182] ppid=27181 vsize=13801768 CPUtime=45.14 cores=0,2,4,6,8,10,12,14
/proc/27182/stat : 27182 (java) S 27181 27181 14782 0 -1 1077944320 27323 0 0 0 4488 26 0 0 20 0 28 0 3771898 14133010432 88524 33554432000 4194304 4196468 140729862225696 140729862208240 139926831570679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
/proc/27182/statm: 3450442 88524 3280 1 0 3437675 0
[pid=27182/tid=27183] ppid=27181 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27183/stat : 27183 (java) S 27181 27181 14782 0 -1 1077944384 7124 0 0 0 83 3 0 0 20 0 28 0 3771899 14133010432 88524 33554432000 4194304 4196468 140729862225696 139926835811456 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27185] ppid=27181 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27185/stat : 27185 (java) S 27181 27181 14782 0 -1 1077944384 202 0 0 0 1 1 0 0 20 0 28 0 3771899 14133010432 88524 33554432000 4194304 4196468 140729862225696 139926750050704 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27186] ppid=27181 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27186/stat : 27186 (java) S 27181 27181 14782 0 -1 1077944384 75 0 0 0 1 1 0 0 20 0 28 0 3771899 14133010432 88524 33554432000 4194304 4196468 140729862225696 139926748997904 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27187] ppid=27181 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27187/stat : 27187 (java) S 27181 27181 14782 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 3771899 14133010432 88524 33554432000 4194304 4196468 140729862225696 139926747945616 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27188] ppid=27181 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27188/stat : 27188 (java) S 27181 27181 14782 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 28 0 3771899 14133010432 88524 33554432000 4194304 4196468 140729862225696 139926427396624 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
################
# More data... #
################
[pid=27182/tid=27331] ppid=27181 vsize=13801768 CPUtime=215.17 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27331/stat : 27331 (java) R 27181 27181 14782 0 -1 4202560 2892 0 0 0 21509 8 0 0 20 0 28 0 3778174 14133010432 516149 33554432000 4194304 4196468 140729862225696 139925476674160 139926435545631 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27332] ppid=27181 vsize=13801768 CPUtime=215.8 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27332/stat : 27332 (java) R 27181 27181 14782 0 -1 4202560 2696 0 0 0 21577 3 0 0 20 0 28 0 3778174 14133010432 516149 33554432000 4194304 4196468 140729862225696 139925478777336 139926434199285 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
Current children cumulated CPU time (s) 2233.31
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.302 s]
/proc/loadavg: 15.31 15.51 13.13 17/302 27468
/proc/meminfo: memFree=25659584/32770624 swapFree=5804/222116
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
[pid=27182] ppid=27181 vsize=13801768 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/27182/stat : 27182 (java) S 27181 27181 14782 0 -1 1077944320 117165 0 0 0 239504 505 0 0 20 0 28 0 3771898 14133010432 665810 33554432000 4194304 4196468 140729862225696 140729862208240 139926831570679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
/proc/27182/statm: 3450442 665810 3302 1 0 3437675 0
[pid=27182/tid=27183] ppid=27181 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27183/stat : 27183 (java) S 27181 27181 14782 0 -1 1077944384 7392 0 0 0 83 3 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926835811456 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27185] ppid=27181 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27185/stat : 27185 (java) S 27181 27181 14782 0 -1 1077944384 3441 0 0 0 148 46 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926750050704 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27186] ppid=27181 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27186/stat : 27186 (java) S 27181 27181 14782 0 -1 1077944384 3226 0 0 0 151 49 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926748997904 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27187] ppid=27181 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27187/stat : 27187 (java) S 27181 27181 14782 0 -1 1077944384 3430 0 0 0 152 48 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926747945616 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27188] ppid=27181 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27188/stat : 27188 (java) S 27181 27181 14782 0 -1 1077944384 2550 0 0 0 149 47 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926427396624 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27189] ppid=27181 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27189/stat : 27189 (java) S 27181 27181 14782 0 -1 1077944384 3143 0 0 0 148 46 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926426344336 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27190] ppid=27181 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27190/stat : 27190 (java) S 27181 27181 14782 0 -1 1077944384 3301 0 0 0 147 45 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926425291536 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27191] ppid=27181 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27191/stat : 27191 (java) S 27181 27181 14782 0 -1 1077944384 2885 0 0 0 149 47 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926424239248 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27192] ppid=27181 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27192/stat : 27192 (java) S 27181 27181 14782 0 -1 1077944384 2611 0 0 0 156 45 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926423186448 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27193] ppid=27181 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27193/stat : 27193 (java) S 27181 27181 14782 0 -1 1077944384 14510 0 0 0 47 50 0 0 20 0 28 0 3771902 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925496264816 139926831581826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27194] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27194/stat : 27194 (java) S 27181 27181 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925495210784 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27195] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27195/stat : 27195 (java) S 27181 27181 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925494158448 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27196] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27196/stat : 27196 (java) S 27181 27181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925493106768 139926831589275 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27197] ppid=27181 vsize=13801768 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27197/stat : 27197 (java) S 27181 27181 14782 0 -1 1077944384 8172 0 0 0 248 1 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925492054640 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27198] ppid=27181 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27198/stat : 27198 (java) S 27181 27181 14782 0 -1 1077944384 7114 0 0 0 211 1 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925491001840 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27199] ppid=27181 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27199/stat : 27199 (java) S 27181 27181 14782 0 -1 1077944384 5462 0 0 0 211 1 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925489949552 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 18 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27200] ppid=27181 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27200/stat : 27200 (java) S 27181 27181 14782 0 -1 1077944384 6772 0 0 0 96 2 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925488896752 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27201] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27201/stat : 27201 (java) S 27181 27181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925487843680 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27202] ppid=27181 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27202/stat : 27202 (java) S 27181 27181 14782 0 -1 1077944384 1256 0 0 0 9 5 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925486790960 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 30 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27325] ppid=27181 vsize=13801768 CPUtime=237.1 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27325/stat : 27325 (java) R 27181 27181 14782 0 -1 4202560 7600 0 0 0 23699 11 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139924464455432 139926436182118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27326] ppid=27181 vsize=13801768 CPUtime=236.84 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27326/stat : 27326 (java) R 27181 27181 14782 0 -1 4202560 5837 0 0 0 23671 13 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925475619576 139926434199060 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27327] ppid=27181 vsize=13801768 CPUtime=236.65 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27327/stat : 27327 (java) R 27181 27181 14782 0 -1 4202560 2513 0 0 0 23661 4 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925472460960 139926434961256 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27328] ppid=27181 vsize=13801768 CPUtime=236.97 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27328/stat : 27328 (java) R 27181 27181 14782 0 -1 4202560 2156 0 0 0 23694 3 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925473514392 139926433202975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27329] ppid=27181 vsize=13801768 CPUtime=236.87 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27329/stat : 27329 (java) R 27181 27181 14782 0 -1 4202560 2615 0 0 0 23681 6 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925474567544 139926434711008 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27330] ppid=27181 vsize=13801768 CPUtime=236.43 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27330/stat : 27330 (java) R 27181 27181 14782 0 -1 4202560 1740 0 0 0 23639 4 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925477725016 139926435545650 0 4 0 16800975 0 0 0 -1 8 0 0 7 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27331] ppid=27181 vsize=13801768 CPUtime=235.94 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27331/stat : 27331 (java) R 27181 27181 14782 0 -1 4202560 2974 0 0 0 23584 10 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925476674160 139926433850279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27332] ppid=27181 vsize=13801768 CPUtime=236.27 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27332/stat : 27332 (java) R 27181 27181 14782 0 -1 4202560 2846 0 0 0 23623 4 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925478776136 139926433975483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
Current children cumulated CPU time (s) 2400.09
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 27182 sig 9
??? kill 27181 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.302 s]
/proc/loadavg: 15.31 15.51 13.13 17/302 27468
/proc/meminfo: memFree=25659584/32770624 swapFree=5804/222116
[pid=27181] ppid=27178 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27181/stat : 27181 (xcsp3-exec) S 27178 27181 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3771898 9740288 346 33554432000 4194304 5098028 140737287374608 140737287372712 140472259965564 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40148992 140737287378063 140737287378272 140737287378272 140737287380971 0
/proc/27181/statm: 2378 346 289 221 0 87 0
[pid=27182] ppid=27181 vsize=13801768 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/27182/stat : 27182 (java) S 27181 27181 14782 0 -1 1077944320 117165 0 0 0 239504 505 0 0 20 0 28 0 3771898 14133010432 665810 33554432000 4194304 4196468 140729862225696 140729862208240 139926831570679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
/proc/27182/statm: 3450442 665810 3302 1 0 3437675 0
[pid=27182/tid=27183] ppid=27181 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27183/stat : 27183 (java) S 27181 27181 14782 0 -1 1077944384 7392 0 0 0 83 3 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926835811456 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27185] ppid=27181 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27185/stat : 27185 (java) S 27181 27181 14782 0 -1 1077944384 3441 0 0 0 148 46 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926750050704 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27186] ppid=27181 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27186/stat : 27186 (java) S 27181 27181 14782 0 -1 1077944384 3226 0 0 0 151 49 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926748997904 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27187] ppid=27181 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27187/stat : 27187 (java) S 27181 27181 14782 0 -1 1077944384 3430 0 0 0 152 48 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926747945616 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27188] ppid=27181 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27188/stat : 27188 (java) S 27181 27181 14782 0 -1 1077944384 2550 0 0 0 149 47 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926427396624 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27189] ppid=27181 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27189/stat : 27189 (java) S 27181 27181 14782 0 -1 1077944384 3143 0 0 0 148 46 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926426344336 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27190] ppid=27181 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27190/stat : 27190 (java) S 27181 27181 14782 0 -1 1077944384 3301 0 0 0 147 45 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926425291536 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27191] ppid=27181 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27191/stat : 27191 (java) S 27181 27181 14782 0 -1 1077944384 2885 0 0 0 149 47 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926424239248 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27192] ppid=27181 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27192/stat : 27192 (java) S 27181 27181 14782 0 -1 1077944384 2611 0 0 0 156 45 0 0 20 0 28 0 3771899 14133010432 665810 33554432000 4194304 4196468 140729862225696 139926423186448 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27193] ppid=27181 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27193/stat : 27193 (java) S 27181 27181 14782 0 -1 1077944384 14510 0 0 0 47 50 0 0 20 0 28 0 3771902 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925496264816 139926831581826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27194] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27194/stat : 27194 (java) S 27181 27181 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925495210784 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27195] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27195/stat : 27195 (java) S 27181 27181 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3771902 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925494158448 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27196] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27196/stat : 27196 (java) S 27181 27181 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925493106768 139926831589275 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27197] ppid=27181 vsize=13801768 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27197/stat : 27197 (java) S 27181 27181 14782 0 -1 1077944384 8172 0 0 0 248 1 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925492054640 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27198] ppid=27181 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27198/stat : 27198 (java) S 27181 27181 14782 0 -1 1077944384 7114 0 0 0 211 1 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925491001840 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27199] ppid=27181 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27199/stat : 27199 (java) S 27181 27181 14782 0 -1 1077944384 5462 0 0 0 211 1 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925489949552 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 18 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27200] ppid=27181 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27200/stat : 27200 (java) S 27181 27181 14782 0 -1 1077944384 6772 0 0 0 96 2 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925488896752 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27201] ppid=27181 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27201/stat : 27201 (java) S 27181 27181 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925487843680 139926831580885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27202] ppid=27181 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27202/stat : 27202 (java) S 27181 27181 14782 0 -1 1077944384 1256 0 0 0 9 5 0 0 20 0 28 0 3771907 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925486790960 139926831581826 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 30 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27325] ppid=27181 vsize=13801768 CPUtime=237.1 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27325/stat : 27325 (java) R 27181 27181 14782 0 -1 4202560 7600 0 0 0 23699 11 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139924464455432 139926436182118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27326] ppid=27181 vsize=13801768 CPUtime=236.84 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27326/stat : 27326 (java) R 27181 27181 14782 0 -1 4202560 5837 0 0 0 23671 13 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925475619576 139926434199060 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27327] ppid=27181 vsize=13801768 CPUtime=236.65 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27327/stat : 27327 (java) R 27181 27181 14782 0 -1 4202560 2513 0 0 0 23661 4 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925472460960 139926434961256 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27328] ppid=27181 vsize=13801768 CPUtime=236.97 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27328/stat : 27328 (java) R 27181 27181 14782 0 -1 4202560 2156 0 0 0 23694 3 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925473514392 139926433202975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27329] ppid=27181 vsize=13801768 CPUtime=236.87 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27329/stat : 27329 (java) R 27181 27181 14782 0 -1 4202560 2615 0 0 0 23681 6 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925474567544 139926434711008 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27330] ppid=27181 vsize=13801768 CPUtime=236.43 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27330/stat : 27330 (java) R 27181 27181 14782 0 -1 4202560 1740 0 0 0 23639 4 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925477725016 139926435545650 0 4 0 16800975 0 0 0 -1 8 0 0 7 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27331] ppid=27181 vsize=13801768 CPUtime=235.94 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27331/stat : 27331 (java) R 27181 27181 14782 0 -1 4202560 2974 0 0 0 23584 10 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925476674160 139926433850279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
[pid=27182/tid=27332] ppid=27181 vsize=13801768 CPUtime=236.27 cores=0,2,4,6,8,10,12,14
/proc/27182/task/27332/stat : 27332 (java) R 27181 27181 14782 0 -1 4202560 2846 0 0 0 23623 4 0 0 20 0 28 0 3778174 14133010432 665810 33554432000 4194304 4196468 140729862225696 139925478776136 139926433975483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27766784 140729862231228 140729862231404 140729862231404 140729862234063 0
Current children cumulated CPU time (s) 2400.09
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 27181 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3090
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.00309
# while last known CPU time is 2400.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.312
CPU time (s): 2400.09
CPU user time (s): 2395.04
CPU system time (s): 5.05
CPU usage (%): 791.293
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00309
system time used= 0
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.67153 second user time and 4.59497 second system time
The end