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-4249497-1500695050/watcher-4249497-1500695050 -o /tmp/evaluation-result-4249497-1500695050/solver-4249497-1500695050 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 438323227 HOME/instance-4249497-1500695050.xml
pid=3014
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.95 14.64 12.39 10/272 3017
/proc/meminfo: memFree=28655620/32770624 swapFree=5884/291380
[pid=3017] ppid=3014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3017/stat : 3017 (xcsp3-exec) S 3014 3017 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4772755 9740288 346 33554432000 4194304 5098028 140721843029168 140721843027272 140222427918972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8904704 140721843033231 140721843033440 140721843033440 140721843036139 0
/proc/3017/statm: 2378 346 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 15.95 14.64 12.39 10/272 3017
/proc/meminfo: memFree=28655620/32770624 swapFree=5884/291380
[pid=3017] ppid=3014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3017/stat : 3017 (xcsp3-exec) S 3014 3017 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4772755 9740288 346 33554432000 4194304 5098028 140721843029168 140721843027272 140222427918972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8904704 140721843033231 140721843033440 140721843033440 140721843036139 0
/proc/3017/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200302 s]
/proc/loadavg: 15.95 14.64 12.39 10/272 3017
/proc/meminfo: memFree=28655620/32770624 swapFree=5884/291380
[pid=3017] ppid=3014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3017/stat : 3017 (xcsp3-exec) S 3014 3017 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4772755 9740288 346 33554432000 4194304 5098028 140721843029168 140721843027272 140222427918972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8904704 140721843033231 140721843033440 140721843033440 140721843036139 0
/proc/3017/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300235 s]
/proc/loadavg: 15.95 14.64 12.39 10/272 3017
/proc/meminfo: memFree=28655620/32770624 swapFree=5884/291380
[pid=3017] ppid=3014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3017/stat : 3017 (xcsp3-exec) S 3014 3017 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4772755 9740288 346 33554432000 4194304 5098028 140721843029168 140721843027272 140222427918972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8904704 140721843033231 140721843033440 140721843033440 140721843036139 0
/proc/3017/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700182 s]
/proc/loadavg: 15.95 14.64 12.39 10/272 3017
/proc/meminfo: memFree=28655620/32770624 swapFree=5884/291380
[pid=3017] ppid=3014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3017/stat : 3017 (xcsp3-exec) S 3014 3017 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4772755 9740288 346 33554432000 4194304 5098028 140721843029168 140721843027272 140222427918972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8904704 140721843033231 140721843033440 140721843033440 140721843036139 0
/proc/3017/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50149 s]
/proc/loadavg: 15.95 14.64 12.39 20/301 3046
/proc/meminfo: memFree=28571992/32770624 swapFree=5884/291404
[pid=3017] ppid=3014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3017/stat : 3017 (xcsp3-exec) S 3014 3017 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4772755 9740288 346 33554432000 4194304 5098028 140721843029168 140721843027272 140222427918972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8904704 140721843033231 140721843033440 140721843033440 140721843036139 0
/proc/3017/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3017 vsize=13801768 CPUtime=8.04 cores=1,3,5,7,9,11,13,15
/proc/3018/stat : 3018 (java) S 3017 3017 8571 0 -1 1077944320 16459 0 0 0 797 7 0 0 20 0 28 0 4772756 14133010432 26619 33554432000 4194304 4196468 140720853111088 140720853093632 140652524961527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
/proc/3018/statm: 3450442 26619 3229 1 0 3437675 0
[pid=3018/tid=3019] ppid=3017 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3019/stat : 3019 (java) S 3017 3017 8571 0 -1 1077944384 6816 0 0 0 61 2 0 0 20 0 28 0 4772756 14133010432 26619 33554432000 4194304 4196468 140720853111088 140652529202304 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3021] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3021/stat : 3021 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 26619 33554432000 4194304 4196468 140720853111088 140652463926160 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3022] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3022/stat : 3022 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 26619 33554432000 4194304 4196468 140720853111088 140652462873360 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3023] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3023/stat : 3023 (java) S 3017 3017 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 26619 33554432000 4194304 4196468 140720853111088 140652122168464 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3024] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3024/stat : 3024 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 26619 33554432000 4194304 4196468 140720853111088 140652121115664 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3025] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3025/stat : 3025 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 26619 33554432000 4194304 4196468 140720853111088 140652120062352 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3026] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3026/stat : 3026 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 26619 33554432000 4194304 4196468 140720853111088 140652119009552 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3027] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3027/stat : 3027 (java) S 3017 3017 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 26619 33554432000 4194304 4196468 140720853111088 140652117957264 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3028] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3028/stat : 3028 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 26619 33554432000 4194304 4196468 140720853111088 140652116904464 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3029] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3029/stat : 3029 (java) S 3017 3017 8571 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4772759 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651785067120 140652524972674 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3030] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3030/stat : 3030 (java) S 3017 3017 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4772760 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651784013088 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3031] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3031/stat : 3031 (java) S 3017 3017 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4772760 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651782960752 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3032] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3032/stat : 3032 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772763 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651781909072 140652524980123 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3033] ppid=3017 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3033/stat : 3033 (java) R 3017 3017 8571 0 -1 4202560 1842 0 0 0 57 0 0 0 20 0 28 0 4772763 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651780856216 140652506481929 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3034] ppid=3017 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3034/stat : 3034 (java) S 3017 3017 8571 0 -1 1077944384 2431 0 0 0 83 1 0 0 20 0 28 0 4772763 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651779803120 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3035] ppid=3017 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3035/stat : 3035 (java) R 3017 3017 8571 0 -1 4202560 1614 0 0 0 63 0 0 0 20 0 28 0 4772763 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651778736712 140652509885874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3036] ppid=3017 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3036/stat : 3036 (java) S 3017 3017 8571 0 -1 1077944384 2072 0 0 0 56 1 0 0 20 0 28 0 4772763 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651777698032 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3037] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3037/stat : 3037 (java) S 3017 3017 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4772764 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651776645984 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3038] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3038/stat : 3038 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772764 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651775593264 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3039] ppid=3017 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3039/stat : 3039 (java) R 3017 3017 8571 0 -1 4202560 59 0 0 0 57 0 0 0 20 0 28 0 4772822 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651768078328 140652147537967 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3040] ppid=3017 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3040/stat : 3040 (java) R 3017 3017 8571 0 -1 4202560 50 0 0 0 63 0 0 0 20 0 28 0 4772822 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651767029704 140652147703682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3041] ppid=3017 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3041/stat : 3041 (java) R 3017 3017 8571 0 -1 4202560 42 0 0 0 77 0 0 0 20 0 28 0 4772822 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651765973144 140652147703611 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3042] ppid=3017 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3042/stat : 3042 (java) R 3017 3017 8571 0 -1 4202560 69 0 0 0 56 0 0 0 20 0 28 0 4772822 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651764920592 140652142796518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3043] ppid=3017 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3043/stat : 3043 (java) R 3017 3017 8571 0 -1 4202560 33 0 0 0 50 0 0 0 20 0 28 0 4772822 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651763868280 140652142691099 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3044] ppid=3017 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3044/stat : 3044 (java) R 3017 3017 8571 0 -1 4202560 39 0 0 0 54 0 0 0 20 0 28 0 4772822 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651762815352 140652147656185 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3045] ppid=3017 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3045/stat : 3045 (java) R 3017 3017 8571 0 -1 4202560 36 0 0 0 56 0 0 0 20 0 28 0 4772822 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651761762192 140652147522852 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3046] ppid=3017 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3046/stat : 3046 (java) R 3017 3017 8571 0 -1 4202560 46 0 0 0 58 0 0 0 20 0 28 0 4772822 14133010432 26619 33554432000 4194304 4196468 140720853111088 140651760709320 140652142769121 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
Current children cumulated CPU time (s) 8.04
Current children cumulated vsize (KiB) 13811280
[startup+3.1016 s]
/proc/loadavg: 16.20 14.72 12.43 20/301 3046
/proc/meminfo: memFree=28542180/32770624 swapFree=5884/291400
[pid=3017] ppid=3014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3017/stat : 3017 (xcsp3-exec) S 3014 3017 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4772755 9740288 346 33554432000 4194304 5098028 140721843029168 140721843027272 140222427918972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8904704 140721843033231 140721843033440 140721843033440 140721843036139 0
/proc/3017/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3017 vsize=13801768 CPUtime=20.78 cores=1,3,5,7,9,11,13,15
/proc/3018/stat : 3018 (java) S 3017 3017 8571 0 -1 1077944320 25677 0 0 0 2069 9 0 0 20 0 28 0 4772756 14133010432 36154 33554432000 4194304 4196468 140720853111088 140720853093632 140652524961527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
/proc/3018/statm: 3450442 36154 3241 1 0 3437675 0
[pid=3018/tid=3019] ppid=3017 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3019/stat : 3019 (java) S 3017 3017 8571 0 -1 1077944384 6816 0 0 0 61 2 0 0 20 0 28 0 4772756 14133010432 36154 33554432000 4194304 4196468 140720853111088 140652529202304 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3021] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3021/stat : 3021 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 36154 33554432000 4194304 4196468 140720853111088 140652463926160 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3022] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3022/stat : 3022 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 36154 33554432000 4194304 4196468 140720853111088 140652462873360 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3023] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3023/stat : 3023 (java) S 3017 3017 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 36154 33554432000 4194304 4196468 140720853111088 140652122168464 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3024] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3024/stat : 3024 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 36154 33554432000 4194304 4196468 140720853111088 140652121115664 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3025] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3025/stat : 3025 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 36154 33554432000 4194304 4196468 140720853111088 140652120062352 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3026] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3026/stat : 3026 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 36154 33554432000 4194304 4196468 140720853111088 140652119009552 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3027] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3027/stat : 3027 (java) S 3017 3017 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 36154 33554432000 4194304 4196468 140720853111088 140652117957264 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3028] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3028/stat : 3028 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772757 14133010432 36154 33554432000 4194304 4196468 140720853111088 140652116904464 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3029] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3029/stat : 3029 (java) S 3017 3017 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4772759 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651785067120 140652524972674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3030] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3030/stat : 3030 (java) S 3017 3017 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4772760 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651784013088 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3031] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3031/stat : 3031 (java) S 3017 3017 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4772760 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651782960752 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3032] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3032/stat : 3032 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772763 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651781909072 140652524980123 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3033] ppid=3017 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3033/stat : 3033 (java) S 3017 3017 8571 0 -1 1077944384 3681 0 0 0 129 0 0 0 20 0 28 0 4772763 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651780855920 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3034] ppid=3017 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3034/stat : 3034 (java) S 3017 3017 8571 0 -1 1077944384 5319 0 0 0 173 1 0 0 20 0 28 0 4772763 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651779803120 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3035] ppid=3017 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3035/stat : 3035 (java) R 3017 3017 8571 0 -1 4202560 3970 0 0 0 125 1 0 0 20 0 28 0 4772763 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651778751128 140652509841094 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3036] ppid=3017 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3036/stat : 3036 (java) S 3017 3017 8571 0 -1 1077944384 3208 0 0 0 66 1 0 0 20 0 28 0 4772763 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651777698032 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3037] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3037/stat : 3037 (java) S 3017 3017 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4772764 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651776645984 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3038] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3038/stat : 3038 (java) S 3017 3017 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4772764 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651775593264 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3039] ppid=3017 vsize=13801768 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3039/stat : 3039 (java) R 3017 3017 8571 0 -1 4202560 195 0 0 0 197 0 0 0 20 0 28 0 4772822 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651768077624 140652147173849 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3040] ppid=3017 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3040/stat : 3040 (java) R 3017 3017 8571 0 -1 4202560 131 0 0 0 191 0 0 0 20 0 28 0 4772822 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651767025960 140652148044743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3041] ppid=3017 vsize=13801768 CPUtime=2.14 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3041/stat : 3041 (java) R 3017 3017 8571 0 -1 4202560 200 0 0 0 214 0 0 0 20 0 28 0 4772822 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651765972104 140652147656411 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3042] ppid=3017 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3042/stat : 3042 (java) R 3017 3017 8571 0 -1 4202560 240 0 0 0 169 0 0 0 20 0 28 0 4772822 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651764920232 140652148045233 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3043] ppid=3017 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3043/stat : 3043 (java) R 3017 3017 8571 0 -1 4202560 136 0 0 0 185 0 0 0 20 0 28 0 4772822 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651763870040 140652148044887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3044] ppid=3017 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3044/stat : 3044 (java) R 3017 3017 8571 0 -1 4202560 152 0 0 0 199 0 0 0 20 0 28 0 4772822 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651762815576 140652146998356 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3045] ppid=3017 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3045/stat : 3045 (java) R 3017 3017 8571 0 -1 4202560 107 0 0 0 173 0 0 0 20 0 28 0 4772822 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651761762472 140652148045090 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3046] ppid=3017 vsize=13801768 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3046/stat : 3046 (java) R 3017 3017 8571 0 -1 4202560 155 0 0 0 184 0 0 0 20 0 28 0 4772822 14133010432 36154 33554432000 4194304 4196468 140720853111088 140651760710040 140652506367798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
Current children cumulated CPU time (s) 20.78
Current children cumulated vsize (KiB) 13811280
[startup+6.30097 s]
/proc/loadavg: 16.20 14.72 12.43 17/301 3046
/proc/meminfo: memFree=28455768/32770624 swapFree=5884/291412
################
# More data... #
################
[pid=3018/tid=3093] ppid=3017 vsize=13801768 CPUtime=233.71 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3093/stat : 3093 (java) R 3017 3017 8571 0 -1 4202560 1327 0 0 0 23369 2 0 0 20 0 28 0 4777224 14133010432 98790 33554432000 4194304 4196468 140720853111088 140651761762616 140652148045630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3094] ppid=3017 vsize=13801768 CPUtime=233.57 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3094/stat : 3094 (java) R 3017 3017 8571 0 -1 4202560 803 0 0 0 23356 1 0 0 20 0 28 0 4777224 14133010432 98790 33554432000 4194304 4196468 140720853111088 140651763867672 140652148045158 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
Current children cumulated CPU time (s) 2230.81
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.713 s]
/proc/loadavg: 15.85 15.40 13.36 17/299 3196
/proc/meminfo: memFree=28558596/32770624 swapFree=5884/291856
[pid=3017] ppid=3014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3017/stat : 3017 (xcsp3-exec) S 3014 3017 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4772755 9740288 346 33554432000 4194304 5098028 140721843029168 140721843027272 140222427918972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8904704 140721843033231 140721843033440 140721843033440 140721843036139 0
/proc/3017/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3017 vsize=13801768 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/3018/stat : 3018 (java) S 3017 3017 8571 0 -1 1077944320 106063 0 0 0 239774 236 0 0 20 0 28 0 4772756 14133010432 98776 33554432000 4194304 4196468 140720853111088 140720853093632 140652524961527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
/proc/3018/statm: 3450442 98776 3283 1 0 3437675 0
[pid=3018/tid=3019] ppid=3017 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3019/stat : 3019 (java) S 3017 3017 8571 0 -1 1077944384 7278 0 0 0 62 2 0 0 20 0 28 0 4772756 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652529202304 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3021] ppid=3017 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3021/stat : 3021 (java) S 3017 3017 8571 0 -1 1077944384 2339 0 0 0 74 13 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652463926160 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3022] ppid=3017 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3022/stat : 3022 (java) S 3017 3017 8571 0 -1 1077944384 2494 0 0 0 74 15 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652462873360 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3023] ppid=3017 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3023/stat : 3023 (java) S 3017 3017 8571 0 -1 1077944384 2281 0 0 0 74 15 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652122168464 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3024] ppid=3017 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3024/stat : 3024 (java) S 3017 3017 8571 0 -1 1077944384 944 0 0 0 75 14 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652121115664 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3025] ppid=3017 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3025/stat : 3025 (java) S 3017 3017 8571 0 -1 1077944384 1457 0 0 0 78 13 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652120062352 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3026] ppid=3017 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3026/stat : 3026 (java) S 3017 3017 8571 0 -1 1077944384 2453 0 0 0 75 15 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652119009552 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3027] ppid=3017 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3027/stat : 3027 (java) S 3017 3017 8571 0 -1 1077944384 2090 0 0 0 74 15 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652117957264 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3028] ppid=3017 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3028/stat : 3028 (java) S 3017 3017 8571 0 -1 1077944384 1225 0 0 0 76 14 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652116904464 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3029] ppid=3017 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3029/stat : 3029 (java) S 3017 3017 8571 0 -1 1077944384 4591 0 0 0 76 84 0 0 20 0 28 0 4772759 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651785067120 140652524972674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3030] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3030/stat : 3030 (java) S 3017 3017 8571 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4772760 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651784013152 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3031] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3031/stat : 3031 (java) S 3017 3017 8571 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4772760 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651782960752 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3032] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3032/stat : 3032 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651781909072 140652524980123 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3033] ppid=3017 vsize=13801768 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3033/stat : 3033 (java) S 3017 3017 8571 0 -1 1077944384 14695 0 0 0 227 1 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651780855920 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3034] ppid=3017 vsize=13801768 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3034/stat : 3034 (java) S 3017 3017 8571 0 -1 1077944384 17285 0 0 0 275 2 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651779803120 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3035] ppid=3017 vsize=13801768 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3035/stat : 3035 (java) S 3017 3017 8571 0 -1 1077944384 15231 0 0 0 242 3 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651778750832 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3036] ppid=3017 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3036/stat : 3036 (java) S 3017 3017 8571 0 -1 1077944384 10351 0 0 0 84 1 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651777698032 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3037] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3037/stat : 3037 (java) S 3017 3017 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4772764 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651776645984 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3038] ppid=3017 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3038/stat : 3038 (java) S 3017 3017 8571 0 -1 1077944384 1105 0 0 0 5 7 0 0 20 0 28 0 4772764 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651775593264 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3087] ppid=3017 vsize=13801768 CPUtime=255.75 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3087/stat : 3087 (java) R 3017 3017 8571 0 -1 4202560 1214 0 0 0 25574 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651765973032 140652146998520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3088] ppid=3017 vsize=13801768 CPUtime=254.9 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3088/stat : 3088 (java) R 3017 3017 8571 0 -1 4202560 701 0 0 0 25488 2 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651768078872 140652147530772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3089] ppid=3017 vsize=13801768 CPUtime=255.2 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3089/stat : 3089 (java) R 3017 3017 8571 0 -1 4202560 2693 0 0 0 25519 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651762814480 140652148594896 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3090] ppid=3017 vsize=13801768 CPUtime=255.26 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3090/stat : 3090 (java) R 3017 3017 8571 0 -1 4202560 1911 0 0 0 25525 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651767025320 140652148045242 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3091] ppid=3017 vsize=13801768 CPUtime=254.85 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3091/stat : 3091 (java) R 3017 3017 8571 0 -1 4202560 1047 0 0 0 25484 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651764920376 140652148046588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3092] ppid=3017 vsize=13801768 CPUtime=254.36 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3092/stat : 3092 (java) R 3017 3017 8571 0 -1 4202560 395 0 0 0 25435 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651760709432 140652148045152 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3093] ppid=3017 vsize=13801768 CPUtime=254.61 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3093/stat : 3093 (java) R 3017 3017 8571 0 -1 4202560 1336 0 0 0 25459 2 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651761765488 140652147531039 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3094] ppid=3017 vsize=13801768 CPUtime=254.73 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3094/stat : 3094 (java) R 3017 3017 8571 0 -1 4202560 808 0 0 0 25472 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651763867672 140652148045351 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
Current children cumulated CPU time (s) 2400.1
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 3018 sig 9
??? kill 3017 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.713 s]
/proc/loadavg: 15.85 15.40 13.36 17/299 3196
/proc/meminfo: memFree=28558596/32770624 swapFree=5884/291856
[pid=3017] ppid=3014 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3017/stat : 3017 (xcsp3-exec) S 3014 3017 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4772755 9740288 346 33554432000 4194304 5098028 140721843029168 140721843027272 140222427918972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8904704 140721843033231 140721843033440 140721843033440 140721843036139 0
/proc/3017/statm: 2378 346 289 221 0 87 0
[pid=3018] ppid=3017 vsize=13801768 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/3018/stat : 3018 (java) S 3017 3017 8571 0 -1 1077944320 106063 0 0 0 239774 236 0 0 20 0 28 0 4772756 14133010432 98776 33554432000 4194304 4196468 140720853111088 140720853093632 140652524961527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
/proc/3018/statm: 3450442 98776 3283 1 0 3437675 0
[pid=3018/tid=3019] ppid=3017 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3019/stat : 3019 (java) S 3017 3017 8571 0 -1 1077944384 7278 0 0 0 62 2 0 0 20 0 28 0 4772756 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652529202304 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3021] ppid=3017 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3021/stat : 3021 (java) S 3017 3017 8571 0 -1 1077944384 2339 0 0 0 74 13 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652463926160 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3022] ppid=3017 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3022/stat : 3022 (java) S 3017 3017 8571 0 -1 1077944384 2494 0 0 0 74 15 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652462873360 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3023] ppid=3017 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3023/stat : 3023 (java) S 3017 3017 8571 0 -1 1077944384 2281 0 0 0 74 15 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652122168464 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3024] ppid=3017 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3024/stat : 3024 (java) S 3017 3017 8571 0 -1 1077944384 944 0 0 0 75 14 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652121115664 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3025] ppid=3017 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3025/stat : 3025 (java) S 3017 3017 8571 0 -1 1077944384 1457 0 0 0 78 13 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652120062352 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3026] ppid=3017 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3026/stat : 3026 (java) S 3017 3017 8571 0 -1 1077944384 2453 0 0 0 75 15 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652119009552 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3027] ppid=3017 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3027/stat : 3027 (java) S 3017 3017 8571 0 -1 1077944384 2090 0 0 0 74 15 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652117957264 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3028] ppid=3017 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3028/stat : 3028 (java) S 3017 3017 8571 0 -1 1077944384 1225 0 0 0 76 14 0 0 20 0 28 0 4772757 14133010432 98776 33554432000 4194304 4196468 140720853111088 140652116904464 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3029] ppid=3017 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3029/stat : 3029 (java) S 3017 3017 8571 0 -1 1077944384 4591 0 0 0 76 84 0 0 20 0 28 0 4772759 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651785067120 140652524972674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3030] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3030/stat : 3030 (java) S 3017 3017 8571 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4772760 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651784013152 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3031] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3031/stat : 3031 (java) S 3017 3017 8571 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4772760 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651782960752 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3032] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3032/stat : 3032 (java) S 3017 3017 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651781909072 140652524980123 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3033] ppid=3017 vsize=13801768 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3033/stat : 3033 (java) S 3017 3017 8571 0 -1 1077944384 14695 0 0 0 227 1 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651780855920 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3034] ppid=3017 vsize=13801768 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3034/stat : 3034 (java) S 3017 3017 8571 0 -1 1077944384 17285 0 0 0 275 2 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651779803120 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3035] ppid=3017 vsize=13801768 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3035/stat : 3035 (java) S 3017 3017 8571 0 -1 1077944384 15231 0 0 0 242 3 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651778750832 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3036] ppid=3017 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3036/stat : 3036 (java) S 3017 3017 8571 0 -1 1077944384 10351 0 0 0 84 1 0 0 20 0 28 0 4772763 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651777698032 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3037] ppid=3017 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3037/stat : 3037 (java) S 3017 3017 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4772764 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651776645984 140652524971733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3038] ppid=3017 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3038/stat : 3038 (java) S 3017 3017 8571 0 -1 1077944384 1105 0 0 0 5 7 0 0 20 0 28 0 4772764 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651775593264 140652524972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3087] ppid=3017 vsize=13801768 CPUtime=255.75 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3087/stat : 3087 (java) R 3017 3017 8571 0 -1 4202560 1214 0 0 0 25574 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651765973032 140652146998520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3088] ppid=3017 vsize=13801768 CPUtime=254.9 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3088/stat : 3088 (java) R 3017 3017 8571 0 -1 4202560 701 0 0 0 25488 2 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651768078872 140652147530772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3089] ppid=3017 vsize=13801768 CPUtime=255.2 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3089/stat : 3089 (java) R 3017 3017 8571 0 -1 4202560 2693 0 0 0 25519 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651762814480 140652148594896 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3090] ppid=3017 vsize=13801768 CPUtime=255.26 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3090/stat : 3090 (java) R 3017 3017 8571 0 -1 4202560 1911 0 0 0 25525 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651767025320 140652148045242 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3091] ppid=3017 vsize=13801768 CPUtime=254.85 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3091/stat : 3091 (java) R 3017 3017 8571 0 -1 4202560 1047 0 0 0 25484 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651764920376 140652148046588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3092] ppid=3017 vsize=13801768 CPUtime=254.36 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3092/stat : 3092 (java) R 3017 3017 8571 0 -1 4202560 395 0 0 0 25435 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651760709432 140652148045152 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3093] ppid=3017 vsize=13801768 CPUtime=254.61 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3093/stat : 3093 (java) R 3017 3017 8571 0 -1 4202560 1336 0 0 0 25459 2 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651761765488 140652147531039 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
[pid=3018/tid=3094] ppid=3017 vsize=13801768 CPUtime=254.73 cores=1,3,5,7,9,11,13,15
/proc/3018/task/3094/stat : 3094 (java) R 3017 3017 8571 0 -1 4202560 808 0 0 0 25472 1 0 0 20 0 28 0 4777224 14133010432 98776 33554432000 4194304 4196468 140720853111088 140651763867672 140652148045351 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27435008 140720853120188 140720853120364 140720853120364 140720853123023 0
Current children cumulated CPU time (s) 2400.1
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 3017 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=928
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1857
# CPU time returned by wait4() is 0.002785
# while last known CPU time is 2400.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.724
CPU time (s): 2400.1
CPU user time (s): 2397.74
CPU system time (s): 2.36
CPU usage (%): 790.224
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000928
system time used= 0.001857
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.83188 second user time and 4.31507 second system time
The end