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 (15206 MiB free)
memory of node 1: 16384 MiB (15498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283685-1503187229/watcher-4283685-1503187229 -o /tmp/evaluation-result-4283685-1503187229/solver-4283685-1503187229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2271 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 720715986 HOME/instance-4283685-1503187229.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=4738, runsolver pid=4735
[startup+0.100136 s]*
/proc/loadavg: 1.55 1.61 1.57 3/197 4740
/proc/meminfo: memFree=31442148/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 17129984 9740288 345 18446744073709551615 4194304 5098028 140727666069600 140727666067704 140414545535612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 36278272 140727666078074 140727666078278 140727666078278 140727666081771 0
/proc/4738/statm: 2378 345 289 221 0 87 0
[pid=4740] ppid=4738 vsize=356952 memory=7968 CPUtime=0 cores=1,3,5,7
/proc/4740/stat : 4740 (java) S 4738 4738 18108 0 -1 1077944320 1719 0 0 0 0 0 0 0 20 0 2 0 17129994 365518848 1944 18446744073709551615 4194304 4196468 140724412341664 140724412324208 140683553414903 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
/proc/4740/statm: 2910739 1992 1136 1 0 2900709 0
[pid=4740/tid=4741] ppid=4738 vsize=11657624 memory=-8023549066454273880 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 18108 0 -1 4202560 946 0 0 0 0 0 0 0 20 0 2 0 17129995 11937406976 2387 18446744073709551615 4194304 4196468 140724412341664 140683557656992 140683539366096 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4742] ppid=4738 vsize=11658652 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4742/stat : 4742 (java) R 4738 4738 18108 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 17129995 11938459648 2387 18446744073709551615 4194304 4196468 140724412341664 140683557656992 140683546154753 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 366464 KiB
Current children cumulated memory: 9348 KiB
[startup+0.20938 s]*
/proc/loadavg: 1.55 1.61 1.57 3/211 4754
/proc/meminfo: memFree=31427176/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 17129984 9740288 345 18446744073709551615 4194304 5098028 140727666069600 140727666067704 140414545535612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 36278272 140727666078074 140727666078278 140727666078278 140727666081771 0
/proc/4738/statm: 2378 345 289 221 0 87 0
[pid=4740] ppid=4738 vsize=13974352 memory=28156 CPUtime=0.09 cores=1,3,5,7
/proc/4740/stat : 4740 (java) S 4738 4738 18108 0 -1 1077944320 4927 0 0 0 8 1 0 0 20 0 15 0 17129994 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140724412324208 140683553414903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
/proc/4740/statm: 3493588 7039 2748 1 0 3482964 0
[pid=4740/tid=4741] ppid=4738 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 18108 0 -1 4202560 3070 0 0 0 6 0 0 0 20 0 15 0 17129995 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683557644144 140683553436829 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4742] ppid=4738 vsize=13974352 memory=12504 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683472829072 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4743] ppid=4738 vsize=13974352 memory=139704493733702 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17129995 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683471776272 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4744] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683470723472 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4745] ppid=4738 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683469670672 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4746] ppid=4738 vsize=13974352 memory=139704493536896 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17129997 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683031976816 140683553426050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4747] ppid=4738 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17129997 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683030922784 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4748] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17129997 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683029869936 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4749] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683028818256 140683553433499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4750] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4750/stat : 4750 (java) S 4738 4738 18108 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 17130000 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683027765616 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4751] ppid=4738 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4751/stat : 4751 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130000 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683026712816 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4752] ppid=4738 vsize=13974352 memory=139704493536896 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4752/stat : 4752 (java) R 4738 4738 18108 0 -1 4202560 259 0 0 0 0 0 0 0 20 0 15 0 17130000 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683025660016 140683532346552 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4753] ppid=4738 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683024607456 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4754] ppid=4738 vsize=13974352 memory=139704493536896 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130003 14309736448 7039 18446744073709551615 4194304 4196468 140724412341664 140683023555760 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29536 KiB
[startup+0.312756 s]*
/proc/loadavg: 1.55 1.61 1.57 5/211 4754
/proc/meminfo: memFree=31414308/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 17129984 9740288 345 18446744073709551615 4194304 5098028 140727666069600 140727666067704 140414545535612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 36278272 140727666078074 140727666078278 140727666078278 140727666081771 0
/proc/4738/statm: 2378 345 289 221 0 87 0
[pid=4740] ppid=4738 vsize=13974352 memory=37536 CPUtime=0.28 cores=1,3,5,7
/proc/4740/stat : 4740 (java) S 4738 4738 18108 0 -1 1077944320 8473 0 0 0 26 2 0 0 20 0 15 0 17129994 14309736448 9384 18446744073709551615 4194304 4196468 140724412341664 140724412324208 140683553414903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
/proc/4740/statm: 3493588 9384 2975 1 0 3482964 0
[pid=4740/tid=4741] ppid=4738 vsize=13974352 memory=-7677926825137650786 CPUtime=0.17 cores=1,3,5,7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 18108 0 -1 4202560 5695 0 0 0 15 2 0 0 20 0 15 0 17129995 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683557643440 140683148497108 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4742] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683472829072 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4743] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17129995 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683471776272 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4744] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683470723472 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4745] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683469670672 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4746] ppid=4738 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17129997 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683031976816 140683553426050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4747] ppid=4738 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17129997 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683030922784 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4748] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17129997 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683029869936 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4749] ppid=4738 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683028818256 140683553433499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4750] ppid=4738 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4740/task/4750/stat : 4750 (java) R 4738 4738 18108 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 15 0 17130000 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683027765616 140683553426050 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4751] ppid=4738 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4740/task/4751/stat : 4751 (java) R 4738 4738 18108 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 15 0 17130000 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683026712816 140683536825568 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4752] ppid=4738 vsize=13974352 memory=139704493536896 CPUtime=0.06 cores=1,3,5,7
/proc/4740/task/4752/stat : 4752 (java) S 4738 4738 18108 0 -1 1077944384 729 0 0 0 6 0 0 0 20 0 15 0 17130000 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683025660016 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4753] ppid=4738 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683024607456 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4754] ppid=4738 vsize=13974352 memory=139704493536896 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130003 14309736448 9896 18446744073709551615 4194304 4196468 140724412341664 140683023555760 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38916 KiB
[startup+0.701142 s]
/proc/loadavg: 1.55 1.61 1.57 3/211 4754
/proc/meminfo: memFree=31403256/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 17129984 9740288 345 18446744073709551615 4194304 5098028 140727666069600 140727666067704 140414545535612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 36278272 140727666078074 140727666078278 140727666078278 140727666081771 0
/proc/4738/statm: 2378 345 289 221 0 87 0
[pid=4740] ppid=4738 vsize=13980732 memory=65004 CPUtime=1.18 cores=1,3,5,7
/proc/4740/stat : 4740 (java) S 4738 4738 18108 0 -1 1077944320 13072 0 0 0 113 5 0 0 20 0 15 0 17129994 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140724412324208 140683553414903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
/proc/4740/statm: 3495183 16251 3177 1 0 3483476 0
[pid=4740/tid=4741] ppid=4738 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 18108 0 -1 4202560 8384 0 0 0 51 4 0 0 20 0 15 0 17129995 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683557653424 140683150086937 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4742] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683472829072 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4743] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683471776272 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4744] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683470723472 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4745] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683469670672 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4746] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683031976816 140683553426050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4747] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683030922784 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4748] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683029869936 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4749] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683028818256 140683553433499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4750] ppid=4738 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4740/task/4750/stat : 4750 (java) R 4738 4738 18108 0 -1 4202560 931 0 0 0 15 0 0 0 20 0 15 0 17130000 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683027757072 140683546511739 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4751] ppid=4738 vsize=13980732 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/4740/task/4751/stat : 4751 (java) R 4738 4738 18108 0 -1 4202560 1026 0 0 0 17 0 0 0 20 0 15 0 17130000 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683026698912 140683538078055 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4752] ppid=4738 vsize=13980732 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/4740/task/4752/stat : 4752 (java) R 4738 4738 18108 0 -1 4202560 1424 0 0 0 28 0 0 0 20 0 15 0 17130000 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683025660144 140683545652030 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4753] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683024607456 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4754] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130003 14316269568 16251 18446744073709551615 4194304 4196468 140724412341664 140683023555760 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66384 KiB
[startup+1.50085 s]
/proc/loadavg: 1.55 1.61 1.57 5/211 4754
/proc/meminfo: memFree=31357596/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 17129984 9740288 345 18446744073709551615 4194304 5098028 140727666069600 140727666067704 140414545535612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 36278272 140727666078074 140727666078278 140727666078278 140727666081771 0
/proc/4738/statm: 2378 345 289 221 0 87 0
[pid=4740] ppid=4738 vsize=13980732 memory=144928 CPUtime=3.75 cores=1,3,5,7
/proc/4740/stat : 4740 (java) S 4738 4738 18108 0 -1 1077944320 28887 0 0 0 368 7 0 0 20 0 15 0 17129994 14316269568 36224 18446744073709551615 4194304 4196468 140724412341664 140724412324208 140683553414903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
/proc/4740/statm: 3495183 36232 3197 1 0 3483476 0
[pid=4740/tid=4741] ppid=4738 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 18108 0 -1 4202560 8778 0 0 0 130 5 0 0 20 0 15 0 17129995 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683557641536 140683150855734 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4742] ppid=4738 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683472829072 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4743] ppid=4738 vsize=13980732 memory=7681407940103534239 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683471776272 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4744] ppid=4738 vsize=13980732 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683470723472 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4745] ppid=4738 vsize=13980732 memory=7084563971091293287 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683469670672 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4746] ppid=4738 vsize=13980732 memory=5865494768987170659 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683031976816 140683553426050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4747] ppid=4738 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683030922784 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4748] ppid=4738 vsize=13980732 memory=2876 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683029869936 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4749] ppid=4738 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683028818256 140683553433499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4750] ppid=4738 vsize=13980732 memory=199128 CPUtime=0.95 cores=1,3,5,7
/proc/4740/task/4750/stat : 4750 (java) R 4738 4738 18108 0 -1 4202560 8758 0 0 0 95 0 0 0 20 0 15 0 17130000 14316269568 36232 18446744073709551615 4194304 4196468 140724412341664 140683027752016 140683534958202 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4751] ppid=4738 vsize=13980732 memory=1152 CPUtime=0.96 cores=1,3,5,7
################
# More data... #
################
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 17129984 9740288 345 18446744073709551615 4194304 5098028 140727666069600 140727666067704 140414545535612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 36278272 140727666078074 140727666078278 140727666078278 140727666081771 0
/proc/4738/statm: 2378 345 289 221 0 87 0
[pid=4740] ppid=4738 vsize=13980732 memory=151528 CPUtime=4.06 cores=1,3,5,7
/proc/4740/stat : 4740 (java) S 4738 4738 18108 0 -1 1077944320 29096 0 0 0 398 8 0 0 20 0 15 0 17129994 14316269568 37882 18446744073709551615 4194304 4196468 140724412341664 140724412324208 140683553414903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
/proc/4740/statm: 3495183 37882 3197 1 0 3483476 0
[pid=4740/tid=4741] ppid=4738 vsize=13980732 memory=4294969504 CPUtime=1.44 cores=1,3,5,7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 18108 0 -1 4202560 8790 0 0 0 139 5 0 0 20 0 15 0 17129995 14316269568 37882 18446744073709551615 4194304 4196468 140724412341664 140683557641536 140683151021205 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4742] ppid=4738 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 37882 18446744073709551615 4194304 4196468 140724412341664 140683472829072 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4743] ppid=4738 vsize=13980732 memory=279408695244432 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 37882 18446744073709551615 4194304 4196468 140724412341664 140683471776272 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4744] ppid=4738 vsize=13980732 memory=18660 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 37882 18446744073709551615 4194304 4196468 140724412341664 140683470723472 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4745] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 37882 18446744073709551615 4194304 4196468 140724412341664 140683469670672 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4746] ppid=4738 vsize=13980732 memory=7523940925046219601 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 37882 18446744073709551615 4194304 4196468 140724412341664 140683031976816 140683553426050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4747] ppid=4738 vsize=13980732 memory=279408694915304 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 37882 18446744073709551615 4194304 4196468 140724412341664 140683030922784 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4748] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 38394 18446744073709551615 4194304 4196468 140724412341664 140683029869936 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4749] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 38394 18446744073709551615 4194304 4196468 140724412341664 140683028818256 140683553433499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4750] ppid=4738 vsize=13980732 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/4740/task/4750/stat : 4750 (java) R 4738 4738 18108 0 -1 4202560 8892 0 0 0 105 0 0 0 20 0 15 0 17130000 14316269568 38394 18446744073709551615 4194304 4196468 140724412341664 140683027752016 140683537382065 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4751] ppid=4738 vsize=13980732 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/4740/task/4751/stat : 4751 (java) R 4738 4738 18108 0 -1 4202560 6392 0 0 0 106 0 0 0 20 0 15 0 17130000 14316269568 38394 18446744073709551615 4194304 4196468 140724412341664 140683026701168 140683531431912 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4752] ppid=4738 vsize=13980732 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/4740/task/4752/stat : 4752 (java) S 4738 4738 18108 0 -1 1077944384 3713 0 0 0 46 1 0 0 20 0 15 0 17130000 14316269568 38394 18446744073709551615 4194304 4196468 140724412341664 140683025660016 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4753] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 38394 18446744073709551615 4194304 4196468 140724412341664 140683024607456 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4754] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130003 14316269568 38394 18446744073709551615 4194304 4196468 140724412341664 140683023555760 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
Current children cumulated CPU time: 4.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 152908 KiB
[startup+2.40076 s]
/proc/loadavg: 1.55 1.61 1.57 5/211 4754
/proc/meminfo: memFree=31272624/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 17129984 9740288 345 18446744073709551615 4194304 5098028 140727666069600 140727666067704 140414545535612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 36278272 140727666078074 140727666078278 140727666078278 140727666081771 0
/proc/4738/statm: 2378 345 289 221 0 87 0
[pid=4740] ppid=4738 vsize=13980732 memory=219112 CPUtime=6.5 cores=1,3,5,7
/proc/4740/stat : 4740 (java) S 4738 4738 18108 0 -1 1077944320 34366 0 0 0 640 10 0 0 20 0 15 0 17129994 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140724412324208 140683553414903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
/proc/4740/statm: 3495183 54778 3228 1 0 3483476 0
[pid=4740/tid=4741] ppid=4738 vsize=13980732 memory=18488 CPUtime=2.24 cores=1,3,5,7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 18108 0 -1 4202560 9421 0 0 0 218 6 0 0 20 0 15 0 17129995 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683557654160 140683150208462 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4742] ppid=4738 vsize=13980732 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 18108 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683472829072 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4743] ppid=4738 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 18108 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683471776272 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4744] ppid=4738 vsize=13980732 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 18108 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683470723472 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4745] ppid=4738 vsize=13980732 memory=952 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683469670672 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4746] ppid=4738 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 18108 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683031976816 140683553426050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4747] ppid=4738 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683030922784 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4748] ppid=4738 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 18108 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683029869936 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4749] ppid=4738 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683028818256 140683553433499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4750] ppid=4738 vsize=13980732 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/4740/task/4750/stat : 4750 (java) R 4738 4738 18108 0 -1 4202560 10052 0 0 0 184 0 0 0 20 0 15 0 17130000 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683027744656 140683534936107 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4751] ppid=4738 vsize=13980732 memory=2241 CPUtime=1.86 cores=1,3,5,7
/proc/4740/task/4751/stat : 4751 (java) R 4738 4738 18108 0 -1 4202560 8208 0 0 0 185 1 0 0 20 0 15 0 17130000 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683026704096 140683536799696 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4752] ppid=4738 vsize=13980732 memory=2244 CPUtime=0.52 cores=1,3,5,7
/proc/4740/task/4752/stat : 4752 (java) S 4738 4738 18108 0 -1 1077944384 4445 0 0 0 51 1 0 0 20 0 15 0 17130000 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683025660016 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4753] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683024607456 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4754] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 18108 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 17130003 14316269568 54778 18446744073709551615 4194304 4196468 140724412341664 140683023555760 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
Current children cumulated CPU time: 6.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 220492 KiB
[startup+2.80077 s]
/proc/loadavg: 1.55 1.61 1.57 5/211 4754
/proc/meminfo: memFree=31272624/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 17129984 9740288 345 18446744073709551615 4194304 5098028 140727666069600 140727666067704 140414545535612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 36278272 140727666078074 140727666078278 140727666078278 140727666081771 0
/proc/4738/statm: 2378 345 289 221 0 87 0
[pid=4740] ppid=4738 vsize=13980732 memory=226924 CPUtime=7.71 cores=1,3,5,7
/proc/4740/stat : 4740 (java) S 4738 4738 18108 0 -1 1077944320 36391 0 0 0 761 10 0 0 20 0 15 0 17129994 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140724412324208 140683553414903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
/proc/4740/statm: 3495183 56731 3228 1 0 3483476 0
[pid=4740/tid=4741] ppid=4738 vsize=13980732 memory=7680170660397595203 CPUtime=2.64 cores=1,3,5,7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 18108 0 -1 4202560 9434 0 0 0 258 6 0 0 20 0 15 0 17129995 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683557654160 140683151361933 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4742] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 18108 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683472829072 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4743] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 18108 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683471776272 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4744] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 18108 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683470723472 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4745] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683469670672 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4746] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 18108 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683031976816 140683553426050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4747] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683030922784 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4748] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 18108 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683029869936 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4749] ppid=4738 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683028818256 140683553433499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4750] ppid=4738 vsize=13980732 memory=0 CPUtime=2.24 cores=1,3,5,7
/proc/4740/task/4750/stat : 4750 (java) R 4738 4738 18108 0 -1 4202560 11423 0 0 0 224 0 0 0 20 0 15 0 17130000 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683027744656 140683534936179 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4751] ppid=4738 vsize=13980732 memory=6944656592455097440 CPUtime=2.26 cores=1,3,5,7
/proc/4740/task/4751/stat : 4751 (java) R 4738 4738 18108 0 -1 4202560 8832 0 0 0 225 1 0 0 20 0 15 0 17130000 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683026696656 140683536908986 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4752] ppid=4738 vsize=13980732 memory=6944656575208382560 CPUtime=0.52 cores=1,3,5,7
/proc/4740/task/4752/stat : 4752 (java) S 4738 4738 18108 0 -1 1077944384 4462 0 0 0 51 1 0 0 20 0 15 0 17130000 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683025660016 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4753] ppid=4738 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683024607456 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4754] ppid=4738 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 18108 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 17130003 14316269568 56731 18446744073709551615 4194304 4196468 140724412341664 140683023555760 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
Current children cumulated CPU time: 7.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 228304 KiB
[startup+2.90075 s]
/proc/loadavg: 1.55 1.61 1.57 5/211 4754
/proc/meminfo: memFree=31272624/32770624 swapFree=67108860/67108860
[pid=4738] ppid=4735 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4738/stat : 4738 (xcsp3-exec) S 4735 4738 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 17129984 9740288 345 18446744073709551615 4194304 5098028 140727666069600 140727666067704 140414545535612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 36278272 140727666078074 140727666078278 140727666078278 140727666081771 0
/proc/4738/statm: 2378 345 289 221 0 87 0
[pid=4740] ppid=4738 vsize=13980732 memory=227168 CPUtime=8.01 cores=1,3,5,7
/proc/4740/stat : 4740 (java) S 4738 4738 18108 0 -1 1077944320 36393 0 0 0 791 10 0 0 20 0 15 0 17129994 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140724412324208 140683553414903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
/proc/4740/statm: 3495183 56792 3228 1 0 3483476 0
[pid=4740/tid=4741] ppid=4738 vsize=13980732 memory=1380 CPUtime=2.74 cores=1,3,5,7
/proc/4740/task/4741/stat : 4741 (java) R 4738 4738 18108 0 -1 4202560 9434 0 0 0 268 6 0 0 20 0 15 0 17129995 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683557654160 140683150857727 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4742] ppid=4738 vsize=13980732 memory=226680 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4742/stat : 4742 (java) S 4738 4738 18108 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683472829072 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4743] ppid=4738 vsize=13980732 memory=13573678025672028 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4743/stat : 4743 (java) S 4738 4738 18108 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683471776272 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4744] ppid=4738 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4744/stat : 4744 (java) S 4738 4738 18108 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683470723472 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4745] ppid=4738 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4745/stat : 4745 (java) S 4738 4738 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 17129995 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683469670672 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4746] ppid=4738 vsize=13980732 memory=213732 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4746/stat : 4746 (java) S 4738 4738 18108 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683031976816 140683553426050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4747] ppid=4738 vsize=13980732 memory=279408695039680 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4747/stat : 4747 (java) S 4738 4738 18108 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683030922784 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4748] ppid=4738 vsize=13980732 memory=279408695039872 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4748/stat : 4748 (java) S 4738 4738 18108 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 17129997 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683029869936 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4749] ppid=4738 vsize=13980732 memory=191968 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4749/stat : 4749 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683028818256 140683553433499 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4750] ppid=4738 vsize=13980732 memory=2876 CPUtime=2.34 cores=1,3,5,7
/proc/4740/task/4750/stat : 4750 (java) R 4738 4738 18108 0 -1 4202560 11423 0 0 0 234 0 0 0 20 0 15 0 17130000 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683027752432 140683533246205 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4751] ppid=4738 vsize=13980732 memory=1380 CPUtime=2.36 cores=1,3,5,7
/proc/4740/task/4751/stat : 4751 (java) R 4738 4738 18108 0 -1 4202560 8832 0 0 0 235 1 0 0 20 0 15 0 17130000 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683026699200 140683538522655 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4752] ppid=4738 vsize=13980732 memory=166848 CPUtime=0.52 cores=1,3,5,7
/proc/4740/task/4752/stat : 4752 (java) S 4738 4738 18108 0 -1 1077944384 4464 0 0 0 51 1 0 0 20 0 15 0 17130000 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683025660016 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4753] ppid=4738 vsize=13980732 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4753/stat : 4753 (java) S 4738 4738 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130000 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683024607456 140683553425109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
[pid=4740/tid=4754] ppid=4738 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4740/task/4754/stat : 4754 (java) S 4738 4738 18108 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 17130003 14316269568 56792 18446744073709551615 4194304 4196468 140724412341664 140683023555760 140683553426050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14331904 140724412342706 140724412342882 140724412342882 140724412346319 0
Current children cumulated CPU time: 8.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 228548 KiB
Child status: 0
Real time (s): 2.9515
CPU time (s): 8.11369
CPU user time (s): 7.99962
CPU system time (s): 0.114065
CPU usage (%): 274.9
Max. virtual memory (cumulated for all children) (KiB): 13992208
Max. memory (cumulated for all children) (KiB): 228548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.99962
system time used= 0.114065
maximum resident set size= 228580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37356
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= 2142
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 4738
# total CPU time (s): 8.11369
# total CPU user time (s): 7.99962
# total CPU system time (s): 0.114065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039554 second user time and 0.066938 second system time
The end