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-4245509-1500685798/watcher-4245509-1500685798 -o /tmp/evaluation-result-4245509-1500685798/solver-4245509-1500685798 -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 2099188050 HOME/instance-4245509-1500685798.xml
pid=2444
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: 13.95 14.67 14.73 10/275 2447
/proc/meminfo: memFree=30813940/32770624 swapFree=5900/227396
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[startup+0.100101 s]
/proc/loadavg: 13.95 14.67 14.73 10/275 2447
/proc/meminfo: memFree=30813940/32770624 swapFree=5900/227396
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200399 s]
/proc/loadavg: 13.95 14.67 14.73 10/275 2447
/proc/meminfo: memFree=30813940/32770624 swapFree=5900/227396
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300299 s]
/proc/loadavg: 13.95 14.67 14.73 10/275 2447
/proc/meminfo: memFree=30813940/32770624 swapFree=5900/227396
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700221 s]
/proc/loadavg: 13.95 14.67 14.73 10/275 2447
/proc/meminfo: memFree=30813940/32770624 swapFree=5900/227396
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5008 s]
/proc/loadavg: 13.63 14.59 14.70 13/296 2468
/proc/meminfo: memFree=30579120/32770624 swapFree=5900/227476
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13269256 CPUtime=5.47 cores=0,2,4,6,8,10,12,14
/proc/2448/stat : 2448 (java) S 2447 2447 16913 0 -1 1077944320 16198 0 0 0 478 69 0 0 20 0 20 0 3846745 13587718144 85911 33554432000 4194304 4196468 140730758567216 140730758549760 140248439574263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
/proc/2448/statm: 3317314 85911 3247 1 0 3304547 0
[pid=2448/tid=2449] ppid=2447 vsize=13269256 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2449/stat : 2449 (java) R 2447 2447 16913 0 -1 4202560 6934 0 0 0 121 5 0 0 20 0 20 0 3846745 13587718144 85911 33554432000 4194304 4196468 140730758567216 140248443812704 140248081203082 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2451] ppid=2447 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 16913 0 -1 1077944384 84 0 0 0 9 7 0 0 20 0 20 0 3846746 13587718144 85911 33554432000 4194304 4196468 140730758567216 140248400534672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2452] ppid=2447 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 16913 0 -1 1077944384 78 0 0 0 10 7 0 0 20 0 20 0 3846746 13587718144 85911 33554432000 4194304 4196468 140730758567216 140248037702672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2453] ppid=2447 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 16913 0 -1 1077944384 112 0 0 0 8 7 0 0 20 0 20 0 3846746 13587718144 85911 33554432000 4194304 4196468 140730758567216 140248036649872 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2454] ppid=2447 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 16913 0 -1 1077944384 82 0 0 0 10 8 0 0 20 0 20 0 3846746 13587718144 85911 33554432000 4194304 4196468 140730758567216 140248035597072 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2455] ppid=2447 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 16913 0 -1 1077944384 77 0 0 0 7 6 0 0 20 0 20 0 3846746 13587718144 85911 33554432000 4194304 4196468 140730758567216 140248034544272 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2456] ppid=2447 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 16913 0 -1 1077944384 93 0 0 0 9 7 0 0 20 0 20 0 3846746 13587718144 85911 33554432000 4194304 4196468 140730758567216 140248033491472 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2457] ppid=2447 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 16913 0 -1 1077944384 90 0 0 0 12 6 0 0 20 0 20 0 3846746 13587718144 85911 33554432000 4194304 4196468 140730758567216 140248032438672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2458] ppid=2447 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2458/stat : 2458 (java) S 2447 2447 16913 0 -1 1077944384 87 0 0 0 11 8 0 0 20 0 20 0 3846746 13587718144 85911 33554432000 4194304 4196468 140730758567216 140248031385872 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2459] ppid=2447 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2459/stat : 2459 (java) S 2447 2447 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3846749 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247901924208 140248439585410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2460] ppid=2447 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2460/stat : 2460 (java) S 2447 2447 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3846749 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247900870240 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2461] ppid=2447 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2461/stat : 2461 (java) S 2447 2447 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3846750 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247899817344 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2462] ppid=2447 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2462/stat : 2462 (java) S 2447 2447 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3846753 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247898765648 140248439592859 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2463] ppid=2447 vsize=13269256 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2463/stat : 2463 (java) R 2447 2447 16913 0 -1 4202560 1820 0 0 0 72 0 0 0 20 0 20 0 3846753 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247897699104 140248421095499 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2464] ppid=2447 vsize=13269256 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2464/stat : 2464 (java) R 2447 2447 16913 0 -1 4202560 1631 0 0 0 70 0 0 0 20 0 20 0 3846753 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247896647024 140248417424481 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2465] ppid=2447 vsize=13269256 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2465/stat : 2465 (java) R 2447 2447 16913 0 -1 4202560 1760 0 0 0 78 0 0 0 20 0 20 0 3846753 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247895597888 140248421092151 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2466] ppid=2447 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2466/stat : 2466 (java) S 2447 2447 16913 0 -1 1077944384 1971 0 0 0 55 0 0 0 20 0 20 0 3846754 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247894554608 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2467] ppid=2447 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2467/stat : 2467 (java) S 2447 2447 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3846754 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247893503072 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2468] ppid=2447 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2468/stat : 2468 (java) S 2447 2447 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3846754 13587718144 85911 33554432000 4194304 4196468 140730758567216 140247892450352 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 13278768
[startup+3.10156 s]
/proc/loadavg: 13.63 14.59 14.70 20/304 2476
/proc/meminfo: memFree=30409888/32770624 swapFree=5900/227428
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13801768 CPUtime=17.33 cores=0,2,4,6,8,10,12,14
/proc/2448/stat : 2448 (java) S 2447 2447 16913 0 -1 1077944320 21566 0 0 0 1661 72 0 0 20 0 28 0 3846745 14133010432 113816 33554432000 4194304 4196468 140730758567216 140730758549760 140248439574263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
/proc/2448/statm: 3450442 113816 3279 1 0 3437675 0
[pid=2448/tid=2449] ppid=2447 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2449/stat : 2449 (java) S 2447 2447 16913 0 -1 1077944384 7005 0 0 0 137 5 0 0 20 0 28 0 3846745 14133010432 113816 33554432000 4194304 4196468 140730758567216 140248443815040 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2451] ppid=2447 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 16913 0 -1 1077944384 84 0 0 0 9 7 0 0 20 0 28 0 3846746 14133010432 113816 33554432000 4194304 4196468 140730758567216 140248400534672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2452] ppid=2447 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 16913 0 -1 1077944384 78 0 0 0 10 7 0 0 20 0 28 0 3846746 14133010432 113816 33554432000 4194304 4196468 140730758567216 140248037702672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2453] ppid=2447 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 16913 0 -1 1077944384 112 0 0 0 8 7 0 0 20 0 28 0 3846746 14133010432 113816 33554432000 4194304 4196468 140730758567216 140248036649872 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2454] ppid=2447 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 16913 0 -1 1077944384 82 0 0 0 10 8 0 0 20 0 28 0 3846746 14133010432 113816 33554432000 4194304 4196468 140730758567216 140248035597072 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2455] ppid=2447 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 16913 0 -1 1077944384 77 0 0 0 7 6 0 0 20 0 28 0 3846746 14133010432 113816 33554432000 4194304 4196468 140730758567216 140248034544272 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2456] ppid=2447 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 16913 0 -1 1077944384 93 0 0 0 9 7 0 0 20 0 28 0 3846746 14133010432 113816 33554432000 4194304 4196468 140730758567216 140248033491472 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2457] ppid=2447 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 16913 0 -1 1077944384 90 0 0 0 12 6 0 0 20 0 28 0 3846746 14133010432 113816 33554432000 4194304 4196468 140730758567216 140248032438672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2458] ppid=2447 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2458/stat : 2458 (java) S 2447 2447 16913 0 -1 1077944384 87 0 0 0 11 8 0 0 20 0 28 0 3846746 14133010432 113816 33554432000 4194304 4196468 140730758567216 140248031385872 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2459] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2459/stat : 2459 (java) S 2447 2447 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3846749 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247901924208 140248439585410 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2460] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2460/stat : 2460 (java) S 2447 2447 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3846749 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247900870240 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2461] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2461/stat : 2461 (java) S 2447 2447 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3846750 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247899817344 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2462] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2462/stat : 2462 (java) S 2447 2447 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3846753 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247898765648 140248439592859 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2463] ppid=2447 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2463/stat : 2463 (java) S 2447 2447 16913 0 -1 1077944384 3357 0 0 0 190 0 0 0 20 0 28 0 3846753 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247897713008 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2464] ppid=2447 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2464/stat : 2464 (java) R 2447 2447 16913 0 -1 1077944384 3270 0 0 0 165 1 0 0 20 0 28 0 3846753 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247896660208 140248439585410 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2465] ppid=2447 vsize=13801768 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2465/stat : 2465 (java) S 2447 2447 16913 0 -1 1077944384 2461 0 0 0 175 0 0 0 20 0 28 0 3846753 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247895607408 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2466] ppid=2447 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2466/stat : 2466 (java) S 2447 2447 16913 0 -1 1077944384 2641 0 0 0 85 1 0 0 20 0 28 0 3846754 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247894554608 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2467] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2467/stat : 2467 (java) S 2447 2447 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3846754 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247893503072 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2468] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2468/stat : 2468 (java) S 2447 2447 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3846754 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247892450352 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2469] ppid=2447 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2469/stat : 2469 (java) R 2447 2447 16913 0 -1 4202560 82 0 0 0 98 0 0 0 20 0 28 0 3846910 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247884436856 140248083542586 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2470] ppid=2447 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2470/stat : 2470 (java) R 2447 2447 16913 0 -1 4202560 50 0 0 0 110 0 0 0 20 0 28 0 3846910 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247883383320 140248083542609 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2471] ppid=2447 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2471/stat : 2471 (java) R 2447 2447 16913 0 -1 4202560 75 0 0 0 104 0 0 0 20 0 28 0 3846910 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247882330416 140248083224157 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2472] ppid=2447 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2472/stat : 2472 (java) R 2447 2447 16913 0 -1 4202560 96 0 0 0 98 0 0 0 20 0 28 0 3846910 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247881278448 140248421414986 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2473] ppid=2447 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2473/stat : 2473 (java) R 2447 2447 16913 0 -1 4202560 296 0 0 0 83 0 0 0 20 0 28 0 3846910 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247880226488 140248083419723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2474] ppid=2447 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2474/stat : 2474 (java) R 2447 2447 16913 0 -1 4202560 58 0 0 0 118 0 0 0 20 0 28 0 3846910 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247879171952 140248083543032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2475] ppid=2447 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2475/stat : 2475 (java) R 2447 2447 16913 0 -1 4202560 39 0 0 0 95 0 0 0 20 0 28 0 3846910 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247878120248 140248083542662 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2476] ppid=2447 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2476/stat : 2476 (java) R 2447 2447 16913 0 -1 4202560 54 0 0 0 118 0 0 0 20 0 28 0 3846911 14133010432 113816 33554432000 4194304 4196468 140730758567216 140247877065280 140248083419691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
Current children cumulated CPU time (s) 17.33
Current children cumulated vsize (KiB) 13811280
[startup+6.30168 s]
/proc/loadavg: 13.66 14.58 14.70 17/304 2481
/proc/meminfo: memFree=30238128/32770624 swapFree=5900/227444
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13801768 CPUtime=42.7 cores=0,2,4,6,8,10,12,14
/proc/2448/stat : 2448 (java) S 2447 2447 16913 0 -1 1077944320 33133 0 0 0 4132 138 0 0 20 0 28 0 3846745 14133010432 146727 33554432000 4194304 4196468 140730758567216 140730758549760 140248439574263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
/proc/2448/statm: 3450442 146727 3284 1 0 3437675 0
[pid=2448/tid=2449] ppid=2447 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2449/stat : 2449 (java) S 2447 2447 16913 0 -1 1077944384 7005 0 0 0 137 5 0 0 20 0 28 0 3846745 14133010432 146727 33554432000 4194304 4196468 140730758567216 140248443815040 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2451] ppid=2447 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 16913 0 -1 1077944384 177 0 0 0 18 15 0 0 20 0 28 0 3846746 14133010432 146727 33554432000 4194304 4196468 140730758567216 140248400534672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2452] ppid=2447 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 16913 0 -1 1077944384 208 0 0 0 18 15 0 0 20 0 28 0 3846746 14133010432 146727 33554432000 4194304 4196468 140730758567216 140248037702672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2453] ppid=2447 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 16913 0 -1 1077944384 226 0 0 0 16 14 0 0 20 0 28 0 3846746 14133010432 146727 33554432000 4194304 4196468 140730758567216 140248036649872 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2454] ppid=2447 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 16913 0 -1 1077944384 199 0 0 0 20 15 0 0 20 0 28 0 3846746 14133010432 146727 33554432000 4194304 4196468 140730758567216 140248035597072 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
################
# More data... #
################
/proc/2448/task/2489/stat : 2489 (java) R 2447 2447 16913 0 -1 4202560 942 0 0 0 23743 0 0 0 20 0 28 0 3850850 14133010432 390919 33554432000 4194304 4196468 140730758567216 140247884436184 140248082376960 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2490] ppid=2447 vsize=13801768 CPUtime=237.5 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2490/stat : 2490 (java) R 2447 2447 16913 0 -1 4202560 1135 0 0 0 23750 0 0 0 20 0 28 0 3850852 14133010432 390919 33554432000 4194304 4196468 140730758567216 140247881277912 140248083536206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
Current children cumulated CPU time (s) 2239.24
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.502 s]
/proc/loadavg: 15.76 15.43 15.04 17/304 2867
/proc/meminfo: memFree=30102404/32770624 swapFree=5900/227944
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13801768 CPUtime=2400.17 cores=0,2,4,6,8,10,12,14
/proc/2448/stat : 2448 (java) S 2447 2447 16913 0 -1 1077944320 116313 0 0 0 239724 293 0 0 20 0 28 0 3846745 14133010432 391956 33554432000 4194304 4196468 140730758567216 140730758549760 140248439574263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
/proc/2448/statm: 3450442 391956 3302 1 0 3437675 0
[pid=2448/tid=2449] ppid=2447 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2449/stat : 2449 (java) S 2447 2447 16913 0 -1 1077944384 7173 0 0 0 137 5 0 0 20 0 28 0 3846745 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248443815040 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2451] ppid=2447 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 16913 0 -1 1077944384 1346 0 0 0 152 30 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248400534672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2452] ppid=2447 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 16913 0 -1 1077944384 2658 0 0 0 149 28 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248037702672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2453] ppid=2447 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 16913 0 -1 1077944384 1958 0 0 0 145 29 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248036649872 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2454] ppid=2447 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 16913 0 -1 1077944384 988 0 0 0 152 29 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248035597072 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2455] ppid=2447 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 16913 0 -1 1077944384 1719 0 0 0 149 30 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248034544272 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2456] ppid=2447 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 16913 0 -1 1077944384 999 0 0 0 152 28 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248033491472 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2457] ppid=2447 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 16913 0 -1 1077944384 1725 0 0 0 154 29 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248032438672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2458] ppid=2447 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2458/stat : 2458 (java) S 2447 2447 16913 0 -1 1077944384 821 0 0 0 150 32 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248031385872 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2459] ppid=2447 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2459/stat : 2459 (java) S 2447 2447 16913 0 -1 1077944384 6186 0 0 0 11 5 0 0 20 0 28 0 3846749 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247901924208 140248439585410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2460] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2460/stat : 2460 (java) S 2447 2447 16913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3846749 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247900870240 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2461] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2461/stat : 2461 (java) S 2447 2447 16913 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3846750 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247899817344 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2462] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2462/stat : 2462 (java) S 2447 2447 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3846753 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247898765648 140248439592859 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2463] ppid=2447 vsize=13801768 CPUtime=3.37 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2463/stat : 2463 (java) S 2447 2447 16913 0 -1 1077944384 17785 0 0 0 335 2 0 0 20 0 28 0 3846753 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247897713008 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2464] ppid=2447 vsize=13801768 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2464/stat : 2464 (java) S 2447 2447 16913 0 -1 1077944384 15858 0 0 0 297 2 0 0 20 0 28 0 3846753 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247896660208 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2465] ppid=2447 vsize=13801768 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2465/stat : 2465 (java) S 2447 2447 16913 0 -1 1077944384 15056 0 0 0 378 2 0 0 20 0 28 0 3846753 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247895607408 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2466] ppid=2447 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2466/stat : 2466 (java) S 2447 2447 16913 0 -1 1077944384 11766 0 0 0 114 1 0 0 20 0 28 0 3846754 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247894554608 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2467] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2467/stat : 2467 (java) S 2447 2447 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3846754 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247893503072 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2468] ppid=2447 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2468/stat : 2468 (java) S 2447 2447 16913 0 -1 1077944384 1243 0 0 0 6 8 0 0 20 0 28 0 3846754 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247892450352 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2483] ppid=2447 vsize=13801768 CPUtime=259.47 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2483/stat : 2483 (java) R 2447 2447 16913 0 -1 4202560 1228 0 0 0 25947 0 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247877065976 140248084773218 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2484] ppid=2447 vsize=13801768 CPUtime=260.37 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2484/stat : 2484 (java) R 2447 2447 16913 0 -1 4202560 992 0 0 0 26037 0 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247880225112 140248082109196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2485] ppid=2447 vsize=13801768 CPUtime=260.53 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2485/stat : 2485 (java) R 2447 2447 16913 0 -1 4202560 3174 0 0 0 26052 1 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247879172488 140248085002412 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2486] ppid=2447 vsize=13801768 CPUtime=260.56 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2486/stat : 2486 (java) R 2447 2447 16913 0 -1 4202560 7823 0 0 0 26048 8 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247883382792 140248085654000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2487] ppid=2447 vsize=13801768 CPUtime=260.58 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2487/stat : 2487 (java) R 2447 2447 16913 0 -1 4202560 1211 0 0 0 26058 0 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247878121776 140248082744094 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2488] ppid=2447 vsize=13801768 CPUtime=260.63 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2488/stat : 2488 (java) R 2447 2447 16913 0 -1 4202560 612 0 0 0 26063 0 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247882329696 140248082744037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2489] ppid=2447 vsize=13801768 CPUtime=257.61 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2489/stat : 2489 (java) R 2447 2447 16913 0 -1 4202560 951 0 0 0 25760 1 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247884435496 140248085803078 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2490] ppid=2447 vsize=13801768 CPUtime=257.64 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2490/stat : 2490 (java) R 2447 2447 16913 0 -1 4202560 1136 0 0 0 25764 0 0 0 20 0 28 0 3850852 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247881277912 140248083536206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
Current children cumulated CPU time (s) 2400.17
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 2448 sig 9
??? kill 2447 sig 9
??? kill -2447 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.502 s]
/proc/loadavg: 15.76 15.43 15.04 17/304 2867
/proc/meminfo: memFree=30102404/32770624 swapFree=5900/227944
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3846745 9740288 346 33554432000 4194304 5098028 140721286764720 140721286762824 140009229124220 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20250624 140721286771854 140721286772064 140721286772064 140721286774763 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13801768 CPUtime=2400.17 cores=0,2,4,6,8,10,12,14
/proc/2448/stat : 2448 (java) S 2447 2447 16913 0 -1 1077944320 116313 0 0 0 239724 293 0 0 20 0 28 0 3846745 14133010432 391956 33554432000 4194304 4196468 140730758567216 140730758549760 140248439574263 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
/proc/2448/statm: 3450442 391956 3302 1 0 3437675 0
[pid=2448/tid=2449] ppid=2447 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2449/stat : 2449 (java) S 2447 2447 16913 0 -1 1077944384 7173 0 0 0 137 5 0 0 20 0 28 0 3846745 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248443815040 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2451] ppid=2447 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 16913 0 -1 1077944384 1346 0 0 0 152 30 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248400534672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2452] ppid=2447 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 16913 0 -1 1077944384 2658 0 0 0 149 28 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248037702672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2453] ppid=2447 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 16913 0 -1 1077944384 1958 0 0 0 145 29 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248036649872 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2454] ppid=2447 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 16913 0 -1 1077944384 988 0 0 0 152 29 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248035597072 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2455] ppid=2447 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 16913 0 -1 1077944384 1719 0 0 0 149 30 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248034544272 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2456] ppid=2447 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 16913 0 -1 1077944384 999 0 0 0 152 28 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248033491472 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2457] ppid=2447 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 16913 0 -1 1077944384 1725 0 0 0 154 29 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248032438672 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2458] ppid=2447 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2458/stat : 2458 (java) S 2447 2447 16913 0 -1 1077944384 821 0 0 0 150 32 0 0 20 0 28 0 3846746 14133010432 391956 33554432000 4194304 4196468 140730758567216 140248031385872 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2459] ppid=2447 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2459/stat : 2459 (java) S 2447 2447 16913 0 -1 1077944384 6186 0 0 0 11 5 0 0 20 0 28 0 3846749 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247901924208 140248439585410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2460] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2460/stat : 2460 (java) S 2447 2447 16913 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3846749 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247900870240 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2461] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2461/stat : 2461 (java) S 2447 2447 16913 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3846750 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247899817344 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2462] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2462/stat : 2462 (java) S 2447 2447 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3846753 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247898765648 140248439592859 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2463] ppid=2447 vsize=13801768 CPUtime=3.37 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2463/stat : 2463 (java) S 2447 2447 16913 0 -1 1077944384 17785 0 0 0 335 2 0 0 20 0 28 0 3846753 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247897713008 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2464] ppid=2447 vsize=13801768 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2464/stat : 2464 (java) S 2447 2447 16913 0 -1 1077944384 15858 0 0 0 297 2 0 0 20 0 28 0 3846753 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247896660208 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2465] ppid=2447 vsize=13801768 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2465/stat : 2465 (java) S 2447 2447 16913 0 -1 1077944384 15056 0 0 0 378 2 0 0 20 0 28 0 3846753 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247895607408 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2466] ppid=2447 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2466/stat : 2466 (java) S 2447 2447 16913 0 -1 1077944384 11766 0 0 0 114 1 0 0 20 0 28 0 3846754 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247894554608 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2467] ppid=2447 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2467/stat : 2467 (java) S 2447 2447 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3846754 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247893503072 140248439584469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2468] ppid=2447 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2468/stat : 2468 (java) S 2447 2447 16913 0 -1 1077944384 1243 0 0 0 6 8 0 0 20 0 28 0 3846754 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247892450352 140248439585410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2483] ppid=2447 vsize=13801768 CPUtime=259.47 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2483/stat : 2483 (java) R 2447 2447 16913 0 -1 4202560 1228 0 0 0 25947 0 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247877065976 140248084773218 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2484] ppid=2447 vsize=13801768 CPUtime=260.37 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2484/stat : 2484 (java) R 2447 2447 16913 0 -1 4202560 992 0 0 0 26037 0 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247880225112 140248082109196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2485] ppid=2447 vsize=13801768 CPUtime=260.53 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2485/stat : 2485 (java) R 2447 2447 16913 0 -1 4202560 3174 0 0 0 26052 1 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247879172488 140248085002412 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2486] ppid=2447 vsize=13801768 CPUtime=260.56 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2486/stat : 2486 (java) R 2447 2447 16913 0 -1 4202560 7823 0 0 0 26048 8 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247883382792 140248085654000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2487] ppid=2447 vsize=13801768 CPUtime=260.58 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2487/stat : 2487 (java) R 2447 2447 16913 0 -1 4202560 1211 0 0 0 26058 0 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247878121776 140248082744094 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2488] ppid=2447 vsize=13801768 CPUtime=260.63 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2488/stat : 2488 (java) R 2447 2447 16913 0 -1 4202560 612 0 0 0 26063 0 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247882329696 140248082744037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2489] ppid=2447 vsize=13801768 CPUtime=257.61 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2489/stat : 2489 (java) R 2447 2447 16913 0 -1 4202560 951 0 0 0 25760 1 0 0 20 0 28 0 3850850 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247884435496 140248085803078 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
[pid=2448/tid=2490] ppid=2447 vsize=13801768 CPUtime=257.64 cores=0,2,4,6,8,10,12,14
/proc/2448/task/2490/stat : 2490 (java) R 2447 2447 16913 0 -1 4202560 1136 0 0 0 25764 0 0 0 20 0 28 0 3850852 14133010432 391956 33554432000 4194304 4196468 140730758567216 140247881277912 140248083536206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140730758571196 140730758571372 140730758571372 140730758574031 0
Current children cumulated CPU time (s) 2400.17
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 2447 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2113
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1056
# CPU time returned by wait4() is 0.003169
# while last known CPU time is 2400.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.533
CPU time (s): 2400.17
CPU user time (s): 2397.24
CPU system time (s): 2.93
CPU usage (%): 793.358
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002113
system time used= 0.001056
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.67781 second user time and 4.38624 second system time
The end