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-4245658-1500686050/watcher-4245658-1500686050 -o /tmp/evaluation-result-4245658-1500686050/solver-4245658-1500686050 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1494127012 HOME/instance-4245658-1500686050.xml
pid=24942
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: 10.04 10.69 11.66 9/273 24945
/proc/meminfo: memFree=22843920/32770624 swapFree=5892/113496
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
[startup+0.100076 s]
/proc/loadavg: 10.04 10.69 11.66 9/273 24945
/proc/meminfo: memFree=22843920/32770624 swapFree=5892/113496
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200354 s]
/proc/loadavg: 10.04 10.69 11.66 9/273 24945
/proc/meminfo: memFree=22843920/32770624 swapFree=5892/113496
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300301 s]
/proc/loadavg: 10.04 10.69 11.66 9/273 24945
/proc/meminfo: memFree=22843920/32770624 swapFree=5892/113496
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700283 s]
/proc/loadavg: 10.04 10.69 11.66 9/273 24945
/proc/meminfo: memFree=22843920/32770624 swapFree=5892/113496
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50095 s]
/proc/loadavg: 10.20 10.71 11.66 10/294 24966
/proc/meminfo: memFree=22759096/32770624 swapFree=5892/113540
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
[pid=24946] ppid=24945 vsize=13267208 CPUtime=2.87 cores=1,3,5,7,9,11,13,15
/proc/24946/stat : 24946 (java) S 24945 24945 15667 0 -1 1077944320 14028 0 0 0 283 4 0 0 20 0 20 0 3874718 13585620992 24798 33554432000 4194304 4196468 140735056147936 140735056130480 140458772696823 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
/proc/24946/statm: 3316802 24798 3198 1 0 3304035 0
[pid=24946/tid=24947] ppid=24945 vsize=13267208 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24947/stat : 24947 (java) R 24945 24945 15667 0 -1 4202560 6506 0 0 0 145 3 0 0 20 0 20 0 3874718 13585620992 24798 33554432000 4194304 4196468 140735056147936 140458776932952 140458757777664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24949] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24949/stat : 24949 (java) S 24945 24945 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3874719 13585620992 24798 33554432000 4194304 4196468 140735056147936 140458725317520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24950] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24950/stat : 24950 (java) S 24945 24945 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3874719 13585620992 24798 33554432000 4194304 4196468 140735056147936 140458724264720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24951] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24951/stat : 24951 (java) S 24945 24945 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3874719 13585620992 24798 33554432000 4194304 4196468 140735056147936 140458723212432 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24952] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24952/stat : 24952 (java) S 24945 24945 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3874719 13585620992 24798 33554432000 4194304 4196468 140735056147936 140458722159632 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24953] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24953/stat : 24953 (java) S 24945 24945 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3874719 13585620992 24798 33554432000 4194304 4196468 140735056147936 140458721106320 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24954] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24954/stat : 24954 (java) S 24945 24945 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3874719 13585620992 24798 33554432000 4194304 4196468 140735056147936 140458720053520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24955] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24955/stat : 24955 (java) S 24945 24945 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3874719 13585620992 24798 33554432000 4194304 4196468 140735056147936 140458365221520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24956] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24956/stat : 24956 (java) S 24945 24945 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3874719 13585620992 24798 33554432000 4194304 4196468 140735056147936 140458364168720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24957] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24957/stat : 24957 (java) S 24945 24945 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3874721 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457436744304 140458772707970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24958] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24958/stat : 24958 (java) S 24945 24945 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3874722 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457435690272 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24959] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24959/stat : 24959 (java) S 24945 24945 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3874722 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457434637936 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24960] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24960/stat : 24960 (java) S 24945 24945 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3874726 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457433586256 140458772715419 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24961] ppid=24945 vsize=13267208 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24961/stat : 24961 (java) S 24945 24945 15667 0 -1 1077944384 1297 0 0 0 31 0 0 0 20 0 20 0 3874726 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457432533104 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24962] ppid=24945 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24962/stat : 24962 (java) S 24945 24945 15667 0 -1 1077944384 1709 0 0 0 36 0 0 0 20 0 20 0 3874726 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457431480304 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24963] ppid=24945 vsize=13267208 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24963/stat : 24963 (java) S 24945 24945 15667 0 -1 1077944384 1219 0 0 0 33 0 0 0 20 0 20 0 3874726 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457430428016 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24964] ppid=24945 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24964/stat : 24964 (java) S 24945 24945 15667 0 -1 1077944384 1979 0 0 0 37 0 0 0 20 0 20 0 3874726 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457429375216 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24965] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24965/stat : 24965 (java) S 24945 24945 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3874726 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457428323168 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24966] ppid=24945 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24966/stat : 24966 (java) S 24945 24945 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3874727 13585620992 24798 33554432000 4194304 4196468 140735056147936 140457427270448 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 13276720
[startup+3.10138 s]
/proc/loadavg: 10.20 10.71 11.66 10/294 24966
/proc/meminfo: memFree=22742900/32770624 swapFree=5892/113540
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
[pid=24946] ppid=24945 vsize=13269256 CPUtime=4.79 cores=1,3,5,7,9,11,13,15
/proc/24946/stat : 24946 (java) S 24945 24945 15667 0 -1 1077944320 17121 0 0 0 473 6 0 0 20 0 20 0 3874718 13587718144 38433 33554432000 4194304 4196468 140735056147936 140735056130480 140458772696823 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
/proc/24946/statm: 3317314 38433 3209 1 0 3304547 0
[pid=24946/tid=24947] ppid=24945 vsize=13269256 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24947/stat : 24947 (java) R 24945 24945 15667 0 -1 4202560 7784 0 0 0 303 4 0 0 20 0 20 0 3874718 13587718144 38433 33554432000 4194304 4196468 140735056147936 140458776934504 140458404082440 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24949] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24949/stat : 24949 (java) S 24945 24945 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3874719 13587718144 38433 33554432000 4194304 4196468 140735056147936 140458725317520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24950] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24950/stat : 24950 (java) S 24945 24945 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3874719 13587718144 38433 33554432000 4194304 4196468 140735056147936 140458724264720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24951] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24951/stat : 24951 (java) S 24945 24945 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3874719 13587718144 38433 33554432000 4194304 4196468 140735056147936 140458723212432 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24952] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24952/stat : 24952 (java) S 24945 24945 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3874719 13587718144 38433 33554432000 4194304 4196468 140735056147936 140458722159632 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24953] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24953/stat : 24953 (java) S 24945 24945 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3874719 13587718144 38433 33554432000 4194304 4196468 140735056147936 140458721106320 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24954] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24954/stat : 24954 (java) S 24945 24945 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3874719 13587718144 38433 33554432000 4194304 4196468 140735056147936 140458720053520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24955] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24955/stat : 24955 (java) S 24945 24945 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3874719 13587718144 38433 33554432000 4194304 4196468 140735056147936 140458365221520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24956] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24956/stat : 24956 (java) S 24945 24945 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3874719 13587718144 38433 33554432000 4194304 4196468 140735056147936 140458364168720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24957] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24957/stat : 24957 (java) S 24945 24945 15667 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 3874721 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457436744304 140458772707970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24958] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24958/stat : 24958 (java) S 24945 24945 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3874722 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457435690272 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24959] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24959/stat : 24959 (java) S 24945 24945 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3874722 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457434637936 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24960] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24960/stat : 24960 (java) S 24945 24945 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3874726 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457433586256 140458772715419 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24961] ppid=24945 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24961/stat : 24961 (java) S 24945 24945 15667 0 -1 1077944384 1693 0 0 0 38 0 0 0 20 0 20 0 3874726 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457432533104 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24962] ppid=24945 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24962/stat : 24962 (java) S 24945 24945 15667 0 -1 1077944384 2114 0 0 0 44 0 0 0 20 0 20 0 3874726 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457431480304 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24963] ppid=24945 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24963/stat : 24963 (java) S 24945 24945 15667 0 -1 1077944384 1671 0 0 0 42 0 0 0 20 0 20 0 3874726 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457430428016 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24964] ppid=24945 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24964/stat : 24964 (java) S 24945 24945 15667 0 -1 1077944384 2502 0 0 0 43 0 0 0 20 0 20 0 3874726 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457429375216 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24965] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24965/stat : 24965 (java) S 24945 24945 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3874726 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457428323168 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24966] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24966/stat : 24966 (java) S 24945 24945 15667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 3874727 13587718144 38433 33554432000 4194304 4196468 140735056147936 140457427270448 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 13278768
[startup+6.3012 s]
/proc/loadavg: 10.20 10.71 11.66 10/294 24966
/proc/meminfo: memFree=22605524/32770624 swapFree=5892/113540
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
[pid=24946] ppid=24945 vsize=13269256 CPUtime=9.59 cores=1,3,5,7,9,11,13,15
/proc/24946/stat : 24946 (java) S 24945 24945 15667 0 -1 1077944320 20290 0 0 0 843 116 0 0 20 0 20 0 3874718 13587718144 92499 33554432000 4194304 4196468 140735056147936 140735056130480 140458772696823 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
/proc/24946/statm: 3317314 92499 3244 1 0 3304547 0
[pid=24946/tid=24947] ppid=24945 vsize=13269256 CPUtime=6.05 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24947/stat : 24947 (java) R 24945 24945 15667 0 -1 4202560 7883 0 0 0 601 4 0 0 20 0 20 0 3874718 13587718144 92499 33554432000 4194304 4196468 140735056147936 140458776933792 140458404082368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24949] ppid=24945 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24949/stat : 24949 (java) S 24945 24945 15667 0 -1 1077944384 175 0 0 0 8 12 0 0 20 0 20 0 3874719 13587718144 92499 33554432000 4194304 4196468 140735056147936 140458725317520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24950] ppid=24945 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24950/stat : 24950 (java) S 24945 24945 15667 0 -1 1077944384 133 0 0 0 7 13 0 0 20 0 20 0 3874719 13587718144 92499 33554432000 4194304 4196468 140735056147936 140458724264720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24951] ppid=24945 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24951/stat : 24951 (java) S 24945 24945 15667 0 -1 1077944384 153 0 0 0 7 13 0 0 20 0 20 0 3874719 13587718144 92499 33554432000 4194304 4196468 140735056147936 140458723212432 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24952] ppid=24945 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24952/stat : 24952 (java) S 24945 24945 15667 0 -1 1077944384 425 0 0 0 7 13 0 0 20 0 20 0 3874719 13587718144 92499 33554432000 4194304 4196468 140735056147936 140458722159632 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24953] ppid=24945 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24953/stat : 24953 (java) S 24945 24945 15667 0 -1 1077944384 174 0 0 0 7 13 0 0 20 0 20 0 3874719 13587718144 92499 33554432000 4194304 4196468 140735056147936 140458721106320 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24954] ppid=24945 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24954/stat : 24954 (java) S 24945 24945 15667 0 -1 1077944384 293 0 0 0 7 13 0 0 20 0 20 0 3874719 13587718144 92499 33554432000 4194304 4196468 140735056147936 140458720053520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24955] ppid=24945 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24955/stat : 24955 (java) S 24945 24945 15667 0 -1 1077944384 153 0 0 0 6 14 0 0 20 0 20 0 3874719 13587718144 92499 33554432000 4194304 4196468 140735056147936 140458365221520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24956] ppid=24945 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24956/stat : 24956 (java) S 24945 24945 15667 0 -1 1077944384 147 0 0 0 7 13 0 0 20 0 20 0 3874719 13587718144 92499 33554432000 4194304 4196468 140735056147936 140458364168720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24957] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24957/stat : 24957 (java) S 24945 24945 15667 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 20 0 3874721 13587718144 92499 33554432000 4194304 4196468 140735056147936 140457436744304 140458772707970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24958] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24958/stat : 24958 (java) S 24945 24945 15667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3874722 13587718144 92499 33554432000 4194304 4196468 140735056147936 140457435690272 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24959] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24959/stat : 24959 (java) S 24945 24945 15667 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 3874722 13587718144 92499 33554432000 4194304 4196468 140735056147936 140457434637936 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24960] ppid=24945 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24960/stat : 24960 (java) S 24945 24945 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3874726 13587718144 92499 33554432000 4194304 4196468 140735056147936 140457433586256 140458772715419 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
################
# More data... #
################
[pid=24946/tid=25598] ppid=24945 vsize=13801768 CPUtime=53.32 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25598/stat : 25598 (java) R 24945 24945 15667 0 -1 4202560 194778 0 0 0 5317 15 0 0 20 0 28 0 3914175 14133010432 2546867 33554432000 4194304 4196468 140735056147936 140457416100288 140458403788053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25599] ppid=24945 vsize=13801768 CPUtime=53.56 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25599/stat : 25599 (java) R 24945 24945 15667 0 -1 4202560 2141 0 0 0 5352 4 0 0 20 0 28 0 3914175 14133010432 2546867 33554432000 4194304 4196468 140735056147936 140457411887160 140458401842802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
Current children cumulated CPU time (s) 2174.11
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+490.713 s]
/proc/loadavg: 11.36 11.90 11.79 17/291 25978
/proc/meminfo: memFree=13708588/32770624 swapFree=5892/114524
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
[pid=24946] ppid=24945 vsize=13801768 CPUtime=2400.42 cores=1,3,5,7,9,11,13,15
/proc/24946/stat : 24946 (java) S 24945 24945 15667 0 -1 1077944320 1720097 0 0 0 235891 4151 0 0 20 0 28 0 3874718 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140735056130480 140458772696823 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
/proc/24946/statm: 3450442 2546868 3314 1 0 3437675 0
[pid=24946/tid=24947] ppid=24945 vsize=13801768 CPUtime=143.14 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24947/stat : 24947 (java) S 24945 24945 15667 0 -1 1077944384 22989 0 0 0 14303 11 0 0 20 0 28 0 3874718 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458776937600 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24949] ppid=24945 vsize=13801768 CPUtime=70.06 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24949/stat : 24949 (java) S 24945 24945 15667 0 -1 1077944384 63143 0 0 0 6506 500 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458725317520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24950] ppid=24945 vsize=13801768 CPUtime=70.21 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24950/stat : 24950 (java) S 24945 24945 15667 0 -1 1077944384 53368 0 0 0 6516 505 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458724264720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24951] ppid=24945 vsize=13801768 CPUtime=70.62 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24951/stat : 24951 (java) S 24945 24945 15667 0 -1 1077944384 34778 0 0 0 6545 517 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458723212432 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24952] ppid=24945 vsize=13801768 CPUtime=70.34 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24952/stat : 24952 (java) S 24945 24945 15667 0 -1 1077944384 22776 0 0 0 6576 458 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458722159632 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24953] ppid=24945 vsize=13801768 CPUtime=70.82 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24953/stat : 24953 (java) S 24945 24945 15667 0 -1 1077944384 34195 0 0 0 6644 438 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458721106320 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24954] ppid=24945 vsize=13801768 CPUtime=70.32 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24954/stat : 24954 (java) S 24945 24945 15667 0 -1 1077944384 40636 0 0 0 6523 509 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458720053520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24955] ppid=24945 vsize=13801768 CPUtime=70.4 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24955/stat : 24955 (java) S 24945 24945 15667 0 -1 1077944384 35377 0 0 0 6506 534 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458365221520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24956] ppid=24945 vsize=13801768 CPUtime=70.07 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24956/stat : 24956 (java) S 24945 24945 15667 0 -1 1077944384 33054 0 0 0 6484 523 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458364168720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24957] ppid=24945 vsize=13801768 CPUtime=10.41 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24957/stat : 24957 (java) S 24945 24945 15667 0 -1 1077944384 49275 0 0 0 1032 9 0 0 20 0 28 0 3874721 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457436744304 140458772707970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24958] ppid=24945 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24958/stat : 24958 (java) S 24945 24945 15667 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3874722 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457435690336 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24959] ppid=24945 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24959/stat : 24959 (java) S 24945 24945 15667 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 28 0 3874722 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457434637952 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24960] ppid=24945 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24960/stat : 24960 (java) S 24945 24945 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457433586256 140458772715419 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24961] ppid=24945 vsize=13801768 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24961/stat : 24961 (java) S 24945 24945 15667 0 -1 1077944384 32428 0 0 0 538 6 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457432533104 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24962] ppid=24945 vsize=13801768 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24962/stat : 24962 (java) S 24945 24945 15667 0 -1 1077944384 35281 0 0 0 544 5 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457431480304 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24963] ppid=24945 vsize=13801768 CPUtime=4.64 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24963/stat : 24963 (java) S 24945 24945 15667 0 -1 1077944384 25898 0 0 0 461 3 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457430428016 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24964] ppid=24945 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24964/stat : 24964 (java) S 24945 24945 15667 0 -1 1077944384 19222 0 0 0 119 3 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457429375216 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24965] ppid=24945 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24965/stat : 24965 (java) S 24945 24945 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457428323168 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24966] ppid=24945 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24966/stat : 24966 (java) S 24945 24945 15667 0 -1 1077944384 2602 0 0 0 12 11 0 0 20 0 28 0 3874727 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457427270448 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25592] ppid=24945 vsize=13801768 CPUtime=82.06 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25592/stat : 25592 (java) R 24945 24945 15667 0 -1 4202560 6042 0 0 0 8204 2 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457419255592 140458406341337 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25593] ppid=24945 vsize=13801768 CPUtime=81.87 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25593/stat : 25593 (java) R 24945 24945 15667 0 -1 4202560 37439 0 0 0 8184 3 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457418203832 140458404315726 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25594] ppid=24945 vsize=13801768 CPUtime=81.98 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25594/stat : 25594 (java) R 24945 24945 15667 0 -1 4202560 2518 0 0 0 8197 1 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457415045176 140458401842730 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25595] ppid=24945 vsize=13801768 CPUtime=81.92 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25595/stat : 25595 (java) R 24945 24945 15667 0 -1 4202560 7842 0 0 0 8191 1 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457417150328 140458401842922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25596] ppid=24945 vsize=13801768 CPUtime=81.62 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25596/stat : 25596 (java) R 24945 24945 15667 0 -1 4202560 24969 0 0 0 8160 2 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457412940648 140458404041658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25597] ppid=24945 vsize=13801768 CPUtime=80.69 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25597/stat : 25597 (java) R 24945 24945 15667 0 -1 4202560 4129 0 0 0 8069 0 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457413992632 140458401842944 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25598] ppid=24945 vsize=13801768 CPUtime=81.7 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25598/stat : 25598 (java) R 24945 24945 15667 0 -1 4202560 239425 0 0 0 8152 18 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457416100280 140458401842944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25599] ppid=24945 vsize=13801768 CPUtime=81.94 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25599/stat : 25599 (java) R 24945 24945 15667 0 -1 4202560 2585 0 0 0 8190 4 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457411887160 140458401842922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
Current children cumulated CPU time (s) 2400.42
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 24946 sig 9
??? kill 24945 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+490.713 s]
/proc/loadavg: 11.36 11.90 11.79 17/291 25978
/proc/meminfo: memFree=13708588/32770624 swapFree=5892/114524
[pid=24945] ppid=24942 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24945/stat : 24945 (xcsp3-exec) S 24942 24945 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3874717 9740288 346 33554432000 4194304 5098028 140730458597216 140730458595320 140224721093244 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29605888 140730458604686 140730458604896 140730458604896 140730458607595 0
/proc/24945/statm: 2378 346 289 221 0 87 0
[pid=24946] ppid=24945 vsize=13801768 CPUtime=2400.42 cores=1,3,5,7,9,11,13,15
/proc/24946/stat : 24946 (java) S 24945 24945 15667 0 -1 1077944320 1720097 0 0 0 235891 4151 0 0 20 0 28 0 3874718 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140735056130480 140458772696823 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
/proc/24946/statm: 3450442 2546868 3314 1 0 3437675 0
[pid=24946/tid=24947] ppid=24945 vsize=13801768 CPUtime=143.14 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24947/stat : 24947 (java) S 24945 24945 15667 0 -1 1077944384 22989 0 0 0 14303 11 0 0 20 0 28 0 3874718 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458776937600 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24949] ppid=24945 vsize=13801768 CPUtime=70.06 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24949/stat : 24949 (java) S 24945 24945 15667 0 -1 1077944384 63143 0 0 0 6506 500 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458725317520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24950] ppid=24945 vsize=13801768 CPUtime=70.21 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24950/stat : 24950 (java) S 24945 24945 15667 0 -1 1077944384 53368 0 0 0 6516 505 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458724264720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24951] ppid=24945 vsize=13801768 CPUtime=70.62 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24951/stat : 24951 (java) S 24945 24945 15667 0 -1 1077944384 34778 0 0 0 6545 517 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458723212432 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24952] ppid=24945 vsize=13801768 CPUtime=70.34 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24952/stat : 24952 (java) S 24945 24945 15667 0 -1 1077944384 22776 0 0 0 6576 458 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458722159632 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24953] ppid=24945 vsize=13801768 CPUtime=70.82 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24953/stat : 24953 (java) S 24945 24945 15667 0 -1 1077944384 34195 0 0 0 6644 438 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458721106320 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24954] ppid=24945 vsize=13801768 CPUtime=70.32 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24954/stat : 24954 (java) S 24945 24945 15667 0 -1 1077944384 40636 0 0 0 6523 509 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458720053520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24955] ppid=24945 vsize=13801768 CPUtime=70.4 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24955/stat : 24955 (java) S 24945 24945 15667 0 -1 1077944384 35377 0 0 0 6506 534 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458365221520 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24956] ppid=24945 vsize=13801768 CPUtime=70.07 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24956/stat : 24956 (java) S 24945 24945 15667 0 -1 1077944384 33054 0 0 0 6484 523 0 0 20 0 28 0 3874719 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140458364168720 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24957] ppid=24945 vsize=13801768 CPUtime=10.41 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24957/stat : 24957 (java) S 24945 24945 15667 0 -1 1077944384 49275 0 0 0 1032 9 0 0 20 0 28 0 3874721 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457436744304 140458772707970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24958] ppid=24945 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24958/stat : 24958 (java) S 24945 24945 15667 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3874722 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457435690336 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24959] ppid=24945 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24959/stat : 24959 (java) S 24945 24945 15667 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 28 0 3874722 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457434637952 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24960] ppid=24945 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24960/stat : 24960 (java) S 24945 24945 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457433586256 140458772715419 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24961] ppid=24945 vsize=13801768 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24961/stat : 24961 (java) S 24945 24945 15667 0 -1 1077944384 32428 0 0 0 538 6 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457432533104 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24962] ppid=24945 vsize=13801768 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24962/stat : 24962 (java) S 24945 24945 15667 0 -1 1077944384 35281 0 0 0 544 5 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457431480304 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24963] ppid=24945 vsize=13801768 CPUtime=4.64 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24963/stat : 24963 (java) S 24945 24945 15667 0 -1 1077944384 25898 0 0 0 461 3 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457430428016 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24964] ppid=24945 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24964/stat : 24964 (java) S 24945 24945 15667 0 -1 1077944384 19222 0 0 0 119 3 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457429375216 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24965] ppid=24945 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24965/stat : 24965 (java) S 24945 24945 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3874726 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457428323168 140458772707029 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=24966] ppid=24945 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/24946/task/24966/stat : 24966 (java) S 24945 24945 15667 0 -1 1077944384 2602 0 0 0 12 11 0 0 20 0 28 0 3874727 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457427270448 140458772707970 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25592] ppid=24945 vsize=13801768 CPUtime=82.06 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25592/stat : 25592 (java) R 24945 24945 15667 0 -1 4202560 6042 0 0 0 8204 2 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457419255592 140458406341337 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25593] ppid=24945 vsize=13801768 CPUtime=81.87 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25593/stat : 25593 (java) R 24945 24945 15667 0 -1 4202560 37439 0 0 0 8184 3 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457418203832 140458404315726 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25594] ppid=24945 vsize=13801768 CPUtime=81.98 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25594/stat : 25594 (java) R 24945 24945 15667 0 -1 4202560 2518 0 0 0 8197 1 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457415045176 140458401842730 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25595] ppid=24945 vsize=13801768 CPUtime=81.92 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25595/stat : 25595 (java) R 24945 24945 15667 0 -1 4202560 7842 0 0 0 8191 1 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457417150328 140458401842922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25596] ppid=24945 vsize=13801768 CPUtime=81.62 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25596/stat : 25596 (java) R 24945 24945 15667 0 -1 4202560 24969 0 0 0 8160 2 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457412940648 140458404041658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25597] ppid=24945 vsize=13801768 CPUtime=80.69 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25597/stat : 25597 (java) R 24945 24945 15667 0 -1 4202560 4129 0 0 0 8069 0 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457413992632 140458401842944 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25598] ppid=24945 vsize=13801768 CPUtime=81.7 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25598/stat : 25598 (java) R 24945 24945 15667 0 -1 4202560 239425 0 0 0 8152 18 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457416100280 140458401842944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
[pid=24946/tid=25599] ppid=24945 vsize=13801768 CPUtime=81.94 cores=1,3,5,7,9,11,13,15
/proc/24946/task/25599/stat : 25599 (java) R 24945 24945 15667 0 -1 4202560 2585 0 0 0 8190 4 0 0 20 0 28 0 3914175 14133010432 2546868 33554432000 4194304 4196468 140735056147936 140457411887160 140458401842922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33169408 140735056151740 140735056151916 140735056151916 140735056154575 0
Current children cumulated CPU time (s) 2400.42
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 24945 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2971
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=793
# CPU time returned by wait4() is 0.003764
# while last known CPU time is 2400.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 490.724
CPU time (s): 2400.42
CPU user time (s): 2358.91
CPU system time (s): 41.51
CPU usage (%): 489.159
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002971
system time used= 0.000793
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77225 second user time and 6.15534 second system time
The end