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 (14289 MiB free)
memory of node 1: 16384 MiB (15432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283328-1503185346/watcher-4283328-1503185346 -o /tmp/evaluation-result-4283328-1503185346/solver-4283328-1503185346 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 125825648 HOME/instance-4283328-1503185346.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11180, runsolver pid=11177
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.38 1.54 1.60 3/203 11187
/proc/meminfo: memFree=30427508/32770624 swapFree=67108860/67108860
[pid=11180] ppid=11177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (xcsp3-exec) S 11177 11180 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120727586 9740288 345 18446744073709551615 4194304 5098028 140734548119216 140734548117320 139638479102588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 12603392 140734548128121 140734548128325 140734548128325 140734548131819 0
/proc/11180/statm: 2378 345 289 221 0 87 0
[pid=11182] ppid=11180 vsize=13441356 memory=16940 CPUtime=0.01 cores=1,3,5,7
/proc/11182/stat : 11182 (java) S 11180 11180 28892 0 -1 1077944320 3529 0 0 0 1 0 0 0 20 0 7 0 120727594 13763948544 4235 18446744073709551615 4194304 4196468 140720652586192 140720652568736 140276224708343 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
/proc/11182/statm: 3360339 4235 1977 1 0 3349836 0
[pid=11182/tid=11183] ppid=11180 vsize=13441356 memory=-8023549066454273880 CPUtime=0.01 cores=1,3,5,7
/proc/11182/task/11183/stat : 11183 (java) R 11180 11180 28892 0 -1 4202560 2291 0 0 0 1 0 0 0 20 0 7 0 120727595 13763948544 4235 18446744073709551615 4194304 4196468 140720652586192 140276228950800 140276210390835 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11184] ppid=11180 vsize=13441356 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11184/stat : 11184 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 120727595 13763948544 4235 18446744073709551615 4194304 4196468 140720652586192 140276185606544 140276224718549 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11185] ppid=11180 vsize=13441356 memory=140441094567552 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11185/stat : 11185 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 120727595 13763948544 4235 18446744073709551615 4194304 4196468 140720652586192 140276184553744 140276224718549 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11186] ppid=11180 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11186/stat : 11186 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 120727595 13763948544 4301 18446744073709551615 4194304 4196468 140720652586192 140276183501456 140276224718549 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11187] ppid=11180 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11187/stat : 11187 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 120727595 13763948544 4301 18446744073709551615 4194304 4196468 140720652586192 140275821767184 140276224718549 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11188] ppid=11180 vsize=13441356 memory=140441094567552 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11188/stat : 11188 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 120727597 13763948544 4301 18446744073709551615 4194304 4196468 140720652586192 140275568564848 140276224719490 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18320 KiB
[startup+0.209869 s]*
/proc/loadavg: 1.38 1.54 1.60 4/212 11196
/proc/meminfo: memFree=30419940/32770624 swapFree=67108860/67108860
[pid=11180] ppid=11177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (xcsp3-exec) S 11177 11180 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120727586 9740288 345 18446744073709551615 4194304 5098028 140734548119216 140734548117320 139638479102588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 12603392 140734548128121 140734548128325 140734548128325 140734548131819 0
/proc/11180/statm: 2378 345 289 221 0 87 0
[pid=11182] ppid=11180 vsize=13974352 memory=26948 CPUtime=0.1 cores=1,3,5,7
/proc/11182/stat : 11182 (java) S 11180 11180 28892 0 -1 1077944320 5157 0 0 0 10 0 0 0 20 0 15 0 120727594 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140720652568736 140276224708343 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
/proc/11182/statm: 3493588 6737 2754 1 0 3482964 0
[pid=11182/tid=11183] ppid=11180 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/11182/task/11183/stat : 11183 (java) R 11180 11180 28892 0 -1 4202560 3299 0 0 0 7 0 0 0 20 0 15 0 120727595 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140276228931312 140276208788830 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11184] ppid=11180 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11184/stat : 11184 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727595 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140276185606544 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11185] ppid=11180 vsize=13974352 memory=140441094578911 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11185/stat : 11185 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727595 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140276184553744 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11186] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11186/stat : 11186 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727595 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140276183501456 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11187] ppid=11180 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11187/stat : 11187 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727595 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275821767184 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11188] ppid=11180 vsize=13974352 memory=140441094567552 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11188/stat : 11188 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727597 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275568564848 140276224719490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11189] ppid=11180 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11189/stat : 11189 (java) S 11180 11180 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120727597 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275567510816 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11190] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11190/stat : 11190 (java) S 11180 11180 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120727597 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275566458480 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11191] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11191/stat : 11191 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275565406800 140276224726939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11192] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11192/stat : 11192 (java) S 11180 11180 28892 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 120727600 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275564353648 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11193] ppid=11180 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11193/stat : 11193 (java) R 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275563300848 140276224719490 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11194] ppid=11180 vsize=13974352 memory=140441094567552 CPUtime=0.01 cores=1,3,5,7
/proc/11182/task/11194/stat : 11194 (java) R 11180 11180 28892 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 120727600 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275562248560 140276224719490 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11195] ppid=11180 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11195/stat : 11195 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275561196000 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11196] ppid=11180 vsize=13974352 memory=140441094567552 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11196/stat : 11196 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727604 14309736448 6737 18446744073709551615 4194304 4196468 140720652586192 140275560143792 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28328 KiB
[startup+0.310895 s]*
/proc/loadavg: 1.38 1.54 1.60 3/212 11196
/proc/meminfo: memFree=30408024/32770624 swapFree=67108860/67108860
[pid=11180] ppid=11177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (xcsp3-exec) S 11177 11180 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120727586 9740288 345 18446744073709551615 4194304 5098028 140734548119216 140734548117320 139638479102588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 12603392 140734548128121 140734548128325 140734548128325 140734548131819 0
/proc/11180/statm: 2378 345 289 221 0 87 0
[pid=11182] ppid=11180 vsize=13974352 memory=39428 CPUtime=0.29 cores=1,3,5,7
/proc/11182/stat : 11182 (java) S 11180 11180 28892 0 -1 1077944320 8977 0 0 0 27 2 0 0 20 0 15 0 120727594 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140720652568736 140276224708343 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
/proc/11182/statm: 3493588 9857 2985 1 0 3482964 0
[pid=11182/tid=11183] ppid=11180 vsize=13974352 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/11182/task/11183/stat : 11183 (java) R 11180 11180 28892 0 -1 4202560 6106 0 0 0 16 2 0 0 20 0 15 0 120727595 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140276228942992 140276192293378 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11184] ppid=11180 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11184/stat : 11184 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727595 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140276185606544 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11185] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11185/stat : 11185 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727595 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140276184553744 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11186] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11186/stat : 11186 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727595 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140276183501456 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11187] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11187/stat : 11187 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727595 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275821767184 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11188] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11188/stat : 11188 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727597 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275568564848 140276224719490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11189] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11189/stat : 11189 (java) S 11180 11180 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120727597 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275567510816 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11190] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11190/stat : 11190 (java) S 11180 11180 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120727597 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275566458480 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11191] ppid=11180 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11191/stat : 11191 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275565406800 140276224726939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11192] ppid=11180 vsize=13974352 memory=140440934568896 CPUtime=0.02 cores=1,3,5,7
/proc/11182/task/11192/stat : 11192 (java) R 11180 11180 28892 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 15 0 120727600 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275564353744 140276224718549 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11193] ppid=11180 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11182/task/11193/stat : 11193 (java) R 11180 11180 28892 0 -1 4202560 263 0 0 0 2 0 0 0 20 0 15 0 120727600 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275563281864 140276210736539 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11194] ppid=11180 vsize=13974352 memory=140441094567552 CPUtime=0.06 cores=1,3,5,7
/proc/11182/task/11194/stat : 11194 (java) S 11180 11180 28892 0 -1 1077944384 771 0 0 0 6 0 0 0 20 0 15 0 120727600 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275562248560 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11195] ppid=11180 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11195/stat : 11195 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275561196000 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11196] ppid=11180 vsize=13974352 memory=140441094567552 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11196/stat : 11196 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727604 14309736448 9857 18446744073709551615 4194304 4196468 140720652586192 140275560143792 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40808 KiB
[startup+0.701244 s]
/proc/loadavg: 1.38 1.54 1.60 5/212 11196
/proc/meminfo: memFree=30396936/32770624 swapFree=67108860/67108860
[pid=11180] ppid=11177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (xcsp3-exec) S 11177 11180 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120727586 9740288 345 18446744073709551615 4194304 5098028 140734548119216 140734548117320 139638479102588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 12603392 140734548128121 140734548128325 140734548128325 140734548131819 0
/proc/11180/statm: 2378 345 289 221 0 87 0
[pid=11182] ppid=11180 vsize=13980732 memory=61824 CPUtime=1.18 cores=1,3,5,7
/proc/11182/stat : 11182 (java) S 11180 11180 28892 0 -1 1077944320 13203 0 0 0 114 4 0 0 20 0 15 0 120727594 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140720652568736 140276224708343 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
/proc/11182/statm: 3495183 15456 3175 1 0 3483476 0
[pid=11182/tid=11183] ppid=11180 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/11182/task/11183/stat : 11183 (java) R 11180 11180 28892 0 -1 4202560 8503 0 0 0 53 3 0 0 20 0 15 0 120727595 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140276228947136 140275865293131 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11184] ppid=11180 vsize=13980732 memory=140440934294128 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11184/stat : 11184 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727595 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140276185606544 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11185] ppid=11180 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11185/stat : 11185 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727595 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140276184553744 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11186] ppid=11180 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11186/stat : 11186 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727595 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140276183501456 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11187] ppid=11180 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11187/stat : 11187 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727595 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275821767184 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11188] ppid=11180 vsize=13980732 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11188/stat : 11188 (java) S 11180 11180 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275568564848 140276224719490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11189] ppid=11180 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11189/stat : 11189 (java) S 11180 11180 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275567510816 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11190] ppid=11180 vsize=13980732 memory=-6305718295355549056 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11190/stat : 11190 (java) S 11180 11180 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275566458480 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11191] ppid=11180 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11191/stat : 11191 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275565406800 140276224726939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11192] ppid=11180 vsize=13980732 memory=6944656592455359580 CPUtime=0.16 cores=1,3,5,7
/proc/11182/task/11192/stat : 11192 (java) R 11180 11180 28892 0 -1 4202560 1090 0 0 0 16 0 0 0 20 0 15 0 120727600 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275564339672 140276203956012 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11193] ppid=11180 vsize=13980732 memory=6944656592455097440 CPUtime=0.18 cores=1,3,5,7
/proc/11182/task/11193/stat : 11193 (java) R 11180 11180 28892 0 -1 4202560 924 0 0 0 18 0 0 0 20 0 15 0 120727600 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275563300848 140276208208549 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11194] ppid=11180 vsize=13980732 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/11182/task/11194/stat : 11194 (java) S 11180 11180 28892 0 -1 1077944384 1378 0 0 0 26 0 0 0 20 0 15 0 120727600 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275562248560 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11195] ppid=11180 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11195/stat : 11195 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275561196000 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11196] ppid=11180 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11196/stat : 11196 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727604 14316269568 15456 18446744073709551615 4194304 4196468 140720652586192 140275560143792 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63204 KiB
[startup+1.50091 s]
/proc/loadavg: 1.35 1.53 1.60 5/212 11196
/proc/meminfo: memFree=30360332/32770624 swapFree=67108860/67108860
[pid=11180] ppid=11177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (xcsp3-exec) S 11177 11180 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120727586 9740288 345 18446744073709551615 4194304 5098028 140734548119216 140734548117320 139638479102588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 12603392 140734548128121 140734548128325 140734548128325 140734548131819 0
/proc/11180/statm: 2378 345 289 221 0 87 0
[pid=11182] ppid=11180 vsize=13980732 memory=116372 CPUtime=3.79 cores=1,3,5,7
/proc/11182/stat : 11182 (java) S 11180 11180 28892 0 -1 1077944320 27661 0 0 0 373 6 0 0 20 0 15 0 120727594 14316269568 29093 18446744073709551615 4194304 4196468 140720652586192 140720652568736 140276224708343 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
/proc/11182/statm: 3495183 29093 3198 1 0 3483476 0
[pid=11182/tid=11183] ppid=11180 vsize=13980732 memory=6933954213533489819 CPUtime=1.36 cores=1,3,5,7
/proc/11182/task/11183/stat : 11183 (java) R 11180 11180 28892 0 -1 4202560 9269 0 0 0 132 4 0 0 20 0 15 0 120727595 14316269568 29093 18446744073709551615 4194304 4196468 140720652586192 140276228947400 140275863365761 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11184] ppid=11180 vsize=13980732 memory=7595710344025564002 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11184/stat : 11184 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727595 14316269568 29093 18446744073709551615 4194304 4196468 140720652586192 140276185606544 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11185] ppid=11180 vsize=13980732 memory=7091006017604134041 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11185/stat : 11185 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727595 14316269568 29093 18446744073709551615 4194304 4196468 140720652586192 140276184553744 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11186] ppid=11180 vsize=13980732 memory=9050999894980387682 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11186/stat : 11186 (java) S 11180 11180 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120727595 14316269568 29093 18446744073709551615 4194304 4196468 140720652586192 140276183501456 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11187] ppid=11180 vsize=13980732 memory=-8536226307713178524 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11187/stat : 11187 (java) S 11180 11180 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120727595 14316269568 29093 18446744073709551615 4194304 4196468 140720652586192 140275821767184 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11188] ppid=11180 vsize=13980732 memory=7682744562830902035 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11188/stat : 11188 (java) S 11180 11180 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 29093 18446744073709551615 4194304 4196468 140720652586192 140275568564848 140276224719490 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11189] ppid=11180 vsize=13980732 memory=-7737605734073681312 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/11180/stat : 11180 (xcsp3-exec) S 11177 11180 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120727586 9740288 345 18446744073709551615 4194304 5098028 140734548119216 140734548117320 139638479102588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 12603392 140734548128121 140734548128325 140734548128325 140734548131819 0
/proc/11180/statm: 2378 345 289 221 0 87 0
[pid=11182] ppid=11180 vsize=13980732 memory=338524 CPUtime=1719.46 cores=1,3,5,7
/proc/11182/stat : 11182 (java) S 11180 11180 28892 0 -1 1077944320 181764 0 0 0 171734 212 0 0 20 0 15 0 120727594 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140720652568736 140276224708343 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
/proc/11182/statm: 3495183 84631 3258 1 0 3483476 0
[pid=11182/tid=11183] ppid=11180 vsize=13980732 memory=-3622645143214314312 CPUtime=1663.42 cores=1,3,5,7
/proc/11182/task/11183/stat : 11183 (java) R 11180 11180 28892 0 -1 4202560 39186 0 0 0 166330 12 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276228948080 140275868559463 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11184] ppid=11180 vsize=13980732 memory=1204 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11184/stat : 11184 (java) S 11180 11180 28892 0 -1 1077944384 14299 0 0 0 1120 35 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276185606544 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11185] ppid=11180 vsize=13980732 memory=1000 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11185/stat : 11185 (java) S 11180 11180 28892 0 -1 1077944384 14538 0 0 0 1121 34 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276184553744 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11186] ppid=11180 vsize=13980732 memory=796 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11186/stat : 11186 (java) S 11180 11180 28892 0 -1 1077944384 16519 0 0 0 1120 35 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276183501456 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11187] ppid=11180 vsize=13980732 memory=-8774313645642428999 CPUtime=11.54 cores=1,3,5,7
/proc/11182/task/11187/stat : 11187 (java) S 11180 11180 28892 0 -1 1077944384 14529 0 0 0 1120 34 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275821767184 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11188] ppid=11180 vsize=13980732 memory=-7677926825137650786 CPUtime=1.52 cores=1,3,5,7
/proc/11182/task/11188/stat : 11188 (java) S 11180 11180 28892 0 -1 1077944384 37799 0 0 0 130 22 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275568564848 140276224719490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11189] ppid=11180 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11189/stat : 11189 (java) S 11180 11180 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275567510816 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11190] ppid=11180 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11190/stat : 11190 (java) S 11180 11180 28892 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275566458480 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11191] ppid=11180 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11191/stat : 11191 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275565406800 140276224726939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11192] ppid=11180 vsize=13980732 memory=1444 CPUtime=3.23 cores=1,3,5,7
/proc/11182/task/11192/stat : 11192 (java) S 11180 11180 28892 0 -1 1077944384 15955 0 0 0 321 2 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275564353648 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11193] ppid=11180 vsize=13980732 memory=1228 CPUtime=3.49 cores=1,3,5,7
/proc/11182/task/11193/stat : 11193 (java) S 11180 11180 28892 0 -1 1077944384 14277 0 0 0 348 1 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275563300848 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11194] ppid=11180 vsize=13980732 memory=12216 CPUtime=0.7 cores=1,3,5,7
/proc/11182/task/11194/stat : 11194 (java) S 11180 11180 28892 0 -1 1077944384 12461 0 0 0 67 3 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275562248560 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11195] ppid=11180 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11195/stat : 11195 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275561196000 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11196] ppid=11180 vsize=13980732 memory=1232 CPUtime=0.82 cores=1,3,5,7
/proc/11182/task/11196/stat : 11196 (java) S 11180 11180 28892 0 -1 1077944384 852 0 0 0 39 43 0 0 20 0 15 0 120727604 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275560143792 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
Current children cumulated CPU time: 1719.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 339904 KiB
[startup+1678 s]*
/proc/loadavg: 1.40 1.54 1.58 3/212 11604
/proc/meminfo: memFree=30385172/32770624 swapFree=67108860/67108860
[pid=11180] ppid=11177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (xcsp3-exec) S 11177 11180 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120727586 9740288 345 18446744073709551615 4194304 5098028 140734548119216 140734548117320 139638479102588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 12603392 140734548128121 140734548128325 140734548128325 140734548131819 0
/proc/11180/statm: 2378 345 289 221 0 87 0
[pid=11182] ppid=11180 vsize=13980732 memory=338524 CPUtime=1719.87 cores=1,3,5,7
/proc/11182/stat : 11182 (java) S 11180 11180 28892 0 -1 1077944320 181764 0 0 0 171775 212 0 0 20 0 15 0 120727594 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140720652568736 140276224708343 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
/proc/11182/statm: 3495183 84631 3258 1 0 3483476 0
[pid=11182/tid=11183] ppid=11180 vsize=13980732 memory=2760 CPUtime=1663.83 cores=1,3,5,7
/proc/11182/task/11183/stat : 11183 (java) R 11180 11180 28892 0 -1 4202560 39186 0 0 0 166371 12 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276228948080 140275868724718 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11184] ppid=11180 vsize=13980732 memory=2768 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11184/stat : 11184 (java) S 11180 11180 28892 0 -1 1077944384 14299 0 0 0 1120 35 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276185606544 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11185] ppid=11180 vsize=13980732 memory=4872558044660077418 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11185/stat : 11185 (java) S 11180 11180 28892 0 -1 1077944384 14538 0 0 0 1121 34 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276184553744 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11186] ppid=11180 vsize=13980732 memory=1380 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11186/stat : 11186 (java) S 11180 11180 28892 0 -1 1077944384 16519 0 0 0 1120 35 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276183501456 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11187] ppid=11180 vsize=13980732 memory=4612 CPUtime=11.54 cores=1,3,5,7
/proc/11182/task/11187/stat : 11187 (java) S 11180 11180 28892 0 -1 1077944384 14529 0 0 0 1120 34 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275821767184 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11188] ppid=11180 vsize=13980732 memory=1708 CPUtime=1.52 cores=1,3,5,7
/proc/11182/task/11188/stat : 11188 (java) S 11180 11180 28892 0 -1 1077944384 37799 0 0 0 130 22 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275568564848 140276224719490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11189] ppid=11180 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11189/stat : 11189 (java) S 11180 11180 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275567510816 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11190] ppid=11180 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11190/stat : 11190 (java) S 11180 11180 28892 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275566458480 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11191] ppid=11180 vsize=13980732 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11191/stat : 11191 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275565406800 140276224726939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11192] ppid=11180 vsize=13980732 memory=4028 CPUtime=3.23 cores=1,3,5,7
/proc/11182/task/11192/stat : 11192 (java) S 11180 11180 28892 0 -1 1077944384 15955 0 0 0 321 2 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275564353648 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11193] ppid=11180 vsize=13980732 memory=64804 CPUtime=3.49 cores=1,3,5,7
/proc/11182/task/11193/stat : 11193 (java) S 11180 11180 28892 0 -1 1077944384 14277 0 0 0 348 1 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275563300848 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11194] ppid=11180 vsize=13980732 memory=1296 CPUtime=0.7 cores=1,3,5,7
/proc/11182/task/11194/stat : 11194 (java) S 11180 11180 28892 0 -1 1077944384 12461 0 0 0 67 3 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275562248560 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11195] ppid=11180 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11195/stat : 11195 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275561196000 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11196] ppid=11180 vsize=13980732 memory=1380 CPUtime=0.82 cores=1,3,5,7
/proc/11182/task/11196/stat : 11196 (java) S 11180 11180 28892 0 -1 1077944384 852 0 0 0 39 43 0 0 20 0 15 0 120727604 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275560143792 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
Current children cumulated CPU time: 1719.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 339904 KiB
[startup+1678.4 s]
/proc/loadavg: 1.40 1.54 1.58 3/212 11604
/proc/meminfo: memFree=30385172/32770624 swapFree=67108860/67108860
[pid=11180] ppid=11177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (xcsp3-exec) S 11177 11180 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120727586 9740288 345 18446744073709551615 4194304 5098028 140734548119216 140734548117320 139638479102588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 12603392 140734548128121 140734548128325 140734548128325 140734548131819 0
/proc/11180/statm: 2378 345 289 221 0 87 0
[pid=11182] ppid=11180 vsize=13980732 memory=338524 CPUtime=1720.26 cores=1,3,5,7
/proc/11182/stat : 11182 (java) S 11180 11180 28892 0 -1 1077944320 181764 0 0 0 171814 212 0 0 20 0 15 0 120727594 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140720652568736 140276224708343 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
/proc/11182/statm: 3495183 84631 3258 1 0 3483476 0
[pid=11182/tid=11183] ppid=11180 vsize=13980732 memory=338524 CPUtime=1664.22 cores=1,3,5,7
/proc/11182/task/11183/stat : 11183 (java) R 11180 11180 28892 0 -1 4202560 39186 0 0 0 166410 12 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276228948080 140275868896672 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11184] ppid=11180 vsize=13980732 memory=-8774313645642428999 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11184/stat : 11184 (java) S 11180 11180 28892 0 -1 1077944384 14299 0 0 0 1120 35 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276185606544 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11185] ppid=11180 vsize=13980732 memory=640 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11185/stat : 11185 (java) S 11180 11180 28892 0 -1 1077944384 14538 0 0 0 1121 34 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276184553744 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11186] ppid=11180 vsize=13980732 memory=960 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11186/stat : 11186 (java) S 11180 11180 28892 0 -1 1077944384 16519 0 0 0 1120 35 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276183501456 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11187] ppid=11180 vsize=13980732 memory=1232 CPUtime=11.54 cores=1,3,5,7
/proc/11182/task/11187/stat : 11187 (java) S 11180 11180 28892 0 -1 1077944384 14529 0 0 0 1120 34 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275821767184 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11188] ppid=11180 vsize=13980732 memory=338524 CPUtime=1.52 cores=1,3,5,7
/proc/11182/task/11188/stat : 11188 (java) S 11180 11180 28892 0 -1 1077944384 37799 0 0 0 130 22 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275568564848 140276224719490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11189] ppid=11180 vsize=13980732 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11189/stat : 11189 (java) S 11180 11180 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275567510816 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11190] ppid=11180 vsize=13980732 memory=932 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11190/stat : 11190 (java) S 11180 11180 28892 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275566458480 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11191] ppid=11180 vsize=13980732 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11191/stat : 11191 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275565406800 140276224726939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11192] ppid=11180 vsize=13980732 memory=2160 CPUtime=3.23 cores=1,3,5,7
/proc/11182/task/11192/stat : 11192 (java) S 11180 11180 28892 0 -1 1077944384 15955 0 0 0 321 2 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275564353648 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11193] ppid=11180 vsize=13980732 memory=844 CPUtime=3.49 cores=1,3,5,7
/proc/11182/task/11193/stat : 11193 (java) S 11180 11180 28892 0 -1 1077944384 14277 0 0 0 348 1 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275563300848 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11194] ppid=11180 vsize=13980732 memory=1380 CPUtime=0.7 cores=1,3,5,7
/proc/11182/task/11194/stat : 11194 (java) S 11180 11180 28892 0 -1 1077944384 12461 0 0 0 67 3 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275562248560 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11195] ppid=11180 vsize=13980732 memory=339040 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11195/stat : 11195 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275561196000 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11196] ppid=11180 vsize=13980732 memory=1228 CPUtime=0.82 cores=1,3,5,7
/proc/11182/task/11196/stat : 11196 (java) S 11180 11180 28892 0 -1 1077944384 852 0 0 0 39 43 0 0 20 0 15 0 120727604 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275560143792 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
Current children cumulated CPU time: 1720.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 339904 KiB
[startup+1678.5 s]
/proc/loadavg: 1.40 1.54 1.58 3/212 11604
/proc/meminfo: memFree=30385172/32770624 swapFree=67108860/67108860
[pid=11180] ppid=11177 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (xcsp3-exec) S 11177 11180 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120727586 9740288 345 18446744073709551615 4194304 5098028 140734548119216 140734548117320 139638479102588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 12603392 140734548128121 140734548128325 140734548128325 140734548131819 0
/proc/11180/statm: 2378 345 289 221 0 87 0
[pid=11182] ppid=11180 vsize=13980732 memory=338524 CPUtime=1720.36 cores=1,3,5,7
/proc/11182/stat : 11182 (java) S 11180 11180 28892 0 -1 1077944320 181764 0 0 0 171824 212 0 0 20 0 15 0 120727594 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140720652568736 140276224708343 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
/proc/11182/statm: 3495183 84631 3258 1 0 3483476 0
[pid=11182/tid=11183] ppid=11180 vsize=13980732 memory=1380 CPUtime=1664.32 cores=1,3,5,7
/proc/11182/task/11183/stat : 11183 (java) R 11180 11180 28892 0 -1 4202560 39186 0 0 0 166420 12 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276228948080 140275867557460 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11184] ppid=11180 vsize=13980732 memory=338524 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11184/stat : 11184 (java) S 11180 11180 28892 0 -1 1077944384 14299 0 0 0 1120 35 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276185606544 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11185] ppid=11180 vsize=13980732 memory=339040 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11185/stat : 11185 (java) S 11180 11180 28892 0 -1 1077944384 14538 0 0 0 1121 34 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276184553744 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11186] ppid=11180 vsize=13980732 memory=339040 CPUtime=11.55 cores=1,3,5,7
/proc/11182/task/11186/stat : 11186 (java) S 11180 11180 28892 0 -1 1077944384 16519 0 0 0 1120 35 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140276183501456 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11187] ppid=11180 vsize=13980732 memory=339552 CPUtime=11.54 cores=1,3,5,7
/proc/11182/task/11187/stat : 11187 (java) S 11180 11180 28892 0 -1 1077944384 14529 0 0 0 1120 34 0 0 20 0 15 0 120727595 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275821767184 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11188] ppid=11180 vsize=13980732 memory=328932 CPUtime=1.52 cores=1,3,5,7
/proc/11182/task/11188/stat : 11188 (java) S 11180 11180 28892 0 -1 1077944384 37799 0 0 0 130 22 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275568564848 140276224719490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11189] ppid=11180 vsize=13980732 memory=329448 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11189/stat : 11189 (java) S 11180 11180 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275567510816 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11190] ppid=11180 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11190/stat : 11190 (java) S 11180 11180 28892 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 120727597 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275566458480 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11191] ppid=11180 vsize=13980732 memory=339040 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11191/stat : 11191 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275565406800 140276224726939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11192] ppid=11180 vsize=13980732 memory=338524 CPUtime=3.23 cores=1,3,5,7
/proc/11182/task/11192/stat : 11192 (java) S 11180 11180 28892 0 -1 1077944384 15955 0 0 0 321 2 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275564353648 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11193] ppid=11180 vsize=13980732 memory=1380 CPUtime=3.49 cores=1,3,5,7
/proc/11182/task/11193/stat : 11193 (java) S 11180 11180 28892 0 -1 1077944384 14277 0 0 0 348 1 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275563300848 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11194] ppid=11180 vsize=13980732 memory=1380 CPUtime=0.7 cores=1,3,5,7
/proc/11182/task/11194/stat : 11194 (java) S 11180 11180 28892 0 -1 1077944384 12461 0 0 0 67 3 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275562248560 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11195] ppid=11180 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11182/task/11195/stat : 11195 (java) S 11180 11180 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120727600 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275561196000 140276224718549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
[pid=11182/tid=11196] ppid=11180 vsize=13980732 memory=4028 CPUtime=0.82 cores=1,3,5,7
/proc/11182/task/11196/stat : 11196 (java) S 11180 11180 28892 0 -1 1077944384 852 0 0 0 39 43 0 0 20 0 15 0 120727604 14316269568 84631 18446744073709551615 4194304 4196468 140720652586192 140275560143792 140276224719490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23060480 140720652591537 140720652591713 140720652591713 140720652595151 0
Current children cumulated CPU time: 1720.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 339904 KiB
Child status: 0
Real time (s): 1678.54
CPU time (s): 1720.43
CPU user time (s): 1718.3
CPU system time (s): 2.1293
CPU usage (%): 102.495
Max. virtual memory (cumulated for all children) (KiB): 13992112
Max. memory (cumulated for all children) (KiB): 489592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1718.3
system time used= 2.1293
maximum resident set size= 512872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67417
involuntary context switches= 2350
# summary of solver processes directly reported to runsolver:
# pid: 11180
# total CPU time (s): 1720.43
# total CPU user time (s): 1718.3
# total CPU system time (s): 2.1293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6038 second user time and 16.2473 second system time
The end