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-4247767-1500690822/watcher-4247767-1500690822 -o /tmp/evaluation-result-4247767-1500690822/solver-4247767-1500690822 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 788359984 HOME/instance-4247767-1500690822.xml
pid=4106
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.49 15.80 15.58 10/271 4109
/proc/meminfo: memFree=29904976/32770624 swapFree=5736/262884
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 15.49 15.80 15.58 10/271 4109
/proc/meminfo: memFree=29904976/32770624 swapFree=5736/262884
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200252 s]
/proc/loadavg: 15.49 15.80 15.58 10/271 4109
/proc/meminfo: memFree=29904976/32770624 swapFree=5736/262884
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300251 s]
/proc/loadavg: 15.49 15.80 15.58 10/271 4109
/proc/meminfo: memFree=29904976/32770624 swapFree=5736/262884
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700193 s]
/proc/loadavg: 15.49 15.80 15.58 10/271 4109
/proc/meminfo: memFree=29904976/32770624 swapFree=5736/262884
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50109 s]
/proc/loadavg: 15.49 15.80 15.58 21/300 4138
/proc/meminfo: memFree=29762976/32770624 swapFree=5736/262944
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4109 vsize=13803460 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/4110/stat : 4110 (java) S 4109 4109 16473 0 -1 1077944320 27844 0 0 0 632 15 0 0 20 0 28 0 4351383 14134743040 60200 33554432000 4194304 4196468 140724622482416 140724622464960 139737494466295 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
/proc/4110/statm: 3450865 60200 3241 1 0 3438098 0
[pid=4110/tid=4111] ppid=4109 vsize=13803460 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4111/stat : 4111 (java) S 4109 4109 16473 0 -1 1077944384 6991 0 0 0 81 4 0 0 20 0 28 0 4351384 14134743040 60200 33554432000 4194304 4196468 140724622482416 139737498707072 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4113] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4113/stat : 4113 (java) S 4109 4109 16473 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4351385 14134743040 60200 33554432000 4194304 4196468 140724622482416 139737433430416 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4114] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4114/stat : 4114 (java) S 4109 4109 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4351385 14134743040 60200 33554432000 4194304 4196468 140724622482416 139737092806928 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4115] ppid=4109 vsize=13803460 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4115/stat : 4115 (java) S 4109 4109 16473 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 4351385 14134743040 60200 33554432000 4194304 4196468 140724622482416 139737091754640 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4116] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4116/stat : 4116 (java) S 4109 4109 16473 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4351385 14134743040 60200 33554432000 4194304 4196468 140724622482416 139737090701840 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4117] ppid=4109 vsize=13803460 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4117/stat : 4117 (java) S 4109 4109 16473 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 4351385 14134743040 60200 33554432000 4194304 4196468 140724622482416 139737089649552 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4118] ppid=4109 vsize=13803460 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4118/stat : 4118 (java) S 4109 4109 16473 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4351385 14134743040 60200 33554432000 4194304 4196468 140724622482416 139737088596752 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4119] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4119/stat : 4119 (java) S 4109 4109 16473 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4351385 14134743040 60200 33554432000 4194304 4196468 140724622482416 139737087544464 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4120] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4120/stat : 4120 (java) S 4109 4109 16473 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4351385 14134743040 60200 33554432000 4194304 4196468 140724622482416 139737086491664 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4121] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4121/stat : 4121 (java) S 4109 4109 16473 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4351387 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736225646704 139737494477442 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4122] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4122/stat : 4122 (java) S 4109 4109 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4351388 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736156988256 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4123] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4123/stat : 4123 (java) S 4109 4109 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4351388 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736155935856 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4124] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4124/stat : 4124 (java) S 4109 4109 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4351392 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736154884176 139737494484891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4125] ppid=4109 vsize=13803460 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4125/stat : 4125 (java) R 4109 4109 16473 0 -1 4202560 4288 0 0 0 83 0 0 0 20 0 28 0 4351392 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736153817928 139737473722915 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4126] ppid=4109 vsize=13803460 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4126/stat : 4126 (java) R 4109 4109 16473 0 -1 4202560 5363 0 0 0 80 2 0 0 20 0 28 0 4351392 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736152765408 139737475986318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4127] ppid=4109 vsize=13803460 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4127/stat : 4127 (java) R 4109 4109 16473 0 -1 4202560 4022 0 0 0 85 0 0 0 20 0 28 0 4351392 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736151712984 139737476010529 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4128] ppid=4109 vsize=13803460 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4128/stat : 4128 (java) S 4109 4109 16473 0 -1 1077944384 4479 0 0 0 75 1 0 0 20 0 28 0 4351392 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736150674160 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4129] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4129/stat : 4129 (java) S 4109 4109 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4351392 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736149621088 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4130] ppid=4109 vsize=13803460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4130/stat : 4130 (java) S 4109 4109 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4351393 14134743040 60200 33554432000 4194304 4196468 140724622482416 139736148568368 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (KiB) 13812972
[startup+3.10119 s]
/proc/loadavg: 15.49 15.80 15.58 20/300 4202
/proc/meminfo: memFree=29669196/32770624 swapFree=5736/262944
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4109 vsize=13934896 CPUtime=18.21 cores=1,3,5,7,9,11,13,15
/proc/4110/stat : 4110 (java) S 4109 4109 16473 0 -1 1077944320 30870 0 0 0 1804 17 0 0 20 0 28 0 4351383 14269333504 62037 33554432000 4194304 4196468 140724622482416 140724622464960 139737494466295 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
/proc/4110/statm: 3483724 62037 3259 1 0 3470957 0
[pid=4110/tid=4111] ppid=4109 vsize=13934896 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4111/stat : 4111 (java) S 4109 4109 16473 0 -1 1077944384 6992 0 0 0 82 4 0 0 20 0 28 0 4351384 14269333504 62037 33554432000 4194304 4196468 140724622482416 139737498707072 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4113] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4113/stat : 4113 (java) S 4109 4109 16473 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4351385 14269333504 62037 33554432000 4194304 4196468 140724622482416 139737433430416 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4114] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4114/stat : 4114 (java) S 4109 4109 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4351385 14269333504 62037 33554432000 4194304 4196468 140724622482416 139737092806928 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4115] ppid=4109 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4115/stat : 4115 (java) S 4109 4109 16473 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 4351385 14269333504 62037 33554432000 4194304 4196468 140724622482416 139737091754640 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4116] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4116/stat : 4116 (java) S 4109 4109 16473 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4351385 14269333504 62037 33554432000 4194304 4196468 140724622482416 139737090701840 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4117] ppid=4109 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4117/stat : 4117 (java) S 4109 4109 16473 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 4351385 14269333504 62037 33554432000 4194304 4196468 140724622482416 139737089649552 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4118] ppid=4109 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4118/stat : 4118 (java) S 4109 4109 16473 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4351385 14269333504 62037 33554432000 4194304 4196468 140724622482416 139737088596752 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4119] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4119/stat : 4119 (java) S 4109 4109 16473 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4351385 14269333504 62037 33554432000 4194304 4196468 140724622482416 139737087544464 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4120] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4120/stat : 4120 (java) S 4109 4109 16473 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4351385 14269333504 62037 33554432000 4194304 4196468 140724622482416 139737086491664 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4121] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4121/stat : 4121 (java) S 4109 4109 16473 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4351387 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736225646704 139737494477442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4122] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4122/stat : 4122 (java) S 4109 4109 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4351388 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736156988256 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4123] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4123/stat : 4123 (java) S 4109 4109 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4351388 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736155935856 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4124] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4124/stat : 4124 (java) S 4109 4109 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4351392 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736154884176 139737494484891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4125] ppid=4109 vsize=13934896 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4125/stat : 4125 (java) R 4109 4109 16473 0 -1 4202560 4963 0 0 0 216 0 0 0 20 0 28 0 4351392 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736153818592 139737475991354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4126] ppid=4109 vsize=13934896 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4126/stat : 4126 (java) R 4109 4109 16473 0 -1 1077944384 6099 0 0 0 226 2 0 0 20 0 28 0 4351392 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736152767840 139737494476501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4127] ppid=4109 vsize=13934896 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4127/stat : 4127 (java) R 4109 4109 16473 0 -1 4202560 4514 0 0 0 190 0 0 0 20 0 28 0 4351392 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736151720152 139737479230504 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4128] ppid=4109 vsize=13934896 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4128/stat : 4128 (java) S 4109 4109 16473 0 -1 1077944384 4700 0 0 0 95 2 0 0 20 0 28 0 4351392 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736150668480 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4129] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4129/stat : 4129 (java) S 4109 4109 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4351392 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736149621088 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4130] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4130/stat : 4130 (java) S 4109 4109 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4351393 14269333504 62037 33554432000 4194304 4196468 140724622482416 139736148568368 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
Current children cumulated CPU time (s) 18.21
Current children cumulated vsize (KiB) 13944408
[startup+6.30151 s]
/proc/loadavg: 15.77 15.86 15.59 18/300 4226
/proc/meminfo: memFree=29667104/32770624 swapFree=5736/262944
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4109 vsize=13934896 CPUtime=43.33 cores=1,3,5,7,9,11,13,15
/proc/4110/stat : 4110 (java) S 4109 4109 16473 0 -1 1077944320 43581 0 0 0 4307 26 0 0 20 0 28 0 4351383 14269333504 67774 33554432000 4194304 4196468 140724622482416 140724622464960 139737494466295 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
/proc/4110/statm: 3483724 67774 3275 1 0 3470957 0
[pid=4110/tid=4111] ppid=4109 vsize=13934896 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4111/stat : 4111 (java) S 4109 4109 16473 0 -1 1077944384 6992 0 0 0 82 4 0 0 20 0 28 0 4351384 14269333504 67774 33554432000 4194304 4196468 140724622482416 139737498707072 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4113] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4113/stat : 4113 (java) S 4109 4109 16473 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4351385 14269333504 67774 33554432000 4194304 4196468 140724622482416 139737433430416 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4114] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4114/stat : 4114 (java) S 4109 4109 16473 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4351385 14269333504 67774 33554432000 4194304 4196468 140724622482416 139737092806928 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4115] ppid=4109 vsize=13934896 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4115/stat : 4115 (java) S 4109 4109 16473 0 -1 1077944384 70 0 0 0 1 1 0 0 20 0 28 0 4351385 14269333504 67774 33554432000 4194304 4196468 140724622482416 139737091754640 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4116] ppid=4109 vsize=13934896 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4116/stat : 4116 (java) S 4109 4109 16473 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 28 0 4351385 14269333504 67774 33554432000 4194304 4196468 140724622482416 139737090701840 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4117] ppid=4109 vsize=13934896 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4117/stat : 4117 (java) S 4109 4109 16473 0 -1 1077944384 249 0 0 0 1 1 0 0 20 0 28 0 4351385 14269333504 67774 33554432000 4194304 4196468 140724622482416 139737089649552 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4118] ppid=4109 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4118/stat : 4118 (java) S 4109 4109 16473 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 4351385 14269333504 67774 33554432000 4194304 4196468 140724622482416 139737088596752 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4119] ppid=4109 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4119/stat : 4119 (java) S 4109 4109 16473 0 -1 1077944384 1140 0 0 0 1 0 0 0 20 0 28 0 4351385 14269333504 67774 33554432000 4194304 4196468 140724622482416 139737087544464 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4120] ppid=4109 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4120/stat : 4120 (java) S 4109 4109 16473 0 -1 1077944384 27 0 0 0 0 1 0 0 20 0 28 0 4351385 14269333504 67774 33554432000 4194304 4196468 140724622482416 139737086491664 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4121] ppid=4109 vsize=13934896 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4121/stat : 4121 (java) S 4109 4109 16473 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 28 0 4351387 14269333504 67774 33554432000 4194304 4196468 140724622482416 139736225646704 139737494477442 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4122] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4122/stat : 4122 (java) S 4109 4109 16473 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4351388 14269333504 67774 33554432000 4194304 4196468 140724622482416 139736156988256 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4123] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4123/stat : 4123 (java) S 4109 4109 16473 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4351388 14269333504 67774 33554432000 4194304 4196468 140724622482416 139736155935872 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4124] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4124/stat : 4124 (java) S 4109 4109 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4351392 14269333504 67774 33554432000 4194304 4196468 140724622482416 139736154884176 139737494484891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
################
# More data... #
################
[pid=4110/tid=4526] ppid=4109 vsize=13934896 CPUtime=105.63 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4526/stat : 4526 (java) R 4109 4109 16473 0 -1 4202560 2286 0 0 0 10563 0 0 0 20 0 28 0 4368907 14269333504 67535 33554432000 4194304 4196468 140724622482416 139736134737464 139737116563684 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4527] ppid=4109 vsize=13934896 CPUtime=106.03 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4527/stat : 4527 (java) R 4109 4109 16473 0 -1 4202560 527 0 0 0 10603 0 0 0 20 0 28 0 4368907 14269333504 67535 33554432000 4194304 4196468 140724622482416 139736136842872 139737121007362 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
Current children cumulated CPU time (s) 2235.4
Current children cumulated vsize (KiB) 13944408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.102 s]
/proc/loadavg: 16.02 15.79 15.61 18/299 4529
/proc/meminfo: memFree=30660636/32770624 swapFree=5736/263412
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4109 vsize=13934896 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/4110/stat : 4110 (java) S 4109 4109 16473 0 -1 1077944320 122901 0 0 0 239838 165 0 0 20 0 28 0 4351383 14269333504 72050 33554432000 4194304 4196468 140724622482416 140724622464960 139737494466295 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
/proc/4110/statm: 3483724 72050 3280 1 0 3470957 0
[pid=4110/tid=4111] ppid=4109 vsize=13934896 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4111/stat : 4111 (java) S 4109 4109 16473 0 -1 1077944384 7356 0 0 0 82 4 0 0 20 0 28 0 4351384 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737498707072 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4113] ppid=4109 vsize=13934896 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4113/stat : 4113 (java) S 4109 4109 16473 0 -1 1077944384 1784 0 0 0 30 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737433430416 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4114] ppid=4109 vsize=13934896 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4114/stat : 4114 (java) S 4109 4109 16473 0 -1 1077944384 1965 0 0 0 29 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737092806928 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4115] ppid=4109 vsize=13934896 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4115/stat : 4115 (java) S 4109 4109 16473 0 -1 1077944384 3918 0 0 0 31 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737091754640 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4116] ppid=4109 vsize=13934896 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4116/stat : 4116 (java) S 4109 4109 16473 0 -1 1077944384 1299 0 0 0 30 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737090701840 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4117] ppid=4109 vsize=13934896 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4117/stat : 4117 (java) S 4109 4109 16473 0 -1 1077944384 1195 0 0 0 31 10 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737089649552 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4118] ppid=4109 vsize=13934896 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4118/stat : 4118 (java) S 4109 4109 16473 0 -1 1077944384 1930 0 0 0 30 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737088596752 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4119] ppid=4109 vsize=13934896 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4119/stat : 4119 (java) S 4109 4109 16473 0 -1 1077944384 2097 0 0 0 30 8 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737087544464 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4120] ppid=4109 vsize=13934896 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4120/stat : 4120 (java) S 4109 4109 16473 0 -1 1077944384 3412 0 0 0 31 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737086491664 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4121] ppid=4109 vsize=13934896 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4121/stat : 4121 (java) S 4109 4109 16473 0 -1 1077944384 4541 0 0 0 45 49 0 0 20 0 28 0 4351387 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736225646704 139737494477442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4122] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4122/stat : 4122 (java) S 4109 4109 16473 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4351388 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736156988256 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4123] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4123/stat : 4123 (java) S 4109 4109 16473 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4351388 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736155935872 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4124] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4124/stat : 4124 (java) S 4109 4109 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736154884176 139737494484891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4125] ppid=4109 vsize=13934896 CPUtime=3.79 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4125/stat : 4125 (java) S 4109 4109 16473 0 -1 1077944384 14848 0 0 0 378 1 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736153832048 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4126] ppid=4109 vsize=13934896 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4126/stat : 4126 (java) S 4109 4109 16473 0 -1 1077944384 19806 0 0 0 415 4 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736152779248 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4127] ppid=4109 vsize=13934896 CPUtime=3.67 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4127/stat : 4127 (java) S 4109 4109 16473 0 -1 1077944384 20215 0 0 0 365 2 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736151726960 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4128] ppid=4109 vsize=13934896 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4128/stat : 4128 (java) S 4109 4109 16473 0 -1 1077944384 13386 0 0 0 119 3 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736150674160 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4129] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4129/stat : 4129 (java) S 4109 4109 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736149621088 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4130] ppid=4109 vsize=13934896 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4130/stat : 4130 (java) S 4109 4109 16473 0 -1 1077944384 1498 0 0 0 5 8 0 0 20 0 28 0 4351393 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736148568368 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4520] ppid=4109 vsize=13934896 CPUtime=126.46 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4520/stat : 4520 (java) R 4109 4109 16473 0 -1 4202560 744 0 0 0 12646 0 0 0 20 0 28 0 4368906 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736132631528 139737120696693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4521] ppid=4109 vsize=13934896 CPUtime=126.45 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4521/stat : 4521 (java) R 4109 4109 16473 0 -1 4202560 666 0 0 0 12645 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736131579560 139737121597476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4522] ppid=4109 vsize=13934896 CPUtime=126.52 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4522/stat : 4522 (java) R 4109 4109 16473 0 -1 4202560 984 0 0 0 12652 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736141053696 139737121407170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4523] ppid=4109 vsize=13934896 CPUtime=126.27 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4523/stat : 4523 (java) R 4109 4109 16473 0 -1 4202560 952 0 0 0 12627 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736140001496 139737118842924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4524] ppid=4109 vsize=13934896 CPUtime=126.56 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4524/stat : 4524 (java) R 4109 4109 16473 0 -1 4202560 476 0 0 0 12656 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736138948920 139737120469692 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4525] ppid=4109 vsize=13934896 CPUtime=126.22 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4525/stat : 4525 (java) R 4109 4109 16473 0 -1 4202560 295 0 0 0 12622 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736133685416 139737120699940 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4526] ppid=4109 vsize=13934896 CPUtime=126.08 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4526/stat : 4526 (java) R 4109 4109 16473 0 -1 4202560 2301 0 0 0 12608 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736134740336 139737120171178 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4527] ppid=4109 vsize=13934896 CPUtime=126.63 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4527/stat : 4527 (java) R 4109 4109 16473 0 -1 4202560 530 0 0 0 12663 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736136842568 139737121210337 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13944408
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 4110 sig 9
??? kill 4109 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.102 s]
/proc/loadavg: 16.02 15.79 15.61 18/299 4529
/proc/meminfo: memFree=30660636/32770624 swapFree=5736/263412
[pid=4109] ppid=4106 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4109/stat : 4109 (xcsp3-exec) S 4106 4109 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4351383 9740288 346 33554432000 4194304 5098028 140728724599504 140728724597608 140128502022780 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 10346496 140728724604047 140728724604256 140728724604256 140728724606955 0
/proc/4109/statm: 2378 346 289 221 0 87 0
[pid=4110] ppid=4109 vsize=13934896 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/4110/stat : 4110 (java) S 4109 4109 16473 0 -1 1077944320 122901 0 0 0 239838 165 0 0 20 0 28 0 4351383 14269333504 72050 33554432000 4194304 4196468 140724622482416 140724622464960 139737494466295 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
/proc/4110/statm: 3483724 72050 3280 1 0 3470957 0
[pid=4110/tid=4111] ppid=4109 vsize=13934896 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4111/stat : 4111 (java) S 4109 4109 16473 0 -1 1077944384 7356 0 0 0 82 4 0 0 20 0 28 0 4351384 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737498707072 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4113] ppid=4109 vsize=13934896 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4113/stat : 4113 (java) S 4109 4109 16473 0 -1 1077944384 1784 0 0 0 30 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737433430416 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4114] ppid=4109 vsize=13934896 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4114/stat : 4114 (java) S 4109 4109 16473 0 -1 1077944384 1965 0 0 0 29 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737092806928 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4115] ppid=4109 vsize=13934896 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4115/stat : 4115 (java) S 4109 4109 16473 0 -1 1077944384 3918 0 0 0 31 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737091754640 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4116] ppid=4109 vsize=13934896 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4116/stat : 4116 (java) S 4109 4109 16473 0 -1 1077944384 1299 0 0 0 30 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737090701840 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4117] ppid=4109 vsize=13934896 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4117/stat : 4117 (java) S 4109 4109 16473 0 -1 1077944384 1195 0 0 0 31 10 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737089649552 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4118] ppid=4109 vsize=13934896 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4118/stat : 4118 (java) S 4109 4109 16473 0 -1 1077944384 1930 0 0 0 30 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737088596752 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4119] ppid=4109 vsize=13934896 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4119/stat : 4119 (java) S 4109 4109 16473 0 -1 1077944384 2097 0 0 0 30 8 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737087544464 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4120] ppid=4109 vsize=13934896 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4120/stat : 4120 (java) S 4109 4109 16473 0 -1 1077944384 3412 0 0 0 31 9 0 0 20 0 28 0 4351385 14269333504 72050 33554432000 4194304 4196468 140724622482416 139737086491664 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4121] ppid=4109 vsize=13934896 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4121/stat : 4121 (java) S 4109 4109 16473 0 -1 1077944384 4541 0 0 0 45 49 0 0 20 0 28 0 4351387 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736225646704 139737494477442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4122] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4122/stat : 4122 (java) S 4109 4109 16473 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4351388 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736156988256 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4123] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4123/stat : 4123 (java) S 4109 4109 16473 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4351388 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736155935872 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4124] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4124/stat : 4124 (java) S 4109 4109 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736154884176 139737494484891 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4125] ppid=4109 vsize=13934896 CPUtime=3.79 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4125/stat : 4125 (java) S 4109 4109 16473 0 -1 1077944384 14848 0 0 0 378 1 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736153832048 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4126] ppid=4109 vsize=13934896 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4126/stat : 4126 (java) S 4109 4109 16473 0 -1 1077944384 19806 0 0 0 415 4 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736152779248 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4127] ppid=4109 vsize=13934896 CPUtime=3.67 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4127/stat : 4127 (java) S 4109 4109 16473 0 -1 1077944384 20215 0 0 0 365 2 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736151726960 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4128] ppid=4109 vsize=13934896 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4128/stat : 4128 (java) S 4109 4109 16473 0 -1 1077944384 13386 0 0 0 119 3 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736150674160 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4129] ppid=4109 vsize=13934896 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4129/stat : 4129 (java) S 4109 4109 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4351392 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736149621088 139737494476501 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4130] ppid=4109 vsize=13934896 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4130/stat : 4130 (java) S 4109 4109 16473 0 -1 1077944384 1498 0 0 0 5 8 0 0 20 0 28 0 4351393 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736148568368 139737494477442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4520] ppid=4109 vsize=13934896 CPUtime=126.46 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4520/stat : 4520 (java) R 4109 4109 16473 0 -1 4202560 744 0 0 0 12646 0 0 0 20 0 28 0 4368906 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736132631528 139737120696693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4521] ppid=4109 vsize=13934896 CPUtime=126.45 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4521/stat : 4521 (java) R 4109 4109 16473 0 -1 4202560 666 0 0 0 12645 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736131579560 139737121597476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4522] ppid=4109 vsize=13934896 CPUtime=126.52 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4522/stat : 4522 (java) R 4109 4109 16473 0 -1 4202560 984 0 0 0 12652 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736141053696 139737121407170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4523] ppid=4109 vsize=13934896 CPUtime=126.27 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4523/stat : 4523 (java) R 4109 4109 16473 0 -1 4202560 952 0 0 0 12627 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736140001496 139737118842924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4524] ppid=4109 vsize=13934896 CPUtime=126.56 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4524/stat : 4524 (java) R 4109 4109 16473 0 -1 4202560 476 0 0 0 12656 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736138948920 139737120469692 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4525] ppid=4109 vsize=13934896 CPUtime=126.22 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4525/stat : 4525 (java) R 4109 4109 16473 0 -1 4202560 295 0 0 0 12622 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736133685416 139737120699940 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4526] ppid=4109 vsize=13934896 CPUtime=126.08 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4526/stat : 4526 (java) R 4109 4109 16473 0 -1 4202560 2301 0 0 0 12608 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736134740336 139737120171178 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
[pid=4110/tid=4527] ppid=4109 vsize=13934896 CPUtime=126.63 cores=1,3,5,7,9,11,13,15
/proc/4110/task/4527/stat : 4527 (java) R 4109 4109 16473 0 -1 4202560 530 0 0 0 12663 0 0 0 20 0 28 0 4368907 14269333504 72050 33554432000 4194304 4196468 140724622482416 139736136842568 139737121210337 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6991872 140724622488764 140724622488940 140724622488940 140724622491599 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13944408
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4109 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 2400.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.112
CPU time (s): 2400.03
CPU user time (s): 2398.38
CPU system time (s): 1.65
CPU usage (%): 791.796
Max. virtual memory (cumulated for all children) (KiB): 13944408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
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.7006 second user time and 4.24607 second system time
The end