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 (15077 MiB free)
memory of node 1: 16384 MiB (14914 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270015-1502622669/watcher-4270015-1502622669 -o /tmp/evaluation-result-4270015-1502622669/solver-4270015-1502622669 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502620465-28447 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 929085227 HOME/instance-4270015-1502622669.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=29879, runsolver pid=29876
[startup+0.100117 s]*
/proc/loadavg: 1.38 1.67 1.89 3/202 29882
/proc/meminfo: memFree=30708524/32770624 swapFree=67108860/67108860
[pid=29879] ppid=29876 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29879/stat : 29879 (xcsp3-exec) S 29876 29879 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104178213 9740288 345 18446744073709551615 4194304 5098028 140733745815248 140733745813352 140581607948924 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 30117888 140733745820031 140733745820234 140733745820234 140733745823723 0
/proc/29879/statm: 2378 345 289 221 0 87 0
[pid=29881] ppid=29879 vsize=13358712 memory=16144 CPUtime=0 cores=0,2,4,6
/proc/29881/stat : 29881 (java) S 29879 29879 12395 0 -1 1077944320 3298 0 0 0 0 0 0 0 20 0 6 0 104178222 13679321088 4036 18446744073709551615 4194304 4196468 140735903583824 140735903566368 140374153150199 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
/proc/29881/statm: 3339678 4036 1900 1 0 3329175 0
[pid=29881/tid=29882] ppid=29879 vsize=13358712 memory=4206989191851631162 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29882/stat : 29882 (java) R 29879 29879 12395 0 -1 4202560 2064 0 0 0 0 0 0 0 20 0 6 0 104178222 13679321088 4036 18446744073709551615 4194304 4196468 140735903583824 140374157386320 140374138832725 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29883] ppid=29879 vsize=13358712 memory=3461491189300401801 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29883/stat : 29883 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 104178223 13679321088 4036 18446744073709551615 4194304 4196468 140735903583824 140374095096848 140374153160405 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29884] ppid=29879 vsize=13358712 memory=140584670717568 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29884/stat : 29884 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 104178223 13679321088 4036 18446744073709551615 4194304 4196468 140735903583824 140373752552592 140374153160405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29885] ppid=29879 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29885/stat : 29885 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 104178223 13679321088 4036 18446744073709551615 4194304 4196468 140735903583824 140373751499536 140374153160405 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29886] ppid=29879 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29886/stat : 29886 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 104178223 13679321088 4036 18446744073709551615 4194304 4196468 140735903583824 140373750446992 140374153160405 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17524 KiB
[startup+0.213243 s]*
/proc/loadavg: 1.38 1.67 1.89 4/215 29895
/proc/meminfo: memFree=30695776/32770624 swapFree=67108860/67108860
[pid=29879] ppid=29876 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29879/stat : 29879 (xcsp3-exec) S 29876 29879 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104178213 9740288 345 18446744073709551615 4194304 5098028 140733745815248 140733745813352 140581607948924 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 30117888 140733745820031 140733745820234 140733745820234 140733745823723 0
/proc/29879/statm: 2378 345 289 221 0 87 0
[pid=29881] ppid=29879 vsize=13974352 memory=28136 CPUtime=0.1 cores=0,2,4,6
/proc/29881/stat : 29881 (java) S 29879 29879 12395 0 -1 1077944320 4938 0 0 0 8 2 0 0 20 0 15 0 104178222 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140735903566368 140374153150199 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
/proc/29881/statm: 3493588 7034 2749 1 0 3482964 0
[pid=29881/tid=29882] ppid=29879 vsize=13974352 memory=-6224646952709099870 CPUtime=0.07 cores=0,2,4,6
/proc/29881/task/29882/stat : 29882 (java) R 29879 29879 12395 0 -1 4202560 3072 0 0 0 6 1 0 0 20 0 15 0 104178222 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140374157374288 140374153172125 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29883] ppid=29879 vsize=13974352 memory=3461491189300401801 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29883/stat : 29883 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178223 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140374095096848 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29884] ppid=29879 vsize=13974352 memory=140584670717568 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29884/stat : 29884 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178223 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373752552592 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29885] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29885/stat : 29885 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178223 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373751499536 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29886] ppid=29879 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29886/stat : 29886 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178223 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373750446992 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29887] ppid=29879 vsize=13974352 memory=140584670717568 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29887/stat : 29887 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178224 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373698894064 140374153161346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29888] ppid=29879 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29888/stat : 29888 (java) S 29879 29879 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104178225 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373697840288 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29889] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29889/stat : 29889 (java) S 29879 29879 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104178225 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373696787184 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29890] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29890/stat : 29890 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373695735760 140374153168795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29891] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29891/stat : 29891 (java) S 29879 29879 12395 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 104178227 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373694683888 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29892] ppid=29879 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29892/stat : 29892 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178227 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373693631344 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29893] ppid=29879 vsize=13974352 memory=140584670717568 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29893/stat : 29893 (java) S 29879 29879 12395 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 15 0 104178227 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373692578288 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29894] ppid=29879 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29894/stat : 29894 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373624089440 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29895] ppid=29879 vsize=13974352 memory=140584670717568 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29895/stat : 29895 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178232 14309736448 7034 18446744073709551615 4194304 4196468 140735903583824 140373623036464 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29516 KiB
[startup+0.31422 s]*
/proc/loadavg: 1.38 1.67 1.89 4/215 29895
/proc/meminfo: memFree=30684076/32770624 swapFree=67108860/67108860
[pid=29879] ppid=29876 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29879/stat : 29879 (xcsp3-exec) S 29876 29879 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104178213 9740288 345 18446744073709551615 4194304 5098028 140733745815248 140733745813352 140581607948924 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 30117888 140733745820031 140733745820234 140733745820234 140733745823723 0
/proc/29879/statm: 2378 345 289 221 0 87 0
[pid=29881] ppid=29879 vsize=13974352 memory=37800 CPUtime=0.29 cores=0,2,4,6
/proc/29881/stat : 29881 (java) S 29879 29879 12395 0 -1 1077944320 8509 0 0 0 25 4 0 0 20 0 15 0 104178222 14309736448 9450 18446744073709551615 4194304 4196468 140735903583824 140735903566368 140374153150199 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
/proc/29881/statm: 3493588 9450 2992 1 0 3482964 0
[pid=29881/tid=29882] ppid=29879 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/29881/task/29882/stat : 29882 (java) R 29879 29879 12395 0 -1 4202560 5699 0 0 0 15 2 0 0 20 0 15 0 104178222 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140374157384592 140374153162134 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29883] ppid=29879 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29883/stat : 29883 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178223 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140374095096848 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29884] ppid=29879 vsize=13974352 memory=140584670724561 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29884/stat : 29884 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178223 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373752552592 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29885] ppid=29879 vsize=13974352 memory=5859866373344357736 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29885/stat : 29885 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178223 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373751499536 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29886] ppid=29879 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29886/stat : 29886 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178223 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373750446992 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29887] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29887/stat : 29887 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178224 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373698894064 140374153161346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29888] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29888/stat : 29888 (java) S 29879 29879 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104178225 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373697840288 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29889] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29889/stat : 29889 (java) S 29879 29879 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104178225 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373696787184 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29890] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29890/stat : 29890 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373695735760 140374153168795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29891] ppid=29879 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29881/task/29891/stat : 29891 (java) R 29879 29879 12395 0 -1 4202560 736 0 0 0 2 0 0 0 20 0 15 0 104178227 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373694683888 140374132812416 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29892] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29892/stat : 29892 (java) R 29879 29879 12395 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 15 0 104178227 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373693631344 140374146135241 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29893] ppid=29879 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/29881/task/29893/stat : 29893 (java) R 29879 29879 12395 0 -1 1077944384 691 0 0 0 6 0 0 0 20 0 15 0 104178227 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373692578288 140374153161346 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29894] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29894/stat : 29894 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373624089440 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29895] ppid=29879 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29895/stat : 29895 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178232 14309736448 9962 18446744073709551615 4194304 4196468 140735903583824 140373623036464 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 39180 KiB
[startup+0.701279 s]
/proc/loadavg: 1.38 1.67 1.89 3/215 29895
/proc/meminfo: memFree=30671156/32770624 swapFree=67108860/67108860
[pid=29879] ppid=29876 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29879/stat : 29879 (xcsp3-exec) S 29876 29879 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104178213 9740288 345 18446744073709551615 4194304 5098028 140733745815248 140733745813352 140581607948924 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 30117888 140733745820031 140733745820234 140733745820234 140733745823723 0
/proc/29879/statm: 2378 345 289 221 0 87 0
[pid=29881] ppid=29879 vsize=13980732 memory=85384 CPUtime=1.31 cores=0,2,4,6
/proc/29881/stat : 29881 (java) S 29879 29879 12395 0 -1 1077944320 13035 0 0 0 126 5 0 0 20 0 15 0 104178222 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140735903566368 140374153150199 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
/proc/29881/statm: 3495183 21346 3169 1 0 3483476 0
[pid=29881/tid=29882] ppid=29879 vsize=13980732 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/29881/task/29882/stat : 29882 (java) R 29879 29879 12395 0 -1 4202560 7481 0 0 0 52 3 0 0 20 0 15 0 104178222 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140374157370416 140374114107438 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29883] ppid=29879 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29883/stat : 29883 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178223 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140374095096848 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29884] ppid=29879 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29884/stat : 29884 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178223 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373752552592 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29885] ppid=29879 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29885/stat : 29885 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178223 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373751499536 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29886] ppid=29879 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29886/stat : 29886 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178223 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373750446992 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29887] ppid=29879 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29887/stat : 29887 (java) S 29879 29879 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104178224 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373698894064 140374153161346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29888] ppid=29879 vsize=13980732 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29888/stat : 29888 (java) S 29879 29879 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373697840288 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29889] ppid=29879 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29889/stat : 29889 (java) S 29879 29879 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373696787184 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29890] ppid=29879 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29890/stat : 29890 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373695735760 140374153168795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29891] ppid=29879 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/29881/task/29891/stat : 29891 (java) R 29879 29879 12395 0 -1 4202560 2025 0 0 0 24 0 0 0 20 0 15 0 104178227 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373694664904 140374134672676 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29892] ppid=29879 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/29881/task/29892/stat : 29892 (java) R 29879 29879 12395 0 -1 4202560 823 0 0 0 21 0 0 0 20 0 15 0 104178227 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373693617368 140374138060232 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29893] ppid=29879 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/29881/task/29893/stat : 29893 (java) S 29879 29879 12395 0 -1 1077944384 1398 0 0 0 28 0 0 0 20 0 15 0 104178227 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373692578288 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29894] ppid=29879 vsize=13980732 memory=19265 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29894/stat : 29894 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373624089440 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29895] ppid=29879 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29895/stat : 29895 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178232 14316269568 21346 18446744073709551615 4194304 4196468 140735903583824 140373623036464 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 86764 KiB
[startup+1.50079 s]
/proc/loadavg: 1.38 1.67 1.89 4/215 29895
/proc/meminfo: memFree=30627396/32770624 swapFree=67108860/67108860
[pid=29879] ppid=29876 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29879/stat : 29879 (xcsp3-exec) S 29876 29879 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104178213 9740288 345 18446744073709551615 4194304 5098028 140733745815248 140733745813352 140581607948924 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 30117888 140733745820031 140733745820234 140733745820234 140733745823723 0
/proc/29879/statm: 2378 345 289 221 0 87 0
[pid=29881] ppid=29879 vsize=13980732 memory=108812 CPUtime=2.84 cores=0,2,4,6
/proc/29881/stat : 29881 (java) S 29879 29879 12395 0 -1 1077944320 17297 0 0 0 278 6 0 0 20 0 15 0 104178222 14316269568 27203 18446744073709551615 4194304 4196468 140735903583824 140735903566368 140374153150199 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
/proc/29881/statm: 3495183 27203 3179 1 0 3483476 0
[pid=29881/tid=29882] ppid=29879 vsize=13980732 memory=281169094587456 CPUtime=1.35 cores=0,2,4,6
/proc/29881/task/29882/stat : 29882 (java) R 29879 29879 12395 0 -1 4202560 8500 0 0 0 131 4 0 0 20 0 15 0 104178222 14316269568 27203 18446744073709551615 4194304 4196468 140735903583824 140374157390352 140373779136804 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29883] ppid=29879 vsize=13980732 memory=144314227 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29883/stat : 29883 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178223 14316269568 27203 18446744073709551615 4194304 4196468 140735903583824 140374095096848 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29884] ppid=29879 vsize=13980732 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29884/stat : 29884 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178223 14316269568 27203 18446744073709551615 4194304 4196468 140735903583824 140373752552592 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29885] ppid=29879 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29885/stat : 29885 (java) S 29879 29879 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104178223 14316269568 27203 18446744073709551615 4194304 4196468 140735903583824 140373751499536 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29886] ppid=29879 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29886/stat : 29886 (java) S 29879 29879 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104178223 14316269568 27203 18446744073709551615 4194304 4196468 140735903583824 140373750446992 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29887] ppid=29879 vsize=13980732 memory=1470 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29887/stat : 29887 (java) S 29879 29879 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104178224 14316269568 27203 18446744073709551615 4194304 4196468 140735903583824 140373698894064 140374153161346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29888] ppid=29879 vsize=13980732 memory=737 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29888/stat : 29888 (java) S 29879 29879 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 27203 18446744073709551615 4194304 4196468 140735903583824 140373697840288 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29889] ppid=29879 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=29881/tid=29887] ppid=29879 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29887/stat : 29887 (java) S 29879 29879 12395 0 -1 1077944384 1104 0 0 0 0 0 0 0 20 0 15 0 104178224 14316269568 55173 18446744073709551615 4194304 4196468 140735903583824 140373698894064 140374153161346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29888] ppid=29879 vsize=13980732 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29888/stat : 29888 (java) S 29879 29879 12395 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 55173 18446744073709551615 4194304 4196468 140735903583824 140373697840352 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29889] ppid=29879 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29889/stat : 29889 (java) S 29879 29879 12395 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 55173 18446744073709551615 4194304 4196468 140735903583824 140373696787200 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29890] ppid=29879 vsize=13980732 memory=218624 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29890/stat : 29890 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 55173 18446744073709551615 4194304 4196468 140735903583824 140373695735760 140374153168795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29891] ppid=29879 vsize=13980732 memory=1380 CPUtime=1.35 cores=0,2,4,6
/proc/29881/task/29891/stat : 29891 (java) S 29879 29879 12395 0 -1 1077944384 8109 0 0 0 134 1 0 0 20 0 15 0 104178227 14316269568 55173 18446744073709551615 4194304 4196468 140735903583824 140373694683888 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29892] ppid=29879 vsize=13980732 memory=220692 CPUtime=1.18 cores=0,2,4,6
/proc/29881/task/29892/stat : 29892 (java) S 29879 29879 12395 0 -1 1077944384 8175 0 0 0 118 0 0 0 20 0 15 0 104178227 14316269568 55173 18446744073709551615 4194304 4196468 140735903583824 140373693631344 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29893] ppid=29879 vsize=13980732 memory=-8774313645642428999 CPUtime=0.49 cores=0,2,4,6
/proc/29881/task/29893/stat : 29893 (java) S 29879 29879 12395 0 -1 1077944384 4223 0 0 0 48 1 0 0 20 0 15 0 104178227 14316269568 55173 18446744073709551615 4194304 4196468 140735903583824 140373692578288 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29894] ppid=29879 vsize=13980732 memory=220692 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29894/stat : 29894 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 55173 18446744073709551615 4194304 4196468 140735903583824 140373624089440 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29895] ppid=29879 vsize=13980732 memory=4132 CPUtime=0.03 cores=0,2,4,6
/proc/29881/task/29895/stat : 29895 (java) S 29879 29879 12395 0 -1 1077944384 301 0 0 0 1 2 0 0 20 0 15 0 104178232 14316269568 55173 18446744073709551615 4194304 4196468 140735903583824 140373623036464 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
Current children cumulated CPU time: 105.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 222072 KiB
[startup+162.301 s]
/proc/loadavg: 1.91 1.76 1.89 3/216 29980
/proc/meminfo: memFree=30422992/32770624 swapFree=67108860/67108860
[pid=29879] ppid=29876 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29879/stat : 29879 (xcsp3-exec) S 29876 29879 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104178213 9740288 345 18446744073709551615 4194304 5098028 140733745815248 140733745813352 140581607948924 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 30117888 140733745820031 140733745820234 140733745820234 140733745823723 0
/proc/29879/statm: 2378 345 289 221 0 87 0
[pid=29881] ppid=29879 vsize=13980732 memory=230424 CPUtime=165.44 cores=0,2,4,6
/proc/29881/stat : 29881 (java) S 29879 29879 12395 0 -1 1077944320 40292 0 0 0 16523 21 0 0 20 0 15 0 104178222 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140735903566368 140374153150199 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
/proc/29881/statm: 3495183 57606 3227 1 0 3483476 0
[pid=29881/tid=29882] ppid=29879 vsize=13980732 memory=1380 CPUtime=162.08 cores=0,2,4,6
/proc/29881/task/29882/stat : 29882 (java) R 29879 29879 12395 0 -1 4202560 12063 0 0 0 16203 5 0 0 20 0 15 0 104178222 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140374157389680 140373779803164 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29883] ppid=29879 vsize=13980732 memory=230424 CPUtime=0.04 cores=0,2,4,6
/proc/29881/task/29883/stat : 29883 (java) S 29879 29879 12395 0 -1 1077944384 1152 0 0 0 2 2 0 0 20 0 15 0 104178223 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140374095096848 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29884] ppid=29879 vsize=13980732 memory=230424 CPUtime=0.04 cores=0,2,4,6
/proc/29881/task/29884/stat : 29884 (java) S 29879 29879 12395 0 -1 1077944384 621 0 0 0 2 2 0 0 20 0 15 0 104178223 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373752552592 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29885] ppid=29879 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/29881/task/29885/stat : 29885 (java) S 29879 29879 12395 0 -1 1077944384 1005 0 0 0 2 2 0 0 20 0 15 0 104178223 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373751499536 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29886] ppid=29879 vsize=13980732 memory=230424 CPUtime=0.04 cores=0,2,4,6
/proc/29881/task/29886/stat : 29886 (java) S 29879 29879 12395 0 -1 1077944384 1205 0 0 0 3 1 0 0 20 0 15 0 104178223 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373750446992 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29887] ppid=29879 vsize=13980732 memory=230424 CPUtime=0.01 cores=0,2,4,6
/proc/29881/task/29887/stat : 29887 (java) S 29879 29879 12395 0 -1 1077944384 1309 0 0 0 1 0 0 0 20 0 15 0 104178224 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373698894064 140374153161346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29888] ppid=29879 vsize=13980732 memory=230424 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29888/stat : 29888 (java) S 29879 29879 12395 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373697840352 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29889] ppid=29879 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29889/stat : 29889 (java) S 29879 29879 12395 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373696787200 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29890] ppid=29879 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29890/stat : 29890 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373695735760 140374153168795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29891] ppid=29879 vsize=13980732 memory=4132 CPUtime=1.35 cores=0,2,4,6
/proc/29881/task/29891/stat : 29891 (java) S 29879 29879 12395 0 -1 1077944384 8109 0 0 0 134 1 0 0 20 0 15 0 104178227 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373694683888 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29892] ppid=29879 vsize=13980732 memory=1380 CPUtime=1.19 cores=0,2,4,6
/proc/29881/task/29892/stat : 29892 (java) S 29879 29879 12395 0 -1 1077944384 8756 0 0 0 119 0 0 0 20 0 15 0 104178227 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373693631344 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29893] ppid=29879 vsize=13980732 memory=218624 CPUtime=0.49 cores=0,2,4,6
/proc/29881/task/29893/stat : 29893 (java) S 29879 29879 12395 0 -1 1077944384 4389 0 0 0 48 1 0 0 20 0 15 0 104178227 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373692578288 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29894] ppid=29879 vsize=13980732 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29894/stat : 29894 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373624089440 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29895] ppid=29879 vsize=13980732 memory=51168 CPUtime=0.05 cores=0,2,4,6
/proc/29881/task/29895/stat : 29895 (java) S 29879 29879 12395 0 -1 1077944384 308 0 0 0 2 3 0 0 20 0 15 0 104178232 14316269568 57606 18446744073709551615 4194304 4196468 140735903583824 140373623036464 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
Current children cumulated CPU time: 165.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 231804 KiB
[startup+222.301 s]
/proc/loadavg: 1.97 1.81 1.89 3/219 29996
/proc/meminfo: memFree=30416448/32770624 swapFree=67108860/67108860
[pid=29879] ppid=29876 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29879/stat : 29879 (xcsp3-exec) S 29876 29879 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104178213 9740288 345 18446744073709551615 4194304 5098028 140733745815248 140733745813352 140581607948924 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 30117888 140733745820031 140733745820234 140733745820234 140733745823723 0
/proc/29879/statm: 2378 345 289 221 0 87 0
[pid=29881] ppid=29879 vsize=13980732 memory=233032 CPUtime=225.57 cores=0,2,4,6
/proc/29881/stat : 29881 (java) S 29879 29879 12395 0 -1 1077944320 43463 0 0 0 22534 23 0 0 20 0 15 0 104178222 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140735903566368 140374153150199 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
/proc/29881/statm: 3495183 58258 3227 1 0 3483476 0
[pid=29881/tid=29882] ppid=29879 vsize=13980732 memory=233032 CPUtime=222.08 cores=0,2,4,6
/proc/29881/task/29882/stat : 29882 (java) R 29879 29879 12395 0 -1 4202560 12549 0 0 0 22203 5 0 0 20 0 15 0 104178222 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140374157386600 140373779802860 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29883] ppid=29879 vsize=13980732 memory=233032 CPUtime=0.04 cores=0,2,4,6
/proc/29881/task/29883/stat : 29883 (java) S 29879 29879 12395 0 -1 1077944384 1222 0 0 0 2 2 0 0 20 0 15 0 104178223 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140374095096848 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29884] ppid=29879 vsize=13980732 memory=233032 CPUtime=0.04 cores=0,2,4,6
/proc/29881/task/29884/stat : 29884 (java) S 29879 29879 12395 0 -1 1077944384 963 0 0 0 2 2 0 0 20 0 15 0 104178223 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373752552592 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29885] ppid=29879 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/29881/task/29885/stat : 29885 (java) S 29879 29879 12395 0 -1 1077944384 1021 0 0 0 2 2 0 0 20 0 15 0 104178223 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373751499536 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29886] ppid=29879 vsize=13980732 memory=281169095679984 CPUtime=0.05 cores=0,2,4,6
/proc/29881/task/29886/stat : 29886 (java) S 29879 29879 12395 0 -1 1077944384 1220 0 0 0 3 2 0 0 20 0 15 0 104178223 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373750446992 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29887] ppid=29879 vsize=13980732 memory=4 CPUtime=0.01 cores=0,2,4,6
/proc/29881/task/29887/stat : 29887 (java) S 29879 29879 12395 0 -1 1077944384 1529 0 0 0 1 0 0 0 20 0 15 0 104178224 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373698894064 140374153161346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29888] ppid=29879 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29888/stat : 29888 (java) S 29879 29879 12395 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373697840352 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29889] ppid=29879 vsize=13980732 memory=233032 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29889/stat : 29889 (java) S 29879 29879 12395 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373696787200 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29890] ppid=29879 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29890/stat : 29890 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373695735760 140374153168795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29891] ppid=29879 vsize=13980732 memory=1236 CPUtime=1.4 cores=0,2,4,6
/proc/29881/task/29891/stat : 29891 (java) S 29879 29879 12395 0 -1 1077944384 8814 0 0 0 139 1 0 0 20 0 15 0 104178227 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373694683888 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29892] ppid=29879 vsize=13980732 memory=2240 CPUtime=1.25 cores=0,2,4,6
/proc/29881/task/29892/stat : 29892 (java) S 29879 29879 12395 0 -1 1077944384 9683 0 0 0 124 1 0 0 20 0 15 0 104178227 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373693631344 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29893] ppid=29879 vsize=13980732 memory=4296 CPUtime=0.5 cores=0,2,4,6
/proc/29881/task/29893/stat : 29893 (java) S 29879 29879 12395 0 -1 1077944384 4740 0 0 0 49 1 0 0 20 0 15 0 104178227 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373692578288 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29894] ppid=29879 vsize=13980732 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29894/stat : 29894 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373624089440 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29895] ppid=29879 vsize=13980732 memory=2460 CPUtime=0.06 cores=0,2,4,6
/proc/29881/task/29895/stat : 29895 (java) S 29879 29879 12395 0 -1 1077944384 347 0 0 0 2 4 0 0 20 0 15 0 104178232 14316269568 58258 18446744073709551615 4194304 4196468 140735903583824 140373623036464 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
Current children cumulated CPU time: 225.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 234412 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.89 1.80 1.89 3/219 30020
/proc/meminfo: memFree=30424208/32770624 swapFree=67108860/67108860
[pid=29879] ppid=29876 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29879/stat : 29879 (xcsp3-exec) S 29876 29879 12395 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104178213 9740288 345 18446744073709551615 4194304 5098028 140733745815248 140733745813352 140581607948924 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 30117888 140733745820031 140733745820234 140733745820234 140733745823723 0
/proc/29879/statm: 2378 345 289 221 0 87 0
[pid=29881] ppid=29879 vsize=13980732 memory=222248 CPUtime=243.28 cores=0,2,4,6
/proc/29881/stat : 29881 (java) S 29879 29879 12395 0 -1 1077944320 43470 0 0 0 24305 23 0 0 20 0 15 0 104178222 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140735903566368 140374153150199 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
/proc/29881/statm: 3495183 55562 3227 1 0 3483476 0
[pid=29881/tid=29882] ppid=29879 vsize=13980732 memory=644 CPUtime=239.79 cores=0,2,4,6
/proc/29881/task/29882/stat : 29882 (java) R 29879 29879 12395 0 -1 4202560 12550 0 0 0 23974 5 0 0 20 0 15 0 104178222 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140374157390032 140373779802746 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29883] ppid=29879 vsize=13980732 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/29881/task/29883/stat : 29883 (java) S 29879 29879 12395 0 -1 1077944384 1223 0 0 0 2 2 0 0 20 0 15 0 104178223 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140374095096848 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29884] ppid=29879 vsize=13980732 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/29881/task/29884/stat : 29884 (java) S 29879 29879 12395 0 -1 1077944384 964 0 0 0 2 2 0 0 20 0 15 0 104178223 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373752552592 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29885] ppid=29879 vsize=13980732 memory=-7003737579269690708 CPUtime=0.05 cores=0,2,4,6
/proc/29881/task/29885/stat : 29885 (java) S 29879 29879 12395 0 -1 1077944384 1022 0 0 0 3 2 0 0 20 0 15 0 104178223 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373751499536 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29886] ppid=29879 vsize=13980732 memory=301793952481424737 CPUtime=0.05 cores=0,2,4,6
/proc/29881/task/29886/stat : 29886 (java) S 29879 29879 12395 0 -1 1077944384 1222 0 0 0 3 2 0 0 20 0 15 0 104178223 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373750446992 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29887] ppid=29879 vsize=13980732 memory=288285563143081934 CPUtime=0.01 cores=0,2,4,6
/proc/29881/task/29887/stat : 29887 (java) S 29879 29879 12395 0 -1 1077944384 1530 0 0 0 1 0 0 0 20 0 15 0 104178224 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373698894064 140374153161346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29888] ppid=29879 vsize=13980732 memory=311592800108164449 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29888/stat : 29888 (java) S 29879 29879 12395 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373697840352 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29889] ppid=29879 vsize=13980732 memory=288285563143081934 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29889/stat : 29889 (java) S 29879 29879 12395 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 104178225 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373696787200 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29890] ppid=29879 vsize=13980732 memory=912243 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29890/stat : 29890 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373695735760 140374153168795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29891] ppid=29879 vsize=13980732 memory=8110268427993965964 CPUtime=1.4 cores=0,2,4,6
/proc/29881/task/29891/stat : 29891 (java) S 29879 29879 12395 0 -1 1077944384 8814 0 0 0 139 1 0 0 20 0 15 0 104178227 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373694683888 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29892] ppid=29879 vsize=13980732 memory=-8248215640242096217 CPUtime=1.25 cores=0,2,4,6
/proc/29881/task/29892/stat : 29892 (java) S 29879 29879 12395 0 -1 1077944384 9683 0 0 0 124 1 0 0 20 0 15 0 104178227 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373693631344 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29893] ppid=29879 vsize=13980732 memory=312797864852206945 CPUtime=0.5 cores=0,2,4,6
/proc/29881/task/29893/stat : 29893 (java) S 29879 29879 12395 0 -1 1077944384 4740 0 0 0 49 1 0 0 20 0 15 0 104178227 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373692578288 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29894] ppid=29879 vsize=13980732 memory=288285563143081934 CPUtime=0 cores=0,2,4,6
/proc/29881/task/29894/stat : 29894 (java) S 29879 29879 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104178227 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373624089440 140374153160405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
[pid=29881/tid=29895] ppid=29879 vsize=13980732 memory=-8774313645642428999 CPUtime=0.06 cores=0,2,4,6
/proc/29881/task/29895/stat : 29895 (java) S 29879 29879 12395 0 -1 1077944384 347 0 0 0 2 4 0 0 20 0 15 0 104178232 14316269568 55562 18446744073709551615 4194304 4196468 140735903583824 140373623036464 140374153161346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140735903588791 140735903588966 140735903588966 140735903592399 0
Current children cumulated CPU time: 243.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 223628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.022 s]
# the end of solver process 29879 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.069 s, system=0.243108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.022
CPU time (s): 243.313
CPU user time (s): 243.069
CPU system time (s): 0.243108
CPU usage (%): 101.371
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 234412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.069
system time used= 0.243108
maximum resident set size= 241200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44302
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7637
involuntary context switches= 320
# summary of solver processes directly reported to runsolver:
# pid: 29879
# total CPU time (s): 243.313
# total CPU user time (s): 243.069
# total CPU system time (s): 0.243108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31774 second user time and 2.40152 second system time
The end