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 (9223 MiB free)
memory of node 1: 16384 MiB (11775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292578-1532355129/watcher-4292578-1532355129 -o /tmp/evaluation-result-4292578-1532355129/solver-4292578-1532355129 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11339 --watchdog 2560 HOME/xcsp3-exec -seed 78727637 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292578-1532355129.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15833, runsolver pid=15830
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 1.68 1.65 1.55 3/218 15849
/proc/meminfo: memFree=21485868/32770624 swapFree=67108860/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (xcsp3-exec) S 15830 15833 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 53076134 115843072 364 33554432000 4194304 5098028 140720507783200 140720507781304 139817955639932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33656832 140720507790396 140720507790596 140720507790596 140720507793354 0
/proc/15833/statm: 28282 364 306 221 0 87 0
[pid=15835] ppid=15833 vsize=14082840 memory=28884 CPUtime=0.12 cores=1,3,5,7
/proc/15835/stat : 15835 (java) S 15833 15833 11307 0 -1 1077944320 5482 0 0 0 11 1 0 0 20 0 15 0 53076135 14420828160 7221 33554432000 4194304 4196468 140720892571440 140720892553984 140671603973879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
/proc/15835/statm: 3520710 7221 3043 1 0 3483008 0
[pid=15835/tid=15836] ppid=15833 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=1,3,5,7
/proc/15835/task/15836/stat : 15836 (java) R 15833 15833 11307 0 -1 4202560 3480 0 0 0 8 0 0 0 20 0 15 0 53076135 14420828160 7287 33554432000 4194304 4196468 140720892571440 140671608206128 140671603985814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15837] ppid=15833 vsize=14082840 memory=3472467751547634896 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15837/stat : 15837 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14420828160 7287 33554432000 4194304 4196468 140720892571440 140671534062352 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15838] ppid=15833 vsize=14082840 memory=139622652483200 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15838/stat : 15838 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14420828160 7287 33554432000 4194304 4196468 140720892571440 140671533009808 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15839] ppid=15833 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15839/stat : 15839 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14420828160 7287 33554432000 4194304 4196468 140720892571440 140671531957264 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15840] ppid=15833 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15840/stat : 15840 (java) S 15833 15833 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53076136 14420828160 7287 33554432000 4194304 4196468 140720892571440 140671530904720 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15841] ppid=15833 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15841/stat : 15841 (java) S 15833 15833 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53076137 14420828160 7287 33554432000 4194304 4196468 140720892571440 140670784845808 140671603985026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15842] ppid=15833 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15842/stat : 15842 (java) S 15833 15833 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53076137 14420828160 7287 33554432000 4194304 4196468 140720892571440 140670783792032 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15843] ppid=15833 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15843/stat : 15843 (java) S 15833 15833 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53076138 14420828160 7287 33554432000 4194304 4196468 140720892571440 140670379484144 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15844] ppid=15833 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15844/stat : 15844 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14420828160 7287 33554432000 4194304 4196468 140720892571440 140670378432720 140671603992475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15845] ppid=15833 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15845/stat : 15845 (java) S 15833 15833 11307 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 53076140 14420828160 7287 33554432000 4194304 4196468 140720892571440 140670377380336 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15846] ppid=15833 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15846/stat : 15846 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14420828160 7287 33554432000 4194304 4196468 140720892571440 140670376327792 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15847] ppid=15833 vsize=14082840 memory=139622652483200 CPUtime=0.01 cores=1,3,5,7
/proc/15835/task/15847/stat : 15847 (java) R 15833 15833 11307 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 15 0 53076140 14420828160 7287 33554432000 4194304 4196468 140720892571440 140670375275248 140671596211006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15848] ppid=15833 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15848/stat : 15848 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14420828160 7287 33554432000 4194304 4196468 140720892571440 140670374222944 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15849] ppid=15833 vsize=14082840 memory=139622652483200 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15849/stat : 15849 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076140 14420828160 7287 33554432000 4194304 4196468 140720892571440 140670373169456 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30340 KiB
[startup+0.210788 s]*
/proc/loadavg: 1.68 1.65 1.55 4/218 15849
/proc/meminfo: memFree=21474456/32770624 swapFree=67108860/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (xcsp3-exec) S 15830 15833 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 53076134 115843072 364 33554432000 4194304 5098028 140720507783200 140720507781304 139817955639932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33656832 140720507790396 140720507790596 140720507790596 140720507793354 0
/proc/15833/statm: 28282 364 306 221 0 87 0
[pid=15835] ppid=15833 vsize=14087096 memory=41016 CPUtime=0.34 cores=1,3,5,7
/proc/15835/stat : 15835 (java) S 15833 15833 11307 0 -1 1077944320 8320 0 0 0 32 2 0 0 20 0 15 0 53076135 14425186304 10254 33554432000 4194304 4196468 140720892571440 140720892553984 140671603973879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
/proc/15835/statm: 3521774 10254 3164 1 0 3483008 0
[pid=15835/tid=15836] ppid=15833 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/15835/task/15836/stat : 15836 (java) R 15833 15833 11307 0 -1 4202560 5443 0 0 0 19 1 0 0 20 0 15 0 53076135 14425186304 10254 33554432000 4194304 4196468 140720892571440 140671608194872 140671588054366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15837] ppid=15833 vsize=14087096 memory=3472467751547634896 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15837/stat : 15837 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14425186304 10254 33554432000 4194304 4196468 140720892571440 140671534062352 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15838] ppid=15833 vsize=14087096 memory=139622652483200 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15838/stat : 15838 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14425186304 10254 33554432000 4194304 4196468 140720892571440 140671533009808 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15839] ppid=15833 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15839/stat : 15839 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14425186304 10254 33554432000 4194304 4196468 140720892571440 140671531957264 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15840] ppid=15833 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15840/stat : 15840 (java) S 15833 15833 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53076136 14425186304 10254 33554432000 4194304 4196468 140720892571440 140671530904720 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15841] ppid=15833 vsize=14087096 memory=139622652483200 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15841/stat : 15841 (java) S 15833 15833 11307 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53076137 14425186304 10254 33554432000 4194304 4196468 140720892571440 140670784845808 140671603985026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15842] ppid=15833 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15842/stat : 15842 (java) S 15833 15833 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53076137 14425186304 10254 33554432000 4194304 4196468 140720892571440 140670783792032 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15843] ppid=15833 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15843/stat : 15843 (java) S 15833 15833 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53076138 14425186304 10254 33554432000 4194304 4196468 140720892571440 140670379484144 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15844] ppid=15833 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15844/stat : 15844 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14425186304 10254 33554432000 4194304 4196468 140720892571440 140670378432720 140671603992475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15845] ppid=15833 vsize=14087096 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15835/task/15845/stat : 15845 (java) S 15833 15833 11307 0 -1 1077944384 513 0 0 0 1 0 0 0 20 0 15 0 53076140 14425186304 10254 33554432000 4194304 4196468 140720892571440 140670377380336 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15846] ppid=15833 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/15835/task/15846/stat : 15846 (java) R 15833 15833 11307 0 -1 1077944384 279 0 0 0 3 0 0 0 20 0 15 0 53076140 14425186304 10254 33554432000 4194304 4196468 140720892571440 140670376327792 140671603985026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15847] ppid=15833 vsize=14087096 memory=139622652483200 CPUtime=0.07 cores=1,3,5,7
/proc/15835/task/15847/stat : 15847 (java) S 15833 15833 11307 0 -1 1077944384 782 0 0 0 7 0 0 0 20 0 15 0 53076140 14425186304 10254 33554432000 4194304 4196468 140720892571440 140670375275248 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15848] ppid=15833 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15848/stat : 15848 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14425186304 10254 33554432000 4194304 4196468 140720892571440 140670374222944 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15849] ppid=15833 vsize=14087096 memory=139622652483200 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15849/stat : 15849 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076140 14425186304 10254 33554432000 4194304 4196468 140720892571440 140670373169456 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42472 KiB
[startup+0.311201 s]*
/proc/loadavg: 1.68 1.65 1.55 4/218 15849
/proc/meminfo: memFree=21467756/32770624 swapFree=67108860/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (xcsp3-exec) S 15830 15833 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 53076134 115843072 364 33554432000 4194304 5098028 140720507783200 140720507781304 139817955639932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33656832 140720507790396 140720507790596 140720507790596 140720507793354 0
/proc/15833/statm: 28282 364 306 221 0 87 0
[pid=15835] ppid=15833 vsize=14087096 memory=48048 CPUtime=0.53 cores=1,3,5,7
/proc/15835/stat : 15835 (java) S 15833 15833 11307 0 -1 1077944320 9192 0 0 0 50 3 0 0 20 0 15 0 53076135 14425186304 12012 33554432000 4194304 4196468 140720892571440 140720892553984 140671603973879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
/proc/15835/statm: 3521774 12012 3217 1 0 3483008 0
[pid=15835/tid=15836] ppid=15833 vsize=14087096 memory=8514701219881125277 CPUtime=0.3 cores=1,3,5,7
/proc/15835/task/15836/stat : 15836 (java) R 15833 15833 11307 0 -1 4202560 6144 0 0 0 28 2 0 0 20 0 15 0 53076135 14425186304 12012 33554432000 4194304 4196468 140720892571440 140671608211856 140671588054366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15837] ppid=15833 vsize=14087096 memory=3472467751547634896 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15837/stat : 15837 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14425186304 12012 33554432000 4194304 4196468 140720892571440 140671534062352 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15838] ppid=15833 vsize=14087096 memory=139622652483200 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15838/stat : 15838 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14425186304 12012 33554432000 4194304 4196468 140720892571440 140671533009808 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15839] ppid=15833 vsize=14087096 memory=18 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15839/stat : 15839 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14425186304 12012 33554432000 4194304 4196468 140720892571440 140671531957264 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15840] ppid=15833 vsize=14087096 memory=139622541830175 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15840/stat : 15840 (java) S 15833 15833 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53076136 14425186304 12012 33554432000 4194304 4196468 140720892571440 140671530904720 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15841] ppid=15833 vsize=14087096 memory=279245083621120 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15841/stat : 15841 (java) S 15833 15833 11307 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53076137 14425186304 12012 33554432000 4194304 4196468 140720892571440 140670784845808 140671603985026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15842] ppid=15833 vsize=14087096 memory=139622541807119 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15842/stat : 15842 (java) S 15833 15833 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53076137 14425186304 12012 33554432000 4194304 4196468 140720892571440 140670783792032 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15843] ppid=15833 vsize=14087096 memory=279245194299488 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15843/stat : 15843 (java) S 15833 15833 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53076138 14425186304 12012 33554432000 4194304 4196468 140720892571440 140670379484144 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15844] ppid=15833 vsize=14087096 memory=139622541811727 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15844/stat : 15844 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14425186304 12012 33554432000 4194304 4196468 140720892571440 140670378432720 140671603992475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15845] ppid=15833 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15835/task/15845/stat : 15845 (java) S 15833 15833 11307 0 -1 1077944384 528 0 0 0 3 0 0 0 20 0 15 0 53076140 14425186304 12012 33554432000 4194304 4196468 140720892571440 140670377380336 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15846] ppid=15833 vsize=14087096 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/15835/task/15846/stat : 15846 (java) S 15833 15833 11307 0 -1 1077944384 361 0 0 0 6 0 0 0 20 0 15 0 53076140 14425186304 12012 33554432000 4194304 4196468 140720892571440 140670376327792 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15847] ppid=15833 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15835/task/15847/stat : 15847 (java) S 15833 15833 11307 0 -1 1077944384 855 0 0 0 12 0 0 0 20 0 15 0 53076140 14425186304 12012 33554432000 4194304 4196468 140720892571440 140670375275248 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15848] ppid=15833 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15848/stat : 15848 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14425186304 12012 33554432000 4194304 4196468 140720892571440 140670374222944 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15849] ppid=15833 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15849/stat : 15849 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076140 14425186304 12012 33554432000 4194304 4196468 140720892571440 140670373169456 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49504 KiB
[startup+0.700879 s]
/proc/loadavg: 1.68 1.65 1.55 5/218 15849
/proc/meminfo: memFree=21436164/32770624 swapFree=67108860/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (xcsp3-exec) S 15830 15833 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 53076134 115843072 364 33554432000 4194304 5098028 140720507783200 140720507781304 139817955639932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33656832 140720507790396 140720507790596 140720507790596 140720507793354 0
/proc/15833/statm: 28282 364 306 221 0 87 0
[pid=15835] ppid=15833 vsize=14089220 memory=122552 CPUtime=1.78 cores=1,3,5,7
/proc/15835/stat : 15835 (java) S 15833 15833 11307 0 -1 1077944320 12992 0 0 0 174 4 0 0 20 0 15 0 53076135 14427361280 30638 33554432000 4194304 4196468 140720892571440 140720892553984 140671603973879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
/proc/15835/statm: 3522305 30638 3332 1 0 3483520 0
[pid=15835/tid=15836] ppid=15833 vsize=14089220 memory=54 CPUtime=0.67 cores=1,3,5,7
/proc/15835/task/15836/stat : 15836 (java) R 15833 15833 11307 0 -1 4202560 6538 0 0 0 64 3 0 0 20 0 15 0 53076135 14427361280 30638 33554432000 4194304 4196468 140720892571440 140671608210704 140671204551486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15837] ppid=15833 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15837/stat : 15837 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14427361280 30638 33554432000 4194304 4196468 140720892571440 140671534062352 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15838] ppid=15833 vsize=14089220 memory=8174711894690903605 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15838/stat : 15838 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14427361280 30638 33554432000 4194304 4196468 140720892571440 140671533009808 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15839] ppid=15833 vsize=14089220 memory=7012755875661107289 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15839/stat : 15839 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076136 14427361280 30638 33554432000 4194304 4196468 140720892571440 140671531957264 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15840] ppid=15833 vsize=14089220 memory=7666364995466192728 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15840/stat : 15840 (java) S 15833 15833 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53076136 14427361280 30638 33554432000 4194304 4196468 140720892571440 140671530904720 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15841] ppid=15833 vsize=14089220 memory=2867664571609120 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15841/stat : 15841 (java) S 15833 15833 11307 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53076137 14427361280 30638 33554432000 4194304 4196468 140720892571440 140670784845808 140671603985026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15842] ppid=15833 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15842/stat : 15842 (java) S 15833 15833 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53076137 14427361280 30638 33554432000 4194304 4196468 140720892571440 140670783792032 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15843] ppid=15833 vsize=14089220 memory=11960 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15843/stat : 15843 (java) S 15833 15833 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53076138 14427361280 30638 33554432000 4194304 4196468 140720892571440 140670379484144 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15844] ppid=15833 vsize=14089220 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15844/stat : 15844 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 30638 33554432000 4194304 4196468 140720892571440 140670378432720 140671603992475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15845] ppid=15833 vsize=14089220 memory=792 CPUtime=0.38 cores=1,3,5,7
/proc/15835/task/15845/stat : 15845 (java) R 15833 15833 11307 0 -1 4202560 1849 0 0 0 38 0 0 0 20 0 15 0 53076140 14427361280 30638 33554432000 4194304 4196468 140720892571440 140670377370128 140671589084969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15846] ppid=15833 vsize=14089220 memory=1716 CPUtime=0.4 cores=1,3,5,7
/proc/15835/task/15846/stat : 15846 (java) R 15833 15833 11307 0 -1 4202560 1431 0 0 0 40 0 0 0 20 0 15 0 53076140 14427361280 30638 33554432000 4194304 4196468 140720892571440 140670376313672 140671585517602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15847] ppid=15833 vsize=14089220 memory=1952 CPUtime=0.3 cores=1,3,5,7
/proc/15835/task/15847/stat : 15847 (java) S 15833 15833 11307 0 -1 1077944384 1885 0 0 0 30 0 0 0 20 0 15 0 53076140 14427361280 30638 33554432000 4194304 4196468 140720892571440 140670375275248 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15848] ppid=15833 vsize=14089220 memory=8392 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15848/stat : 15848 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 30638 33554432000 4194304 4196468 140720892571440 140670374222944 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15849] ppid=15833 vsize=14089220 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15849/stat : 15849 (java) S 15833 15833 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 30638 33554432000 4194304 4196468 140720892571440 140670373169456 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 124008 KiB
[startup+1.50085 s]
/proc/loadavg: 1.68 1.65 1.55 5/218 15849
/proc/meminfo: memFree=21346844/32770624 swapFree=67108860/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (xcsp3-exec) S 15830 15833 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 53076134 115843072 364 33554432000 4194304 5098028 140720507783200 140720507781304 139817955639932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33656832 140720507790396 140720507790596 140720507790596 140720507793354 0
/proc/15833/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/15835/task/15843/stat : 15843 (java) S 15833 15833 11307 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53076138 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670379484160 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15844] ppid=15833 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15844/stat : 15844 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670378432720 140671603992475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15845] ppid=15833 vsize=14089220 memory=1456 CPUtime=3.91 cores=1,3,5,7
/proc/15835/task/15845/stat : 15845 (java) S 15833 15833 11307 0 -1 1077944384 19595 0 0 0 388 3 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670377380336 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15846] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.7 cores=1,3,5,7
/proc/15835/task/15846/stat : 15846 (java) S 15833 15833 11307 0 -1 1077944384 19151 0 0 0 367 3 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670376327792 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15847] ppid=15833 vsize=14089220 memory=1456 CPUtime=0.85 cores=1,3,5,7
/proc/15835/task/15847/stat : 15847 (java) S 15833 15833 11307 0 -1 1077944384 15574 0 0 0 83 2 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670375275248 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15848] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15848/stat : 15848 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670374222944 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15849] ppid=15833 vsize=14089220 memory=1456 CPUtime=1.36 cores=1,3,5,7
/proc/15835/task/15849/stat : 15849 (java) S 15833 15833 11307 0 -1 1077944384 2300 0 0 0 59 77 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670373169456 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
Current children cumulated CPU time: 2283 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2832496 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/217 15998
/proc/meminfo: memFree=19919924/32770624 swapFree=67108860/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (xcsp3-exec) S 15830 15833 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 53076134 115843072 364 33554432000 4194304 5098028 140720507783200 140720507781304 139817955639932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33656832 140720507790396 140720507790596 140720507790596 140720507793354 0
/proc/15833/statm: 28282 364 306 221 0 87 0
[pid=15835] ppid=15833 vsize=14089220 memory=2831040 CPUtime=2343.04 cores=1,3,5,7
/proc/15835/stat : 15835 (java) S 15833 15833 11307 0 -1 1077944320 267131 0 0 0 233988 316 0 0 20 0 15 0 53076135 14427361280 707760 33554432000 4194304 4196468 140720892571440 140720892553984 140671603973879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
/proc/15835/statm: 3522305 707760 3417 1 0 3483520 0
[pid=15835/tid=15836] ppid=15833 vsize=14089220 memory=2831040 CPUtime=2318.29 cores=1,3,5,7
/proc/15835/task/15836/stat : 15836 (java) R 15833 15833 11307 0 -1 4202560 155687 0 0 0 231806 23 0 0 20 0 15 0 53076135 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671608210568 140671210168886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15837] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.68 cores=1,3,5,7
/proc/15835/task/15837/stat : 15837 (java) S 15833 15833 11307 0 -1 1077944384 13515 0 0 0 316 52 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671534062352 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15838] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.66 cores=1,3,5,7
/proc/15835/task/15838/stat : 15838 (java) S 15833 15833 11307 0 -1 1077944384 11296 0 0 0 312 54 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671533009808 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15839] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.64 cores=1,3,5,7
/proc/15835/task/15839/stat : 15839 (java) S 15833 15833 11307 0 -1 1077944384 8987 0 0 0 312 52 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671531957264 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15840] ppid=15833 vsize=14089220 memory=1456 CPUtime=3.68 cores=1,3,5,7
/proc/15835/task/15840/stat : 15840 (java) S 15833 15833 11307 0 -1 1077944384 13020 0 0 0 313 55 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671530904720 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15841] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0.14 cores=1,3,5,7
/proc/15835/task/15841/stat : 15841 (java) S 15833 15833 11307 0 -1 1077944384 6625 0 0 0 10 4 0 0 20 0 15 0 53076137 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670784845808 140671603985026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15842] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15842/stat : 15842 (java) S 15833 15833 11307 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 53076137 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670783792096 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15843] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15843/stat : 15843 (java) S 15833 15833 11307 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53076138 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670379484160 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15844] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15844/stat : 15844 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670378432720 140671603992475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15845] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.91 cores=1,3,5,7
/proc/15835/task/15845/stat : 15845 (java) S 15833 15833 11307 0 -1 1077944384 19598 0 0 0 388 3 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670377380336 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15846] ppid=15833 vsize=14089220 memory=1456 CPUtime=3.7 cores=1,3,5,7
/proc/15835/task/15846/stat : 15846 (java) S 15833 15833 11307 0 -1 1077944384 19159 0 0 0 367 3 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670376327792 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15847] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0.85 cores=1,3,5,7
/proc/15835/task/15847/stat : 15847 (java) S 15833 15833 11307 0 -1 1077944384 15578 0 0 0 83 2 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670375275248 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15848] ppid=15833 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15848/stat : 15848 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670374222944 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15849] ppid=15833 vsize=14089220 memory=2831040 CPUtime=1.39 cores=1,3,5,7
/proc/15835/task/15849/stat : 15849 (java) S 15833 15833 11307 0 -1 1077944384 2330 0 0 0 61 78 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670373169456 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
Current children cumulated CPU time: 2343.04 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2832496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2379.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/217 15999
/proc/meminfo: memFree=19919968/32770624 swapFree=67108860/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (xcsp3-exec) S 15830 15833 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 53076134 115843072 364 33554432000 4194304 5098028 140720507783200 140720507781304 139817955639932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33656832 140720507790396 140720507790596 140720507790596 140720507793354 0
/proc/15833/statm: 28282 364 306 221 0 87 0
[pid=15835] ppid=15833 vsize=14089220 memory=2831040 CPUtime=2400.08 cores=1,3,5,7
/proc/15835/stat : 15835 (java) S 15833 15833 11307 0 -1 1077944320 268099 0 0 0 239690 318 0 0 20 0 15 0 53076135 14427361280 707760 33554432000 4194304 4196468 140720892571440 140720892553984 140671603973879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
/proc/15835/statm: 3522305 707760 3417 1 0 3483520 0
[pid=15835/tid=15836] ppid=15833 vsize=14089220 memory=2831040 CPUtime=2375.3 cores=1,3,5,7
/proc/15835/task/15836/stat : 15836 (java) R 15833 15833 11307 0 -1 4202560 156603 0 0 0 237507 23 0 0 20 0 15 0 53076135 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671608210568 140671209949290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15837] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.68 cores=1,3,5,7
/proc/15835/task/15837/stat : 15837 (java) S 15833 15833 11307 0 -1 1077944384 13515 0 0 0 316 52 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671534062352 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15838] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.66 cores=1,3,5,7
/proc/15835/task/15838/stat : 15838 (java) S 15833 15833 11307 0 -1 1077944384 11296 0 0 0 312 54 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671533009808 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15839] ppid=15833 vsize=14089220 memory=1456 CPUtime=3.64 cores=1,3,5,7
/proc/15835/task/15839/stat : 15839 (java) S 15833 15833 11307 0 -1 1077944384 8987 0 0 0 312 52 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671531957264 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15840] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.68 cores=1,3,5,7
/proc/15835/task/15840/stat : 15840 (java) S 15833 15833 11307 0 -1 1077944384 13020 0 0 0 313 55 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671530904720 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15841] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0.14 cores=1,3,5,7
/proc/15835/task/15841/stat : 15841 (java) S 15833 15833 11307 0 -1 1077944384 6634 0 0 0 10 4 0 0 20 0 15 0 53076137 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670784845808 140671603985026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15842] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15842/stat : 15842 (java) S 15833 15833 11307 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 53076137 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670783792096 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15843] ppid=15833 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15843/stat : 15843 (java) S 15833 15833 11307 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53076138 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670379484160 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15844] ppid=15833 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15844/stat : 15844 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670378432720 140671603992475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15845] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.91 cores=1,3,5,7
/proc/15835/task/15845/stat : 15845 (java) S 15833 15833 11307 0 -1 1077944384 19601 0 0 0 388 3 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670377380336 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15846] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.7 cores=1,3,5,7
/proc/15835/task/15846/stat : 15846 (java) S 15833 15833 11307 0 -1 1077944384 19167 0 0 0 367 3 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670376327792 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15847] ppid=15833 vsize=14089220 memory=1456 CPUtime=0.85 cores=1,3,5,7
/proc/15835/task/15847/stat : 15847 (java) S 15833 15833 11307 0 -1 1077944384 15582 0 0 0 83 2 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670375275248 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15848] ppid=15833 vsize=14089220 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15848/stat : 15848 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670374222944 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15849] ppid=15833 vsize=14089220 memory=2831040 CPUtime=1.43 cores=1,3,5,7
/proc/15835/task/15849/stat : 15849 (java) S 15833 15833 11307 0 -1 1077944384 2358 0 0 0 62 81 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670373169456 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2832496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2379.31 s]
# the end of solver process 15833 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001102 s, system=0.001102 s
[startup+2379.32 s]
# the end of solver process 15835 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.92 s, system=3.20072 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
[startup+2379.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/217 15999
/proc/meminfo: memFree=19919968/32770624 swapFree=67108860/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (xcsp3-exec) S 15830 15833 11307 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 53076134 115843072 364 33554432000 4194304 5098028 140720507783200 140720507781304 139817955639932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33656832 140720507790396 140720507790596 140720507790596 140720507793354 0
/proc/15833/statm: 28282 364 306 221 0 87 0
[pid=15835] ppid=15833 vsize=14089220 memory=2831040 CPUtime=2400.08 cores=1,3,5,7
/proc/15835/stat : 15835 (java) S 15833 15833 11307 0 -1 1077944320 268099 0 0 0 239690 318 0 0 20 0 15 0 53076135 14427361280 707760 33554432000 4194304 4196468 140720892571440 140720892553984 140671603973879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
/proc/15835/statm: 3522305 707760 3417 1 0 3483520 0
[pid=15835/tid=15836] ppid=15833 vsize=14089220 memory=2831040 CPUtime=2375.3 cores=1,3,5,7
/proc/15835/task/15836/stat : 15836 (java) R 15833 15833 11307 0 -1 4202560 156603 0 0 0 237507 23 0 0 20 0 15 0 53076135 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671608210568 140671209949290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15837] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.68 cores=1,3,5,7
/proc/15835/task/15837/stat : 15837 (java) S 15833 15833 11307 0 -1 1077944384 13515 0 0 0 316 52 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671534062352 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15838] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.66 cores=1,3,5,7
/proc/15835/task/15838/stat : 15838 (java) S 15833 15833 11307 0 -1 1077944384 11296 0 0 0 312 54 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671533009808 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15839] ppid=15833 vsize=14089220 memory=1456 CPUtime=3.64 cores=1,3,5,7
/proc/15835/task/15839/stat : 15839 (java) S 15833 15833 11307 0 -1 1077944384 8987 0 0 0 312 52 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671531957264 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15840] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.68 cores=1,3,5,7
/proc/15835/task/15840/stat : 15840 (java) S 15833 15833 11307 0 -1 1077944384 13020 0 0 0 313 55 0 0 20 0 15 0 53076136 14427361280 707760 33554432000 4194304 4196468 140720892571440 140671530904720 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15841] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0.14 cores=1,3,5,7
/proc/15835/task/15841/stat : 15841 (java) S 15833 15833 11307 0 -1 1077944384 6634 0 0 0 10 4 0 0 20 0 15 0 53076137 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670784845808 140671603985026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15842] ppid=15833 vsize=14089220 memory=2831040 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15842/stat : 15842 (java) S 15833 15833 11307 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 53076137 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670783792096 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15843] ppid=15833 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15843/stat : 15843 (java) S 15833 15833 11307 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53076138 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670379484160 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15844] ppid=15833 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15844/stat : 15844 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670378432720 140671603992475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15845] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.91 cores=1,3,5,7
/proc/15835/task/15845/stat : 15845 (java) S 15833 15833 11307 0 -1 1077944384 19601 0 0 0 388 3 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670377380336 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15846] ppid=15833 vsize=14089220 memory=2831040 CPUtime=3.7 cores=1,3,5,7
/proc/15835/task/15846/stat : 15846 (java) S 15833 15833 11307 0 -1 1077944384 19167 0 0 0 367 3 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670376327792 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15847] ppid=15833 vsize=14089220 memory=1456 CPUtime=0.85 cores=1,3,5,7
/proc/15835/task/15847/stat : 15847 (java) S 15833 15833 11307 0 -1 1077944384 15582 0 0 0 83 2 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670375275248 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15848] ppid=15833 vsize=14089220 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/15835/task/15848/stat : 15848 (java) S 15833 15833 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670374222944 140671603984085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
[pid=15835/tid=15849] ppid=15833 vsize=14089220 memory=2831040 CPUtime=1.43 cores=1,3,5,7
/proc/15835/task/15849/stat : 15849 (java) S 15833 15833 11307 0 -1 1077944384 2358 0 0 0 62 81 0 0 20 0 15 0 53076140 14427361280 707760 33554432000 4194304 4196468 140720892571440 140670373169456 140671603985026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 35332096 140720892572801 140720892572977 140720892572977 140720892575695 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2832496 KiB
Child status: 143
Real time (s): 2379.32
CPU time (s): 2400.12
CPU user time (s): 2396.92
CPU system time (s): 3.20072
CPU usage (%): 100.874
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 2832496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.92
system time used= 3.20072
maximum resident set size= 2831600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55131
involuntary context switches= 819
# summary of solver processes directly reported to runsolver:
# pid: 15833,15835
# total CPU time (s): 2400.12
# total CPU user time (s): 2396.92
# total CPU system time (s): 3.20072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1529 second user time and 23.781 second system time
The end