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-4245091-1500685326/watcher-4245091-1500685326 -o /tmp/evaluation-result-4245091-1500685326/solver-4245091-1500685326 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 663264577 HOME/instance-4245091-1500685326.xml
pid=27436
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: 16.10 15.70 13.11 10/273 27439
/proc/meminfo: memFree=30792384/32770624 swapFree=5804/221996
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 16.10 15.70 13.11 10/273 27439
/proc/meminfo: memFree=30792384/32770624 swapFree=5804/221996
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200312 s]
/proc/loadavg: 16.10 15.70 13.11 10/273 27439
/proc/meminfo: memFree=30792384/32770624 swapFree=5804/221996
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300245 s]
/proc/loadavg: 16.10 15.70 13.11 10/273 27439
/proc/meminfo: memFree=30792384/32770624 swapFree=5804/221996
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700234 s]
/proc/loadavg: 16.10 15.70 13.11 10/273 27439
/proc/meminfo: memFree=30792384/32770624 swapFree=5804/221996
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50138 s]
/proc/loadavg: 16.10 15.70 13.11 13/294 27460
/proc/meminfo: memFree=30555720/32770624 swapFree=5804/222088
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
[pid=27440] ppid=27439 vsize=13267208 CPUtime=4.93 cores=1,3,5,7,9,11,13,15
/proc/27440/stat : 27440 (java) S 27439 27439 14782 0 -1 1077944320 17987 0 0 0 450 43 0 0 20 0 20 0 3798888 13585620992 103658 33554432000 4194304 4196468 140722685409984 140722685392528 139890310446839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
/proc/27440/statm: 3316802 103658 3226 1 0 3304035 0
[pid=27440/tid=27441] ppid=27439 vsize=13267208 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27441/stat : 27441 (java) R 27439 27439 14782 0 -1 4202560 6576 0 0 0 127 7 0 0 20 0 20 0 3798888 13585620992 103658 33554432000 4194304 4196468 140722685409984 139890314685888 139889924712145 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27443] ppid=27439 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27443/stat : 27443 (java) S 27439 27439 14782 0 -1 1077944384 78 0 0 0 6 4 0 0 20 0 20 0 3798889 13585620992 103658 33554432000 4194304 4196468 140722685409984 139890242583696 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27444] ppid=27439 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27444/stat : 27444 (java) S 27439 27439 14782 0 -1 1077944384 89 0 0 0 7 2 0 0 20 0 20 0 3798889 13585620992 103658 33554432000 4194304 4196468 140722685409984 139890241530896 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27445] ppid=27439 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27445/stat : 27445 (java) S 27439 27439 14782 0 -1 1077944384 50 0 0 0 6 4 0 0 20 0 20 0 3798889 13585620992 103658 33554432000 4194304 4196468 140722685409984 139890240478096 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27446] ppid=27439 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27446/stat : 27446 (java) S 27439 27439 14782 0 -1 1077944384 66 0 0 0 5 4 0 0 20 0 20 0 3798889 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889906518800 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27447] ppid=27439 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27447/stat : 27447 (java) S 27439 27439 14782 0 -1 1077944384 40 0 0 0 5 3 0 0 20 0 20 0 3798889 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889905466000 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27448] ppid=27439 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27448/stat : 27448 (java) S 27439 27439 14782 0 -1 1077944384 50 0 0 0 4 4 0 0 20 0 20 0 3798889 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889904413200 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27449] ppid=27439 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27449/stat : 27449 (java) S 27439 27439 14782 0 -1 1077944384 65 0 0 0 5 5 0 0 20 0 20 0 3798889 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889903360400 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27450] ppid=27439 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27450/stat : 27450 (java) S 27439 27439 14782 0 -1 1077944384 41 0 0 0 4 4 0 0 20 0 20 0 3798889 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889902307600 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27451] ppid=27439 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27451/stat : 27451 (java) S 27439 27439 14782 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 3798892 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889839901552 139890310457986 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27452] ppid=27439 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27452/stat : 27452 (java) S 27439 27439 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3798892 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889838847584 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27453] ppid=27439 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27453/stat : 27453 (java) S 27439 27439 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3798893 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889837794688 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27454] ppid=27439 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27454/stat : 27454 (java) S 27439 27439 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3798896 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889038846288 139890310465435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27455] ppid=27439 vsize=13267208 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27455/stat : 27455 (java) R 27439 27439 14782 0 -1 4202560 2145 0 0 0 67 1 0 0 20 0 20 0 3798896 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889037793944 139890296461408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27456] ppid=27439 vsize=13267208 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27456/stat : 27456 (java) R 27439 27439 14782 0 -1 4202560 2340 0 0 0 86 0 0 0 20 0 20 0 3798896 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889036727072 139890291147457 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27457] ppid=27439 vsize=13267208 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27457/stat : 27457 (java) S 27439 27439 14782 0 -1 1077944384 3386 0 0 0 82 0 0 0 20 0 20 0 3798897 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889035688048 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27458] ppid=27439 vsize=13267208 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27458/stat : 27458 (java) S 27439 27439 14782 0 -1 1077944384 1558 0 0 0 39 0 0 0 20 0 20 0 3798897 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889034635248 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27459] ppid=27439 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27459/stat : 27459 (java) S 27439 27439 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3798897 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889033583712 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27460] ppid=27439 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27460/stat : 27460 (java) S 27439 27439 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3798897 13585620992 103658 33554432000 4194304 4196468 140722685409984 139889032530992 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 13276720
[startup+3.10083 s]
/proc/loadavg: 16.10 15.70 13.11 20/294 27460
/proc/meminfo: memFree=30336288/32770624 swapFree=5804/222084
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
[pid=27440] ppid=27439 vsize=13269256 CPUtime=9.31 cores=1,3,5,7,9,11,13,15
/proc/27440/stat : 27440 (java) S 27439 27439 14782 0 -1 1077944320 20529 0 0 0 870 61 0 0 20 0 20 0 3798888 13587718144 162914 33554432000 4194304 4196468 140722685409984 140722685392528 139890310446839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
/proc/27440/statm: 3317314 162914 3261 1 0 3304547 0
[pid=27440/tid=27441] ppid=27439 vsize=13269256 CPUtime=2.74 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27441/stat : 27441 (java) R 27439 27439 14782 0 -1 4202560 7378 0 0 0 263 11 0 0 20 0 20 0 3798888 13587718144 162914 33554432000 4194304 4196468 140722685409984 139890314678560 139890310468765 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27443] ppid=27439 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27443/stat : 27443 (java) S 27439 27439 14782 0 -1 1077944384 108 0 0 0 8 6 0 0 20 0 20 0 3798889 13587718144 162914 33554432000 4194304 4196468 140722685409984 139890242583696 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27444] ppid=27439 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27444/stat : 27444 (java) S 27439 27439 14782 0 -1 1077944384 163 0 0 0 10 4 0 0 20 0 20 0 3798889 13587718144 162914 33554432000 4194304 4196468 140722685409984 139890241530896 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27445] ppid=27439 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27445/stat : 27445 (java) S 27439 27439 14782 0 -1 1077944384 72 0 0 0 7 6 0 0 20 0 20 0 3798889 13587718144 162914 33554432000 4194304 4196468 140722685409984 139890240478096 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27446] ppid=27439 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27446/stat : 27446 (java) S 27439 27439 14782 0 -1 1077944384 120 0 0 0 8 6 0 0 20 0 20 0 3798889 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889906518800 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27447] ppid=27439 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27447/stat : 27447 (java) S 27439 27439 14782 0 -1 1077944384 102 0 0 0 7 4 0 0 20 0 20 0 3798889 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889905466000 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27448] ppid=27439 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27448/stat : 27448 (java) S 27439 27439 14782 0 -1 1077944384 114 0 0 0 7 5 0 0 20 0 20 0 3798889 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889904413200 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27449] ppid=27439 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27449/stat : 27449 (java) S 27439 27439 14782 0 -1 1077944384 85 0 0 0 8 6 0 0 20 0 20 0 3798889 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889903360400 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27450] ppid=27439 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27450/stat : 27450 (java) S 27439 27439 14782 0 -1 1077944384 73 0 0 0 6 5 0 0 20 0 20 0 3798889 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889902307600 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27451] ppid=27439 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27451/stat : 27451 (java) S 27439 27439 14782 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 20 0 3798892 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889839901552 139890310457986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27452] ppid=27439 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27452/stat : 27452 (java) S 27439 27439 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3798892 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889838847584 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27453] ppid=27439 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27453/stat : 27453 (java) S 27439 27439 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3798893 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889837794688 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27454] ppid=27439 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27454/stat : 27454 (java) S 27439 27439 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3798896 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889038846288 139890310465435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27455] ppid=27439 vsize=13269256 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27455/stat : 27455 (java) S 27439 27439 14782 0 -1 1077944384 2671 0 0 0 148 1 0 0 20 0 20 0 3798896 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889037793648 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27456] ppid=27439 vsize=13269256 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27456/stat : 27456 (java) S 27439 27439 14782 0 -1 1077944384 2520 0 0 0 166 0 0 0 20 0 20 0 3798896 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889036740848 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27457] ppid=27439 vsize=13269256 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27457/stat : 27457 (java) S 27439 27439 14782 0 -1 1077944384 3537 0 0 0 159 0 0 0 20 0 20 0 3798897 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889035688048 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27458] ppid=27439 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27458/stat : 27458 (java) S 27439 27439 14782 0 -1 1077944384 2073 0 0 0 64 0 0 0 20 0 20 0 3798897 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889034635248 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27459] ppid=27439 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27459/stat : 27459 (java) S 27439 27439 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3798897 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889033583712 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27460] ppid=27439 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27460/stat : 27460 (java) S 27439 27439 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3798897 13587718144 162914 33554432000 4194304 4196468 140722685409984 139889032530992 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
Current children cumulated CPU time (s) 9.31
Current children cumulated vsize (KiB) 13278768
[startup+6.3017 s]
/proc/loadavg: 15.61 15.60 13.10 10/294 27460
/proc/meminfo: memFree=29095004/32770624 swapFree=5804/222096
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
[pid=27440] ppid=27439 vsize=13269256 CPUtime=18.35 cores=1,3,5,7,9,11,13,15
/proc/27440/stat : 27440 (java) S 27439 27439 14782 0 -1 1077944320 24619 0 0 0 1524 311 0 0 20 0 20 0 3798888 13587718144 404877 33554432000 4194304 4196468 140722685409984 140722685392528 139890310446839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
/proc/27440/statm: 3317314 404877 3263 1 0 3304547 0
[pid=27440/tid=27441] ppid=27439 vsize=13269256 CPUtime=5.33 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27441/stat : 27441 (java) S 27439 27439 14782 0 -1 1077944384 7874 0 0 0 514 19 0 0 20 0 20 0 3798888 13587718144 404877 33554432000 4194304 4196468 140722685409984 139890314684928 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27443] ppid=27439 vsize=13269256 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27443/stat : 27443 (java) R 27439 27439 14782 0 -1 4202560 487 0 0 0 37 36 0 0 20 0 20 0 3798889 13587718144 404877 33554432000 4194304 4196468 140722685409984 139890242583896 139890295471013 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27444] ppid=27439 vsize=13269256 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27444/stat : 27444 (java) R 27439 27439 14782 0 -1 4202560 410 0 0 0 39 34 0 0 20 0 20 0 3798889 13587718144 404877 33554432000 4194304 4196468 140722685409984 139890241531096 139890295471013 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27445] ppid=27439 vsize=13269256 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27445/stat : 27445 (java) R 27439 27439 14782 0 -1 4202560 380 0 0 0 36 37 0 0 20 0 20 0 3798889 13587718144 404877 33554432000 4194304 4196468 140722685409984 139890240478296 139890295475016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27446] ppid=27439 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27446/stat : 27446 (java) R 27439 27439 14782 0 -1 4202560 346 0 0 0 39 35 0 0 20 0 20 0 3798889 13587718144 404877 33554432000 4194304 4196468 140722685409984 139889906519000 139890292072784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27447] ppid=27439 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27447/stat : 27447 (java) R 27439 27439 14782 0 -1 4202560 344 0 0 0 35 35 0 0 20 0 20 0 3798889 13587718144 404877 33554432000 4194304 4196468 140722685409984 139889905465888 139890295473671 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27448] ppid=27439 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27448/stat : 27448 (java) R 27439 27439 14782 0 -1 4202560 360 0 0 0 37 35 0 0 20 0 20 0 3798889 13587718144 404877 33554432000 4194304 4196468 140722685409984 139889904413400 139890295474258 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27449] ppid=27439 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27449/stat : 27449 (java) R 27439 27439 14782 0 -1 4202560 453 0 0 0 37 37 0 0 20 0 20 0 3798889 13587718144 404877 33554432000 4194304 4196468 140722685409984 139889903360600 139890292072784 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27450] ppid=27439 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27450/stat : 27450 (java) R 27439 27439 14782 0 -1 4202560 406 0 0 0 37 33 0 0 20 0 20 0 3798889 13587718144 404877 33554432000 4194304 4196468 140722685409984 139889902307800 139890294895131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27451] ppid=27439 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27451/stat : 27451 (java) S 27439 27439 14782 0 -1 1077944384 1103 0 0 0 1 0 0 0 20 0 20 0 3798892 13587718144 404877 33554432000 4194304 4196468 140722685409984 139889839900064 139890310457045 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27452] ppid=27439 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27452/stat : 27452 (java) S 27439 27439 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3798892 13587718144 404877 33554432000 4194304 4196468 140722685409984 139889838847584 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27453] ppid=27439 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27453/stat : 27453 (java) S 27439 27439 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3798893 13587718144 404877 33554432000 4194304 4196468 140722685409984 139889837794688 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27454] ppid=27439 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27454/stat : 27454 (java) S 27439 27439 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3798896 13587718144 404877 33554432000 4194304 4196468 140722685409984 139889038846288 139890310465435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
################
# More data... #
################
[pid=27440/tid=27467] ppid=27439 vsize=13801768 CPUtime=262.05 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27467/stat : 27467 (java) R 27439 27439 14782 0 -1 4202560 1993 0 0 0 26202 3 0 0 20 0 28 0 3800190 14133010432 947622 33554432000 4194304 4196468 140722685409984 139888279507592 139889923657015 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27468] ppid=27439 vsize=13801768 CPUtime=262.46 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27468/stat : 27468 (java) R 27439 27439 14782 0 -1 4202560 1336 0 0 0 26246 0 0 0 20 0 28 0 3800190 14133010432 947622 33554432000 4194304 4196468 140722685409984 139888278454824 139889923655286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
Current children cumulated CPU time (s) 2172.41
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+310.902 s]
/proc/loadavg: 16.06 15.77 13.85 17/301 27648
/proc/meminfo: memFree=24553352/32770624 swapFree=5804/222444
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
[pid=27440] ppid=27439 vsize=13801768 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/27440/stat : 27440 (java) S 27439 27439 14782 0 -1 1077944320 117858 0 0 0 239277 730 0 0 20 0 28 0 3798888 14133010432 951709 33554432000 4194304 4196468 140722685409984 140722685392528 139890310446839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
/proc/27440/statm: 3450442 951709 3307 1 0 3437675 0
[pid=27440/tid=27441] ppid=27439 vsize=13801768 CPUtime=10.58 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27441/stat : 27441 (java) S 27439 27439 14782 0 -1 1077944384 11555 0 0 0 1026 32 0 0 20 0 28 0 3798888 14133010432 951709 33554432000 4194304 4196468 140722685409984 139890314687616 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27443] ppid=27439 vsize=13801768 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27443/stat : 27443 (java) S 27439 27439 14782 0 -1 1077944384 2511 0 0 0 339 85 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139890242583696 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27444] ppid=27439 vsize=13801768 CPUtime=4.22 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27444/stat : 27444 (java) S 27439 27439 14782 0 -1 1077944384 2441 0 0 0 344 78 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139890241530896 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27445] ppid=27439 vsize=13801768 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27445/stat : 27445 (java) S 27439 27439 14782 0 -1 1077944384 1816 0 0 0 343 81 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139890240478096 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27446] ppid=27439 vsize=13801768 CPUtime=4.22 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27446/stat : 27446 (java) S 27439 27439 14782 0 -1 1077944384 1786 0 0 0 343 79 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889906518800 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27447] ppid=27439 vsize=13801768 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27447/stat : 27447 (java) S 27439 27439 14782 0 -1 1077944384 2436 0 0 0 337 82 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889905466000 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27448] ppid=27439 vsize=13801768 CPUtime=4.21 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27448/stat : 27448 (java) S 27439 27439 14782 0 -1 1077944384 2322 0 0 0 335 86 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889904413200 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27449] ppid=27439 vsize=13801768 CPUtime=4.21 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27449/stat : 27449 (java) S 27439 27439 14782 0 -1 1077944384 2344 0 0 0 340 81 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889903360400 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27450] ppid=27439 vsize=13801768 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27450/stat : 27450 (java) S 27439 27439 14782 0 -1 1077944384 3077 0 0 0 335 79 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889902307600 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27451] ppid=27439 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27451/stat : 27451 (java) S 27439 27439 14782 0 -1 1077944384 7628 0 0 0 97 4 0 0 20 0 28 0 3798892 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889839901552 139890310457986 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 13 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27452] ppid=27439 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27452/stat : 27452 (java) S 27439 27439 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3798892 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889838847584 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27453] ppid=27439 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27453/stat : 27453 (java) S 27439 27439 14782 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 3798893 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889837794688 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27454] ppid=27439 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27454/stat : 27454 (java) S 27439 27439 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3798896 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889038846288 139890310465435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27455] ppid=27439 vsize=13801768 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27455/stat : 27455 (java) S 27439 27439 14782 0 -1 1077944384 16345 0 0 0 489 3 0 0 20 0 28 0 3798896 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889037793648 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27456] ppid=27439 vsize=13801768 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27456/stat : 27456 (java) S 27439 27439 14782 0 -1 1077944384 11842 0 0 0 468 2 0 0 20 0 28 0 3798896 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889036740848 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27457] ppid=27439 vsize=13801768 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27457/stat : 27457 (java) S 27439 27439 14782 0 -1 1077944384 15180 0 0 0 463 2 0 0 20 0 28 0 3798897 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889035688048 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27458] ppid=27439 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27458/stat : 27458 (java) S 27439 27439 14782 0 -1 1077944384 5875 0 0 0 113 2 0 0 20 0 28 0 3798897 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889034635248 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27459] ppid=27439 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27459/stat : 27459 (java) S 27439 27439 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3798897 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889033583712 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27460] ppid=27439 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27460/stat : 27460 (java) S 27439 27439 14782 0 -1 1077944384 818 0 0 0 4 14 0 0 20 0 28 0 3798897 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889032530992 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 14 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27461] ppid=27439 vsize=13801768 CPUtime=293.24 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27461/stat : 27461 (java) R 27439 27439 14782 0 -1 4202560 4084 0 0 0 29323 1 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888285822264 139889923657015 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27462] ppid=27439 vsize=13801768 CPUtime=293.74 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27462/stat : 27462 (java) R 27439 27439 14782 0 -1 4202560 2105 0 0 0 29372 2 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888284770520 139889923655286 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27463] ppid=27439 vsize=13801768 CPUtime=293.26 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27463/stat : 27463 (java) R 27439 27439 14782 0 -1 4202560 4271 0 0 0 29323 3 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888283717632 139889924138624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27464] ppid=27439 vsize=13801768 CPUtime=293.72 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27464/stat : 27464 (java) R 27439 27439 14782 0 -1 4202560 6378 0 0 0 29369 3 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888282664968 139889923655286 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27465] ppid=27439 vsize=13801768 CPUtime=292.97 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27465/stat : 27465 (java) R 27439 27439 14782 0 -1 4202560 2499 0 0 0 29297 0 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888281612280 139889923655286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27466] ppid=27439 vsize=13801768 CPUtime=291.18 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27466/stat : 27466 (java) R 27439 27439 14782 0 -1 4202560 5583 0 0 0 29111 7 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888280561904 139889924351933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27467] ppid=27439 vsize=13801768 CPUtime=290.02 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27467/stat : 27467 (java) R 27439 27439 14782 0 -1 4202560 2146 0 0 0 28999 3 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888279507592 139889921642502 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27468] ppid=27439 vsize=13801768 CPUtime=290.87 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27468/stat : 27468 (java) R 27439 27439 14782 0 -1 4202560 1459 0 0 0 29087 0 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888278454824 139889924730686 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
Current children cumulated CPU time (s) 2400.07
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 27440 sig 9
??? kill 27439 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+310.902 s]
/proc/loadavg: 16.06 15.77 13.85 17/301 27648
/proc/meminfo: memFree=24553352/32770624 swapFree=5804/222444
[pid=27439] ppid=27436 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27439/stat : 27439 (xcsp3-exec) S 27436 27439 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3798888 9740288 345 33554432000 4194304 5098028 140729333206928 140729333205032 139976522715772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34402304 140729333208207 140729333208416 140729333208416 140729333211115 0
/proc/27439/statm: 2378 345 289 221 0 87 0
[pid=27440] ppid=27439 vsize=13801768 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/27440/stat : 27440 (java) S 27439 27439 14782 0 -1 1077944320 117858 0 0 0 239277 730 0 0 20 0 28 0 3798888 14133010432 951709 33554432000 4194304 4196468 140722685409984 140722685392528 139890310446839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
/proc/27440/statm: 3450442 951709 3307 1 0 3437675 0
[pid=27440/tid=27441] ppid=27439 vsize=13801768 CPUtime=10.58 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27441/stat : 27441 (java) S 27439 27439 14782 0 -1 1077944384 11555 0 0 0 1026 32 0 0 20 0 28 0 3798888 14133010432 951709 33554432000 4194304 4196468 140722685409984 139890314687616 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27443] ppid=27439 vsize=13801768 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27443/stat : 27443 (java) S 27439 27439 14782 0 -1 1077944384 2511 0 0 0 339 85 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139890242583696 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27444] ppid=27439 vsize=13801768 CPUtime=4.22 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27444/stat : 27444 (java) S 27439 27439 14782 0 -1 1077944384 2441 0 0 0 344 78 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139890241530896 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27445] ppid=27439 vsize=13801768 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27445/stat : 27445 (java) S 27439 27439 14782 0 -1 1077944384 1816 0 0 0 343 81 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139890240478096 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27446] ppid=27439 vsize=13801768 CPUtime=4.22 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27446/stat : 27446 (java) S 27439 27439 14782 0 -1 1077944384 1786 0 0 0 343 79 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889906518800 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27447] ppid=27439 vsize=13801768 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27447/stat : 27447 (java) S 27439 27439 14782 0 -1 1077944384 2436 0 0 0 337 82 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889905466000 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27448] ppid=27439 vsize=13801768 CPUtime=4.21 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27448/stat : 27448 (java) S 27439 27439 14782 0 -1 1077944384 2322 0 0 0 335 86 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889904413200 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27449] ppid=27439 vsize=13801768 CPUtime=4.21 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27449/stat : 27449 (java) S 27439 27439 14782 0 -1 1077944384 2344 0 0 0 340 81 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889903360400 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27450] ppid=27439 vsize=13801768 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27450/stat : 27450 (java) S 27439 27439 14782 0 -1 1077944384 3077 0 0 0 335 79 0 0 20 0 28 0 3798889 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889902307600 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27451] ppid=27439 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27451/stat : 27451 (java) S 27439 27439 14782 0 -1 1077944384 7628 0 0 0 97 4 0 0 20 0 28 0 3798892 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889839901552 139890310457986 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 13 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27452] ppid=27439 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27452/stat : 27452 (java) S 27439 27439 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3798892 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889838847584 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27453] ppid=27439 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27453/stat : 27453 (java) S 27439 27439 14782 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 3798893 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889837794688 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27454] ppid=27439 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27454/stat : 27454 (java) S 27439 27439 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3798896 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889038846288 139890310465435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27455] ppid=27439 vsize=13801768 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27455/stat : 27455 (java) S 27439 27439 14782 0 -1 1077944384 16345 0 0 0 489 3 0 0 20 0 28 0 3798896 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889037793648 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27456] ppid=27439 vsize=13801768 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27456/stat : 27456 (java) S 27439 27439 14782 0 -1 1077944384 11842 0 0 0 468 2 0 0 20 0 28 0 3798896 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889036740848 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27457] ppid=27439 vsize=13801768 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27457/stat : 27457 (java) S 27439 27439 14782 0 -1 1077944384 15180 0 0 0 463 2 0 0 20 0 28 0 3798897 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889035688048 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27458] ppid=27439 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27458/stat : 27458 (java) S 27439 27439 14782 0 -1 1077944384 5875 0 0 0 113 2 0 0 20 0 28 0 3798897 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889034635248 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27459] ppid=27439 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27459/stat : 27459 (java) S 27439 27439 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3798897 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889033583712 139890310457045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27460] ppid=27439 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27460/stat : 27460 (java) S 27439 27439 14782 0 -1 1077944384 818 0 0 0 4 14 0 0 20 0 28 0 3798897 14133010432 951709 33554432000 4194304 4196468 140722685409984 139889032530992 139890310457986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 14 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27461] ppid=27439 vsize=13801768 CPUtime=293.24 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27461/stat : 27461 (java) R 27439 27439 14782 0 -1 4202560 4084 0 0 0 29323 1 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888285822264 139889923657015 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27462] ppid=27439 vsize=13801768 CPUtime=293.74 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27462/stat : 27462 (java) R 27439 27439 14782 0 -1 4202560 2105 0 0 0 29372 2 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888284770520 139889923655286 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27463] ppid=27439 vsize=13801768 CPUtime=293.26 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27463/stat : 27463 (java) R 27439 27439 14782 0 -1 4202560 4271 0 0 0 29323 3 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888283717632 139889924138624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27464] ppid=27439 vsize=13801768 CPUtime=293.72 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27464/stat : 27464 (java) R 27439 27439 14782 0 -1 4202560 6378 0 0 0 29369 3 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888282664968 139889923655286 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27465] ppid=27439 vsize=13801768 CPUtime=292.97 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27465/stat : 27465 (java) R 27439 27439 14782 0 -1 4202560 2499 0 0 0 29297 0 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888281612280 139889923655286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27466] ppid=27439 vsize=13801768 CPUtime=291.18 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27466/stat : 27466 (java) R 27439 27439 14782 0 -1 4202560 5583 0 0 0 29111 7 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888280561904 139889924351933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27467] ppid=27439 vsize=13801768 CPUtime=290.02 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27467/stat : 27467 (java) R 27439 27439 14782 0 -1 4202560 2146 0 0 0 28999 3 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888279507592 139889921642502 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
[pid=27440/tid=27468] ppid=27439 vsize=13801768 CPUtime=290.87 cores=1,3,5,7,9,11,13,15
/proc/27440/task/27468/stat : 27468 (java) R 27439 27439 14782 0 -1 4202560 1459 0 0 0 29087 0 0 0 20 0 28 0 3800190 14133010432 951709 33554432000 4194304 4196468 140722685409984 139888278454824 139889924730686 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37810176 140722685412540 140722685412716 140722685412716 140722685415375 0
Current children cumulated CPU time (s) 2400.07
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 27439 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2344
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=781
# CPU time returned by wait4() is 0.003125
# while last known CPU time is 2400.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 310.913
CPU time (s): 2400.07
CPU user time (s): 2392.77
CPU system time (s): 7.3
CPU usage (%): 771.944
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002344
system time used= 0.000781
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89251 second user time and 4.8984 second system time
The end