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 (14908 MiB free)
memory of node 1: 16384 MiB (11648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302149-1532889025/watcher-4302149-1532889025 -o /tmp/evaluation-result-4302149-1532889025/solver-4302149-1532889025 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 647836282 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302149-1532889025.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15375, runsolver pid=15372
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.79 1.79 1.83 3/217 15391
/proc/meminfo: memFree=27177024/32770624 swapFree=67108496/67108860
[pid=15375] ppid=15372 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (xcsp3-exec) S 15372 15375 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106465663 115843072 363 33554432000 4194304 5098028 140721720147136 140721720145240 140025372316284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9920512 140721720149057 140721720149257 140721720149257 140721720152010 0
/proc/15375/statm: 28282 363 306 221 0 87 0
[pid=15377] ppid=15375 vsize=14082940 memory=28836 CPUtime=0.11 cores=1,3,5,7
/proc/15377/stat : 15377 (java) S 15375 15375 7585 0 -1 1077944320 5634 0 0 0 10 1 0 0 20 0 15 0 106465663 14420930560 7209 33554432000 4194304 4196468 140723207929488 140723207912032 139961646391031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
/proc/15377/statm: 3520735 7209 2998 1 0 3483012 0
[pid=15377/tid=15378] ppid=15375 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/15377/task/15378/stat : 15378 (java) R 15375 15375 7585 0 -1 4202560 3650 0 0 0 8 1 0 0 20 0 15 0 106465663 14420930560 7209 33554432000 4194304 4196468 140723207929488 139961650623280 139961646412957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15379] ppid=15375 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15379/stat : 15379 (java) S 15375 15375 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106465664 14420930560 7209 33554432000 4194304 4196468 140723207929488 139961241877520 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15380] ppid=15375 vsize=14082940 memory=140184385193600 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15380/stat : 15380 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14420930560 7209 33554432000 4194304 4196468 140723207929488 139961240824976 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15381] ppid=15375 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15381/stat : 15381 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14420930560 7209 33554432000 4194304 4196468 140723207929488 139961239771920 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15382] ppid=15375 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15382/stat : 15382 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14420930560 7209 33554432000 4194304 4196468 140723207929488 139961238719376 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15383] ppid=15375 vsize=14082940 memory=140184385193600 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15383/stat : 15383 (java) S 15375 15375 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106465666 14420930560 7209 33554432000 4194304 4196468 140723207929488 139960759830768 139961646402178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15384] ppid=15375 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15384/stat : 15384 (java) S 15375 15375 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106465666 14420930560 7209 33554432000 4194304 4196468 140723207929488 139960758776992 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15385] ppid=15375 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15385/stat : 15385 (java) S 15375 15375 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106465666 14420930560 7209 33554432000 4194304 4196468 140723207929488 139960757723888 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15386] ppid=15375 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15386/stat : 15386 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14420930560 7209 33554432000 4194304 4196468 140723207929488 139960756672464 139961646409627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15387] ppid=15375 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15387/stat : 15387 (java) S 15375 15375 7585 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 106465669 14420930560 7209 33554432000 4194304 4196468 140723207929488 139960755620592 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15388] ppid=15375 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15388/stat : 15388 (java) S 15375 15375 7585 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 106465669 14420930560 7209 33554432000 4194304 4196468 140723207929488 139960754568048 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15389] ppid=15375 vsize=14082940 memory=140184385193600 CPUtime=0.01 cores=1,3,5,7
/proc/15377/task/15389/stat : 15389 (java) S 15375 15375 7585 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 15 0 106465669 14420930560 7209 33554432000 4194304 4196468 140723207929488 139960753514992 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15390] ppid=15375 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15390/stat : 15390 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14420930560 7209 33554432000 4194304 4196468 140723207929488 139960752462688 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15391] ppid=15375 vsize=14082940 memory=140184385193600 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15391/stat : 15391 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465669 14420930560 7209 33554432000 4194304 4196468 140723207929488 139960751409712 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30288 KiB
[startup+0.210591 s]*
/proc/loadavg: 1.79 1.79 1.83 5/217 15391
/proc/meminfo: memFree=27165364/32770624 swapFree=67108496/67108860
[pid=15375] ppid=15372 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (xcsp3-exec) S 15372 15375 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106465663 115843072 363 33554432000 4194304 5098028 140721720147136 140721720145240 140025372316284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9920512 140721720149057 140721720149257 140721720149257 140721720152010 0
/proc/15375/statm: 28282 363 306 221 0 87 0
[pid=15377] ppid=15375 vsize=14082940 memory=40976 CPUtime=0.34 cores=1,3,5,7
/proc/15377/stat : 15377 (java) S 15375 15375 7585 0 -1 1077944320 8292 0 0 0 32 2 0 0 20 0 15 0 106465663 14420930560 10244 33554432000 4194304 4196468 140723207929488 140723207912032 139961646391031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
/proc/15377/statm: 3520735 10244 3192 1 0 3483012 0
[pid=15377/tid=15378] ppid=15375 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/15377/task/15378/stat : 15378 (java) R 15375 15375 7585 0 -1 4202560 5445 0 0 0 18 1 0 0 20 0 15 0 106465663 14420930560 10244 33554432000 4194304 4196468 140723207929488 139961650626016 139961630471518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15379] ppid=15375 vsize=14082940 memory=8950 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15379/stat : 15379 (java) S 15375 15375 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106465664 14420930560 10244 33554432000 4194304 4196468 140723207929488 139961241877520 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15380] ppid=15375 vsize=14082940 memory=288370560536905344 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15380/stat : 15380 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14420930560 10244 33554432000 4194304 4196468 140723207929488 139961240824976 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15381] ppid=15375 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15381/stat : 15381 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14420930560 10244 33554432000 4194304 4196468 140723207929488 139961239771920 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15382] ppid=15375 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15382/stat : 15382 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14420930560 10244 33554432000 4194304 4196468 140723207929488 139961238719376 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15383] ppid=15375 vsize=14082940 memory=140184385193600 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15383/stat : 15383 (java) S 15375 15375 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106465666 14420930560 10244 33554432000 4194304 4196468 140723207929488 139960759830768 139961646402178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15384] ppid=15375 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15384/stat : 15384 (java) S 15375 15375 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106465666 14420930560 10244 33554432000 4194304 4196468 140723207929488 139960758776992 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15385] ppid=15375 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15385/stat : 15385 (java) S 15375 15375 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106465666 14420930560 10244 33554432000 4194304 4196468 140723207929488 139960757723888 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15386] ppid=15375 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15386/stat : 15386 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14420930560 10244 33554432000 4194304 4196468 140723207929488 139960756672464 139961646409627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15387] ppid=15375 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15377/task/15387/stat : 15387 (java) S 15375 15375 7585 0 -1 1077944384 624 0 0 0 2 0 0 0 20 0 15 0 106465669 14420930560 10244 33554432000 4194304 4196468 140723207929488 139960755620592 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15388] ppid=15375 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15377/task/15388/stat : 15388 (java) S 15375 15375 7585 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 106465669 14420930560 10244 33554432000 4194304 4196468 140723207929488 139960754568048 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15389] ppid=15375 vsize=14082940 memory=140184385193600 CPUtime=0.08 cores=1,3,5,7
/proc/15377/task/15389/stat : 15389 (java) S 15375 15375 7585 0 -1 1077944384 755 0 0 0 8 0 0 0 20 0 15 0 106465669 14420930560 10244 33554432000 4194304 4196468 140723207929488 139960753514992 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15390] ppid=15375 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15390/stat : 15390 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14420930560 10244 33554432000 4194304 4196468 140723207929488 139960752462688 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15391] ppid=15375 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15391/stat : 15391 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465669 14420930560 10244 33554432000 4194304 4196468 140723207929488 139960751409712 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42428 KiB
[startup+0.310523 s]*
/proc/loadavg: 1.79 1.79 1.83 5/217 15391
/proc/meminfo: memFree=27159036/32770624 swapFree=67108496/67108860
[pid=15375] ppid=15372 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (xcsp3-exec) S 15372 15375 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106465663 115843072 363 33554432000 4194304 5098028 140721720147136 140721720145240 140025372316284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9920512 140721720149057 140721720149257 140721720149257 140721720152010 0
/proc/15375/statm: 28282 363 306 221 0 87 0
[pid=15377] ppid=15375 vsize=14087196 memory=48200 CPUtime=0.52 cores=1,3,5,7
/proc/15377/stat : 15377 (java) S 15375 15375 7585 0 -1 1077944320 9202 0 0 0 49 3 0 0 20 0 15 0 106465663 14425288704 12050 33554432000 4194304 4196468 140723207929488 140723207912032 139961646391031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
/proc/15377/statm: 3521799 12050 3246 1 0 3483012 0
[pid=15377/tid=15378] ppid=15375 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15377/task/15378/stat : 15378 (java) R 15375 15375 7585 0 -1 4202560 6151 0 0 0 27 2 0 0 20 0 15 0 106465663 14425288704 12050 33554432000 4194304 4196468 140723207929488 139961650625424 139961630471518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15379] ppid=15375 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15379/stat : 15379 (java) S 15375 15375 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106465664 14425288704 12050 33554432000 4194304 4196468 140723207929488 139961241877520 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15380] ppid=15375 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15380/stat : 15380 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14425288704 12050 33554432000 4194304 4196468 140723207929488 139961240824976 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15381] ppid=15375 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15381/stat : 15381 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14425288704 12050 33554432000 4194304 4196468 140723207929488 139961239771920 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15382] ppid=15375 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15382/stat : 15382 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14425288704 12050 33554432000 4194304 4196468 140723207929488 139961238719376 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15383] ppid=15375 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15383/stat : 15383 (java) S 15375 15375 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106465666 14425288704 12050 33554432000 4194304 4196468 140723207929488 139960759830768 139961646402178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15384] ppid=15375 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15384/stat : 15384 (java) S 15375 15375 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106465666 14425288704 12050 33554432000 4194304 4196468 140723207929488 139960758776992 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15385] ppid=15375 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15385/stat : 15385 (java) S 15375 15375 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106465666 14425288704 12050 33554432000 4194304 4196468 140723207929488 139960757723888 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15386] ppid=15375 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15386/stat : 15386 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14425288704 12050 33554432000 4194304 4196468 140723207929488 139960756672464 139961646409627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15387] ppid=15375 vsize=14087196 memory=4628975386420216973 CPUtime=0.04 cores=1,3,5,7
/proc/15377/task/15387/stat : 15387 (java) S 15375 15375 7585 0 -1 1077944384 646 0 0 0 4 0 0 0 20 0 15 0 106465669 14425288704 12050 33554432000 4194304 4196468 140723207929488 139960755620592 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15388] ppid=15375 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15377/task/15388/stat : 15388 (java) S 15375 15375 7585 0 -1 1077944384 266 0 0 0 4 0 0 0 20 0 15 0 106465669 14425288704 12050 33554432000 4194304 4196468 140723207929488 139960754568048 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15389] ppid=15375 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15377/task/15389/stat : 15389 (java) S 15375 15375 7585 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 106465669 14425288704 12050 33554432000 4194304 4196468 140723207929488 139960753514992 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15390] ppid=15375 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15390/stat : 15390 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14425288704 12050 33554432000 4194304 4196468 140723207929488 139960752462688 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15391] ppid=15375 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15391/stat : 15391 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465669 14425288704 12050 33554432000 4194304 4196468 140723207929488 139960751409712 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49652 KiB
[startup+0.701137 s]
/proc/loadavg: 1.79 1.79 1.83 3/217 15391
/proc/meminfo: memFree=27145016/32770624 swapFree=67108496/67108860
[pid=15375] ppid=15372 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (xcsp3-exec) S 15372 15375 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106465663 115843072 363 33554432000 4194304 5098028 140721720147136 140721720145240 140025372316284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9920512 140721720149057 140721720149257 140721720149257 140721720152010 0
/proc/15375/statm: 28282 363 306 221 0 87 0
[pid=15377] ppid=15375 vsize=14089320 memory=80992 CPUtime=1.55 cores=1,3,5,7
/proc/15377/stat : 15377 (java) S 15375 15375 7585 0 -1 1077944320 12875 0 0 0 150 5 0 0 20 0 15 0 106465663 14427463680 20248 33554432000 4194304 4196468 140723207929488 140723207912032 139961646391031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
/proc/15377/statm: 3522330 20248 3362 1 0 3483524 0
[pid=15377/tid=15378] ppid=15375 vsize=14089320 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/15377/task/15378/stat : 15378 (java) R 15375 15375 7585 0 -1 4202560 7135 0 0 0 63 3 0 0 20 0 15 0 106465663 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961650627680 139961261468769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15379] ppid=15375 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15379/stat : 15379 (java) S 15375 15375 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106465664 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961241877520 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15380] ppid=15375 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15380/stat : 15380 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961240824976 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15381] ppid=15375 vsize=14089320 memory=30304 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15381/stat : 15381 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961239771920 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15382] ppid=15375 vsize=14089320 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15382/stat : 15382 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961238719376 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15383] ppid=15375 vsize=14089320 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15383/stat : 15383 (java) S 15375 15375 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106465666 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960759830768 139961646402178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15384] ppid=15375 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15384/stat : 15384 (java) S 15375 15375 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106465666 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960758776992 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15385] ppid=15375 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15385/stat : 15385 (java) S 15375 15375 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106465666 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960757723888 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15386] ppid=15375 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15386/stat : 15386 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960756672464 139961646409627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15387] ppid=15375 vsize=14089320 memory=756 CPUtime=0.23 cores=1,3,5,7
/proc/15377/task/15387/stat : 15387 (java) R 15375 15375 7585 0 -1 4202560 1365 0 0 0 23 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960755606560 139961631514623 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15388] ppid=15375 vsize=14089320 memory=1616 CPUtime=0.23 cores=1,3,5,7
/proc/15377/task/15388/stat : 15388 (java) R 15375 15375 7585 0 -1 4202560 941 0 0 0 23 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960754568048 139961646404913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15389] ppid=15375 vsize=14089320 memory=1836 CPUtime=0.4 cores=1,3,5,7
/proc/15377/task/15389/stat : 15389 (java) S 15375 15375 7585 0 -1 1077944384 2126 0 0 0 40 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960753514992 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15390] ppid=15375 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15390/stat : 15390 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960752462688 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15391] ppid=15375 vsize=14089320 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15391/stat : 15391 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960751409712 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 82444 KiB
[startup+0.779564 s]
# the end of solver process 15375 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.73076 s, system=0.062608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.701137 s]
/proc/loadavg: 1.79 1.79 1.83 3/217 15391
/proc/meminfo: memFree=27145016/32770624 swapFree=67108496/67108860
[pid=15375] ppid=15372 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15375/stat : 15375 (xcsp3-exec) S 15372 15375 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106465663 115843072 363 33554432000 4194304 5098028 140721720147136 140721720145240 140025372316284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9920512 140721720149057 140721720149257 140721720149257 140721720152010 0
/proc/15375/statm: 28282 363 306 221 0 87 0
[pid=15377] ppid=15375 vsize=14089320 memory=80992 CPUtime=1.55 cores=1,3,5,7
/proc/15377/stat : 15377 (java) S 15375 15375 7585 0 -1 1077944320 12875 0 0 0 150 5 0 0 20 0 15 0 106465663 14427463680 20248 33554432000 4194304 4196468 140723207929488 140723207912032 139961646391031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
/proc/15377/statm: 3522330 20248 3362 1 0 3483524 0
[pid=15377/tid=15378] ppid=15375 vsize=14089320 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/15377/task/15378/stat : 15378 (java) R 15375 15375 7585 0 -1 4202560 7135 0 0 0 63 3 0 0 20 0 15 0 106465663 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961650627680 139961261468769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15379] ppid=15375 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15379/stat : 15379 (java) S 15375 15375 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106465664 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961241877520 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15380] ppid=15375 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15380/stat : 15380 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961240824976 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15381] ppid=15375 vsize=14089320 memory=30304 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15381/stat : 15381 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961239771920 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15382] ppid=15375 vsize=14089320 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15382/stat : 15382 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465664 14427463680 20248 33554432000 4194304 4196468 140723207929488 139961238719376 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15383] ppid=15375 vsize=14089320 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15383/stat : 15383 (java) S 15375 15375 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106465666 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960759830768 139961646402178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15384] ppid=15375 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15384/stat : 15384 (java) S 15375 15375 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106465666 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960758776992 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15385] ppid=15375 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15385/stat : 15385 (java) S 15375 15375 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106465666 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960757723888 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15386] ppid=15375 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15386/stat : 15386 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960756672464 139961646409627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15387] ppid=15375 vsize=14089320 memory=756 CPUtime=0.23 cores=1,3,5,7
/proc/15377/task/15387/stat : 15387 (java) R 15375 15375 7585 0 -1 4202560 1365 0 0 0 23 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960755606560 139961631514623 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15388] ppid=15375 vsize=14089320 memory=1616 CPUtime=0.23 cores=1,3,5,7
/proc/15377/task/15388/stat : 15388 (java) R 15375 15375 7585 0 -1 4202560 941 0 0 0 23 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960754568048 139961646404913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15389] ppid=15375 vsize=14089320 memory=1836 CPUtime=0.4 cores=1,3,5,7
/proc/15377/task/15389/stat : 15389 (java) S 15375 15375 7585 0 -1 1077944384 2126 0 0 0 40 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960753514992 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15390] ppid=15375 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15390/stat : 15390 (java) S 15375 15375 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960752462688 139961646401237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
[pid=15377/tid=15391] ppid=15375 vsize=14089320 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/15377/task/15391/stat : 15391 (java) S 15375 15375 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106465669 14427463680 20248 33554432000 4194304 4196468 140723207929488 139960751409712 139961646402178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140723207935116 140723207935286 140723207935286 140723207937999 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 82444 KiB
Child status: 0
Real time (s): 0.779606
CPU time (s): 1.79336
CPU user time (s): 1.73076
CPU system time (s): 0.062608
CPU usage (%): 230.035
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 82444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.73076
system time used= 0.062608
maximum resident set size= 82812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2002
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 15375
# total CPU time (s): 1.79336
# total CPU user time (s): 1.73076
# total CPU system time (s): 0.062608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025288 second user time and 0.050577 second system time
The end