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-4248835-1500693332/watcher-4248835-1500693332 -o /tmp/evaluation-result-4248835-1500693332/solver-4248835-1500693332 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 476223343 HOME/instance-4248835-1500693332.xml
pid=28806
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.43 15.13 13.97 10/262 28809
/proc/meminfo: memFree=31225252/32770624 swapFree=5860/287676
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 15.43 15.13 13.97 10/262 28809
/proc/meminfo: memFree=31225252/32770624 swapFree=5860/287676
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200345 s]
/proc/loadavg: 15.43 15.13 13.97 10/262 28809
/proc/meminfo: memFree=31225252/32770624 swapFree=5860/287676
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300296 s]
/proc/loadavg: 15.43 15.13 13.97 10/262 28809
/proc/meminfo: memFree=31225252/32770624 swapFree=5860/287676
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700281 s]
/proc/loadavg: 15.43 15.13 13.97 10/262 28809
/proc/meminfo: memFree=31225252/32770624 swapFree=5860/287676
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50088 s]
/proc/loadavg: 15.43 15.13 13.97 3/283 28830
/proc/meminfo: memFree=30996860/32770624 swapFree=5860/287780
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
[pid=28810] ppid=28809 vsize=13269256 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/28810/stat : 28810 (java) S 28809 28809 7411 0 -1 1077944320 12233 0 0 0 225 20 0 0 20 0 20 0 4600629 13587718144 63863 33554432000 4194304 4196468 140734180367088 140734180349632 140084202065655 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
/proc/28810/statm: 3317314 63863 3217 1 0 3304547 0
[pid=28810/tid=28811] ppid=28809 vsize=13269256 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28811/stat : 28811 (java) R 28809 28809 7411 0 -1 4202560 6734 0 0 0 138 5 0 0 20 0 20 0 4600629 13587718144 63863 33554432000 4194304 4196468 140734180367088 140084206304504 140083800456406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28813] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28813/stat : 28813 (java) S 28809 28809 7411 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 20 0 4600630 13587718144 63863 33554432000 4194304 4196468 140734180367088 140084120546192 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28814] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28814/stat : 28814 (java) S 28809 28809 7411 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 20 0 4600630 13587718144 63863 33554432000 4194304 4196468 140734180367088 140084119493392 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28815] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28815/stat : 28815 (java) S 28809 28809 7411 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 4600630 13587718144 63863 33554432000 4194304 4196468 140734180367088 140084118441104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28816] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28816/stat : 28816 (java) S 28809 28809 7411 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4600630 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083797683216 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28817] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28817/stat : 28817 (java) S 28809 28809 7411 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 4600630 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083796629904 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28818] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28818/stat : 28818 (java) S 28809 28809 7411 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 20 0 4600630 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083795577104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28819] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28819/stat : 28819 (java) S 28809 28809 7411 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 4600630 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083794524816 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28820] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28820/stat : 28820 (java) S 28809 28809 7411 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 4600630 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083793472016 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28821] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28821/stat : 28821 (java) S 28809 28809 7411 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 4600633 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083328809584 140084202076802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28822] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28822/stat : 28822 (java) S 28809 28809 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4600633 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083327755616 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28823] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28823/stat : 28823 (java) S 28809 28809 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4600634 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083326703232 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28824] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28824/stat : 28824 (java) S 28809 28809 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600637 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083325651536 140084202084251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28825] ppid=28809 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28825/stat : 28825 (java) S 28809 28809 7411 0 -1 1077944384 1016 0 0 0 16 0 0 0 20 0 20 0 4600637 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083324598384 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28826] ppid=28809 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28826/stat : 28826 (java) S 28809 28809 7411 0 -1 1077944384 714 0 0 0 13 0 0 0 20 0 20 0 4600637 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083323545584 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28827] ppid=28809 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28827/stat : 28827 (java) S 28809 28809 7411 0 -1 1077944384 998 0 0 0 20 0 0 0 20 0 20 0 4600637 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083322493296 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28828] ppid=28809 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28828/stat : 28828 (java) S 28809 28809 7411 0 -1 1077944384 1227 0 0 0 23 0 0 0 20 0 20 0 4600637 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083321440496 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28829] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28829/stat : 28829 (java) S 28809 28809 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600638 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083320388448 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28830] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28830/stat : 28830 (java) S 28809 28809 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600638 13587718144 63863 33554432000 4194304 4196468 140734180367088 140083319335728 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 13278768
[startup+3.10147 s]
/proc/loadavg: 15.43 15.13 13.97 3/283 28830
/proc/meminfo: memFree=30808740/32770624 swapFree=5860/287708
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
[pid=28810] ppid=28809 vsize=13269256 CPUtime=4.55 cores=1,3,5,7,9,11,13,15
/proc/28810/stat : 28810 (java) S 28809 28809 7411 0 -1 1077944320 13136 0 0 0 408 47 0 0 20 0 20 0 4600629 13587718144 96861 33554432000 4194304 4196468 140734180367088 140734180349632 140084202065655 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
/proc/28810/statm: 3317314 96861 3218 1 0 3304547 0
[pid=28810/tid=28811] ppid=28809 vsize=13269256 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28811/stat : 28811 (java) R 28809 28809 7411 0 -1 4202560 7224 0 0 0 291 6 0 0 20 0 20 0 4600629 13587718144 96861 33554432000 4194304 4196468 140734180367088 140084206300936 140083800541054 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28813] ppid=28809 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28813/stat : 28813 (java) S 28809 28809 7411 0 -1 1077944384 54 0 0 0 3 5 0 0 20 0 20 0 4600630 13587718144 96861 33554432000 4194304 4196468 140734180367088 140084120546192 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28814] ppid=28809 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28814/stat : 28814 (java) S 28809 28809 7411 0 -1 1077944384 43 0 0 0 3 4 0 0 20 0 20 0 4600630 13587718144 96861 33554432000 4194304 4196468 140734180367088 140084119493392 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28815] ppid=28809 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28815/stat : 28815 (java) S 28809 28809 7411 0 -1 1077944384 48 0 0 0 3 4 0 0 20 0 20 0 4600630 13587718144 96861 33554432000 4194304 4196468 140734180367088 140084118441104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28816] ppid=28809 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28816/stat : 28816 (java) S 28809 28809 7411 0 -1 1077944384 51 0 0 0 3 4 0 0 20 0 20 0 4600630 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083797683216 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28817] ppid=28809 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28817/stat : 28817 (java) S 28809 28809 7411 0 -1 1077944384 42 0 0 0 3 4 0 0 20 0 20 0 4600630 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083796629904 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28818] ppid=28809 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28818/stat : 28818 (java) S 28809 28809 7411 0 -1 1077944384 52 0 0 0 3 4 0 0 20 0 20 0 4600630 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083795577104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28819] ppid=28809 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28819/stat : 28819 (java) S 28809 28809 7411 0 -1 1077944384 50 0 0 0 3 5 0 0 20 0 20 0 4600630 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083794524816 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28820] ppid=28809 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28820/stat : 28820 (java) S 28809 28809 7411 0 -1 1077944384 44 0 0 0 3 5 0 0 20 0 20 0 4600630 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083793472016 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28821] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28821/stat : 28821 (java) S 28809 28809 7411 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 20 0 4600633 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083328809584 140084202076802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28822] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28822/stat : 28822 (java) S 28809 28809 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4600633 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083327755616 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28823] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28823/stat : 28823 (java) S 28809 28809 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4600634 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083326703232 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28824] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28824/stat : 28824 (java) S 28809 28809 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600637 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083325651536 140084202084251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28825] ppid=28809 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28825/stat : 28825 (java) S 28809 28809 7411 0 -1 1077944384 1021 0 0 0 21 0 0 0 20 0 20 0 4600637 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083324598384 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28826] ppid=28809 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28826/stat : 28826 (java) S 28809 28809 7411 0 -1 1077944384 718 0 0 0 13 0 0 0 20 0 20 0 4600637 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083323545584 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28827] ppid=28809 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28827/stat : 28827 (java) S 28809 28809 7411 0 -1 1077944384 1021 0 0 0 27 0 0 0 20 0 20 0 4600637 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083322493296 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28828] ppid=28809 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28828/stat : 28828 (java) S 28809 28809 7411 0 -1 1077944384 1262 0 0 0 25 0 0 0 20 0 20 0 4600637 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083321440496 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28829] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28829/stat : 28829 (java) S 28809 28809 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600638 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083320388448 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28830] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28830/stat : 28830 (java) S 28809 28809 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600638 13587718144 96861 33554432000 4194304 4196468 140734180367088 140083319335728 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 13278768
[startup+6.30113 s]
/proc/loadavg: 14.28 14.89 13.90 3/283 28830
/proc/meminfo: memFree=29883244/32770624 swapFree=5860/287708
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
[pid=28810] ppid=28809 vsize=13269256 CPUtime=8.68 cores=1,3,5,7,9,11,13,15
/proc/28810/stat : 28810 (java) S 28809 28809 7411 0 -1 1077944320 16436 0 0 0 759 109 0 0 20 0 20 0 4600629 13587718144 196858 33554432000 4194304 4196468 140734180367088 140734180349632 140084202065655 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
/proc/28810/statm: 3317314 196858 3238 1 0 3304547 0
[pid=28810/tid=28811] ppid=28809 vsize=13269256 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28811/stat : 28811 (java) R 28809 28809 7411 0 -1 4202560 8525 0 0 0 593 11 0 0 20 0 20 0 4600629 13587718144 196858 33554432000 4194304 4196468 140734180367088 140084206304200 140083798825343 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28813] ppid=28809 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28813/stat : 28813 (java) S 28809 28809 7411 0 -1 1077944384 114 0 0 0 8 12 0 0 20 0 20 0 4600630 13587718144 196858 33554432000 4194304 4196468 140734180367088 140084120546192 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28814] ppid=28809 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28814/stat : 28814 (java) S 28809 28809 7411 0 -1 1077944384 106 0 0 0 9 10 0 0 20 0 20 0 4600630 13587718144 196858 33554432000 4194304 4196468 140734180367088 140084119493392 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28815] ppid=28809 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28815/stat : 28815 (java) S 28809 28809 7411 0 -1 1077944384 115 0 0 0 8 12 0 0 20 0 20 0 4600630 13587718144 196858 33554432000 4194304 4196468 140734180367088 140084118441104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28816] ppid=28809 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28816/stat : 28816 (java) S 28809 28809 7411 0 -1 1077944384 113 0 0 0 9 12 0 0 20 0 20 0 4600630 13587718144 196858 33554432000 4194304 4196468 140734180367088 140083797683216 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28817] ppid=28809 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28817/stat : 28817 (java) S 28809 28809 7411 0 -1 1077944384 105 0 0 0 8 12 0 0 20 0 20 0 4600630 13587718144 196858 33554432000 4194304 4196468 140734180367088 140083796629904 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28818] ppid=28809 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28818/stat : 28818 (java) S 28809 28809 7411 0 -1 1077944384 116 0 0 0 9 12 0 0 20 0 20 0 4600630 13587718144 196858 33554432000 4194304 4196468 140734180367088 140083795577104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28819] ppid=28809 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28819/stat : 28819 (java) S 28809 28809 7411 0 -1 1077944384 110 0 0 0 8 11 0 0 20 0 20 0 4600630 13587718144 196858 33554432000 4194304 4196468 140734180367088 140083794524816 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28820] ppid=28809 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28820/stat : 28820 (java) S 28809 28809 7411 0 -1 1077944384 103 0 0 0 9 11 0 0 20 0 20 0 4600630 13587718144 196858 33554432000 4194304 4196468 140734180367088 140083793472016 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28821] ppid=28809 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28821/stat : 28821 (java) S 28809 28809 7411 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 20 0 4600633 13587718144 196858 33554432000 4194304 4196468 140734180367088 140083328809584 140084202076802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28822] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28822/stat : 28822 (java) S 28809 28809 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4600633 13587718144 196858 33554432000 4194304 4196468 140734180367088 140083327755616 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28823] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28823/stat : 28823 (java) S 28809 28809 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4600634 13587718144 196858 33554432000 4194304 4196468 140734180367088 140083326703232 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28824] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28824/stat : 28824 (java) S 28809 28809 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600637 13587718144 196858 33554432000 4194304 4196468 140734180367088 140083325651536 140084202084251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
################
# More data... #
################
/proc/28810/task/28830/stat : 28830 (java) S 28809 28809 7411 0 -1 1077944384 99 0 0 0 1 1 0 0 20 0 20 0 4600638 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083319335728 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
Current children cumulated CPU time (s) 98.52
Current children cumulated vsize (KiB) 13278768
[startup+66.4009 s]
/proc/loadavg: 6.48 12.54 13.15 3/283 28925
/proc/meminfo: memFree=26447296/32770624 swapFree=5860/287824
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
[pid=28810] ppid=28809 vsize=13269256 CPUtime=99.32 cores=1,3,5,7,9,11,13,15
/proc/28810/stat : 28810 (java) S 28809 28809 7411 0 -1 1077944320 75630 0 0 0 9007 925 0 0 20 0 20 0 4600629 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140734180349632 140084202065655 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
/proc/28810/statm: 3317314 1173795 3264 1 0 3304547 0
[pid=28810/tid=28811] ppid=28809 vsize=13269256 CPUtime=60.18 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28811/stat : 28811 (java) R 28809 28809 7411 0 -1 4202560 15378 0 0 0 5977 41 0 0 20 0 20 0 4600629 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084206302712 140083800541503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28813] ppid=28809 vsize=13269256 CPUtime=4.48 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28813/stat : 28813 (java) S 28809 28809 7411 0 -1 1077944384 4936 0 0 0 339 109 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084120546192 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28814] ppid=28809 vsize=13269256 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28814/stat : 28814 (java) S 28809 28809 7411 0 -1 1077944384 5324 0 0 0 352 91 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084119493392 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28815] ppid=28809 vsize=13269256 CPUtime=4.38 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28815/stat : 28815 (java) S 28809 28809 7411 0 -1 1077944384 10832 0 0 0 322 116 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084118441104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28816] ppid=28809 vsize=13269256 CPUtime=4.46 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28816/stat : 28816 (java) S 28809 28809 7411 0 -1 1077944384 4182 0 0 0 330 116 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083797683216 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28817] ppid=28809 vsize=13269256 CPUtime=4.42 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28817/stat : 28817 (java) S 28809 28809 7411 0 -1 1077944384 4385 0 0 0 333 109 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083796629904 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28818] ppid=28809 vsize=13269256 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28818/stat : 28818 (java) S 28809 28809 7411 0 -1 1077944384 4831 0 0 0 328 117 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083795577104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28819] ppid=28809 vsize=13269256 CPUtime=4.44 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28819/stat : 28819 (java) S 28809 28809 7411 0 -1 1077944384 4078 0 0 0 333 111 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083794524816 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28820] ppid=28809 vsize=13269256 CPUtime=4.38 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28820/stat : 28820 (java) S 28809 28809 7411 0 -1 1077944384 3770 0 0 0 333 105 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083793472016 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28821] ppid=28809 vsize=13269256 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28821/stat : 28821 (java) S 28809 28809 7411 0 -1 1077944384 5140 0 0 0 163 0 0 0 20 0 20 0 4600633 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083328809584 140084202076802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28822] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28822/stat : 28822 (java) S 28809 28809 7411 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4600633 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083327755616 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28823] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28823/stat : 28823 (java) S 28809 28809 7411 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 4600634 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083326703232 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28824] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28824/stat : 28824 (java) S 28809 28809 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083325651536 140084202084251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28825] ppid=28809 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28825/stat : 28825 (java) S 28809 28809 7411 0 -1 1077944384 3964 0 0 0 61 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083324598384 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28826] ppid=28809 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28826/stat : 28826 (java) S 28809 28809 7411 0 -1 1077944384 1716 0 0 0 33 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083323545584 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28827] ppid=28809 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28827/stat : 28827 (java) S 28809 28809 7411 0 -1 1077944384 1960 0 0 0 50 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083322493296 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28828] ppid=28809 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28828/stat : 28828 (java) S 28809 28809 7411 0 -1 1077944384 3686 0 0 0 45 1 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083321440496 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28829] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28829/stat : 28829 (java) S 28809 28809 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600638 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083320388448 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28830] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28830/stat : 28830 (java) S 28809 28809 7411 0 -1 1077944384 99 0 0 0 1 1 0 0 20 0 20 0 4600638 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083319335728 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
Current children cumulated CPU time (s) 99.32
Current children cumulated vsize (KiB) 13278768
[startup+66.8008 s]
/proc/loadavg: 6.48 12.54 13.15 3/283 28925
/proc/meminfo: memFree=26447296/32770624 swapFree=5860/287824
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
[pid=28810] ppid=28809 vsize=13269256 CPUtime=99.72 cores=1,3,5,7,9,11,13,15
/proc/28810/stat : 28810 (java) S 28809 28809 7411 0 -1 1077944320 75630 0 0 0 9047 925 0 0 20 0 20 0 4600629 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140734180349632 140084202065655 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
/proc/28810/statm: 3317314 1173795 3264 1 0 3304547 0
[pid=28810/tid=28811] ppid=28809 vsize=13269256 CPUtime=60.58 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28811/stat : 28811 (java) R 28809 28809 7411 0 -1 4202560 15378 0 0 0 6017 41 0 0 20 0 20 0 4600629 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084206302712 140083802340080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28813] ppid=28809 vsize=13269256 CPUtime=4.48 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28813/stat : 28813 (java) S 28809 28809 7411 0 -1 1077944384 4936 0 0 0 339 109 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084120546192 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28814] ppid=28809 vsize=13269256 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28814/stat : 28814 (java) S 28809 28809 7411 0 -1 1077944384 5324 0 0 0 352 91 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084119493392 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28815] ppid=28809 vsize=13269256 CPUtime=4.38 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28815/stat : 28815 (java) S 28809 28809 7411 0 -1 1077944384 10832 0 0 0 322 116 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084118441104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28816] ppid=28809 vsize=13269256 CPUtime=4.46 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28816/stat : 28816 (java) S 28809 28809 7411 0 -1 1077944384 4182 0 0 0 330 116 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083797683216 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28817] ppid=28809 vsize=13269256 CPUtime=4.42 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28817/stat : 28817 (java) S 28809 28809 7411 0 -1 1077944384 4385 0 0 0 333 109 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083796629904 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28818] ppid=28809 vsize=13269256 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28818/stat : 28818 (java) S 28809 28809 7411 0 -1 1077944384 4831 0 0 0 328 117 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083795577104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28819] ppid=28809 vsize=13269256 CPUtime=4.44 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28819/stat : 28819 (java) S 28809 28809 7411 0 -1 1077944384 4078 0 0 0 333 111 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083794524816 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28820] ppid=28809 vsize=13269256 CPUtime=4.38 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28820/stat : 28820 (java) S 28809 28809 7411 0 -1 1077944384 3770 0 0 0 333 105 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083793472016 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28821] ppid=28809 vsize=13269256 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28821/stat : 28821 (java) S 28809 28809 7411 0 -1 1077944384 5140 0 0 0 163 0 0 0 20 0 20 0 4600633 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083328809584 140084202076802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28822] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28822/stat : 28822 (java) S 28809 28809 7411 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4600633 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083327755616 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28823] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28823/stat : 28823 (java) S 28809 28809 7411 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 4600634 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083326703232 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28824] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28824/stat : 28824 (java) S 28809 28809 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083325651536 140084202084251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28825] ppid=28809 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28825/stat : 28825 (java) S 28809 28809 7411 0 -1 1077944384 3964 0 0 0 61 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083324598384 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28826] ppid=28809 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28826/stat : 28826 (java) S 28809 28809 7411 0 -1 1077944384 1716 0 0 0 33 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083323545584 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28827] ppid=28809 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28827/stat : 28827 (java) S 28809 28809 7411 0 -1 1077944384 1960 0 0 0 50 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083322493296 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28828] ppid=28809 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28828/stat : 28828 (java) S 28809 28809 7411 0 -1 1077944384 3686 0 0 0 45 1 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083321440496 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28829] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28829/stat : 28829 (java) S 28809 28809 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600638 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083320388448 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28830] ppid=28809 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28830/stat : 28830 (java) S 28809 28809 7411 0 -1 1077944384 99 0 0 0 1 1 0 0 20 0 20 0 4600638 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083319335728 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
Current children cumulated CPU time (s) 99.72
Current children cumulated vsize (KiB) 13278768
[startup+67.2086 s]
/proc/loadavg: 6.48 12.54 13.15 4/283 28925
/proc/meminfo: memFree=26287304/32770624 swapFree=5860/287824
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
[pid=28810] ppid=28809 vsize=13269256 CPUtime=100.14 cores=1,3,5,7,9,11,13,15
/proc/28810/stat : 28810 (java) S 28809 28809 7411 0 -1 1077944320 75632 0 0 0 9088 926 0 0 20 0 20 0 4600629 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140734180349632 140084202065655 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
/proc/28810/statm: 3317314 1173795 3264 1 0 3304547 0
[pid=28810/tid=28811] ppid=28809 vsize=13269256 CPUtime=60.99 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28811/stat : 28811 (java) R 28809 28809 7411 0 -1 4202560 15378 0 0 0 6058 41 0 0 20 0 20 0 4600629 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084206303528 140083800541050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28813] ppid=28809 vsize=13269256 CPUtime=4.48 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28813/stat : 28813 (java) S 28809 28809 7411 0 -1 1077944384 4936 0 0 0 339 109 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084120546192 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28814] ppid=28809 vsize=13269256 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28814/stat : 28814 (java) S 28809 28809 7411 0 -1 1077944384 5324 0 0 0 352 91 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084119493392 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28815] ppid=28809 vsize=13269256 CPUtime=4.38 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28815/stat : 28815 (java) S 28809 28809 7411 0 -1 1077944384 10832 0 0 0 322 116 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140084118441104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28816] ppid=28809 vsize=13269256 CPUtime=4.46 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28816/stat : 28816 (java) S 28809 28809 7411 0 -1 1077944384 4182 0 0 0 330 116 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083797683216 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28817] ppid=28809 vsize=13269256 CPUtime=4.42 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28817/stat : 28817 (java) S 28809 28809 7411 0 -1 1077944384 4385 0 0 0 333 109 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083796629904 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28818] ppid=28809 vsize=13269256 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28818/stat : 28818 (java) S 28809 28809 7411 0 -1 1077944384 4831 0 0 0 328 117 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083795577104 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28819] ppid=28809 vsize=13269256 CPUtime=4.44 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28819/stat : 28819 (java) S 28809 28809 7411 0 -1 1077944384 4078 0 0 0 333 111 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083794524816 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28820] ppid=28809 vsize=13269256 CPUtime=4.38 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28820/stat : 28820 (java) S 28809 28809 7411 0 -1 1077944384 3770 0 0 0 333 105 0 0 20 0 20 0 4600630 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083793472016 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28821] ppid=28809 vsize=13269256 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28821/stat : 28821 (java) S 28809 28809 7411 0 -1 1077944384 5140 0 0 0 163 0 0 0 20 0 20 0 4600633 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083328809584 140084202076802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28822] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28822/stat : 28822 (java) S 28809 28809 7411 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4600633 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083327755616 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28823] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28823/stat : 28823 (java) S 28809 28809 7411 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 4600634 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083326703232 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28824] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28824/stat : 28824 (java) S 28809 28809 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083325651536 140084202084251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28825] ppid=28809 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28825/stat : 28825 (java) S 28809 28809 7411 0 -1 1077944384 3964 0 0 0 61 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083324598384 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28826] ppid=28809 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28826/stat : 28826 (java) S 28809 28809 7411 0 -1 1077944384 1716 0 0 0 33 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083323545584 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28827] ppid=28809 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28827/stat : 28827 (java) S 28809 28809 7411 0 -1 1077944384 1960 0 0 0 50 0 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083322493296 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28828] ppid=28809 vsize=13269256 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28828/stat : 28828 (java) S 28809 28809 7411 0 -1 1077944384 3688 0 0 0 46 1 0 0 20 0 20 0 4600637 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083321440496 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28829] ppid=28809 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28829/stat : 28829 (java) S 28809 28809 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600638 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083320388448 140084202075861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
[pid=28810/tid=28830] ppid=28809 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28830/stat : 28830 (java) S 28809 28809 7411 0 -1 1077944384 99 0 0 0 1 2 0 0 20 0 20 0 4600638 13587718144 1173795 33554432000 4194304 4196468 140734180367088 140083319335728 140084202076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 37949440 140734180373692 140734180373868 140734180373868 140734180376527 0
Current children cumulated CPU time (s) 100.14
Current children cumulated vsize (KiB) 13278768
[startup+67.301 s]
/proc/loadavg: 6.48 12.54 13.15 4/283 28925
/proc/meminfo: memFree=26287304/32770624 swapFree=5860/287824
[pid=28809] ppid=28806 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28809/stat : 28809 (xcsp3-exec) S 28806 28809 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600629 9740288 345 33554432000 4194304 5098028 140732549413824 140732549411928 140434857972348 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 7667712 140732549416079 140732549416288 140732549416288 140732549418987 0
/proc/28809/statm: 2378 345 289 221 0 87 0
[pid=28810] ppid=28809 vsize=0 CPUtime=100.36 cores=1,3,5,7,9,11,13,15
/proc/28810/stat : 28810 (java) Z 28809 28809 7411 0 -1 4227084 76549 0 0 0 9109 927 0 0 20 0 2 0 4600629 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/28810/statm: 0 0 0 0 0 0 0
[pid=28810/tid=28825] ppid=28809 vsize=0 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/28810/task/28825/stat : 28825 (java) R 28809 28809 7411 0 -1 4203588 3967 0 0 0 62 1 0 0 20 0 2 0 4600637 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 100.36
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 67.3309
CPU time (s): 100.398
CPU user time (s): 91.0975
CPU system time (s): 9.30061
CPU usage (%): 149.112
Max. virtual memory (cumulated for all children) (KiB): 13278768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.0975
system time used= 9.30061
maximum resident set size= 4697840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6275
involuntary context switches= 6227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.466445 second user time and 0.632968 second system time
The end