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 (9405 MiB free)
memory of node 1: 16384 MiB (12184 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394341-1568332604/watcher-4394341-1568332604 -o /tmp/evaluation-result-4394341-1568332604/solver-4394341-1568332604 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1279346207 HOME/instance-4394341-1568332604.xml
running on 4 cores: 0,2,4,6
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=30123, runsolver pid=30120
Current StackSize limit: 8192 KiB
[startup+0.106249 s]*
/proc/loadavg: 7.87 8.15 7.97 7/234 30139
/proc/meminfo: memFree=22092008/32770624 swapFree=66939828/67108860
[pid=30123] ppid=30120 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30123/stat : 30123 (xcsp3-exec) S 30120 30123 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409175343 115843072 362 33554432000 4194304 5098028 140722944177024 140722944175128 140578062160508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23400448 140722944181114 140722944181357 140722944181357 140722944184266 0
/proc/30123/statm: 28282 362 304 221 0 87 0
[pid=30125] ppid=30123 vsize=15144768 memory=29176 CPUtime=0.15 cores=0,2,4,6
/proc/30125/stat : 30125 (java) S 30123 30123 19528 0 -1 1077944320 5730 0 0 0 14 1 0 0 20 0 15 0 409175343 15508242432 7294 33554432000 4194304 4196468 140728957725264 140728957707808 139674678353655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
/proc/30125/statm: 3786192 7294 3204 1 0 3748377 0
[pid=30125/tid=30126] ppid=30123 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/30125/task/30126/stat : 30126 (java) R 30123 30123 19528 0 -1 4202560 3586 0 0 0 9 0 0 0 20 0 15 0 409175344 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674682584656 139674678365590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30127] ppid=30123 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30127/stat : 30127 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409175344 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674630973968 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30128] ppid=30123 vsize=15144768 memory=139704944993920 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30128/stat : 30128 (java) S 30123 30123 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409175344 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674629921424 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30129] ppid=30123 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30129/stat : 30129 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409175344 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674628868368 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30130] ppid=30123 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30130/stat : 30130 (java) S 30123 30123 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409175344 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674627815824 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30131] ppid=30123 vsize=15144768 memory=139704944993920 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30131/stat : 30131 (java) S 30123 30123 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409175346 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674146294512 139674678364802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30132] ppid=30123 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30132/stat : 30132 (java) S 30123 30123 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409175346 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674145240736 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30133] ppid=30123 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30133/stat : 30133 (java) S 30123 30123 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409175346 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674144187632 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30134] ppid=30123 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30134/stat : 30134 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409175349 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674143136208 139674678372251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30135] ppid=30123 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30135/stat : 30135 (java) S 30123 30123 19528 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 409175349 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674142083312 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30136] ppid=30123 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30136/stat : 30136 (java) S 30123 30123 19528 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 409175349 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674141030768 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30137] ppid=30123 vsize=15144768 memory=139704944993920 CPUtime=0.02 cores=0,2,4,6
/proc/30125/task/30137/stat : 30137 (java) R 30123 30123 19528 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 409175349 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674139977712 139674662434142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30138] ppid=30123 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30138/stat : 30138 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409175349 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674138925408 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30139] ppid=30123 vsize=15144768 memory=139704944993920 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30139/stat : 30139 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409175349 15508242432 7294 33554432000 4194304 4196468 140728957725264 139674137873456 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30624 KiB
[startup+0.210869 s]*
/proc/loadavg: 7.87 8.15 7.97 6/234 30139
/proc/meminfo: memFree=22077232/32770624 swapFree=66939828/67108860
[pid=30123] ppid=30120 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30123/stat : 30123 (xcsp3-exec) S 30120 30123 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409175343 115843072 362 33554432000 4194304 5098028 140722944177024 140722944175128 140578062160508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23400448 140722944181114 140722944181357 140722944181357 140722944184266 0
/proc/30123/statm: 28282 362 304 221 0 87 0
[pid=30125] ppid=30123 vsize=15144768 memory=40680 CPUtime=0.34 cores=0,2,4,6
/proc/30125/stat : 30125 (java) S 30123 30123 19528 0 -1 1077944320 9439 0 0 0 31 3 0 0 20 0 15 0 409175343 15508242432 10170 33554432000 4194304 4196468 140728957725264 140728957707808 139674678353655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
/proc/30125/statm: 3786192 10170 3299 1 0 3748377 0
[pid=30125/tid=30126] ppid=30123 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30125/task/30126/stat : 30126 (java) R 30123 30123 19528 0 -1 4202560 6587 0 0 0 18 2 0 0 20 0 15 0 409175344 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674682586384 139674678365590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30127] ppid=30123 vsize=15144768 memory=10535 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30127/stat : 30127 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409175344 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674630973968 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30128] ppid=30123 vsize=15144768 memory=139704947979748 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30128/stat : 30128 (java) S 30123 30123 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409175344 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674629921424 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30129] ppid=30123 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30129/stat : 30129 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409175344 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674628868368 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30130] ppid=30123 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30130/stat : 30130 (java) S 30123 30123 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409175344 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674627815824 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30131] ppid=30123 vsize=15144768 memory=139704944993920 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30131/stat : 30131 (java) S 30123 30123 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409175346 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674146294512 139674678364802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30132] ppid=30123 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30132/stat : 30132 (java) S 30123 30123 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409175346 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674145240736 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30133] ppid=30123 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30133/stat : 30133 (java) S 30123 30123 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409175346 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674144187632 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30134] ppid=30123 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30134/stat : 30134 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409175349 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674143136208 139674678372251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30135] ppid=30123 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30125/task/30135/stat : 30135 (java) S 30123 30123 19528 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 409175349 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674142083312 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30136] ppid=30123 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30125/task/30136/stat : 30136 (java) S 30123 30123 19528 0 -1 1077944384 314 0 0 0 2 0 0 0 20 0 15 0 409175349 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674141030768 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30137] ppid=30123 vsize=15144768 memory=139704944993920 CPUtime=0.08 cores=0,2,4,6
/proc/30125/task/30137/stat : 30137 (java) R 30123 30123 19528 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 15 0 409175349 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674139977712 139674663519248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30138] ppid=30123 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30138/stat : 30138 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409175349 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674138925408 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30139] ppid=30123 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30139/stat : 30139 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409175349 15508242432 10170 33554432000 4194304 4196468 140728957725264 139674137873456 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42128 KiB
[startup+0.314244 s]*
/proc/loadavg: 7.87 8.15 7.97 10/233 30139
/proc/meminfo: memFree=22070600/32770624 swapFree=66939828/67108860
[pid=30123] ppid=30120 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30123/stat : 30123 (xcsp3-exec) S 30120 30123 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409175343 115843072 362 33554432000 4194304 5098028 140722944177024 140722944175128 140578062160508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23400448 140722944181114 140722944181357 140722944181357 140722944184266 0
/proc/30123/statm: 28282 362 304 221 0 87 0
[pid=30125] ppid=30123 vsize=15149024 memory=49736 CPUtime=0.53 cores=0,2,4,6
/proc/30125/stat : 30125 (java) S 30123 30123 19528 0 -1 1077944320 10862 0 0 0 49 4 0 0 20 0 15 0 409175343 15512600576 12434 33554432000 4194304 4196468 140728957725264 140728957707808 139674678353655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
/proc/30125/statm: 3787256 12434 3350 1 0 3748377 0
[pid=30125/tid=30126] ppid=30123 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/30125/task/30126/stat : 30126 (java) R 30123 30123 19528 0 -1 4202560 7778 0 0 0 27 3 0 0 20 0 15 0 409175344 15512600576 12434 33554432000 4194304 4196468 140728957725264 139674682581424 139674662434142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30127] ppid=30123 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30127/stat : 30127 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409175344 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674630973968 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30128] ppid=30123 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30128/stat : 30128 (java) S 30123 30123 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409175344 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674629921424 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30129] ppid=30123 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30129/stat : 30129 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409175344 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674628868368 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30130] ppid=30123 vsize=15149024 memory=-7377628852694597791 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30130/stat : 30130 (java) S 30123 30123 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409175344 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674627815824 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30131] ppid=30123 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30131/stat : 30131 (java) S 30123 30123 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409175346 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674146294512 139674678364802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30132] ppid=30123 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30132/stat : 30132 (java) S 30123 30123 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409175346 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674145240736 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30133] ppid=30123 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30133/stat : 30133 (java) S 30123 30123 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409175346 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674144187632 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30134] ppid=30123 vsize=15149024 memory=-7828588039587137883 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30134/stat : 30134 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409175349 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674143136208 139674678372251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30135] ppid=30123 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/30125/task/30135/stat : 30135 (java) R 30123 30123 19528 0 -1 4202560 551 0 0 0 5 0 0 0 20 0 15 0 409175349 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674142073696 139674658045343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30136] ppid=30123 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30125/task/30136/stat : 30136 (java) S 30123 30123 19528 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 15 0 409175349 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674141030768 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30137] ppid=30123 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30125/task/30137/stat : 30137 (java) S 30123 30123 19528 0 -1 1077944384 910 0 0 0 12 0 0 0 20 0 15 0 409175349 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674139977712 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30138] ppid=30123 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30138/stat : 30138 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409175349 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674138925408 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30139] ppid=30123 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30139/stat : 30139 (java) R 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409175349 15512600576 12499 33554432000 4194304 4196468 140728957725264 139674137873456 139674678364802 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51184 KiB
[startup+0.708999 s]
/proc/loadavg: 7.87 8.15 7.97 9/233 30139
/proc/meminfo: memFree=22055280/32770624 swapFree=66939828/67108860
[pid=30123] ppid=30120 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30123/stat : 30123 (xcsp3-exec) S 30120 30123 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409175343 115843072 362 33554432000 4194304 5098028 140722944177024 140722944175128 140578062160508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23400448 140722944181114 140722944181357 140722944181357 140722944184266 0
/proc/30123/statm: 28282 362 304 221 0 87 0
[pid=30125] ppid=30123 vsize=15418432 memory=117004 CPUtime=1.69 cores=0,2,4,6
/proc/30125/stat : 30125 (java) S 30123 30123 19528 0 -1 1077944320 15043 0 0 0 163 6 0 0 20 0 18 0 409175343 15788474368 29251 33554432000 4194304 4196468 140728957725264 140728957707808 139674678353655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
/proc/30125/statm: 3854608 29251 3456 1 0 3815710 0
[pid=30125/tid=30126] ppid=30123 vsize=15418432 memory=1436 CPUtime=0.57 cores=0,2,4,6
/proc/30125/task/30126/stat : 30126 (java) S 30123 30123 19528 0 -1 1077944384 9202 0 0 0 53 4 0 0 20 0 18 0 409175344 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674682594432 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30127] ppid=30123 vsize=15418432 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30127/stat : 30127 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 409175344 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674630973968 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30128] ppid=30123 vsize=15418432 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30128/stat : 30128 (java) S 30123 30123 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 409175344 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674629921424 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30129] ppid=30123 vsize=15418432 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30129/stat : 30129 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 409175344 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674628868368 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30130] ppid=30123 vsize=15418432 memory=7980 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30130/stat : 30130 (java) S 30123 30123 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 409175344 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674627815824 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30131] ppid=30123 vsize=15418432 memory=9580 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30131/stat : 30131 (java) S 30123 30123 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 409175346 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674146294512 139674678364802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30132] ppid=30123 vsize=15418432 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30132/stat : 30132 (java) S 30123 30123 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 409175346 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674145240736 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30133] ppid=30123 vsize=15418432 memory=776 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30133/stat : 30133 (java) S 30123 30123 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 409175346 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674144187632 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30134] ppid=30123 vsize=15418432 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30134/stat : 30134 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 409175349 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674143136208 139674678372251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30135] ppid=30123 vsize=15418432 memory=668 CPUtime=0.3 cores=0,2,4,6
/proc/30125/task/30135/stat : 30135 (java) R 30123 30123 19528 0 -1 4202560 1294 0 0 0 30 0 0 0 20 0 18 0 409175349 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674142069336 139674657610123 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30136] ppid=30123 vsize=15418432 memory=1232 CPUtime=0.25 cores=0,2,4,6
/proc/30125/task/30136/stat : 30136 (java) R 30123 30123 19528 0 -1 4202560 877 0 0 0 25 0 0 0 20 0 18 0 409175349 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674141017336 139674661839931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30137] ppid=30123 vsize=15418432 memory=1064 CPUtime=0.35 cores=0,2,4,6
/proc/30125/task/30137/stat : 30137 (java) R 30123 30123 19528 0 -1 4202560 1842 0 0 0 35 0 0 0 20 0 18 0 409175349 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674139977712 139674671450568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30138] ppid=30123 vsize=15418432 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30138/stat : 30138 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 409175349 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674138925408 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30139] ppid=30123 vsize=15418432 memory=21172 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30139/stat : 30139 (java) S 30123 30123 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 409175349 15788474368 29251 33554432000 4194304 4196468 140728957725264 139674137873456 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 118452 KiB
[startup+1.50799 s]
/proc/loadavg: 7.87 8.15 7.97 12/237 30194
/proc/meminfo: memFree=21943972/32770624 swapFree=66939828/67108860
[pid=30123] ppid=30120 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30123/stat : 30123 (xcsp3-exec) S 30120 30123 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409175343 115843072 362 33554432000 4194304 5098028 140722944177024 140722944175128 140578062160508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23400448 140722944181114 140722944181357 140722944181357 140722944184266 0
/proc/30123/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30125/stat : 30125 (java) S 30123 30123 19528 0 -1 1077944320 109311 0 0 0 236186 108 0 0 20 0 19 0 409175343 15855583232 89285 33554432000 4194304 4196468 140728957725264 140728957707808 139674678353655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
/proc/30125/statm: 3870992 89285 3516 1 0 3832094 0
[pid=30125/tid=30126] ppid=30123 vsize=15483968 memory=357140 CPUtime=0.58 cores=0,2,4,6
/proc/30125/task/30126/stat : 30126 (java) S 30123 30123 19528 0 -1 1077944384 10168 0 0 0 54 4 0 0 20 0 19 0 409175344 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674682594432 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30127] ppid=30123 vsize=15483968 memory=357140 CPUtime=0.84 cores=0,2,4,6
/proc/30125/task/30127/stat : 30127 (java) S 30123 30123 19528 0 -1 1077944384 5417 0 0 0 78 6 0 0 20 0 19 0 409175344 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674630973968 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30128] ppid=30123 vsize=15483968 memory=1448 CPUtime=0.84 cores=0,2,4,6
/proc/30125/task/30128/stat : 30128 (java) S 30123 30123 19528 0 -1 1077944384 5296 0 0 0 78 6 0 0 20 0 19 0 409175344 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674629921424 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30129] ppid=30123 vsize=15483968 memory=353044 CPUtime=0.85 cores=0,2,4,6
/proc/30125/task/30129/stat : 30129 (java) S 30123 30123 19528 0 -1 1077944384 6829 0 0 0 78 7 0 0 20 0 19 0 409175344 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674628868368 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30130] ppid=30123 vsize=15483968 memory=1448 CPUtime=0.85 cores=0,2,4,6
/proc/30125/task/30130/stat : 30130 (java) S 30123 30123 19528 0 -1 1077944384 4714 0 0 0 79 6 0 0 20 0 19 0 409175344 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674627815824 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30131] ppid=30123 vsize=15483968 memory=350996 CPUtime=1.13 cores=0,2,4,6
/proc/30125/task/30131/stat : 30131 (java) S 30123 30123 19528 0 -1 1077944384 6564 0 0 0 46 67 0 0 20 0 19 0 409175346 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674146294512 139674678364802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30132] ppid=30123 vsize=15483968 memory=804 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30132/stat : 30132 (java) S 30123 30123 19528 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 409175346 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674145240800 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30133] ppid=30123 vsize=15483968 memory=353048 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30133/stat : 30133 (java) S 30123 30123 19528 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 409175346 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674144187648 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30134] ppid=30123 vsize=15483968 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30134/stat : 30134 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409175349 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674143136208 139674678372251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30135] ppid=30123 vsize=15483968 memory=1448 CPUtime=3.08 cores=0,2,4,6
/proc/30125/task/30135/stat : 30135 (java) S 30123 30123 19528 0 -1 1077944384 18168 0 0 0 307 1 0 0 20 0 19 0 409175349 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674142083312 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30136] ppid=30123 vsize=15483968 memory=355108 CPUtime=2.79 cores=0,2,4,6
/proc/30125/task/30136/stat : 30136 (java) S 30123 30123 19528 0 -1 1077944384 19723 0 0 0 278 1 0 0 20 0 19 0 409175349 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674141030768 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30137] ppid=30123 vsize=15483968 memory=1412 CPUtime=0.65 cores=0,2,4,6
/proc/30125/task/30137/stat : 30137 (java) S 30123 30123 19528 0 -1 1077944384 8670 0 0 0 64 1 0 0 20 0 19 0 409175349 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674139977712 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30138] ppid=30123 vsize=15483968 memory=3488 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30138/stat : 30138 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409175349 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674138925408 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30139] ppid=30123 vsize=15483968 memory=355092 CPUtime=0.22 cores=0,2,4,6
/proc/30125/task/30139/stat : 30139 (java) S 30123 30123 19528 0 -1 1077944384 1188 0 0 0 12 10 0 0 20 0 19 0 409175349 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674137873456 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30504] ppid=30123 vsize=15483968 memory=1448 CPUtime=30.34 cores=0,2,4,6
/proc/30125/task/30504/stat : 30504 (java) R 30123 30123 19528 0 -1 4202560 711 0 0 0 3034 0 0 0 20 0 19 0 409236501 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674127846952 139674305394807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30505] ppid=30123 vsize=15483968 memory=1448 CPUtime=30.22 cores=0,2,4,6
/proc/30125/task/30505/stat : 30505 (java) R 30123 30123 19528 0 -1 4202560 1408 0 0 0 3022 0 0 0 20 0 19 0 409236501 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674128903440 139674307099127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30506] ppid=30123 vsize=15483968 memory=355092 CPUtime=30.25 cores=0,2,4,6
/proc/30125/task/30506/stat : 30506 (java) R 30123 30123 19528 0 -1 4202560 1452 0 0 0 3025 0 0 0 20 0 19 0 409236501 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674126795672 139674305543239 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30507] ppid=30123 vsize=15483968 memory=6791534058613427641 CPUtime=30.3 cores=0,2,4,6
/proc/30125/task/30507/stat : 30507 (java) R 30123 30123 19528 0 -1 4202560 430 0 0 0 3030 0 0 0 20 0 19 0 409236501 15855583232 89285 33554432000 4194304 4196468 140728957725264 139674124689456 139674307099280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
Current children cumulated CPU time: 2362.94 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 358588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+651.701 s]
/proc/loadavg: 8.14 8.45 8.17 9/237 30510
/proc/meminfo: memFree=21709684/32770624 swapFree=66939828/67108860
[pid=30123] ppid=30120 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30123/stat : 30123 (xcsp3-exec) S 30120 30123 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409175343 115843072 362 33554432000 4194304 5098028 140722944177024 140722944175128 140578062160508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23400448 140722944181114 140722944181357 140722944181357 140722944184266 0
/proc/30123/statm: 28282 362 304 221 0 87 0
[pid=30125] ppid=30123 vsize=15483968 memory=372500 CPUtime=2400.12 cores=0,2,4,6
/proc/30125/stat : 30125 (java) S 30123 30123 19528 0 -1 1077944320 109800 0 0 0 239900 112 0 0 20 0 19 0 409175343 15855583232 93125 33554432000 4194304 4196468 140728957725264 140728957707808 139674678353655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
/proc/30125/statm: 3870992 93125 3516 1 0 3832094 0
[pid=30125/tid=30126] ppid=30123 vsize=15483968 memory=372500 CPUtime=0.58 cores=0,2,4,6
/proc/30125/task/30126/stat : 30126 (java) S 30123 30123 19528 0 -1 1077944384 10168 0 0 0 54 4 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674682594432 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30127] ppid=30123 vsize=15483968 memory=372500 CPUtime=0.87 cores=0,2,4,6
/proc/30125/task/30127/stat : 30127 (java) S 30123 30123 19528 0 -1 1077944384 5476 0 0 0 81 6 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674630973968 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30128] ppid=30123 vsize=15483968 memory=372500 CPUtime=0.89 cores=0,2,4,6
/proc/30125/task/30128/stat : 30128 (java) S 30123 30123 19528 0 -1 1077944384 5445 0 0 0 82 7 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674629921424 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30129] ppid=30123 vsize=15483968 memory=1448 CPUtime=0.89 cores=0,2,4,6
/proc/30125/task/30129/stat : 30129 (java) S 30123 30123 19528 0 -1 1077944384 6844 0 0 0 82 7 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674628868368 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30130] ppid=30123 vsize=15483968 memory=372500 CPUtime=0.9 cores=0,2,4,6
/proc/30125/task/30130/stat : 30130 (java) S 30123 30123 19528 0 -1 1077944384 4780 0 0 0 83 7 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674627815824 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30131] ppid=30123 vsize=15483968 memory=1448 CPUtime=1.19 cores=0,2,4,6
/proc/30125/task/30131/stat : 30131 (java) S 30123 30123 19528 0 -1 1077944384 6583 0 0 0 49 70 0 0 20 0 19 0 409175346 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674146294512 139674678364802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30132] ppid=30123 vsize=15483968 memory=355092 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30132/stat : 30132 (java) S 30123 30123 19528 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 409175346 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674145240800 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30133] ppid=30123 vsize=15483968 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30133/stat : 30133 (java) S 30123 30123 19528 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 409175346 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674144187648 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30134] ppid=30123 vsize=15483968 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30134/stat : 30134 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674143136208 139674678372251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30135] ppid=30123 vsize=15483968 memory=1548 CPUtime=3.08 cores=0,2,4,6
/proc/30125/task/30135/stat : 30135 (java) S 30123 30123 19528 0 -1 1077944384 18171 0 0 0 307 1 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674142083312 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30136] ppid=30123 vsize=15483968 memory=353044 CPUtime=2.79 cores=0,2,4,6
/proc/30125/task/30136/stat : 30136 (java) S 30123 30123 19528 0 -1 1077944384 19725 0 0 0 278 1 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674141030768 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30137] ppid=30123 vsize=15483968 memory=1448 CPUtime=0.65 cores=0,2,4,6
/proc/30125/task/30137/stat : 30137 (java) S 30123 30123 19528 0 -1 1077944384 8672 0 0 0 64 1 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674139977712 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30138] ppid=30123 vsize=15483968 memory=353048 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30138/stat : 30138 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674138925408 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30139] ppid=30123 vsize=15483968 memory=1448 CPUtime=0.23 cores=0,2,4,6
/proc/30125/task/30139/stat : 30139 (java) S 30123 30123 19528 0 -1 1077944384 1188 0 0 0 13 10 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674137873456 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30504] ppid=30123 vsize=15483968 memory=1448 CPUtime=39.61 cores=0,2,4,6
/proc/30125/task/30504/stat : 30504 (java) R 30123 30123 19528 0 -1 4202560 729 0 0 0 3961 0 0 0 20 0 19 0 409236501 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674127847328 139674305293729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30505] ppid=30123 vsize=15483968 memory=372500 CPUtime=39.42 cores=0,2,4,6
/proc/30125/task/30505/stat : 30505 (java) R 30123 30123 19528 0 -1 4202560 1482 0 0 0 3942 0 0 0 20 0 19 0 409236501 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674128903552 139674305803463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30506] ppid=30123 vsize=15483968 memory=776 CPUtime=39.45 cores=0,2,4,6
/proc/30125/task/30506/stat : 30506 (java) R 30123 30123 19528 0 -1 4202560 1469 0 0 0 3945 0 0 0 20 0 19 0 409236501 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674126795624 139674304139719 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30507] ppid=30123 vsize=15483968 memory=2832 CPUtime=39.58 cores=0,2,4,6
/proc/30125/task/30507/stat : 30507 (java) R 30123 30123 19528 0 -1 4202560 495 0 0 0 3958 0 0 0 20 0 19 0 409236501 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674124689456 139674307099478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 373948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+651.724 s]
# the end of solver process 30123 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000795 s, system=0.001591 s
[startup+651.786 s]
# the end of solver process 30125 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.3 s, system=1.13338 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+651.701 s]
/proc/loadavg: 8.14 8.45 8.17 9/237 30510
/proc/meminfo: memFree=21709684/32770624 swapFree=66939828/67108860
[pid=30123] ppid=30120 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30123/stat : 30123 (xcsp3-exec) S 30120 30123 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409175343 115843072 362 33554432000 4194304 5098028 140722944177024 140722944175128 140578062160508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23400448 140722944181114 140722944181357 140722944181357 140722944184266 0
/proc/30123/statm: 28282 362 304 221 0 87 0
[pid=30125] ppid=30123 vsize=15483968 memory=372500 CPUtime=2400.12 cores=0,2,4,6
/proc/30125/stat : 30125 (java) S 30123 30123 19528 0 -1 1077944320 109800 0 0 0 239900 112 0 0 20 0 19 0 409175343 15855583232 93125 33554432000 4194304 4196468 140728957725264 140728957707808 139674678353655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
/proc/30125/statm: 3870992 93125 3516 1 0 3832094 0
[pid=30125/tid=30126] ppid=30123 vsize=15483968 memory=372500 CPUtime=0.58 cores=0,2,4,6
/proc/30125/task/30126/stat : 30126 (java) S 30123 30123 19528 0 -1 1077944384 10168 0 0 0 54 4 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674682594432 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30127] ppid=30123 vsize=15483968 memory=372500 CPUtime=0.87 cores=0,2,4,6
/proc/30125/task/30127/stat : 30127 (java) S 30123 30123 19528 0 -1 1077944384 5476 0 0 0 81 6 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674630973968 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30128] ppid=30123 vsize=15483968 memory=372500 CPUtime=0.89 cores=0,2,4,6
/proc/30125/task/30128/stat : 30128 (java) S 30123 30123 19528 0 -1 1077944384 5445 0 0 0 82 7 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674629921424 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30129] ppid=30123 vsize=15483968 memory=1448 CPUtime=0.89 cores=0,2,4,6
/proc/30125/task/30129/stat : 30129 (java) S 30123 30123 19528 0 -1 1077944384 6844 0 0 0 82 7 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674628868368 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30130] ppid=30123 vsize=15483968 memory=372500 CPUtime=0.9 cores=0,2,4,6
/proc/30125/task/30130/stat : 30130 (java) S 30123 30123 19528 0 -1 1077944384 4780 0 0 0 83 7 0 0 20 0 19 0 409175344 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674627815824 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30131] ppid=30123 vsize=15483968 memory=1448 CPUtime=1.19 cores=0,2,4,6
/proc/30125/task/30131/stat : 30131 (java) S 30123 30123 19528 0 -1 1077944384 6583 0 0 0 49 70 0 0 20 0 19 0 409175346 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674146294512 139674678364802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30132] ppid=30123 vsize=15483968 memory=355092 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30132/stat : 30132 (java) S 30123 30123 19528 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 409175346 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674145240800 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30133] ppid=30123 vsize=15483968 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30133/stat : 30133 (java) S 30123 30123 19528 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 409175346 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674144187648 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30134] ppid=30123 vsize=15483968 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30134/stat : 30134 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674143136208 139674678372251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30135] ppid=30123 vsize=15483968 memory=1548 CPUtime=3.08 cores=0,2,4,6
/proc/30125/task/30135/stat : 30135 (java) S 30123 30123 19528 0 -1 1077944384 18171 0 0 0 307 1 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674142083312 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30136] ppid=30123 vsize=15483968 memory=353044 CPUtime=2.79 cores=0,2,4,6
/proc/30125/task/30136/stat : 30136 (java) S 30123 30123 19528 0 -1 1077944384 19725 0 0 0 278 1 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674141030768 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30137] ppid=30123 vsize=15483968 memory=1448 CPUtime=0.65 cores=0,2,4,6
/proc/30125/task/30137/stat : 30137 (java) S 30123 30123 19528 0 -1 1077944384 8672 0 0 0 64 1 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674139977712 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30138] ppid=30123 vsize=15483968 memory=353048 CPUtime=0 cores=0,2,4,6
/proc/30125/task/30138/stat : 30138 (java) S 30123 30123 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674138925408 139674678363861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30139] ppid=30123 vsize=15483968 memory=1448 CPUtime=0.23 cores=0,2,4,6
/proc/30125/task/30139/stat : 30139 (java) S 30123 30123 19528 0 -1 1077944384 1188 0 0 0 13 10 0 0 20 0 19 0 409175349 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674137873456 139674678364802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30504] ppid=30123 vsize=15483968 memory=1448 CPUtime=39.61 cores=0,2,4,6
/proc/30125/task/30504/stat : 30504 (java) R 30123 30123 19528 0 -1 4202560 729 0 0 0 3961 0 0 0 20 0 19 0 409236501 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674127847328 139674305293729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30505] ppid=30123 vsize=15483968 memory=372500 CPUtime=39.42 cores=0,2,4,6
/proc/30125/task/30505/stat : 30505 (java) R 30123 30123 19528 0 -1 4202560 1482 0 0 0 3942 0 0 0 20 0 19 0 409236501 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674128903552 139674305803463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30506] ppid=30123 vsize=15483968 memory=776 CPUtime=39.45 cores=0,2,4,6
/proc/30125/task/30506/stat : 30506 (java) R 30123 30123 19528 0 -1 4202560 1469 0 0 0 3945 0 0 0 20 0 19 0 409236501 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674126795624 139674304139719 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
[pid=30125/tid=30507] ppid=30123 vsize=15483968 memory=2832 CPUtime=39.58 cores=0,2,4,6
/proc/30125/task/30507/stat : 30507 (java) R 30123 30123 19528 0 -1 4202560 495 0 0 0 3958 0 0 0 20 0 19 0 409236501 15855583232 93125 33554432000 4194304 4196468 140728957725264 139674124689456 139674307099478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12050432 140728957727727 140728957727898 140728957727898 140728957730767 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 373948 KiB
Child status: 143
Real time (s): 651.786
CPU time (s): 2400.43
CPU user time (s): 2399.3
CPU system time (s): 1.13338
CPU usage (%): 368.285
Max. virtual memory (cumulated for all children) (KiB): 15597096
Max. memory (cumulated for all children) (KiB): 373948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.3
system time used= 1.13338
maximum resident set size= 372952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26623
involuntary context switches= 44273
# summary of solver processes directly reported to runsolver:
# pid: 30123,30125
# total CPU time (s): 2400.43
# total CPU user time (s): 2399.3
# total CPU system time (s): 1.13338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.07981 second user time and 7.50071 second system time
The end