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 (15292 MiB free)
memory of node 1: 16384 MiB (14006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283410-1503190155/watcher-4283410-1503190155 -o /tmp/evaluation-result-4283410-1503190155/solver-4283410-1503190155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1189000532 HOME/instance-4283410-1503190155.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25816, runsolver pid=25813
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 2.24 1.94 1.76 3/202 25823
/proc/meminfo: memFree=29995448/32770624 swapFree=67105588/67108860
[pid=25816] ppid=25813 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25816/stat : 25816 (xcsp3-exec) S 25813 25816 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121210622 9740288 344 18446744073709551615 4194304 5098028 140735885856160 140735885854264 140169550455420 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 32137216 140735885857144 140735885857349 140735885857349 140735885860843 0
/proc/25816/statm: 2378 344 289 221 0 87 0
[pid=25818] ppid=25816 vsize=13574484 memory=16408 CPUtime=0.02 cores=0,2,4,6
/proc/25818/stat : 25818 (java) S 25816 25816 8557 0 -1 1077944320 3910 0 0 0 1 1 0 0 20 0 9 0 121210630 13900271616 4102 18446744073709551615 4194304 4196468 140726124386816 140726124369360 140629730602743 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
/proc/25818/statm: 3393621 4102 2064 1 0 3383118 0
[pid=25818/tid=25819] ppid=25816 vsize=13574484 memory=-8713483618642983523 CPUtime=0.01 cores=0,2,4,6
/proc/25818/task/25819/stat : 25819 (java) R 25816 25816 8557 0 -1 4202560 2626 0 0 0 1 0 0 0 20 0 9 0 121210630 13900271616 4102 18446744073709551615 4194304 4196468 140726124386816 140629734843536 140629714683230 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25820] ppid=25816 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25820/stat : 25820 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121210631 13900271616 4102 18446744073709551615 4194304 4196468 140726124386816 140629650017168 140629730612949 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25821] ppid=25816 vsize=13574484 memory=140204358014592 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25821/stat : 25821 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121210631 13900271616 4102 18446744073709551615 4194304 4196468 140726124386816 140629648964368 140629730612949 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25822] ppid=25816 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25822/stat : 25822 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121210631 13900271616 4102 18446744073709551615 4194304 4196468 140726124386816 140629647912080 140629730612949 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25823] ppid=25816 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25823/stat : 25823 (java) S 25816 25816 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121210631 13900271616 4102 18446744073709551615 4194304 4196468 140726124386816 140629646859280 140629730612949 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25824] ppid=25816 vsize=13574484 memory=140204358014592 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25824/stat : 25824 (java) S 25816 25816 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121210632 13900271616 4102 18446744073709551615 4194304 4196468 140726124386816 140628915869808 140629730613890 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25825] ppid=25816 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25825/stat : 25825 (java) S 25816 25816 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 121210633 13900271616 4102 18446744073709551615 4194304 4196468 140726124386816 140628914815776 140629730612949 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25826] ppid=25816 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25826/stat : 25826 (java) S 25816 25816 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 121210633 13900271616 4102 18446744073709551615 4194304 4196468 140726124386816 140628913763504 140629730612949 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 17784 KiB
[startup+0.20998 s]*
/proc/loadavg: 2.24 1.94 1.76 4/211 25832
/proc/meminfo: memFree=29987888/32770624 swapFree=67105588/67108860
[pid=25816] ppid=25813 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25816/stat : 25816 (xcsp3-exec) S 25813 25816 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121210622 9740288 344 18446744073709551615 4194304 5098028 140735885856160 140735885854264 140169550455420 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 32137216 140735885857144 140735885857349 140735885857349 140735885860843 0
/proc/25816/statm: 2378 344 289 221 0 87 0
[pid=25818] ppid=25816 vsize=13974352 memory=27120 CPUtime=0.09 cores=0,2,4,6
/proc/25818/stat : 25818 (java) S 25816 25816 8557 0 -1 1077944320 5235 0 0 0 8 1 0 0 20 0 15 0 121210630 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140726124369360 140629730602743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
/proc/25818/statm: 3493588 6780 2730 1 0 3482964 0
[pid=25818/tid=25819] ppid=25816 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=0,2,4,6
/proc/25818/task/25819/stat : 25819 (java) R 25816 25816 8557 0 -1 4202560 3377 0 0 0 6 1 0 0 20 0 15 0 121210630 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140629734828432 140629723280757 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25820] ppid=25816 vsize=13974352 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25820/stat : 25820 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140629650017168 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25821] ppid=25816 vsize=13974352 memory=288370580509726336 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25821/stat : 25821 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140629648964368 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25822] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25822/stat : 25822 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140629647912080 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25823] ppid=25816 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25823/stat : 25823 (java) S 25816 25816 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121210631 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140629646859280 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25824] ppid=25816 vsize=13974352 memory=140204358014592 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25824/stat : 25824 (java) S 25816 25816 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121210632 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140628915869808 140629730613890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25825] ppid=25816 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25825/stat : 25825 (java) S 25816 25816 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121210633 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140628914815776 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25826] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25826/stat : 25826 (java) S 25816 25816 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121210633 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140628913763440 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25827] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25827/stat : 25827 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210635 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140628912711760 140629730621339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25828] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25828/stat : 25828 (java) S 25816 25816 8557 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 121210635 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140628911659632 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25829] ppid=25816 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25829/stat : 25829 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210635 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140628910606832 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25830] ppid=25816 vsize=13974352 memory=140204358014592 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25830/stat : 25830 (java) R 25816 25816 8557 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 15 0 121210635 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140628909554544 140629730614678 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25831] ppid=25816 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25831/stat : 25831 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210636 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140628908501984 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25832] ppid=25816 vsize=13974352 memory=140204358014592 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25832/stat : 25832 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210641 14309736448 6780 18446744073709551615 4194304 4196468 140726124386816 140628907448752 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28496 KiB
[startup+0.310348 s]*
/proc/loadavg: 2.24 1.94 1.76 4/211 25832
/proc/meminfo: memFree=29974644/32770624 swapFree=67105588/67108860
[pid=25816] ppid=25813 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25816/stat : 25816 (xcsp3-exec) S 25813 25816 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121210622 9740288 344 18446744073709551615 4194304 5098028 140735885856160 140735885854264 140169550455420 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 32137216 140735885857144 140735885857349 140735885857349 140735885860843 0
/proc/25816/statm: 2378 344 289 221 0 87 0
[pid=25818] ppid=25816 vsize=13974352 memory=37180 CPUtime=0.27 cores=0,2,4,6
/proc/25818/stat : 25818 (java) S 25816 25816 8557 0 -1 1077944320 8904 0 0 0 25 2 0 0 20 0 15 0 121210630 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140726124369360 140629730602743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
/proc/25818/statm: 3493588 9295 2985 1 0 3482964 0
[pid=25818/tid=25819] ppid=25816 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/25818/task/25819/stat : 25819 (java) R 25816 25816 8557 0 -1 4202560 6084 0 0 0 15 2 0 0 20 0 15 0 121210630 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140629734835792 140629730624090 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25820] ppid=25816 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25820/stat : 25820 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140629650017168 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25821] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25821/stat : 25821 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140629648964368 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25822] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25822/stat : 25822 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140629647912080 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25823] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25823/stat : 25823 (java) S 25816 25816 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121210631 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140629646859280 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25824] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25824/stat : 25824 (java) S 25816 25816 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121210632 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140628915869808 140629730613890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25825] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25825/stat : 25825 (java) S 25816 25816 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121210633 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140628914815776 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25826] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25826/stat : 25826 (java) S 25816 25816 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121210633 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140628913763440 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25827] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25827/stat : 25827 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210635 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140628912711760 140629730621339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25828] ppid=25816 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25818/task/25828/stat : 25828 (java) S 25816 25816 8557 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 15 0 121210635 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140628911659632 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25829] ppid=25816 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25818/task/25829/stat : 25829 (java) S 25816 25816 8557 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 15 0 121210635 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140628910606832 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25830] ppid=25816 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25818/task/25830/stat : 25830 (java) R 25816 25816 8557 0 -1 4202560 712 0 0 0 5 0 0 0 20 0 15 0 121210635 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140628909554544 140629722839870 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25831] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25831/stat : 25831 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210636 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140628908501984 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25832] ppid=25816 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25832/stat : 25832 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210641 14309736448 9295 18446744073709551615 4194304 4196468 140726124386816 140628907448752 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38556 KiB
[startup+0.701501 s]
/proc/loadavg: 2.24 1.94 1.76 7/211 25832
/proc/meminfo: memFree=29963572/32770624 swapFree=67105588/67108860
[pid=25816] ppid=25813 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25816/stat : 25816 (xcsp3-exec) S 25813 25816 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121210622 9740288 344 18446744073709551615 4194304 5098028 140735885856160 140735885854264 140169550455420 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 32137216 140735885857144 140735885857349 140735885857349 140735885860843 0
/proc/25816/statm: 2378 344 289 221 0 87 0
[pid=25818] ppid=25816 vsize=13980732 memory=62148 CPUtime=1.22 cores=0,2,4,6
/proc/25818/stat : 25818 (java) S 25816 25816 8557 0 -1 1077944320 13138 0 0 0 118 4 0 0 20 0 15 0 121210630 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140726124369360 140629730602743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
/proc/25818/statm: 3495183 15537 3179 1 0 3483476 0
[pid=25818/tid=25819] ppid=25816 vsize=13980732 memory=6153415001170666065 CPUtime=0.54 cores=0,2,4,6
/proc/25818/task/25819/stat : 25819 (java) R 25816 25816 8557 0 -1 4202560 8578 0 0 0 52 2 0 0 20 0 15 0 121210630 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140629734841776 140629325724640 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25820] ppid=25816 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25820/stat : 25820 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140629650017168 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25821] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25821/stat : 25821 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140629648964368 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25822] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25822/stat : 25822 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140629647912080 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25823] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25823/stat : 25823 (java) S 25816 25816 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121210631 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140629646859280 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25824] ppid=25816 vsize=13980732 memory=872 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25824/stat : 25824 (java) S 25816 25816 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121210632 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140628915869808 140629730613890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25825] ppid=25816 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25825/stat : 25825 (java) S 25816 25816 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140628914815776 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25826] ppid=25816 vsize=13980732 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25826/stat : 25826 (java) S 25816 25816 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140628913763440 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25827] ppid=25816 vsize=13980732 memory=7344 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25827/stat : 25827 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210635 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140628912711760 140629730621339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25828] ppid=25816 vsize=13980732 memory=1628 CPUtime=0.2 cores=0,2,4,6
/proc/25818/task/25828/stat : 25828 (java) R 25816 25816 8557 0 -1 4202560 1018 0 0 0 20 0 0 0 20 0 15 0 121210635 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140628911658768 140629715529316 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25829] ppid=25816 vsize=13980732 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/25818/task/25829/stat : 25829 (java) R 25816 25816 8557 0 -1 4202560 981 0 0 0 19 0 0 0 20 0 15 0 121210635 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140628910597344 140629712147343 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25830] ppid=25816 vsize=13980732 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/25818/task/25830/stat : 25830 (java) R 25816 25816 8557 0 -1 4202560 1257 0 0 0 26 0 0 0 20 0 15 0 121210635 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140628909552336 140629710317540 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25831] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25831/stat : 25831 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210636 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140628908501984 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25832] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25832/stat : 25832 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210641 14316269568 15537 18446744073709551615 4194304 4196468 140726124386816 140628907448752 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63524 KiB
[startup+1.50077 s]
/proc/loadavg: 2.24 1.94 1.76 5/211 25832
/proc/meminfo: memFree=29932680/32770624 swapFree=67105588/67108860
[pid=25816] ppid=25813 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25816/stat : 25816 (xcsp3-exec) S 25813 25816 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121210622 9740288 344 18446744073709551615 4194304 5098028 140735885856160 140735885854264 140169550455420 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 32137216 140735885857144 140735885857349 140735885857349 140735885860843 0
/proc/25816/statm: 2378 344 289 221 0 87 0
[pid=25818] ppid=25816 vsize=13980732 memory=110964 CPUtime=3.79 cores=0,2,4,6
/proc/25818/stat : 25818 (java) S 25816 25816 8557 0 -1 1077944320 21382 0 0 0 373 6 0 0 20 0 15 0 121210630 14316269568 27741 18446744073709551615 4194304 4196468 140726124386816 140726124369360 140629730602743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
/proc/25818/statm: 3495183 27741 3197 1 0 3483476 0
[pid=25818/tid=25819] ppid=25816 vsize=13980732 memory=280408482673280 CPUtime=1.34 cores=0,2,4,6
/proc/25818/task/25819/stat : 25819 (java) R 25816 25816 8557 0 -1 4202560 9066 0 0 0 130 4 0 0 20 0 15 0 121210630 14316269568 27741 18446744073709551615 4194304 4196468 140726124386816 140629734838840 140629329060022 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25820] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25820/stat : 25820 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14316269568 27741 18446744073709551615 4194304 4196468 140726124386816 140629650017168 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25821] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25821/stat : 25821 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14316269568 27741 18446744073709551615 4194304 4196468 140726124386816 140629648964368 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25822] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25822/stat : 25822 (java) S 25816 25816 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121210631 14316269568 27741 18446744073709551615 4194304 4196468 140726124386816 140629647912080 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25823] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25818/task/25821/stat : 25821 (java) S 25816 25816 8557 0 -1 1077944384 3251 0 0 0 151 14 0 0 20 0 15 0 121210631 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140629648964368 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25822] ppid=25816 vsize=13980732 memory=1376 CPUtime=1.64 cores=0,2,4,6
/proc/25818/task/25822/stat : 25822 (java) S 25816 25816 8557 0 -1 1077944384 3021 0 0 0 149 15 0 0 20 0 15 0 121210631 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140629647912080 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25823] ppid=25816 vsize=13980732 memory=308684 CPUtime=1.64 cores=0,2,4,6
/proc/25818/task/25823/stat : 25823 (java) S 25816 25816 8557 0 -1 1077944384 3232 0 0 0 150 14 0 0 20 0 15 0 121210631 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140629646859280 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25824] ppid=25816 vsize=13980732 memory=308684 CPUtime=0.2 cores=0,2,4,6
/proc/25818/task/25824/stat : 25824 (java) S 25816 25816 8557 0 -1 1077944384 5985 0 0 0 18 2 0 0 20 0 15 0 121210632 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140628915869808 140629730613890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25825] ppid=25816 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25825/stat : 25825 (java) S 25816 25816 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140628914815776 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25826] ppid=25816 vsize=13980732 memory=6944656592455359545 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25826/stat : 25826 (java) S 25816 25816 8557 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140628913763440 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25827] ppid=25816 vsize=13980732 memory=325780 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25827/stat : 25827 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210635 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140628912711760 140629730621339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25828] ppid=25816 vsize=13980732 memory=309272 CPUtime=3.31 cores=0,2,4,6
/proc/25818/task/25828/stat : 25828 (java) S 25816 25816 8557 0 -1 1077944384 12056 0 0 0 330 1 0 0 20 0 15 0 121210635 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140628911659632 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25829] ppid=25816 vsize=13980732 memory=318944 CPUtime=3.37 cores=0,2,4,6
/proc/25818/task/25829/stat : 25829 (java) S 25816 25816 8557 0 -1 1077944384 15173 0 0 0 335 2 0 0 20 0 15 0 121210635 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140628910606832 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25830] ppid=25816 vsize=13980732 memory=4144 CPUtime=0.68 cores=0,2,4,6
/proc/25818/task/25830/stat : 25830 (java) S 25816 25816 8557 0 -1 1077944384 8288 0 0 0 67 1 0 0 20 0 15 0 121210635 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140628909554544 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25831] ppid=25816 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25831/stat : 25831 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210636 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140628908501984 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25832] ppid=25816 vsize=13980732 memory=1376 CPUtime=0.1 cores=0,2,4,6
/proc/25818/task/25832/stat : 25832 (java) S 25816 25816 8557 0 -1 1077944384 923 0 0 0 5 5 0 0 20 0 15 0 121210641 14316269568 84189 18446744073709551615 4194304 4196468 140726124386816 140628907448752 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
Current children cumulated CPU time: 245.75 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 338132 KiB
[startup+235.301 s]
/proc/loadavg: 1.64 1.76 1.74 3/211 25839
/proc/meminfo: memFree=29617020/32770624 swapFree=67105588/67108860
[pid=25816] ppid=25813 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25816/stat : 25816 (xcsp3-exec) S 25813 25816 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121210622 9740288 344 18446744073709551615 4194304 5098028 140735885856160 140735885854264 140169550455420 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 32137216 140735885857144 140735885857349 140735885857349 140735885860843 0
/proc/25816/statm: 2378 344 289 221 0 87 0
[pid=25818] ppid=25816 vsize=13980732 memory=351328 CPUtime=247.4 cores=0,2,4,6
/proc/25818/stat : 25818 (java) S 25816 25816 8557 0 -1 1077944320 73408 0 0 0 24660 80 0 0 20 0 15 0 121210630 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140726124369360 140629730602743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
/proc/25818/statm: 3495183 87832 3256 1 0 3483476 0
[pid=25818/tid=25819] ppid=25816 vsize=13980732 memory=1401728 CPUtime=232.98 cores=0,2,4,6
/proc/25818/task/25819/stat : 25819 (java) R 25816 25816 8557 0 -1 4202560 16826 0 0 0 23291 7 0 0 20 0 15 0 121210630 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629734842192 140629329690384 0 4 1 16800974 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25820] ppid=25816 vsize=13980732 memory=1156 CPUtime=1.67 cores=0,2,4,6
/proc/25818/task/25820/stat : 25820 (java) S 25816 25816 8557 0 -1 1077944384 2901 0 0 0 151 16 0 0 20 0 15 0 121210631 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629650017168 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25821] ppid=25816 vsize=13980732 memory=3044 CPUtime=1.67 cores=0,2,4,6
/proc/25818/task/25821/stat : 25821 (java) S 25816 25816 8557 0 -1 1077944384 3372 0 0 0 152 15 0 0 20 0 15 0 121210631 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629648964368 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25822] ppid=25816 vsize=13980732 memory=-8774313645642428999 CPUtime=1.67 cores=0,2,4,6
/proc/25818/task/25822/stat : 25822 (java) S 25816 25816 8557 0 -1 1077944384 3164 0 0 0 151 16 0 0 20 0 15 0 121210631 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629647912080 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25823] ppid=25816 vsize=13980732 memory=333996 CPUtime=1.65 cores=0,2,4,6
/proc/25818/task/25823/stat : 25823 (java) S 25816 25816 8557 0 -1 1077944384 3367 0 0 0 151 14 0 0 20 0 15 0 121210631 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629646859280 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25824] ppid=25816 vsize=13980732 memory=325780 CPUtime=0.22 cores=0,2,4,6
/proc/25818/task/25824/stat : 25824 (java) S 25816 25816 8557 0 -1 1077944384 5986 0 0 0 19 3 0 0 20 0 15 0 121210632 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628915869808 140629730613890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25825] ppid=25816 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25825/stat : 25825 (java) S 25816 25816 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628914815776 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25826] ppid=25816 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25826/stat : 25826 (java) S 25816 25816 8557 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628913763440 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25827] ppid=25816 vsize=13980732 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25827/stat : 25827 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210635 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628912711760 140629730621339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25828] ppid=25816 vsize=13980732 memory=7344 CPUtime=3.31 cores=0,2,4,6
/proc/25818/task/25828/stat : 25828 (java) S 25816 25816 8557 0 -1 1077944384 12056 0 0 0 330 1 0 0 20 0 15 0 121210635 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628911659632 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25829] ppid=25816 vsize=13980732 memory=1628 CPUtime=3.37 cores=0,2,4,6
/proc/25818/task/25829/stat : 25829 (java) S 25816 25816 8557 0 -1 1077944384 15173 0 0 0 335 2 0 0 20 0 15 0 121210635 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628910606832 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25830] ppid=25816 vsize=13980732 memory=14340 CPUtime=0.68 cores=0,2,4,6
/proc/25818/task/25830/stat : 25830 (java) S 25816 25816 8557 0 -1 1077944384 8288 0 0 0 67 1 0 0 20 0 15 0 121210635 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628909554544 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25831] ppid=25816 vsize=13980732 memory=65312 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25831/stat : 25831 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210636 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628908501984 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25832] ppid=25816 vsize=13980732 memory=1240 CPUtime=0.11 cores=0,2,4,6
/proc/25818/task/25832/stat : 25832 (java) S 25816 25816 8557 0 -1 1077944384 923 0 0 0 6 5 0 0 20 0 15 0 121210641 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628907448752 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
Current children cumulated CPU time: 247.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 352704 KiB
[startup+236.101 s]*
/proc/loadavg: 1.64 1.76 1.74 3/211 25839
/proc/meminfo: memFree=29617020/32770624 swapFree=67105588/67108860
[pid=25816] ppid=25813 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25816/stat : 25816 (xcsp3-exec) S 25813 25816 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121210622 9740288 344 18446744073709551615 4194304 5098028 140735885856160 140735885854264 140169550455420 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 32137216 140735885857144 140735885857349 140735885857349 140735885860843 0
/proc/25816/statm: 2378 344 289 221 0 87 0
[pid=25818] ppid=25816 vsize=13980732 memory=351328 CPUtime=248.21 cores=0,2,4,6
/proc/25818/stat : 25818 (java) S 25816 25816 8557 0 -1 1077944320 73410 0 0 0 24741 80 0 0 20 0 15 0 121210630 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140726124369360 140629730602743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
/proc/25818/statm: 3495183 87832 3256 1 0 3483476 0
[pid=25818/tid=25819] ppid=25816 vsize=13980732 memory=2240 CPUtime=233.79 cores=0,2,4,6
/proc/25818/task/25819/stat : 25819 (java) R 25816 25816 8557 0 -1 4202560 16826 0 0 0 23372 7 0 0 20 0 15 0 121210630 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629734842080 140629325980812 0 4 1 16800974 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25820] ppid=25816 vsize=13980732 memory=4872558044660077418 CPUtime=1.67 cores=0,2,4,6
/proc/25818/task/25820/stat : 25820 (java) S 25816 25816 8557 0 -1 1077944384 2901 0 0 0 151 16 0 0 20 0 15 0 121210631 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629650017168 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25821] ppid=25816 vsize=13980732 memory=65312 CPUtime=1.67 cores=0,2,4,6
/proc/25818/task/25821/stat : 25821 (java) S 25816 25816 8557 0 -1 1077944384 3372 0 0 0 152 15 0 0 20 0 15 0 121210631 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629648964368 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25822] ppid=25816 vsize=13980732 memory=1240 CPUtime=1.67 cores=0,2,4,6
/proc/25818/task/25822/stat : 25822 (java) S 25816 25816 8557 0 -1 1077944384 3164 0 0 0 151 16 0 0 20 0 15 0 121210631 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629647912080 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25823] ppid=25816 vsize=13980732 memory=280408483081568 CPUtime=1.65 cores=0,2,4,6
/proc/25818/task/25823/stat : 25823 (java) S 25816 25816 8557 0 -1 1077944384 3367 0 0 0 151 14 0 0 20 0 15 0 121210631 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140629646859280 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25824] ppid=25816 vsize=13980732 memory=7681905605394137914 CPUtime=0.22 cores=0,2,4,6
/proc/25818/task/25824/stat : 25824 (java) S 25816 25816 8557 0 -1 1077944384 5986 0 0 0 19 3 0 0 20 0 15 0 121210632 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628915869808 140629730613890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25825] ppid=25816 vsize=13980732 memory=1399101730491701635 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25825/stat : 25825 (java) S 25816 25816 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628914815776 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25826] ppid=25816 vsize=13980732 memory=1399101730491701635 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25826/stat : 25826 (java) S 25816 25816 8557 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628913763440 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25827] ppid=25816 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25827/stat : 25827 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210635 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628912711760 140629730621339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25828] ppid=25816 vsize=13980732 memory=-7233780906022726806 CPUtime=3.31 cores=0,2,4,6
/proc/25818/task/25828/stat : 25828 (java) S 25816 25816 8557 0 -1 1077944384 12056 0 0 0 330 1 0 0 20 0 15 0 121210635 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628911659632 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25829] ppid=25816 vsize=13980732 memory=-7173504570860347296 CPUtime=3.37 cores=0,2,4,6
/proc/25818/task/25829/stat : 25829 (java) S 25816 25816 8557 0 -1 1077944384 15173 0 0 0 335 2 0 0 20 0 15 0 121210635 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628910606832 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25830] ppid=25816 vsize=13980732 memory=-7233780906022726806 CPUtime=0.68 cores=0,2,4,6
/proc/25818/task/25830/stat : 25830 (java) S 25816 25816 8557 0 -1 1077944384 8288 0 0 0 67 1 0 0 20 0 15 0 121210635 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628909554544 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25831] ppid=25816 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25831/stat : 25831 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210636 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628908501984 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25832] ppid=25816 vsize=13980732 memory=6940100053060040003 CPUtime=0.11 cores=0,2,4,6
/proc/25818/task/25832/stat : 25832 (java) S 25816 25816 8557 0 -1 1077944384 925 0 0 0 6 5 0 0 20 0 15 0 121210641 14316269568 87832 18446744073709551615 4194304 4196468 140726124386816 140628907448752 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
Current children cumulated CPU time: 248.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 352704 KiB
[startup+236.901 s]
/proc/loadavg: 1.64 1.76 1.74 3/211 25839
/proc/meminfo: memFree=29617020/32770624 swapFree=67105588/67108860
[pid=25816] ppid=25813 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25816/stat : 25816 (xcsp3-exec) S 25813 25816 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121210622 9740288 344 18446744073709551615 4194304 5098028 140735885856160 140735885854264 140169550455420 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 32137216 140735885857144 140735885857349 140735885857349 140735885860843 0
/proc/25816/statm: 2378 344 289 221 0 87 0
[pid=25818] ppid=25816 vsize=13980732 memory=353376 CPUtime=249.02 cores=0,2,4,6
/proc/25818/stat : 25818 (java) S 25816 25816 8557 0 -1 1077944320 73418 0 0 0 24822 80 0 0 20 0 15 0 121210630 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140726124369360 140629730602743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
/proc/25818/statm: 3495183 88344 3256 1 0 3483476 0
[pid=25818/tid=25819] ppid=25816 vsize=13980732 memory=1152 CPUtime=234.57 cores=0,2,4,6
/proc/25818/task/25819/stat : 25819 (java) R 25816 25816 8557 0 -1 4202560 16827 0 0 0 23450 7 0 0 20 0 15 0 121210630 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140629734842320 140629331164503 0 4 1 16800974 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25820] ppid=25816 vsize=13980732 memory=3264 CPUtime=1.68 cores=0,2,4,6
/proc/25818/task/25820/stat : 25820 (java) S 25816 25816 8557 0 -1 1077944384 2902 0 0 0 152 16 0 0 20 0 15 0 121210631 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140629650017168 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25821] ppid=25816 vsize=13980732 memory=1380 CPUtime=1.67 cores=0,2,4,6
/proc/25818/task/25821/stat : 25821 (java) S 25816 25816 8557 0 -1 1077944384 3373 0 0 0 152 15 0 0 20 0 15 0 121210631 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140629648964368 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25822] ppid=25816 vsize=13980732 memory=351328 CPUtime=1.67 cores=0,2,4,6
/proc/25818/task/25822/stat : 25822 (java) S 25816 25816 8557 0 -1 1077944384 3166 0 0 0 151 16 0 0 20 0 15 0 121210631 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140629647912080 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25823] ppid=25816 vsize=13980732 memory=1376 CPUtime=1.66 cores=0,2,4,6
/proc/25818/task/25823/stat : 25823 (java) S 25816 25816 8557 0 -1 1077944384 3368 0 0 0 152 14 0 0 20 0 15 0 121210631 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140629646859280 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25824] ppid=25816 vsize=13980732 memory=345236 CPUtime=0.22 cores=0,2,4,6
/proc/25818/task/25824/stat : 25824 (java) S 25816 25816 8557 0 -1 1077944384 5988 0 0 0 19 3 0 0 20 0 15 0 121210632 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140628915869808 140629730613890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25825] ppid=25816 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25825/stat : 25825 (java) S 25816 25816 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140628914815776 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25826] ppid=25816 vsize=13980732 memory=353376 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25826/stat : 25826 (java) S 25816 25816 8557 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 121210633 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140628913763440 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25827] ppid=25816 vsize=13980732 memory=5773684198391226429 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25827/stat : 25827 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210635 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140628912711760 140629730621339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25828] ppid=25816 vsize=13980732 memory=-8774313645642428999 CPUtime=3.31 cores=0,2,4,6
/proc/25818/task/25828/stat : 25828 (java) S 25816 25816 8557 0 -1 1077944384 12056 0 0 0 330 1 0 0 20 0 15 0 121210635 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140628911659632 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25829] ppid=25816 vsize=13980732 memory=4584 CPUtime=3.37 cores=0,2,4,6
/proc/25818/task/25829/stat : 25829 (java) S 25816 25816 8557 0 -1 1077944384 15173 0 0 0 335 2 0 0 20 0 15 0 121210635 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140628910606832 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25830] ppid=25816 vsize=13980732 memory=872 CPUtime=0.68 cores=0,2,4,6
/proc/25818/task/25830/stat : 25830 (java) S 25816 25816 8557 0 -1 1077944384 8288 0 0 0 67 1 0 0 20 0 15 0 121210635 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140628909554544 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25831] ppid=25816 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/25818/task/25831/stat : 25831 (java) S 25816 25816 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121210636 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140628908501984 140629730612949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
[pid=25818/tid=25832] ppid=25816 vsize=13980732 memory=1376 CPUtime=0.11 cores=0,2,4,6
/proc/25818/task/25832/stat : 25832 (java) S 25816 25816 8557 0 -1 1077944384 925 0 0 0 6 5 0 0 20 0 15 0 121210641 14316269568 88344 18446744073709551615 4194304 4196468 140726124386816 140628907448752 140629730613890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13889536 140726124392881 140726124393057 140726124393057 140726124396495 0
Current children cumulated CPU time: 249.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 354752 KiB
[startup+237.101 s]*
/proc/loadavg: 1.67 1.77 1.74 3/211 25839
/proc/meminfo: memFree=29614972/32770624 swapFree=67105588/67108860
[pid=25816] ppid=25813 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25816/stat : 25816 (xcsp3-exec) S 25813 25816 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121210622 9740288 344 18446744073709551615 4194304 5098028 140735885856160 140735885854264 140169550455420 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 32137216 140735885857144 140735885857349 140735885857349 140735885860843 0
/proc/25816/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
Child status: 0
Real time (s): 237.114
CPU time (s): 249.248
CPU user time (s): 248.43
CPU system time (s): 0.817837
CPU usage (%): 105.117
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 509748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.43
system time used= 0.817837
maximum resident set size= 508372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12020
involuntary context switches= 622
# summary of solver processes directly reported to runsolver:
# pid: 25816
# total CPU time (s): 249.248
# total CPU user time (s): 248.43
# total CPU system time (s): 0.817837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.84848 second user time and 1.93867 second system time
The end