runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14513 MiB free)
memory of node 1: 16384 MiB (15525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269020-1502845468/watcher-4269020-1502845468 -o /tmp/evaluation-result-4269020-1502845468/solver-4269020-1502845468 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 789627772 HOME/instance-4269020-1502845468.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14824, runsolver pid=14821
[startup+0.100143 s]*
/proc/loadavg: 2.55 2.16 2.04 3/206 14832
/proc/meminfo: memFree=30751616/32770624 swapFree=67108860/67108860
[pid=14824] ppid=14821 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14824/stat : 14824 (xcsp3-exec) S 14821 14824 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 72887433 9740288 345 18446744073709551615 4194304 5098028 140736724597968 140736724596072 140048369275516 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12804096 140736724603257 140736724603461 140736724603461 140736724606955 0
/proc/14824/statm: 2378 345 289 221 0 87 0
[pid=14826] ppid=14824 vsize=13574484 memory=17740 CPUtime=0.02 cores=1,3,5,7
/proc/14826/stat : 14826 (java) S 14824 14824 11586 0 -1 1077944320 3738 0 0 0 2 0 0 0 20 0 9 0 72887441 13900271616 4435 18446744073709551615 4194304 4196468 140726753748512 140726753731056 140586238664439 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
/proc/14826/statm: 3393621 4435 2085 1 0 3383118 0
[pid=14826/tid=14827] ppid=14824 vsize=13574484 memory=-6584940424751845731 CPUtime=0.02 cores=1,3,5,7
/proc/14826/task/14827/stat : 14827 (java) R 14824 14824 11586 0 -1 4202560 2443 0 0 0 2 0 0 0 20 0 9 0 72887441 13900271616 4435 18446744073709551615 4194304 4196468 140726753748512 140586242900200 140586222744926 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14828] ppid=14824 vsize=13574484 memory=5767615979343661449 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14828/stat : 14828 (java) S 14824 14824 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 72887442 13900271616 4435 18446744073709551615 4194304 4196468 140726753748512 140585839094672 140586238674645 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14829] ppid=14824 vsize=13574484 memory=140692935677568 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14829/stat : 14829 (java) S 14824 14824 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 72887442 13900271616 4435 18446744073709551615 4194304 4196468 140726753748512 140585838041872 140586238674645 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14830] ppid=14824 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14830/stat : 14830 (java) S 14824 14824 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 72887442 13900271616 4435 18446744073709551615 4194304 4196468 140726753748512 140585836989584 140586238674645 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14831] ppid=14824 vsize=13574484 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14831/stat : 14831 (java) S 14824 14824 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 72887442 13900271616 4435 18446744073709551615 4194304 4196468 140726753748512 140585835936784 140586238674645 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14832] ppid=14824 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14832/stat : 14832 (java) S 14824 14824 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 72887443 13900271616 4435 18446744073709551615 4194304 4196468 140726753748512 140585717266544 140586238675586 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14833] ppid=14824 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14833/stat : 14833 (java) S 14824 14824 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 72887444 13900271616 4435 18446744073709551615 4194304 4196468 140726753748512 140585716212512 140586238674645 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14834] ppid=14824 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14834/stat : 14834 (java) S 14824 14824 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 72887444 13900271616 4435 18446744073709551615 4194304 4196468 140726753748512 140585715160240 140586238674645 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19120 KiB
[startup+0.210093 s]*
/proc/loadavg: 2.55 2.16 2.04 3/214 14840
/proc/meminfo: memFree=30743672/32770624 swapFree=67108860/67108860
[pid=14824] ppid=14821 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14824/stat : 14824 (xcsp3-exec) S 14821 14824 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 72887433 9740288 345 18446744073709551615 4194304 5098028 140736724597968 140736724596072 140048369275516 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12804096 140736724603257 140736724603461 140736724603461 140736724606955 0
/proc/14824/statm: 2378 345 289 221 0 87 0
[pid=14826] ppid=14824 vsize=13974352 memory=27728 CPUtime=0.12 cores=1,3,5,7
/proc/14826/stat : 14826 (java) S 14824 14824 11586 0 -1 1077944320 5371 0 0 0 11 1 0 0 20 0 15 0 72887441 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140726753731056 140586238664439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
/proc/14826/statm: 3493588 6932 2838 1 0 3482964 0
[pid=14826/tid=14827] ppid=14824 vsize=13974352 memory=8257519724899770265 CPUtime=0.08 cores=1,3,5,7
/proc/14826/task/14827/stat : 14827 (java) R 14824 14824 11586 0 -1 4202560 3373 0 0 0 8 0 0 0 20 0 15 0 72887441 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140586242897712 140586238676374 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14828] ppid=14824 vsize=13974352 memory=5767615979343661449 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14828/stat : 14828 (java) S 14824 14824 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72887442 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585839094672 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14829] ppid=14824 vsize=13974352 memory=140692935677568 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14829/stat : 14829 (java) S 14824 14824 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72887442 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585838041872 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14830] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14830/stat : 14830 (java) S 14824 14824 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72887442 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585836989584 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14831] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14831/stat : 14831 (java) S 14824 14824 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72887442 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585835936784 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14832] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14832/stat : 14832 (java) S 14824 14824 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72887443 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585717266544 140586238675586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14833] ppid=14824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14833/stat : 14833 (java) S 14824 14824 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72887444 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585716212512 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14834] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14834/stat : 14834 (java) S 14824 14824 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72887444 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585715160176 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14835] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14835/stat : 14835 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887446 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585714108496 140586238683035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14836] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14836/stat : 14836 (java) S 14824 14824 11586 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 72887446 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585713056368 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14837] ppid=14824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14837/stat : 14837 (java) S 14824 14824 11586 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 72887446 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585712003568 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14838] ppid=14824 vsize=13974352 memory=140692935677568 CPUtime=0.01 cores=1,3,5,7
/proc/14826/task/14838/stat : 14838 (java) R 14824 14824 11586 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 15 0 72887446 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585710951280 140586230901566 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14839] ppid=14824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14839/stat : 14839 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887447 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585709898720 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14840] ppid=14824 vsize=13974352 memory=140692935677568 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14840/stat : 14840 (java) S 14824 14824 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72887451 14309736448 6932 18446744073709551615 4194304 4196468 140726753748512 140585708845488 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29108 KiB
[startup+0.310501 s]*
/proc/loadavg: 2.55 2.16 2.04 4/214 14840
/proc/meminfo: memFree=30729676/32770624 swapFree=67108860/67108860
[pid=14824] ppid=14821 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14824/stat : 14824 (xcsp3-exec) S 14821 14824 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 72887433 9740288 345 18446744073709551615 4194304 5098028 140736724597968 140736724596072 140048369275516 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12804096 140736724603257 140736724603461 140736724603461 140736724606955 0
/proc/14824/statm: 2378 345 289 221 0 87 0
[pid=14826] ppid=14824 vsize=13974352 memory=39888 CPUtime=0.32 cores=1,3,5,7
/proc/14826/stat : 14826 (java) S 14824 14824 11586 0 -1 1077944320 9178 0 0 0 29 3 0 0 20 0 15 0 72887441 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140726753731056 140586238664439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
/proc/14826/statm: 3493588 9972 3017 1 0 3482964 0
[pid=14826/tid=14827] ppid=14824 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/14826/task/14827/stat : 14827 (java) R 14824 14824 11586 0 -1 4202560 6264 0 0 0 17 2 0 0 20 0 15 0 72887441 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140586242894064 140586222744926 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14828] ppid=14824 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14828/stat : 14828 (java) S 14824 14824 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72887442 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585839094672 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14829] ppid=14824 vsize=13974352 memory=140692935684561 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14829/stat : 14829 (java) S 14824 14824 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72887442 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585838041872 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14830] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14830/stat : 14830 (java) S 14824 14824 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72887442 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585836989584 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14831] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14831/stat : 14831 (java) S 14824 14824 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72887442 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585835936784 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14832] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14832/stat : 14832 (java) S 14824 14824 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72887443 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585717266544 140586238675586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14833] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14833/stat : 14833 (java) S 14824 14824 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72887444 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585716212512 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14834] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14834/stat : 14834 (java) S 14824 14824 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72887444 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585715160176 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14835] ppid=14824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14835/stat : 14835 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887446 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585714108496 140586238683035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14836] ppid=14824 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14826/task/14836/stat : 14836 (java) S 14824 14824 11586 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 15 0 72887446 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585713056368 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14837] ppid=14824 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14826/task/14837/stat : 14837 (java) S 14824 14824 11586 0 -1 1077944384 304 0 0 0 2 0 0 0 20 0 15 0 72887446 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585712003568 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14838] ppid=14824 vsize=13974352 memory=140692935677568 CPUtime=0.07 cores=1,3,5,7
/proc/14826/task/14838/stat : 14838 (java) R 14824 14824 11586 0 -1 4202560 771 0 0 0 7 0 0 0 20 0 15 0 72887446 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585710951280 140586222978012 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14839] ppid=14824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14839/stat : 14839 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887447 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585709898720 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14840] ppid=14824 vsize=13974352 memory=140692935677568 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14840/stat : 14840 (java) S 14824 14824 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72887451 14309736448 9972 18446744073709551615 4194304 4196468 140726753748512 140585708845488 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41268 KiB
[startup+0.700967 s]
/proc/loadavg: 2.55 2.16 2.04 3/214 14840
/proc/meminfo: memFree=30674928/32770624 swapFree=67108860/67108860
[pid=14824] ppid=14821 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14824/stat : 14824 (xcsp3-exec) S 14821 14824 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 72887433 9740288 345 18446744073709551615 4194304 5098028 140736724597968 140736724596072 140048369275516 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12804096 140736724603257 140736724603461 140736724603461 140736724606955 0
/proc/14824/statm: 2378 345 289 221 0 87 0
[pid=14826] ppid=14824 vsize=13978684 memory=329852 CPUtime=1.02 cores=1,3,5,7
/proc/14826/stat : 14826 (java) S 14824 14824 11586 0 -1 1077944320 11516 0 0 0 82 20 0 0 20 0 15 0 72887441 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140726753731056 140586238664439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
/proc/14826/statm: 3494671 82463 3132 1 0 3482964 0
[pid=14826/tid=14827] ppid=14824 vsize=13978684 memory=2 CPUtime=0.51 cores=1,3,5,7
/proc/14826/task/14827/stat : 14827 (java) R 14824 14824 11586 0 -1 4202560 7866 0 0 0 45 6 0 0 20 0 15 0 72887441 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140586242901920 140585841388049 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14828] ppid=14824 vsize=13978684 memory=936 CPUtime=0.04 cores=1,3,5,7
/proc/14826/task/14828/stat : 14828 (java) S 14824 14824 11586 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 15 0 72887442 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140585839094672 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14829] ppid=14824 vsize=13978684 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14826/task/14829/stat : 14829 (java) S 14824 14824 11586 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 15 0 72887442 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140585838041872 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14830] ppid=14824 vsize=13978684 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14826/task/14830/stat : 14830 (java) S 14824 14824 11586 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 15 0 72887442 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140585836989584 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14831] ppid=14824 vsize=13978684 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14826/task/14831/stat : 14831 (java) S 14824 14824 11586 0 -1 1077944384 53 0 0 0 2 2 0 0 20 0 15 0 72887442 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140585835936784 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14832] ppid=14824 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14832/stat : 14832 (java) S 14824 14824 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 72887443 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140585717266544 140586238675586 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14833] ppid=14824 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14833/stat : 14833 (java) S 14824 14824 11586 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 72887444 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140585716212512 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14834] ppid=14824 vsize=13978684 memory=22912 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14834/stat : 14834 (java) S 14824 14824 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 72887444 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140585715160176 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14835] ppid=14824 vsize=13978684 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14835/stat : 14835 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887446 14314172416 82463 18446744073709551615 4194304 4196468 140726753748512 140585714108496 140586238683035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14836] ppid=14824 vsize=13978684 memory=644 CPUtime=0.04 cores=1,3,5,7
/proc/14826/task/14836/stat : 14836 (java) S 14824 14824 11586 0 -1 1077944384 698 0 0 0 4 0 0 0 20 0 15 0 72887446 14314172416 82975 18446744073709551615 4194304 4196468 140726753748512 140585713056368 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14837] ppid=14824 vsize=13978684 memory=1788 CPUtime=0.06 cores=1,3,5,7
/proc/14826/task/14837/stat : 14837 (java) S 14824 14824 11586 0 -1 1077944384 391 0 0 0 6 0 0 0 20 0 15 0 72887446 14314172416 82975 18446744073709551615 4194304 4196468 140726753748512 140585712003568 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14838] ppid=14824 vsize=13978684 memory=956 CPUtime=0.16 cores=1,3,5,7
/proc/14826/task/14838/stat : 14838 (java) S 14824 14824 11586 0 -1 1077944384 976 0 0 0 16 0 0 0 20 0 15 0 72887446 14314172416 82975 18446744073709551615 4194304 4196468 140726753748512 140585710951280 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14839] ppid=14824 vsize=13978684 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14839/stat : 14839 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887447 14314172416 82975 18446744073709551615 4194304 4196468 140726753748512 140585709898720 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14840] ppid=14824 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14840/stat : 14840 (java) S 14824 14824 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72887451 14314172416 82975 18446744073709551615 4194304 4196468 140726753748512 140585708845488 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 331232 KiB
[startup+1.50086 s]
/proc/loadavg: 2.55 2.16 2.04 5/214 14840
/proc/meminfo: memFree=30179604/32770624 swapFree=67108860/67108860
[pid=14824] ppid=14821 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14824/stat : 14824 (xcsp3-exec) S 14821 14824 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 72887433 9740288 345 18446744073709551615 4194304 5098028 140736724597968 140736724596072 140048369275516 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12804096 140736724603257 140736724603461 140736724603461 140736724606955 0
/proc/14824/statm: 2378 345 289 221 0 87 0
[pid=14826] ppid=14824 vsize=13978684 memory=627308 CPUtime=2.59 cores=1,3,5,7
/proc/14826/stat : 14826 (java) S 14824 14824 11586 0 -1 1077944320 15049 0 0 0 234 25 0 0 20 0 15 0 72887441 14314172416 156827 18446744073709551615 4194304 4196468 140726753748512 140726753731056 140586238664439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
/proc/14826/statm: 3494671 156827 3205 1 0 3482964 0
[pid=14826/tid=14827] ppid=14824 vsize=13978684 memory=4120 CPUtime=1.19 cores=1,3,5,7
/proc/14826/task/14827/stat : 14827 (java) R 14824 14824 11586 0 -1 4202560 8080 0 0 0 109 10 0 0 20 0 15 0 72887441 14314172416 156827 18446744073709551615 4194304 4196468 140726753748512 140586242902240 140585842067843 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14828] ppid=14824 vsize=13978684 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/14826/task/14828/stat : 14828 (java) S 14824 14824 11586 0 -1 1077944384 93 0 0 0 12 3 0 0 20 0 15 0 72887442 14314172416 156827 18446744073709551615 4194304 4196468 140726753748512 140585839094672 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14829] ppid=14824 vsize=13978684 memory=22912 CPUtime=0.14 cores=1,3,5,7
/proc/14826/task/14829/stat : 14829 (java) S 14824 14824 11586 0 -1 1077944384 96 0 0 0 11 3 0 0 20 0 15 0 72887442 14314172416 156827 18446744073709551615 4194304 4196468 140726753748512 140585838041872 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14830] ppid=14824 vsize=13978684 memory=4048 CPUtime=0.15 cores=1,3,5,7
/proc/14826/task/14830/stat : 14830 (java) S 14824 14824 11586 0 -1 1077944384 106 0 0 0 12 3 0 0 20 0 15 0 72887442 14314172416 156827 18446744073709551615 4194304 4196468 140726753748512 140585836989584 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14831] ppid=14824 vsize=13978684 memory=644 CPUtime=0.14 cores=1,3,5,7
################
# More data... #
################
/proc/14826/task/14834/stat : 14834 (java) S 14824 14824 11586 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 72887444 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585715160192 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14835] ppid=14824 vsize=13980732 memory=8091228 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14835/stat : 14835 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585714108496 140586238683035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14836] ppid=14824 vsize=13980732 memory=4120 CPUtime=2.78 cores=1,3,5,7
/proc/14826/task/14836/stat : 14836 (java) S 14824 14824 11586 0 -1 1077944384 22648 0 0 0 275 3 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585713056368 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14837] ppid=14824 vsize=13980732 memory=1380 CPUtime=3.55 cores=1,3,5,7
/proc/14826/task/14837/stat : 14837 (java) S 14824 14824 11586 0 -1 1077944384 34904 0 0 0 350 5 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585712003568 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14838] ppid=14824 vsize=13980732 memory=8091228 CPUtime=0.61 cores=1,3,5,7
/proc/14826/task/14838/stat : 14838 (java) S 14824 14824 11586 0 -1 1077944384 10274 0 0 0 58 3 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585710951280 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14839] ppid=14824 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14839/stat : 14839 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887447 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585709898720 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14840] ppid=14824 vsize=13980732 memory=8091228 CPUtime=1.48 cores=1,3,5,7
/proc/14826/task/14840/stat : 14840 (java) S 14824 14824 11586 0 -1 1077944384 2735 0 0 0 66 82 0 0 20 0 15 0 72887451 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585708845488 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
Current children cumulated CPU time: 2353.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8092608 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/212 15224
/proc/meminfo: memFree=23060884/32770624 swapFree=67108860/67108860
[pid=14824] ppid=14821 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14824/stat : 14824 (xcsp3-exec) S 14821 14824 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 72887433 9740288 345 18446744073709551615 4194304 5098028 140736724597968 140736724596072 140048369275516 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12804096 140736724603257 140736724603461 140736724603461 140736724606955 0
/proc/14824/statm: 2378 345 289 221 0 87 0
[pid=14826] ppid=14824 vsize=13980732 memory=8091228 CPUtime=2413.89 cores=1,3,5,7
/proc/14826/stat : 14826 (java) S 14824 14824 11586 0 -1 1077944320 902411 0 0 0 240444 945 0 0 20 0 15 0 72887441 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140726753731056 140586238664439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
/proc/14826/statm: 3495183 2022807 3241 1 0 3483476 0
[pid=14826/tid=14827] ppid=14824 vsize=13980732 memory=8091228 CPUtime=2372.46 cores=1,3,5,7
/proc/14826/task/14827/stat : 14827 (java) R 14824 14824 11586 0 -1 4202560 566143 0 0 0 237192 54 0 0 20 0 15 0 72887441 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140586242901496 140585844815549 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14828] ppid=14824 vsize=13980732 memory=8091228 CPUtime=7.71 cores=1,3,5,7
/proc/14826/task/14828/stat : 14828 (java) S 14824 14824 11586 0 -1 1077944384 64778 0 0 0 559 212 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585839094672 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14829] ppid=14824 vsize=13980732 memory=8091228 CPUtime=7.71 cores=1,3,5,7
/proc/14826/task/14829/stat : 14829 (java) S 14824 14824 11586 0 -1 1077944384 57451 0 0 0 576 195 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585838041872 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14830] ppid=14824 vsize=13980732 memory=8091228 CPUtime=7.7 cores=1,3,5,7
/proc/14826/task/14830/stat : 14830 (java) S 14824 14824 11586 0 -1 1077944384 60595 0 0 0 565 205 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585836989584 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14831] ppid=14824 vsize=13980732 memory=8091228 CPUtime=7.67 cores=1,3,5,7
/proc/14826/task/14831/stat : 14831 (java) S 14824 14824 11586 0 -1 1077944384 63635 0 0 0 589 178 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585835936784 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14832] ppid=14824 vsize=13980732 memory=1380 CPUtime=2.07 cores=1,3,5,7
/proc/14826/task/14832/stat : 14832 (java) S 14824 14824 11586 0 -1 1077944384 16784 0 0 0 200 7 0 0 20 0 15 0 72887443 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585717266544 140586238675586 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14833] ppid=14824 vsize=13980732 memory=8091228 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14833/stat : 14833 (java) S 14824 14824 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 72887444 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585716212576 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14834] ppid=14824 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14834/stat : 14834 (java) S 14824 14824 11586 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 72887444 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585715160192 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14835] ppid=14824 vsize=13980732 memory=8091228 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14835/stat : 14835 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585714108496 140586238683035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14836] ppid=14824 vsize=13980732 memory=-8774313645642428999 CPUtime=2.79 cores=1,3,5,7
/proc/14826/task/14836/stat : 14836 (java) S 14824 14824 11586 0 -1 1077944384 23675 0 0 0 276 3 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585713056368 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14837] ppid=14824 vsize=13980732 memory=836 CPUtime=3.55 cores=1,3,5,7
/proc/14826/task/14837/stat : 14837 (java) S 14824 14824 11586 0 -1 1077944384 34908 0 0 0 350 5 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585712003568 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14838] ppid=14824 vsize=13980732 memory=1380 CPUtime=0.61 cores=1,3,5,7
/proc/14826/task/14838/stat : 14838 (java) S 14824 14824 11586 0 -1 1077944384 10281 0 0 0 58 3 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585710951280 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14839] ppid=14824 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14839/stat : 14839 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887447 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585709898720 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14840] ppid=14824 vsize=13980732 memory=8091228 CPUtime=1.53 cores=1,3,5,7
/proc/14826/task/14840/stat : 14840 (java) S 14824 14824 11586 0 -1 1077944384 2780 0 0 0 69 84 0 0 20 0 15 0 72887451 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585708845488 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
Current children cumulated CPU time: 2413.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8092608 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/215 15239
/proc/meminfo: memFree=23055508/32770624 swapFree=67108860/67108860
[pid=14824] ppid=14821 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14824/stat : 14824 (xcsp3-exec) S 14821 14824 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 72887433 9740288 345 18446744073709551615 4194304 5098028 140736724597968 140736724596072 140048369275516 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12804096 140736724603257 140736724603461 140736724603461 140736724606955 0
/proc/14824/statm: 2378 345 289 221 0 87 0
[pid=14826] ppid=14824 vsize=13980732 memory=8091228 CPUtime=2473.93 cores=1,3,5,7
/proc/14826/stat : 14826 (java) S 14824 14824 11586 0 -1 1077944320 905434 0 0 0 246446 947 0 0 20 0 15 0 72887441 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140726753731056 140586238664439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
/proc/14826/statm: 3495183 2022807 3241 1 0 3483476 0
[pid=14826/tid=14827] ppid=14824 vsize=13980732 memory=8091228 CPUtime=2432.46 cores=1,3,5,7
/proc/14826/task/14827/stat : 14827 (java) R 14824 14824 11586 0 -1 4202560 569103 0 0 0 243192 54 0 0 20 0 15 0 72887441 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140586242901496 140585843241568 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14828] ppid=14824 vsize=13980732 memory=8091228 CPUtime=7.71 cores=1,3,5,7
/proc/14826/task/14828/stat : 14828 (java) S 14824 14824 11586 0 -1 1077944384 64778 0 0 0 559 212 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585839094672 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14829] ppid=14824 vsize=13980732 memory=8091228 CPUtime=7.71 cores=1,3,5,7
/proc/14826/task/14829/stat : 14829 (java) S 14824 14824 11586 0 -1 1077944384 57451 0 0 0 576 195 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585838041872 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14830] ppid=14824 vsize=13980732 memory=8091228 CPUtime=7.7 cores=1,3,5,7
/proc/14826/task/14830/stat : 14830 (java) S 14824 14824 11586 0 -1 1077944384 60595 0 0 0 565 205 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585836989584 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14831] ppid=14824 vsize=13980732 memory=8091228 CPUtime=7.67 cores=1,3,5,7
/proc/14826/task/14831/stat : 14831 (java) S 14824 14824 11586 0 -1 1077944384 63635 0 0 0 589 178 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585835936784 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14832] ppid=14824 vsize=13980732 memory=8091228 CPUtime=2.07 cores=1,3,5,7
/proc/14826/task/14832/stat : 14832 (java) S 14824 14824 11586 0 -1 1077944384 16793 0 0 0 200 7 0 0 20 0 15 0 72887443 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585717266544 140586238675586 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14833] ppid=14824 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14833/stat : 14833 (java) S 14824 14824 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 72887444 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585716212576 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14834] ppid=14824 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14834/stat : 14834 (java) S 14824 14824 11586 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 72887444 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585715160192 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14835] ppid=14824 vsize=13980732 memory=8091228 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14835/stat : 14835 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585714108496 140586238683035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14836] ppid=14824 vsize=13980732 memory=1380 CPUtime=2.79 cores=1,3,5,7
/proc/14826/task/14836/stat : 14836 (java) S 14824 14824 11586 0 -1 1077944384 23678 0 0 0 276 3 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585713056368 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14837] ppid=14824 vsize=13980732 memory=1380 CPUtime=3.55 cores=1,3,5,7
/proc/14826/task/14837/stat : 14837 (java) S 14824 14824 11586 0 -1 1077944384 34915 0 0 0 350 5 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585712003568 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14838] ppid=14824 vsize=13980732 memory=1380 CPUtime=0.61 cores=1,3,5,7
/proc/14826/task/14838/stat : 14838 (java) S 14824 14824 11586 0 -1 1077944384 10285 0 0 0 58 3 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585710951280 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14839] ppid=14824 vsize=13980732 memory=8091228 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14839/stat : 14839 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887447 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585709898720 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14840] ppid=14824 vsize=13980732 memory=1728 CPUtime=1.56 cores=1,3,5,7
/proc/14826/task/14840/stat : 14840 (java) S 14824 14824 11586 0 -1 1077944384 2820 0 0 0 70 86 0 0 20 0 15 0 72887451 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585708845488 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
Current children cumulated CPU time: 2473.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8092608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2488.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/215 15241
/proc/meminfo: memFree=23051796/32770624 swapFree=67108860/67108860
[pid=14824] ppid=14821 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14824/stat : 14824 (xcsp3-exec) S 14821 14824 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 72887433 9740288 345 18446744073709551615 4194304 5098028 140736724597968 140736724596072 140048369275516 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 12804096 140736724603257 140736724603461 140736724603461 140736724606955 0
/proc/14824/statm: 2378 345 289 221 0 87 0
[pid=14826] ppid=14824 vsize=13980732 memory=8091228 CPUtime=2520.06 cores=1,3,5,7
/proc/14826/stat : 14826 (java) S 14824 14824 11586 0 -1 1077944320 906592 0 0 0 251057 949 0 0 20 0 15 0 72887441 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140726753731056 140586238664439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
/proc/14826/statm: 3495183 2022807 3241 1 0 3483476 0
[pid=14826/tid=14827] ppid=14824 vsize=13980732 memory=-8774313645642428999 CPUtime=2478.56 cores=1,3,5,7
/proc/14826/task/14827/stat : 14827 (java) R 14824 14824 11586 0 -1 4202560 570206 0 0 0 247802 54 0 0 20 0 15 0 72887441 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140586242901496 140585843938543 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14828] ppid=14824 vsize=13980732 memory=6944656592455360604 CPUtime=7.71 cores=1,3,5,7
/proc/14826/task/14828/stat : 14828 (java) S 14824 14824 11586 0 -1 1077944384 64778 0 0 0 559 212 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585839094672 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14829] ppid=14824 vsize=13980732 memory=6943526294502006880 CPUtime=7.71 cores=1,3,5,7
/proc/14826/task/14829/stat : 14829 (java) S 14824 14824 11586 0 -1 1077944384 57451 0 0 0 576 195 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585838041872 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14830] ppid=14824 vsize=13980732 memory=6944656592455097440 CPUtime=7.7 cores=1,3,5,7
/proc/14826/task/14830/stat : 14830 (java) S 14824 14824 11586 0 -1 1077944384 60595 0 0 0 565 205 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585836989584 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14831] ppid=14824 vsize=13980732 memory=1380 CPUtime=7.67 cores=1,3,5,7
/proc/14826/task/14831/stat : 14831 (java) S 14824 14824 11586 0 -1 1077944384 63635 0 0 0 589 178 0 0 20 0 15 0 72887442 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585835936784 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14832] ppid=14824 vsize=13980732 memory=8091228 CPUtime=2.07 cores=1,3,5,7
/proc/14826/task/14832/stat : 14832 (java) S 14824 14824 11586 0 -1 1077944384 16802 0 0 0 200 7 0 0 20 0 15 0 72887443 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585717266544 140586238675586 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14833] ppid=14824 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14833/stat : 14833 (java) S 14824 14824 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 72887444 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585716212576 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14834] ppid=14824 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14834/stat : 14834 (java) S 14824 14824 11586 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 72887444 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585715160192 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14835] ppid=14824 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14835/stat : 14835 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585714108496 140586238683035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14836] ppid=14824 vsize=13980732 memory=15880 CPUtime=2.79 cores=1,3,5,7
/proc/14826/task/14836/stat : 14836 (java) S 14824 14824 11586 0 -1 1077944384 23681 0 0 0 276 3 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585713056368 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14837] ppid=14824 vsize=13980732 memory=16240 CPUtime=3.55 cores=1,3,5,7
/proc/14826/task/14837/stat : 14837 (java) S 14824 14824 11586 0 -1 1077944384 34919 0 0 0 350 5 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585712003568 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14838] ppid=14824 vsize=13980732 memory=22988 CPUtime=0.61 cores=1,3,5,7
/proc/14826/task/14838/stat : 14838 (java) S 14824 14824 11586 0 -1 1077944384 10292 0 0 0 58 3 0 0 20 0 15 0 72887446 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585710951280 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14839] ppid=14824 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/14826/task/14839/stat : 14839 (java) S 14824 14824 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72887447 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585709898720 140586238674645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
[pid=14826/tid=14840] ppid=14824 vsize=13980732 memory=644 CPUtime=1.59 cores=1,3,5,7
/proc/14826/task/14840/stat : 14840 (java) S 14824 14824 11586 0 -1 1077944384 2852 0 0 0 71 88 0 0 20 0 15 0 72887451 14316269568 2022807 18446744073709551615 4194304 4196468 140726753748512 140585708845488 140586238675586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 36847616 140726753755569 140726753755745 140726753755745 140726753759183 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8092608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2488.41 s]
# the end of solver process 14824 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001843 s, system=0 s
[startup+2488.44 s]
# the end of solver process 14826 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.59 s, system=9.52995 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2488.44
CPU time (s): 2520.12
CPU user time (s): 2510.59
CPU system time (s): 9.52995
CPU usage (%): 101.273
Max. virtual memory (cumulated for all children) (KiB): 13992112
Max. memory (cumulated for all children) (KiB): 8103984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.59
system time used= 9.52995
maximum resident set size= 8102604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 907960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62469
involuntary context switches= 1053
# summary of solver processes directly reported to runsolver:
# pid: 14824,14826
# total CPU time (s): 2520.12
# total CPU user time (s): 2510.59
# total CPU system time (s): 9.52995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4332 second user time and 25.0479 second system time
The end