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-4247802-1500690855/watcher-4247802-1500690855 -o /tmp/evaluation-result-4247802-1500690855/solver-4247802-1500690855 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 19001337 HOME/instance-4247802-1500690855.xml
pid=15179
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: 16.44 15.23 12.47 10/275 15182
/proc/meminfo: memFree=29824816/32770624 swapFree=5900/263260
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
[startup+0.100065 s]
/proc/loadavg: 16.44 15.23 12.47 10/275 15182
/proc/meminfo: memFree=29824816/32770624 swapFree=5900/263260
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200346 s]
/proc/loadavg: 16.44 15.23 12.47 10/275 15182
/proc/meminfo: memFree=29824816/32770624 swapFree=5900/263260
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300241 s]
/proc/loadavg: 16.44 15.23 12.47 10/275 15182
/proc/meminfo: memFree=29824816/32770624 swapFree=5900/263260
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700184 s]
/proc/loadavg: 16.44 15.23 12.47 10/275 15182
/proc/meminfo: memFree=29824816/32770624 swapFree=5900/263260
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50111 s]
/proc/loadavg: 16.44 15.23 12.47 22/304 15211
/proc/meminfo: memFree=29700280/32770624 swapFree=5900/263288
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
[pid=15183] ppid=15182 vsize=13801768 CPUtime=6.42 cores=0,2,4,6,8,10,12,14
/proc/15183/stat : 15183 (java) S 15182 15182 16913 0 -1 1077944320 25911 0 0 0 624 18 0 0 20 0 28 0 4352502 14133010432 57961 33554432000 4194304 4196468 140725043595776 140725043578320 140573934083831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
/proc/15183/statm: 3450442 57961 3243 1 0 3437675 0
[pid=15183/tid=15184] ppid=15182 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15184/stat : 15184 (java) S 15182 15182 16913 0 -1 1077944384 6957 0 0 0 91 3 0 0 20 0 28 0 4352502 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573938324608 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15186] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15186/stat : 15186 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4352503 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573886703888 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15187] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15187/stat : 15187 (java) S 15182 15182 16913 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4352503 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573885651344 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15188] ppid=15182 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15188/stat : 15188 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4352503 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573884598800 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15189] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15189/stat : 15189 (java) S 15182 15182 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4352503 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573883546256 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15190] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15190/stat : 15190 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4352503 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573882493712 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15191] ppid=15182 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15191/stat : 15191 (java) S 15182 15182 16913 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4352503 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573881441168 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15192] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15192/stat : 15192 (java) S 15182 15182 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4352503 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573880388624 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15193] ppid=15182 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15193/stat : 15193 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4352503 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573879336080 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15194] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15194/stat : 15194 (java) S 15182 15182 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4352505 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573396379632 140573934094978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15195] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15195/stat : 15195 (java) S 15182 15182 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4352506 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573395325856 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15196] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15196/stat : 15196 (java) S 15182 15182 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4352506 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573394273264 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15197] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15197/stat : 15197 (java) S 15182 15182 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4352510 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573393221840 140573934102427 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15198] ppid=15182 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15198/stat : 15198 (java) R 15182 15182 16913 0 -1 4202560 4677 0 0 0 79 1 0 0 20 0 28 0 4352510 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573392154800 140573915605231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15199] ppid=15182 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15199/stat : 15199 (java) R 15182 15182 16913 0 -1 4202560 3424 0 0 0 72 1 0 0 20 0 28 0 4352510 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573391097928 140573915259745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15200] ppid=15182 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15200/stat : 15200 (java) R 15182 15182 16913 0 -1 4202560 3773 0 0 0 76 0 0 0 20 0 28 0 4352510 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573390050392 140573915627928 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15201] ppid=15182 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15201/stat : 15201 (java) R 15182 15182 16913 0 -1 4202560 4111 0 0 0 83 1 0 0 20 0 28 0 4352510 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573389011664 140573934105178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15202] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15202/stat : 15202 (java) S 15182 15182 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4352511 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573387958496 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15203] ppid=15182 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15203/stat : 15203 (java) S 15182 15182 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4352511 14133010432 57961 33554432000 4194304 4196468 140725043595776 140573386906032 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 13811280
[startup+3.10113 s]
/proc/loadavg: 16.44 15.23 12.47 20/304 15283
/proc/meminfo: memFree=29596844/32770624 swapFree=5900/263288
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
[pid=15183] ppid=15182 vsize=13802796 CPUtime=18.54 cores=0,2,4,6,8,10,12,14
/proc/15183/stat : 15183 (java) S 15182 15182 16913 0 -1 1077944320 29449 0 0 0 1833 21 0 0 20 0 28 0 4352502 14134063104 60015 33554432000 4194304 4196468 140725043595776 140725043578320 140573934083831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
/proc/15183/statm: 3450699 60015 3259 1 0 3437932 0
[pid=15183/tid=15184] ppid=15182 vsize=13802796 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15184/stat : 15184 (java) S 15182 15182 16913 0 -1 1077944384 6958 0 0 0 91 3 0 0 20 0 28 0 4352502 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573938324608 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15186] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15186/stat : 15186 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573886703888 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15187] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15187/stat : 15187 (java) S 15182 15182 16913 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573885651344 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15188] ppid=15182 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15188/stat : 15188 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4352503 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573884598800 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15189] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15189/stat : 15189 (java) S 15182 15182 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573883546256 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15190] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15190/stat : 15190 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573882493712 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15191] ppid=15182 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15191/stat : 15191 (java) S 15182 15182 16913 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4352503 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573881441168 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15192] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15192/stat : 15192 (java) S 15182 15182 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573880388624 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15193] ppid=15182 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15193/stat : 15193 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4352503 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573879336080 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15194] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15194/stat : 15194 (java) S 15182 15182 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4352505 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573396379632 140573934094978 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15195] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15195/stat : 15195 (java) S 15182 15182 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4352506 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573395325856 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15196] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15196/stat : 15196 (java) S 15182 15182 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4352506 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573394273264 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15197] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15197/stat : 15197 (java) S 15182 15182 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4352510 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573393221840 140573934102427 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15198] ppid=15182 vsize=13802796 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15198/stat : 15198 (java) R 15182 15182 16913 0 -1 4202560 5425 0 0 0 195 1 0 0 20 0 28 0 4352510 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573392156024 140573915609429 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15199] ppid=15182 vsize=13802796 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15199/stat : 15199 (java) R 15182 15182 16913 0 -1 4202560 4933 0 0 0 214 1 0 0 20 0 28 0 4352510 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573391103136 140573911935241 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15200] ppid=15182 vsize=13802796 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15200/stat : 15200 (java) R 15182 15182 16913 0 -1 4202560 3948 0 0 0 194 1 0 0 20 0 28 0 4352510 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573390054272 140573918475818 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15201] ppid=15182 vsize=13802796 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15201/stat : 15201 (java) R 15182 15182 16913 0 -1 4202560 4466 0 0 0 99 1 0 0 20 0 28 0 4352510 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573389011824 140573912072187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15202] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15202/stat : 15202 (java) S 15182 15182 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4352511 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573387958496 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15203] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15203/stat : 15203 (java) S 15182 15182 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4352511 14134063104 60015 33554432000 4194304 4196468 140725043595776 140573386906032 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
Current children cumulated CPU time (s) 18.54
Current children cumulated vsize (KiB) 13812308
[startup+6.30156 s]
/proc/loadavg: 16.64 15.29 12.50 17/304 15316
/proc/meminfo: memFree=29589944/32770624 swapFree=5900/263300
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
[pid=15183] ppid=15182 vsize=13802796 CPUtime=43.91 cores=0,2,4,6,8,10,12,14
/proc/15183/stat : 15183 (java) S 15182 15182 16913 0 -1 1077944320 41580 0 0 0 4368 23 0 0 20 0 28 0 4352502 14134063104 61825 33554432000 4194304 4196468 140725043595776 140725043578320 140573934083831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
/proc/15183/statm: 3450699 61825 3268 1 0 3437932 0
[pid=15183/tid=15184] ppid=15182 vsize=13802796 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15184/stat : 15184 (java) S 15182 15182 16913 0 -1 1077944384 6958 0 0 0 92 3 0 0 20 0 28 0 4352502 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573938324608 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15186] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15186/stat : 15186 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573886703888 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15187] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15187/stat : 15187 (java) S 15182 15182 16913 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573885651344 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15188] ppid=15182 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15188/stat : 15188 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4352503 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573884598800 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15189] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15189/stat : 15189 (java) S 15182 15182 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573883546256 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15190] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15190/stat : 15190 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573882493712 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15191] ppid=15182 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15191/stat : 15191 (java) S 15182 15182 16913 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4352503 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573881441168 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15192] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15192/stat : 15192 (java) S 15182 15182 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4352503 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573880388624 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15193] ppid=15182 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15193/stat : 15193 (java) S 15182 15182 16913 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4352503 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573879336080 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15194] ppid=15182 vsize=13802796 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15194/stat : 15194 (java) S 15182 15182 16913 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 28 0 4352505 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573396379632 140573934094978 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15195] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15195/stat : 15195 (java) S 15182 15182 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4352506 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573395325856 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15196] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15196/stat : 15196 (java) S 15182 15182 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4352506 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573394273264 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15197] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15197/stat : 15197 (java) S 15182 15182 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4352510 14134063104 61825 33554432000 4194304 4196468 140725043595776 140573393221840 140573934102427 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
################
# More data... #
################
[pid=15183/tid=15331] ppid=15182 vsize=13802796 CPUtime=254.53 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15331/stat : 15331 (java) R 15182 15182 16913 0 -1 4202560 1439 0 0 0 25453 0 0 0 20 0 28 0 4355200 14134063104 57376 33554432000 4194304 4196468 140725043595776 140573370470088 140573566086332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15332] ppid=15182 vsize=13802796 CPUtime=254.17 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15332/stat : 15332 (java) R 15182 15182 16913 0 -1 4202560 746 0 0 0 25417 0 0 0 20 0 28 0 4355200 14134063104 57376 33554432000 4194304 4196468 140725043595776 140573372575048 140573564519652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
Current children cumulated CPU time (s) 2241.11
Current children cumulated vsize (KiB) 13812308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.301 s]
/proc/loadavg: 15.94 15.75 13.47 17/302 15433
/proc/meminfo: memFree=31399448/32770624 swapFree=5900/263648
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
[pid=15183] ppid=15182 vsize=13802796 CPUtime=2400.24 cores=0,2,4,6,8,10,12,14
/proc/15183/stat : 15183 (java) S 15182 15182 16913 0 -1 1077944320 98930 0 0 0 239943 81 0 0 20 0 28 0 4352502 14134063104 55323 33554432000 4194304 4196468 140725043595776 140725043578320 140573934083831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
/proc/15183/statm: 3450699 55323 3280 1 0 3437932 0
[pid=15183/tid=15184] ppid=15182 vsize=13802796 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15184/stat : 15184 (java) S 15182 15182 16913 0 -1 1077944384 7187 0 0 0 92 3 0 0 20 0 28 0 4352502 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573938324608 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15186] ppid=15182 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15186/stat : 15186 (java) S 15182 15182 16913 0 -1 1077944384 1224 0 0 0 13 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573886703888 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15187] ppid=15182 vsize=13802796 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15187/stat : 15187 (java) S 15182 15182 16913 0 -1 1077944384 1358 0 0 0 10 5 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573885651344 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15188] ppid=15182 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15188/stat : 15188 (java) S 15182 15182 16913 0 -1 1077944384 1272 0 0 0 11 5 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573884598800 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15189] ppid=15182 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15189/stat : 15189 (java) S 15182 15182 16913 0 -1 1077944384 742 0 0 0 13 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573883546256 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15190] ppid=15182 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15190/stat : 15190 (java) S 15182 15182 16913 0 -1 1077944384 374 0 0 0 12 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573882493712 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15191] ppid=15182 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15191/stat : 15191 (java) S 15182 15182 16913 0 -1 1077944384 731 0 0 0 11 5 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573881441168 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15192] ppid=15182 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15192/stat : 15192 (java) S 15182 15182 16913 0 -1 1077944384 1699 0 0 0 13 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573880388624 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15193] ppid=15182 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15193/stat : 15193 (java) S 15182 15182 16913 0 -1 1077944384 2278 0 0 0 12 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573879336080 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15194] ppid=15182 vsize=13802796 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15194/stat : 15194 (java) S 15182 15182 16913 0 -1 1077944384 2918 0 0 0 12 12 0 0 20 0 28 0 4352505 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573396379632 140573934094978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15195] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15195/stat : 15195 (java) S 15182 15182 16913 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4352506 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573395325920 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15196] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15196/stat : 15196 (java) S 15182 15182 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4352506 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573394273280 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15197] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15197/stat : 15197 (java) S 15182 15182 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573393221840 140573934102427 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15198] ppid=15182 vsize=13802796 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15198/stat : 15198 (java) S 15182 15182 16913 0 -1 1077944384 17007 0 0 0 381 2 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573392169456 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15199] ppid=15182 vsize=13802796 CPUtime=3.87 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15199/stat : 15199 (java) S 15182 15182 16913 0 -1 1077944384 14337 0 0 0 385 2 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573391116912 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15200] ppid=15182 vsize=13802796 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15200/stat : 15200 (java) S 15182 15182 16913 0 -1 1077944384 15520 0 0 0 377 2 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573390064368 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15201] ppid=15182 vsize=13802796 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15201/stat : 15201 (java) S 15182 15182 16913 0 -1 1077944384 9580 0 0 0 124 2 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573389011824 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15202] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15202/stat : 15202 (java) S 15182 15182 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4352511 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573387958496 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15203] ppid=15182 vsize=13802796 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15203/stat : 15203 (java) S 15182 15182 16913 0 -1 1077944384 1756 0 0 0 5 3 0 0 20 0 28 0 4352511 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573386906032 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15325] ppid=15182 vsize=13802796 CPUtime=274.42 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15325/stat : 15325 (java) R 15182 15182 16913 0 -1 4202560 1056 0 0 0 27442 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573375732680 140573566117847 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15326] ppid=15182 vsize=13802796 CPUtime=273.55 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15326/stat : 15326 (java) R 15182 15182 16913 0 -1 4202560 979 0 0 0 27355 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573373627760 140573568538361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15327] ppid=15182 vsize=13802796 CPUtime=273.97 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15327/stat : 15327 (java) R 15182 15182 16913 0 -1 4202560 3623 0 0 0 27396 1 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573377841936 140573566083290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15328] ppid=15182 vsize=13802796 CPUtime=273.81 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15328/stat : 15328 (java) R 15182 15182 16913 0 -1 4202560 1247 0 0 0 27381 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573374681256 140573566085650 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15329] ppid=15182 vsize=13802796 CPUtime=273.32 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15329/stat : 15329 (java) R 15182 15182 16913 0 -1 4202560 1094 0 0 0 27332 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573371523048 140573567051335 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15330] ppid=15182 vsize=13802796 CPUtime=271.96 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15330/stat : 15330 (java) R 15182 15182 16913 0 -1 4202560 381 0 0 0 27196 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573378891800 140573566907869 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15331] ppid=15182 vsize=13802796 CPUtime=274.48 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15331/stat : 15331 (java) R 15182 15182 16913 0 -1 4202560 1440 0 0 0 27448 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573370469832 140573565242720 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15332] ppid=15182 vsize=13802796 CPUtime=274.13 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15332/stat : 15332 (java) R 15182 15182 16913 0 -1 4202560 748 0 0 0 27413 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573372575288 140573563782196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
Current children cumulated CPU time (s) 2400.24
Current children cumulated vsize (KiB) 13812308
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 15183 sig 9
??? kill 15182 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.301 s]
/proc/loadavg: 15.94 15.75 13.47 17/302 15433
/proc/meminfo: memFree=31399448/32770624 swapFree=5900/263648
[pid=15182] ppid=15179 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15182/stat : 15182 (xcsp3-exec) S 15179 15182 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4352502 9740288 345 33554432000 4194304 5098028 140729141373840 140729141371944 140633741517436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33398784 140729141376144 140729141376352 140729141376352 140729141379051 0
/proc/15182/statm: 2378 345 289 221 0 87 0
[pid=15183] ppid=15182 vsize=13802796 CPUtime=2400.24 cores=0,2,4,6,8,10,12,14
/proc/15183/stat : 15183 (java) S 15182 15182 16913 0 -1 1077944320 98930 0 0 0 239943 81 0 0 20 0 28 0 4352502 14134063104 55323 33554432000 4194304 4196468 140725043595776 140725043578320 140573934083831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
/proc/15183/statm: 3450699 55323 3280 1 0 3437932 0
[pid=15183/tid=15184] ppid=15182 vsize=13802796 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15184/stat : 15184 (java) S 15182 15182 16913 0 -1 1077944384 7187 0 0 0 92 3 0 0 20 0 28 0 4352502 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573938324608 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15186] ppid=15182 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15186/stat : 15186 (java) S 15182 15182 16913 0 -1 1077944384 1224 0 0 0 13 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573886703888 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15187] ppid=15182 vsize=13802796 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15187/stat : 15187 (java) S 15182 15182 16913 0 -1 1077944384 1358 0 0 0 10 5 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573885651344 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15188] ppid=15182 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15188/stat : 15188 (java) S 15182 15182 16913 0 -1 1077944384 1272 0 0 0 11 5 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573884598800 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15189] ppid=15182 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15189/stat : 15189 (java) S 15182 15182 16913 0 -1 1077944384 742 0 0 0 13 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573883546256 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15190] ppid=15182 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15190/stat : 15190 (java) S 15182 15182 16913 0 -1 1077944384 374 0 0 0 12 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573882493712 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15191] ppid=15182 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15191/stat : 15191 (java) S 15182 15182 16913 0 -1 1077944384 731 0 0 0 11 5 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573881441168 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15192] ppid=15182 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15192/stat : 15192 (java) S 15182 15182 16913 0 -1 1077944384 1699 0 0 0 13 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573880388624 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15193] ppid=15182 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15193/stat : 15193 (java) S 15182 15182 16913 0 -1 1077944384 2278 0 0 0 12 4 0 0 20 0 28 0 4352503 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573879336080 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15194] ppid=15182 vsize=13802796 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15194/stat : 15194 (java) S 15182 15182 16913 0 -1 1077944384 2918 0 0 0 12 12 0 0 20 0 28 0 4352505 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573396379632 140573934094978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15195] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15195/stat : 15195 (java) S 15182 15182 16913 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4352506 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573395325920 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15196] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15196/stat : 15196 (java) S 15182 15182 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4352506 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573394273280 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15197] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15197/stat : 15197 (java) S 15182 15182 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573393221840 140573934102427 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15198] ppid=15182 vsize=13802796 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15198/stat : 15198 (java) S 15182 15182 16913 0 -1 1077944384 17007 0 0 0 381 2 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573392169456 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15199] ppid=15182 vsize=13802796 CPUtime=3.87 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15199/stat : 15199 (java) S 15182 15182 16913 0 -1 1077944384 14337 0 0 0 385 2 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573391116912 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15200] ppid=15182 vsize=13802796 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15200/stat : 15200 (java) S 15182 15182 16913 0 -1 1077944384 15520 0 0 0 377 2 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573390064368 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15201] ppid=15182 vsize=13802796 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15201/stat : 15201 (java) S 15182 15182 16913 0 -1 1077944384 9580 0 0 0 124 2 0 0 20 0 28 0 4352510 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573389011824 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15202] ppid=15182 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15202/stat : 15202 (java) S 15182 15182 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4352511 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573387958496 140573934094037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15203] ppid=15182 vsize=13802796 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15203/stat : 15203 (java) S 15182 15182 16913 0 -1 1077944384 1756 0 0 0 5 3 0 0 20 0 28 0 4352511 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573386906032 140573934094978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15325] ppid=15182 vsize=13802796 CPUtime=274.42 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15325/stat : 15325 (java) R 15182 15182 16913 0 -1 4202560 1056 0 0 0 27442 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573375732680 140573566117847 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15326] ppid=15182 vsize=13802796 CPUtime=273.55 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15326/stat : 15326 (java) R 15182 15182 16913 0 -1 4202560 979 0 0 0 27355 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573373627760 140573568538361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15327] ppid=15182 vsize=13802796 CPUtime=273.97 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15327/stat : 15327 (java) R 15182 15182 16913 0 -1 4202560 3623 0 0 0 27396 1 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573377841936 140573566083290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15328] ppid=15182 vsize=13802796 CPUtime=273.81 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15328/stat : 15328 (java) R 15182 15182 16913 0 -1 4202560 1247 0 0 0 27381 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573374681256 140573566085650 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15329] ppid=15182 vsize=13802796 CPUtime=273.32 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15329/stat : 15329 (java) R 15182 15182 16913 0 -1 4202560 1094 0 0 0 27332 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573371523048 140573567051335 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15330] ppid=15182 vsize=13802796 CPUtime=271.96 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15330/stat : 15330 (java) R 15182 15182 16913 0 -1 4202560 381 0 0 0 27196 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573378891800 140573566907869 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15331] ppid=15182 vsize=13802796 CPUtime=274.48 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15331/stat : 15331 (java) R 15182 15182 16913 0 -1 4202560 1440 0 0 0 27448 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573370469832 140573565242720 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
[pid=15183/tid=15332] ppid=15182 vsize=13802796 CPUtime=274.13 cores=0,2,4,6,8,10,12,14
/proc/15183/task/15332/stat : 15332 (java) R 15182 15182 16913 0 -1 4202560 748 0 0 0 27413 0 0 0 20 0 28 0 4355200 14134063104 55323 33554432000 4194304 4196468 140725043595776 140573372575288 140573563782196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7954432 140725043602620 140725043602796 140725043602796 140725043605455 0
Current children cumulated CPU time (s) 2400.24
Current children cumulated vsize (KiB) 13812308
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15182 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=889
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1779
# CPU time returned by wait4() is 0.002668
# while last known CPU time is 2400.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.312
CPU time (s): 2400.24
CPU user time (s): 2399.43
CPU system time (s): 0.81
CPU usage (%): 793.961
Max. virtual memory (cumulated for all children) (KiB): 13813052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000889
system time used= 0.001779
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81136 second user time and 4.12058 second system time
The end