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 (14604 MiB free)
memory of node 1: 16384 MiB (15345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393454-1568316446/watcher-4393454-1568316446 -o /tmp/evaluation-result-4393454-1568316446/solver-4393454-1568316446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1807850620 HOME/instance-4393454-1568316446.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17809, runsolver pid=17806
[startup+0.100108 s]*
/proc/loadavg: 8.54 8.32 8.09 6/232 17825
/proc/meminfo: memFree=30652468/32770624 swapFree=66996240/67108860
[pid=17809] ppid=17806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17809/stat : 17809 (xcsp3-exec) S 17806 17809 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407899326 115843072 362 33554432000 4194304 5098028 140728949403360 140728949401464 139959309124220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22777856 140728949408634 140728949408877 140728949408877 140728949411786 0
/proc/17809/statm: 28282 362 304 221 0 87 0
[pid=17811] ppid=17809 vsize=15144768 memory=28932 CPUtime=0.13 cores=1,3,5,7
/proc/17811/stat : 17811 (java) S 17809 17809 14062 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 407899327 15508242432 7233 33554432000 4194304 4196468 140724810942768 140724810925312 140303820705527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
/proc/17811/statm: 3786192 7233 3147 1 0 3748377 0
[pid=17811/tid=17812] ppid=17809 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/17811/task/17812/stat : 17812 (java) R 17809 17809 14062 0 -1 4202560 3579 0 0 0 9 0 0 0 20 0 15 0 407899327 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303824936848 140303820717462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17813] ppid=17809 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17813/stat : 17813 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303773326096 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17814] ppid=17809 vsize=15144768 memory=139895256422016 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17814/stat : 17814 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303772273552 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17815] ppid=17809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17815/stat : 17815 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303771221008 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17816] ppid=17809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17816/stat : 17816 (java) S 17809 17809 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407899328 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303770168464 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17817] ppid=17809 vsize=15144768 memory=139895256422016 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17817/stat : 17817 (java) S 17809 17809 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407899329 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303288735728 140303820716674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17818] ppid=17809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17818/stat : 17818 (java) S 17809 17809 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407899329 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303287681952 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17819] ppid=17809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17819/stat : 17819 (java) S 17809 17809 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407899330 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303286629360 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17820] ppid=17809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17820/stat : 17820 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407899332 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303285577936 140303820724123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17821] ppid=17809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17821/stat : 17821 (java) R 17809 17809 14062 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 407899332 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303284525552 140303820717462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17822] ppid=17809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17822/stat : 17822 (java) S 17809 17809 14062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 407899332 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303283473008 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17823] ppid=17809 vsize=15144768 memory=139895256422016 CPUtime=0.02 cores=1,3,5,7
/proc/17811/task/17823/stat : 17823 (java) R 17809 17809 14062 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 407899332 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303282420464 140303804786014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17824] ppid=17809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17824/stat : 17824 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407899332 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303281368160 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17825] ppid=17809 vsize=15144768 memory=139895256422016 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17825/stat : 17825 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899333 15508242432 7233 33554432000 4194304 4196468 140724810942768 140303280314672 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30380 KiB
[startup+0.210746 s]*
/proc/loadavg: 8.54 8.32 8.09 7/232 17825
/proc/meminfo: memFree=30612856/32770624 swapFree=66996240/67108860
[pid=17809] ppid=17806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17809/stat : 17809 (xcsp3-exec) S 17806 17809 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407899326 115843072 362 33554432000 4194304 5098028 140728949403360 140728949401464 139959309124220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22777856 140728949408634 140728949408877 140728949408877 140728949411786 0
/proc/17809/statm: 28282 362 304 221 0 87 0
[pid=17811] ppid=17809 vsize=15144768 memory=41208 CPUtime=0.34 cores=1,3,5,7
/proc/17811/stat : 17811 (java) S 17809 17809 14062 0 -1 1077944320 9512 0 0 0 32 2 0 0 20 0 15 0 407899327 15508242432 10302 33554432000 4194304 4196468 140724810942768 140724810925312 140303820705527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
/proc/17811/statm: 3786192 10302 3319 1 0 3748377 0
[pid=17811/tid=17812] ppid=17809 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17811/task/17812/stat : 17812 (java) R 17809 17809 14062 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 15 0 407899327 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303824943344 140303804786044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17813] ppid=17809 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17813/stat : 17813 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303773326096 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17814] ppid=17809 vsize=15144768 memory=2854506 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17814/stat : 17814 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303772273552 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17815] ppid=17809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17815/stat : 17815 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303771221008 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17816] ppid=17809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17816/stat : 17816 (java) S 17809 17809 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407899328 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303770168464 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17817] ppid=17809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17817/stat : 17817 (java) S 17809 17809 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407899329 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303288735728 140303820716674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17818] ppid=17809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17818/stat : 17818 (java) S 17809 17809 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407899329 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303287681952 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17819] ppid=17809 vsize=15144768 memory=139895256422016 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17819/stat : 17819 (java) S 17809 17809 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407899330 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303286629360 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17820] ppid=17809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17820/stat : 17820 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407899332 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303285577936 140303820724123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17821] ppid=17809 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17811/task/17821/stat : 17821 (java) S 17809 17809 14062 0 -1 1077944384 594 0 0 0 2 0 0 0 20 0 15 0 407899332 15508242432 10302 33554432000 4194304 4196468 140724810942768 140303284525552 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17822] ppid=17809 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17811/task/17822/stat : 17822 (java) S 17809 17809 14062 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 407899332 15508242432 10367 33554432000 4194304 4196468 140724810942768 140303283473008 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17823] ppid=17809 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17811/task/17823/stat : 17823 (java) S 17809 17809 14062 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 15 0 407899332 15508242432 10367 33554432000 4194304 4196468 140724810942768 140303282420464 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17824] ppid=17809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17824/stat : 17824 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407899332 15508242432 10367 33554432000 4194304 4196468 140724810942768 140303281368160 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17825] ppid=17809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17825/stat : 17825 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899333 15508242432 10367 33554432000 4194304 4196468 140724810942768 140303280314672 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42656 KiB
[startup+0.492605 s]*
/proc/loadavg: 8.54 8.32 8.09 9/232 17825
/proc/meminfo: memFree=30586676/32770624 swapFree=66996240/67108860
[pid=17809] ppid=17806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17809/stat : 17809 (xcsp3-exec) S 17806 17809 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407899326 115843072 362 33554432000 4194304 5098028 140728949403360 140728949401464 139959309124220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22777856 140728949408634 140728949408877 140728949408877 140728949411786 0
/proc/17809/statm: 28282 362 304 221 0 87 0
[pid=17811] ppid=17809 vsize=15151148 memory=79852 CPUtime=1.11 cores=1,3,5,7
/proc/17811/stat : 17811 (java) S 17809 17809 14062 0 -1 1077944320 13639 0 0 0 106 5 0 0 20 0 15 0 407899327 15514775552 19963 33554432000 4194304 4196468 140724810942768 140724810925312 140303820705527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
/proc/17811/statm: 3787787 19963 3442 1 0 3748889 0
[pid=17811/tid=17812] ppid=17809 vsize=15151148 memory=7883960649037381690 CPUtime=0.48 cores=1,3,5,7
/proc/17811/task/17812/stat : 17812 (java) R 17809 17809 14062 0 -1 4202560 8310 0 0 0 45 3 0 0 20 0 15 0 407899327 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303824941840 140303445137522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17813] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17813/stat : 17813 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303773326096 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17814] ppid=17809 vsize=15151148 memory=2854491 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17814/stat : 17814 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303772273552 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17815] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17815/stat : 17815 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303771221008 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17816] ppid=17809 vsize=15151148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17816/stat : 17816 (java) S 17809 17809 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407899328 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303770168464 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17817] ppid=17809 vsize=15151148 memory=139895256422016 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17817/stat : 17817 (java) S 17809 17809 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407899329 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303288735728 140303820716674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17818] ppid=17809 vsize=15151148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17818/stat : 17818 (java) S 17809 17809 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407899329 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303287681952 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17819] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17819/stat : 17819 (java) S 17809 17809 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407899330 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303286629360 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17820] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17820/stat : 17820 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407899332 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303285577936 140303820724123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17821] ppid=17809 vsize=15151148 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/17811/task/17821/stat : 17821 (java) R 17809 17809 14062 0 -1 4202560 1628 0 0 0 18 0 0 0 20 0 15 0 407899332 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303284517504 140303800541791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17822] ppid=17809 vsize=15151148 memory=-1 CPUtime=0.18 cores=1,3,5,7
/proc/17811/task/17822/stat : 17822 (java) R 17809 17809 14062 0 -1 1077944384 975 0 0 0 18 0 0 0 20 0 15 0 407899332 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303283466032 140303820715733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17823] ppid=17809 vsize=15151148 memory=139895256422016 CPUtime=0.24 cores=1,3,5,7
/proc/17811/task/17823/stat : 17823 (java) R 17809 17809 14062 0 -1 4202560 1420 0 0 0 24 0 0 0 20 0 15 0 407899332 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303282417400 140303799419302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17824] ppid=17809 vsize=15151148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17824/stat : 17824 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407899332 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303281368160 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17825] ppid=17809 vsize=15151148 memory=139895256422016 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17825/stat : 17825 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899333 15514775552 19963 33554432000 4194304 4196468 140724810942768 140303280314672 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 81300 KiB
[startup+0.71826 s]
/proc/loadavg: 8.54 8.32 8.09 9/232 17825
/proc/meminfo: memFree=30579100/32770624 swapFree=66996240/67108860
[pid=17809] ppid=17806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17809/stat : 17809 (xcsp3-exec) S 17806 17809 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407899326 115843072 362 33554432000 4194304 5098028 140728949403360 140728949401464 139959309124220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22777856 140728949408634 140728949408877 140728949408877 140728949411786 0
/proc/17809/statm: 28282 362 304 221 0 87 0
[pid=17811] ppid=17809 vsize=15151148 memory=126388 CPUtime=1.86 cores=1,3,5,7
/proc/17811/stat : 17811 (java) S 17809 17809 14062 0 -1 1077944320 16670 0 0 0 180 6 0 0 20 0 15 0 407899327 15514775552 31597 33554432000 4194304 4196468 140724810942768 140724810925312 140303820705527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
/proc/17811/statm: 3787787 31597 3454 1 0 3748889 0
[pid=17811/tid=17812] ppid=17809 vsize=15151148 memory=4411331030456467488 CPUtime=0.7 cores=1,3,5,7
/proc/17811/task/17812/stat : 17812 (java) R 17809 17809 14062 0 -1 1077944384 9187 0 0 0 66 4 0 0 20 0 15 0 407899327 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303824943232 140303820715733 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17813] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17813/stat : 17813 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303773326096 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17814] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17814/stat : 17814 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303772273552 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17815] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17815/stat : 17815 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899328 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303771221008 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17816] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17816/stat : 17816 (java) S 17809 17809 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407899328 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303770168464 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17817] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17817/stat : 17817 (java) S 17809 17809 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407899329 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303288735728 140303820716674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17818] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17818/stat : 17818 (java) S 17809 17809 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407899329 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303287681952 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17819] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17819/stat : 17819 (java) S 17809 17809 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407899330 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303286629360 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17820] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17820/stat : 17820 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407899332 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303285577936 140303820724123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17821] ppid=17809 vsize=15151148 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/17811/task/17821/stat : 17821 (java) R 17809 17809 14062 0 -1 4202560 1810 0 0 0 38 0 0 0 20 0 15 0 407899332 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303284512992 140303805831468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17822] ppid=17809 vsize=15151148 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/17811/task/17822/stat : 17822 (java) R 17809 17809 14062 0 -1 4202560 2211 0 0 0 38 0 0 0 20 0 15 0 407899332 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303283457480 140303804262898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17823] ppid=17809 vsize=15151148 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/17811/task/17823/stat : 17823 (java) R 17809 17809 14062 0 -1 4202560 2157 0 0 0 36 0 0 0 20 0 15 0 407899332 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303282420464 140303802269031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17824] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17824/stat : 17824 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407899332 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303281368160 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17825] ppid=17809 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17825/stat : 17825 (java) S 17809 17809 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407899333 15514775552 31597 33554432000 4194304 4196468 140724810942768 140303280314672 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 127836 KiB
[startup+1.5016 s]
/proc/loadavg: 8.54 8.32 8.09 9/232 17825
/proc/meminfo: memFree=30442184/32770624 swapFree=66996240/67108860
[pid=17809] ppid=17806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17809/stat : 17809 (xcsp3-exec) S 17806 17809 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407899326 115843072 362 33554432000 4194304 5098028 140728949403360 140728949401464 139959309124220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22777856 140728949408634 140728949408877 140728949408877 140728949411786 0
/proc/17809/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/17811/stat : 17811 (java) S 17809 17809 14062 0 -1 1077944320 82425 0 0 0 231451 68 0 0 20 0 19 0 407899327 15789518848 311054 33554432000 4194304 4196468 140724810942768 140724810925312 140303820705527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
/proc/17811/statm: 3854863 311054 3531 1 0 3815965 0
[pid=17811/tid=17812] ppid=17809 vsize=15419452 memory=288230617509003574 CPUtime=1.4 cores=1,3,5,7
/proc/17811/task/17812/stat : 17812 (java) S 17809 17809 14062 0 -1 1077944384 9410 0 0 0 136 4 0 0 20 0 19 0 407899327 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303824946304 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17813] ppid=17809 vsize=15419452 memory=15252636593031516 CPUtime=0.28 cores=1,3,5,7
/proc/17811/task/17813/stat : 17813 (java) S 17809 17809 14062 0 -1 1077944384 790 0 0 0 22 6 0 0 20 0 19 0 407899328 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303773326096 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17814] ppid=17809 vsize=15419452 memory=111632 CPUtime=0.26 cores=1,3,5,7
/proc/17811/task/17814/stat : 17814 (java) S 17809 17809 14062 0 -1 1077944384 962 0 0 0 20 6 0 0 20 0 19 0 407899328 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303772273552 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17815] ppid=17809 vsize=15419452 memory=800 CPUtime=0.3 cores=1,3,5,7
/proc/17811/task/17815/stat : 17815 (java) S 17809 17809 14062 0 -1 1077944384 733 0 0 0 24 6 0 0 20 0 19 0 407899328 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303771221008 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17816] ppid=17809 vsize=15419452 memory=1804 CPUtime=0.29 cores=1,3,5,7
/proc/17811/task/17816/stat : 17816 (java) S 17809 17809 14062 0 -1 1077944384 1390 0 0 0 23 6 0 0 20 0 19 0 407899328 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303770168464 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17817] ppid=17809 vsize=15419452 memory=916 CPUtime=0.06 cores=1,3,5,7
/proc/17811/task/17817/stat : 17817 (java) S 17809 17809 14062 0 -1 1077944384 2493 0 0 0 3 3 0 0 20 0 19 0 407899329 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303288735728 140303820716674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17818] ppid=17809 vsize=15419452 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17818/stat : 17818 (java) S 17809 17809 14062 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407899329 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303287682016 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17819] ppid=17809 vsize=15419452 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17819/stat : 17819 (java) S 17809 17809 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407899330 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303286629360 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17820] ppid=17809 vsize=15419452 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17820/stat : 17820 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407899332 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303285577936 140303820724123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17821] ppid=17809 vsize=15419452 memory=4108 CPUtime=2.69 cores=1,3,5,7
/proc/17811/task/17821/stat : 17821 (java) S 17809 17809 14062 0 -1 1077944384 16946 0 0 0 268 1 0 0 20 0 19 0 407899332 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303284525552 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17822] ppid=17809 vsize=15419452 memory=1408 CPUtime=2.96 cores=1,3,5,7
/proc/17811/task/17822/stat : 17822 (java) S 17809 17809 14062 0 -1 1077944384 16845 0 0 0 294 2 0 0 20 0 19 0 407899332 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303283473008 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17823] ppid=17809 vsize=15419452 memory=3360 CPUtime=0.91 cores=1,3,5,7
/proc/17811/task/17823/stat : 17823 (java) S 17809 17809 14062 0 -1 1077944384 14493 0 0 0 89 2 0 0 20 0 19 0 407899332 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303282420464 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17824] ppid=17809 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17824/stat : 17824 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407899332 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303281368160 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17825] ppid=17809 vsize=15419452 memory=901344 CPUtime=0.25 cores=1,3,5,7
/proc/17811/task/17825/stat : 17825 (java) S 17809 17809 14062 0 -1 1077944384 952 0 0 0 0 25 0 0 20 0 19 0 407899333 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303280314672 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17826] ppid=17809 vsize=15419452 memory=1164 CPUtime=576.44 cores=1,3,5,7
/proc/17811/task/17826/stat : 17826 (java) R 17809 17809 14062 0 -1 4202560 2203 0 0 0 57643 1 0 0 20 0 19 0 407899483 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303271340512 140303453601345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17827] ppid=17809 vsize=15419452 memory=8317482817917895235 CPUtime=577.98 cores=1,3,5,7
/proc/17811/task/17827/stat : 17827 (java) R 17809 17809 14062 0 -1 4202560 8674 0 0 0 57777 21 0 0 20 0 19 0 407899483 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303270289352 140303453005109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17828] ppid=17809 vsize=15419452 memory=4126316290023845779 CPUtime=575.43 cores=1,3,5,7
/proc/17811/task/17828/stat : 17828 (java) R 17809 17809 14062 0 -1 4202560 2568 0 0 0 57538 5 0 0 20 0 19 0 407899483 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303269236792 140303453005090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17829] ppid=17809 vsize=15419452 memory=2116 CPUtime=575.85 cores=1,3,5,7
/proc/17811/task/17829/stat : 17829 (java) R 17809 17809 14062 0 -1 4202560 2662 0 0 0 57583 2 0 0 20 0 19 0 407899483 15789518848 311054 33554432000 4194304 4196468 140724810942768 140303268183976 140303453005090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
Current children cumulated CPU time: 2315.19 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1245664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.802 s]
/proc/loadavg: 9.04 8.68 8.36 11/236 18089
/proc/meminfo: memFree=28757616/32770624 swapFree=66996240/67108860
[pid=17809] ppid=17806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17809/stat : 17809 (xcsp3-exec) S 17806 17809 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407899326 115843072 362 33554432000 4194304 5098028 140728949403360 140728949401464 139959309124220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22777856 140728949408634 140728949408877 140728949408877 140728949411786 0
/proc/17809/statm: 28282 362 304 221 0 87 0
[pid=17811] ppid=17809 vsize=15419452 memory=1254464 CPUtime=2520.06 cores=1,3,5,7
/proc/17811/stat : 17811 (java) S 17809 17809 14062 0 -1 1077944320 84614 0 0 0 251936 70 0 0 20 0 19 0 407899327 15789518848 313616 33554432000 4194304 4196468 140724810942768 140724810925312 140303820705527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
/proc/17811/statm: 3854863 313616 3531 1 0 3815965 0
[pid=17811/tid=17812] ppid=17809 vsize=15419452 memory=1254464 CPUtime=1.4 cores=1,3,5,7
/proc/17811/task/17812/stat : 17812 (java) S 17809 17809 14062 0 -1 1077944384 9410 0 0 0 136 4 0 0 20 0 19 0 407899327 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303824946304 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17813] ppid=17809 vsize=15419452 memory=1448 CPUtime=0.29 cores=1,3,5,7
/proc/17811/task/17813/stat : 17813 (java) S 17809 17809 14062 0 -1 1077944384 821 0 0 0 23 6 0 0 20 0 19 0 407899328 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303773326096 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17814] ppid=17809 vsize=15419452 memory=1448 CPUtime=0.27 cores=1,3,5,7
/proc/17811/task/17814/stat : 17814 (java) S 17809 17809 14062 0 -1 1077944384 1016 0 0 0 21 6 0 0 20 0 19 0 407899328 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303772273552 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17815] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0.31 cores=1,3,5,7
/proc/17811/task/17815/stat : 17815 (java) S 17809 17809 14062 0 -1 1077944384 768 0 0 0 25 6 0 0 20 0 19 0 407899328 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303771221008 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17816] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0.3 cores=1,3,5,7
/proc/17811/task/17816/stat : 17816 (java) S 17809 17809 14062 0 -1 1077944384 1819 0 0 0 24 6 0 0 20 0 19 0 407899328 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303770168464 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17817] ppid=17809 vsize=15419452 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/17811/task/17817/stat : 17817 (java) S 17809 17809 14062 0 -1 1077944384 2670 0 0 0 3 3 0 0 20 0 19 0 407899329 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303288735728 140303820716674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17818] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17818/stat : 17818 (java) S 17809 17809 14062 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407899329 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303287682016 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17819] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17819/stat : 17819 (java) S 17809 17809 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407899330 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303286629360 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17820] ppid=17809 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17820/stat : 17820 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303285577936 140303820724123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17821] ppid=17809 vsize=15419452 memory=1254464 CPUtime=2.72 cores=1,3,5,7
/proc/17811/task/17821/stat : 17821 (java) S 17809 17809 14062 0 -1 1077944384 17478 0 0 0 271 1 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303284525552 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17822] ppid=17809 vsize=15419452 memory=279790277034112 CPUtime=2.96 cores=1,3,5,7
/proc/17811/task/17822/stat : 17822 (java) S 17809 17809 14062 0 -1 1077944384 16845 0 0 0 294 2 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303283473008 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17823] ppid=17809 vsize=15419452 memory=1380 CPUtime=0.91 cores=1,3,5,7
/proc/17811/task/17823/stat : 17823 (java) S 17809 17809 14062 0 -1 1077944384 14493 0 0 0 89 2 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303282420464 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17824] ppid=17809 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17824/stat : 17824 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303281368160 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17825] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0.28 cores=1,3,5,7
/proc/17811/task/17825/stat : 17825 (java) S 17809 17809 14062 0 -1 1077944384 980 0 0 0 0 28 0 0 20 0 19 0 407899333 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303280314672 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17826] ppid=17809 vsize=15419452 memory=1254464 CPUtime=627.89 cores=1,3,5,7
/proc/17811/task/17826/stat : 17826 (java) R 17809 17809 14062 0 -1 4202560 2248 0 0 0 62788 1 0 0 20 0 19 0 407899483 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303271340760 140303453601350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17827] ppid=17809 vsize=15419452 memory=1448 CPUtime=628.99 cores=1,3,5,7
/proc/17811/task/17827/stat : 17827 (java) R 17809 17809 14062 0 -1 4202560 9254 0 0 0 62877 22 0 0 20 0 19 0 407899483 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303270289400 140303453265735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17828] ppid=17809 vsize=15419452 memory=1448 CPUtime=626.29 cores=1,3,5,7
/proc/17811/task/17828/stat : 17828 (java) R 17809 17809 14062 0 -1 4202560 2618 0 0 0 62623 6 0 0 20 0 19 0 407899483 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303269236496 140303446151004 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17829] ppid=17809 vsize=15419452 memory=1254464 CPUtime=627.29 cores=1,3,5,7
/proc/17811/task/17829/stat : 17829 (java) R 17809 17809 14062 0 -1 4202560 2890 0 0 0 62727 2 0 0 20 0 19 0 407899483 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303268183976 140303453265806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1255912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.825 s]
# the end of solver process 17809 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001137 s, system=0.001137 s
[startup+633.885 s]
# the end of solver process 17811 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.65 s, system=0.718571 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+633.802 s]
/proc/loadavg: 9.04 8.68 8.36 11/236 18089
/proc/meminfo: memFree=28757616/32770624 swapFree=66996240/67108860
[pid=17809] ppid=17806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17809/stat : 17809 (xcsp3-exec) S 17806 17809 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407899326 115843072 362 33554432000 4194304 5098028 140728949403360 140728949401464 139959309124220 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22777856 140728949408634 140728949408877 140728949408877 140728949411786 0
/proc/17809/statm: 28282 362 304 221 0 87 0
[pid=17811] ppid=17809 vsize=15419452 memory=1254464 CPUtime=2520.06 cores=1,3,5,7
/proc/17811/stat : 17811 (java) S 17809 17809 14062 0 -1 1077944320 84614 0 0 0 251936 70 0 0 20 0 19 0 407899327 15789518848 313616 33554432000 4194304 4196468 140724810942768 140724810925312 140303820705527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
/proc/17811/statm: 3854863 313616 3531 1 0 3815965 0
[pid=17811/tid=17812] ppid=17809 vsize=15419452 memory=1254464 CPUtime=1.4 cores=1,3,5,7
/proc/17811/task/17812/stat : 17812 (java) S 17809 17809 14062 0 -1 1077944384 9410 0 0 0 136 4 0 0 20 0 19 0 407899327 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303824946304 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17813] ppid=17809 vsize=15419452 memory=1448 CPUtime=0.29 cores=1,3,5,7
/proc/17811/task/17813/stat : 17813 (java) S 17809 17809 14062 0 -1 1077944384 821 0 0 0 23 6 0 0 20 0 19 0 407899328 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303773326096 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17814] ppid=17809 vsize=15419452 memory=1448 CPUtime=0.27 cores=1,3,5,7
/proc/17811/task/17814/stat : 17814 (java) S 17809 17809 14062 0 -1 1077944384 1016 0 0 0 21 6 0 0 20 0 19 0 407899328 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303772273552 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17815] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0.31 cores=1,3,5,7
/proc/17811/task/17815/stat : 17815 (java) S 17809 17809 14062 0 -1 1077944384 768 0 0 0 25 6 0 0 20 0 19 0 407899328 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303771221008 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17816] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0.3 cores=1,3,5,7
/proc/17811/task/17816/stat : 17816 (java) S 17809 17809 14062 0 -1 1077944384 1819 0 0 0 24 6 0 0 20 0 19 0 407899328 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303770168464 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17817] ppid=17809 vsize=15419452 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/17811/task/17817/stat : 17817 (java) S 17809 17809 14062 0 -1 1077944384 2670 0 0 0 3 3 0 0 20 0 19 0 407899329 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303288735728 140303820716674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17818] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17818/stat : 17818 (java) S 17809 17809 14062 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407899329 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303287682016 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17819] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17819/stat : 17819 (java) S 17809 17809 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407899330 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303286629360 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17820] ppid=17809 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17820/stat : 17820 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303285577936 140303820724123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17821] ppid=17809 vsize=15419452 memory=1254464 CPUtime=2.72 cores=1,3,5,7
/proc/17811/task/17821/stat : 17821 (java) S 17809 17809 14062 0 -1 1077944384 17478 0 0 0 271 1 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303284525552 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17822] ppid=17809 vsize=15419452 memory=279790277034112 CPUtime=2.96 cores=1,3,5,7
/proc/17811/task/17822/stat : 17822 (java) S 17809 17809 14062 0 -1 1077944384 16845 0 0 0 294 2 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303283473008 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17823] ppid=17809 vsize=15419452 memory=1380 CPUtime=0.91 cores=1,3,5,7
/proc/17811/task/17823/stat : 17823 (java) S 17809 17809 14062 0 -1 1077944384 14493 0 0 0 89 2 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303282420464 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17824] ppid=17809 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17811/task/17824/stat : 17824 (java) S 17809 17809 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407899332 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303281368160 140303820715733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17825] ppid=17809 vsize=15419452 memory=1254464 CPUtime=0.28 cores=1,3,5,7
/proc/17811/task/17825/stat : 17825 (java) S 17809 17809 14062 0 -1 1077944384 980 0 0 0 0 28 0 0 20 0 19 0 407899333 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303280314672 140303820716674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17826] ppid=17809 vsize=15419452 memory=1254464 CPUtime=627.89 cores=1,3,5,7
/proc/17811/task/17826/stat : 17826 (java) R 17809 17809 14062 0 -1 4202560 2248 0 0 0 62788 1 0 0 20 0 19 0 407899483 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303271340760 140303453601350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17827] ppid=17809 vsize=15419452 memory=1448 CPUtime=628.99 cores=1,3,5,7
/proc/17811/task/17827/stat : 17827 (java) R 17809 17809 14062 0 -1 4202560 9254 0 0 0 62877 22 0 0 20 0 19 0 407899483 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303270289400 140303453265735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17828] ppid=17809 vsize=15419452 memory=1448 CPUtime=626.29 cores=1,3,5,7
/proc/17811/task/17828/stat : 17828 (java) R 17809 17809 14062 0 -1 4202560 2618 0 0 0 62623 6 0 0 20 0 19 0 407899483 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303269236496 140303446151004 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
[pid=17811/tid=17829] ppid=17809 vsize=15419452 memory=1254464 CPUtime=627.29 cores=1,3,5,7
/proc/17811/task/17829/stat : 17829 (java) R 17809 17809 14062 0 -1 4202560 2890 0 0 0 62727 2 0 0 20 0 19 0 407899483 15789518848 313616 33554432000 4194304 4196468 140724810942768 140303268183976 140303453265806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26341376 140724810945519 140724810945690 140724810945690 140724810948559 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1255912 KiB
Child status: 143
Real time (s): 633.885
CPU time (s): 2520.37
CPU user time (s): 2519.65
CPU system time (s): 0.718571
CPU usage (%): 397.607
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 1255912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.718571
maximum resident set size= 1255176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85912
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17231
involuntary context switches= 37009
# summary of solver processes directly reported to runsolver:
# pid: 17809,17811
# total CPU time (s): 2520.37
# total CPU user time (s): 2519.65
# total CPU system time (s): 0.718571
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33389 second user time and 8.11172 second system time
The end