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 (12189 MiB free)
memory of node 1: 16384 MiB (13645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270159-1502621006/watcher-4270159-1502621006 -o /tmp/evaluation-result-4270159-1502621006/solver-4270159-1502621006 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1762 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1605404885 HOME/instance-4270159-1502621006.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=1924, runsolver pid=1921
[startup+0.100092 s]*
/proc/loadavg: 1.49 1.26 1.19 6/216 1940
/proc/meminfo: memFree=26429368/32770624 swapFree=67108860/67108860
[pid=1924] ppid=1921 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1924/stat : 1924 (xcsp3-exec) S 1921 1924 31727 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95172291 9740288 345 33554432000 4194304 5098028 140723299663424 140723299661528 140369387979388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36405248 140723299665012 140723299665216 140723299665216 140723299667947 0
/proc/1924/statm: 2378 345 289 221 0 87 0
[pid=1926] ppid=1924 vsize=13978596 memory=27856 CPUtime=0.12 cores=1,3,5,7
/proc/1926/stat : 1926 (java) S 1924 1924 31727 0 -1 1077944320 5320 0 0 0 11 1 0 0 20 0 15 0 95172291 14314082304 6964 33554432000 4194304 4196468 140730164480256 140730164462800 140481917755127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
/proc/1926/statm: 3494649 6964 2865 1 0 3482966 0
[pid=1926/tid=1927] ppid=1924 vsize=13978596 memory=-8412658762350172019 CPUtime=0.08 cores=1,3,5,7
/proc/1926/task/1927/stat : 1927 (java) R 1924 1924 31727 0 -1 4202560 3323 0 0 0 8 0 0 0 20 0 15 0 95172292 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481921978928 140481552023952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1928] ppid=1924 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1928/stat : 1928 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481874307472 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1929] ppid=1924 vsize=13978596 memory=140013966378624 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1929/stat : 1929 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481873254672 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1930] ppid=1924 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1930/stat : 1930 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481872202384 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1931] ppid=1924 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1931/stat : 1931 (java) S 1924 1924 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172293 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481510435344 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1932] ppid=1924 vsize=13978596 memory=140013966378624 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1932/stat : 1932 (java) S 1924 1924 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172294 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481391450736 140481917766274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1933] ppid=1924 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1933/stat : 1933 (java) S 1924 1924 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95172294 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481390396704 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1934] ppid=1924 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1934/stat : 1934 (java) S 1924 1924 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95172295 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481389344368 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1935] ppid=1924 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1935/stat : 1935 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481388292688 140481917773723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1936] ppid=1924 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1936/stat : 1936 (java) S 1924 1924 31727 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 95172297 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481387239536 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1937] ppid=1924 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1937/stat : 1937 (java) S 1924 1924 31727 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 95172297 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481386186736 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1938] ppid=1924 vsize=13978596 memory=140013966378624 CPUtime=0.01 cores=1,3,5,7
/proc/1926/task/1938/stat : 1938 (java) R 1924 1924 31727 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 95172297 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481385134448 140481896890940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1939] ppid=1924 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1939/stat : 1939 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481384081888 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1940] ppid=1924 vsize=13978596 memory=140013966378624 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1940/stat : 1940 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172297 14314082304 7030 33554432000 4194304 4196468 140730164480256 140481383029680 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29236 KiB
[startup+0.210744 s]*
/proc/loadavg: 1.49 1.26 1.19 7/216 1940
/proc/meminfo: memFree=26398820/32770624 swapFree=67108860/67108860
[pid=1924] ppid=1921 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1924/stat : 1924 (xcsp3-exec) S 1921 1924 31727 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95172291 9740288 345 33554432000 4194304 5098028 140723299663424 140723299661528 140369387979388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36405248 140723299665012 140723299665216 140723299665216 140723299667947 0
/proc/1924/statm: 2378 345 289 221 0 87 0
[pid=1926] ppid=1924 vsize=13982852 memory=40624 CPUtime=0.33 cores=1,3,5,7
/proc/1926/stat : 1926 (java) S 1924 1924 31727 0 -1 1077944320 8182 0 0 0 31 2 0 0 20 0 15 0 95172291 14318440448 10156 33554432000 4194304 4196468 140730164480256 140730164462800 140481917755127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
/proc/1926/statm: 3495713 10156 3075 1 0 3482966 0
[pid=1926/tid=1927] ppid=1924 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/1926/task/1927/stat : 1927 (java) R 1924 1924 31727 0 -1 4202560 5350 0 0 0 18 1 0 0 20 0 15 0 95172292 14318473216 10156 33554432000 4194304 4196468 140730164480256 140481921964864 140481910434845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1928] ppid=1924 vsize=13982884 memory=12543 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1928/stat : 1928 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14318473216 10156 33554432000 4194304 4196468 140730164480256 140481874307472 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1929] ppid=1924 vsize=13982852 memory=140013966640777 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1929/stat : 1929 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481873254672 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1930] ppid=1924 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1930/stat : 1930 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481872202384 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1931] ppid=1924 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1931/stat : 1931 (java) S 1924 1924 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172293 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481510435344 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1932] ppid=1924 vsize=13982852 memory=140013966378624 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1932/stat : 1932 (java) S 1924 1924 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172294 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481391450736 140481917766274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1933] ppid=1924 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1933/stat : 1933 (java) S 1924 1924 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95172294 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481390396704 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1934] ppid=1924 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1934/stat : 1934 (java) S 1924 1924 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95172295 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481389344368 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1935] ppid=1924 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1935/stat : 1935 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14318473216 10156 33554432000 4194304 4196468 140730164480256 140481388292688 140481917773723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1936] ppid=1924 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1926/task/1936/stat : 1936 (java) S 1924 1924 31727 0 -1 1077944384 604 0 0 0 3 0 0 0 20 0 15 0 95172297 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481387239536 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1937] ppid=1924 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1926/task/1937/stat : 1937 (java) S 1924 1924 31727 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 95172297 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481386186736 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1938] ppid=1924 vsize=13982852 memory=140013966378624 CPUtime=0.07 cores=1,3,5,7
/proc/1926/task/1938/stat : 1938 (java) S 1924 1924 31727 0 -1 1077944384 769 0 0 0 7 0 0 0 20 0 15 0 95172297 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481385134448 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1939] ppid=1924 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1939/stat : 1939 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481384081888 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1940] ppid=1924 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1940/stat : 1940 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172297 14318440448 10156 33554432000 4194304 4196468 140730164480256 140481383029680 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42004 KiB
[startup+0.310512 s]*
/proc/loadavg: 1.49 1.26 1.19 7/216 1940
/proc/meminfo: memFree=26376172/32770624 swapFree=67108860/67108860
[pid=1924] ppid=1921 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1924/stat : 1924 (xcsp3-exec) S 1921 1924 31727 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95172291 9740288 345 33554432000 4194304 5098028 140723299663424 140723299661528 140369387979388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36405248 140723299665012 140723299665216 140723299665216 140723299667947 0
/proc/1924/statm: 2378 345 289 221 0 87 0
[pid=1926] ppid=1924 vsize=13982852 memory=48044 CPUtime=0.51 cores=1,3,5,7
/proc/1926/stat : 1926 (java) S 1924 1924 31727 0 -1 1077944320 9175 0 0 0 48 3 0 0 20 0 15 0 95172291 14318440448 12011 33554432000 4194304 4196468 140730164480256 140730164462800 140481917755127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
/proc/1926/statm: 3495713 12011 3119 1 0 3482966 0
[pid=1926/tid=1927] ppid=1924 vsize=13982928 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1926/task/1927/stat : 1927 (java) R 1924 1924 31727 0 -1 4202560 6034 0 0 0 28 2 0 0 20 0 15 0 95172292 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481921987456 140481901835614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1928] ppid=1924 vsize=13982928 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1928/stat : 1928 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481874307472 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1929] ppid=1924 vsize=13982928 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1929/stat : 1929 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481873254672 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1930] ppid=1924 vsize=13982928 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1930/stat : 1930 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481872202384 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1931] ppid=1924 vsize=13982928 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1931/stat : 1931 (java) S 1924 1924 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172293 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481510435344 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1932] ppid=1924 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1932/stat : 1932 (java) S 1924 1924 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172294 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481391450736 140481917766274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1933] ppid=1924 vsize=13982928 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1933/stat : 1933 (java) S 1924 1924 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95172294 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481390396704 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1934] ppid=1924 vsize=13982928 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1934/stat : 1934 (java) S 1924 1924 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95172295 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481389344368 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1935] ppid=1924 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1935/stat : 1935 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481388292688 140481917773723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1936] ppid=1924 vsize=13982928 memory=-1807685287717842718 CPUtime=0.04 cores=1,3,5,7
/proc/1926/task/1936/stat : 1936 (java) S 1924 1924 31727 0 -1 1077944384 662 0 0 0 4 0 0 0 20 0 15 0 95172297 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481387239536 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1937] ppid=1924 vsize=13982928 memory=6944656592455097440 CPUtime=0.03 cores=1,3,5,7
/proc/1926/task/1937/stat : 1937 (java) S 1924 1924 31727 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 95172297 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481386186736 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1938] ppid=1924 vsize=13982928 memory=6944656575208382560 CPUtime=0.12 cores=1,3,5,7
/proc/1926/task/1938/stat : 1938 (java) R 1924 1924 31727 0 -1 4202560 917 0 0 0 12 0 0 0 20 0 15 0 95172297 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481385134448 140481917776474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1939] ppid=1924 vsize=13982928 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1939/stat : 1939 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481384081888 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1940] ppid=1924 vsize=13982928 memory=-2672971630493134941 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1940/stat : 1940 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172297 14318518272 12011 33554432000 4194304 4196468 140730164480256 140481383029680 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49424 KiB
[startup+0.700837 s]
/proc/loadavg: 1.49 1.26 1.19 8/216 1940
/proc/meminfo: memFree=26360228/32770624 swapFree=67108860/67108860
[pid=1924] ppid=1921 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1924/stat : 1924 (xcsp3-exec) S 1921 1924 31727 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95172291 9740288 345 33554432000 4194304 5098028 140723299663424 140723299661528 140369387979388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36405248 140723299665012 140723299665216 140723299665216 140723299667947 0
/proc/1924/statm: 2378 345 289 221 0 87 0
[pid=1926] ppid=1924 vsize=13984976 memory=73536 CPUtime=1.65 cores=1,3,5,7
/proc/1926/stat : 1926 (java) S 1924 1924 31727 0 -1 1077944320 12027 0 0 0 161 4 0 0 20 0 15 0 95172291 14320615424 18384 33554432000 4194304 4196468 140730164480256 140730164462800 140481917755127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
/proc/1926/statm: 3496244 18384 3198 1 0 3483478 0
[pid=1926/tid=1927] ppid=1924 vsize=13984976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/1926/task/1927/stat : 1927 (java) R 1924 1924 31727 0 -1 4202560 6647 0 0 0 65 2 0 0 20 0 15 0 95172292 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481921992032 140481551956649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1928] ppid=1924 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1928/stat : 1928 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481874307472 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1929] ppid=1924 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1929/stat : 1929 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481873254672 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1930] ppid=1924 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1930/stat : 1930 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172293 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481872202384 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1931] ppid=1924 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1931/stat : 1931 (java) S 1924 1924 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95172293 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481510435344 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1932] ppid=1924 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1932/stat : 1932 (java) S 1924 1924 31727 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95172294 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481391450736 140481917766274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1933] ppid=1924 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1933/stat : 1933 (java) S 1924 1924 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95172294 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481390396704 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1934] ppid=1924 vsize=13984976 memory=2 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1934/stat : 1934 (java) S 1924 1924 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95172295 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481389344368 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1935] ppid=1924 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1935/stat : 1935 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481388292688 140481917773723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1936] ppid=1924 vsize=13984976 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/1926/task/1936/stat : 1936 (java) R 1924 1924 31727 0 -1 4202560 1231 0 0 0 31 0 0 0 20 0 15 0 95172297 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481387226320 140481917767062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1937] ppid=1924 vsize=13984976 memory=1196 CPUtime=0.33 cores=1,3,5,7
/proc/1926/task/1937/stat : 1937 (java) R 1924 1924 31727 0 -1 4202560 1329 0 0 0 33 0 0 0 20 0 15 0 95172297 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481386177712 140481917776474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1938] ppid=1924 vsize=13984976 memory=10640 CPUtime=0.31 cores=1,3,5,7
/proc/1926/task/1938/stat : 1938 (java) S 1924 1924 31727 0 -1 1077944384 1514 0 0 0 31 0 0 0 20 0 15 0 95172297 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481385134448 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1939] ppid=1924 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1939/stat : 1939 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481384081888 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1940] ppid=1924 vsize=13984976 memory=15516 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1940/stat : 1940 (java) S 1924 1924 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 18384 33554432000 4194304 4196468 140730164480256 140481383029680 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 74916 KiB
[startup+1.50075 s]
/proc/loadavg: 1.49 1.26 1.19 2/197 1957
/proc/meminfo: memFree=26532244/32770624 swapFree=67108860/67108860
[pid=1924] ppid=1921 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1924/stat : 1924 (xcsp3-exec) S 1921 1924 31727 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95172291 9740288 345 33554432000 4194304 5098028 140723299663424 140723299661528 140369387979388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36405248 140723299665012 140723299665216 140723299665216 140723299667947 0
/proc/1924/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/1926/task/1934/stat : 1934 (java) S 1924 1924 31727 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 95172295 14320615424 49251 33554432000 4194304 4196468 140730164480256 140481389344368 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1935] ppid=1924 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1935/stat : 1935 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 49251 33554432000 4194304 4196468 140730164480256 140481388292688 140481917773723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1936] ppid=1924 vsize=13984976 memory=190820 CPUtime=0.98 cores=1,3,5,7
/proc/1926/task/1936/stat : 1936 (java) S 1924 1924 31727 0 -1 1077944384 5573 0 0 0 97 1 0 0 20 0 15 0 95172297 14320615424 49251 33554432000 4194304 4196468 140730164480256 140481387239536 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1937] ppid=1924 vsize=13984976 memory=1380 CPUtime=0.99 cores=1,3,5,7
/proc/1926/task/1937/stat : 1937 (java) S 1924 1924 31727 0 -1 1077944384 5451 0 0 0 98 1 0 0 20 0 15 0 95172297 14320615424 49251 33554432000 4194304 4196468 140730164480256 140481386186736 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1938] ppid=1924 vsize=13984976 memory=124904 CPUtime=0.45 cores=1,3,5,7
/proc/1926/task/1938/stat : 1938 (java) S 1924 1924 31727 0 -1 1077944384 6736 0 0 0 44 1 0 0 20 0 15 0 95172297 14320615424 49251 33554432000 4194304 4196468 140730164480256 140481385134448 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1939] ppid=1924 vsize=13984976 memory=197004 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1939/stat : 1939 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 49251 33554432000 4194304 4196468 140730164480256 140481384081888 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1940] ppid=1924 vsize=13984976 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/1926/task/1940/stat : 1940 (java) S 1924 1924 31727 0 -1 1077944384 666 0 0 0 0 1 0 0 20 0 15 0 95172297 14320615424 49251 33554432000 4194304 4196468 140730164480256 140481383029680 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
Current children cumulated CPU time: 104.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 198384 KiB
[startup+162.301 s]
/proc/loadavg: 1.98 1.58 1.33 3/218 1999
/proc/meminfo: memFree=25119952/32770624 swapFree=67108860/67108860
[pid=1924] ppid=1921 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1924/stat : 1924 (xcsp3-exec) S 1921 1924 31727 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95172291 9740288 345 33554432000 4194304 5098028 140723299663424 140723299661528 140369387979388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36405248 140723299665012 140723299665216 140723299665216 140723299667947 0
/proc/1924/statm: 2378 345 289 221 0 87 0
[pid=1926] ppid=1924 vsize=13984976 memory=211268 CPUtime=164.8 cores=1,3,5,7
/proc/1926/stat : 1926 (java) S 1924 1924 31727 0 -1 1077944320 33529 0 0 0 16468 12 0 0 20 0 15 0 95172291 14320615424 52817 33554432000 4194304 4196468 140730164480256 140730164462800 140481917755127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
/proc/1926/statm: 3496244 52817 3248 1 0 3483478 0
[pid=1926/tid=1927] ppid=1924 vsize=13984976 memory=211268 CPUtime=162.25 cores=1,3,5,7
/proc/1926/task/1927/stat : 1927 (java) R 1924 1924 31727 0 -1 4202560 11151 0 0 0 16221 4 0 0 20 0 15 0 95172292 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481921994232 140481555772690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1928] ppid=1924 vsize=13984976 memory=211268 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1928/stat : 1928 (java) S 1924 1924 31727 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 95172293 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481874307472 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1929] ppid=1924 vsize=13984976 memory=211268 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1929/stat : 1929 (java) S 1924 1924 31727 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 95172293 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481873254672 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1930] ppid=1924 vsize=13984976 memory=211268 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1930/stat : 1930 (java) S 1924 1924 31727 0 -1 1077944384 595 0 0 0 0 0 0 0 20 0 15 0 95172293 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481872202384 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1931] ppid=1924 vsize=13984976 memory=211268 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1931/stat : 1931 (java) S 1924 1924 31727 0 -1 1077944384 602 0 0 0 0 0 0 0 20 0 15 0 95172293 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481510435344 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1932] ppid=1924 vsize=13984976 memory=211268 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1932/stat : 1932 (java) S 1924 1924 31727 0 -1 1077944384 789 0 0 0 0 0 0 0 20 0 15 0 95172294 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481391450736 140481917766274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1933] ppid=1924 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1933/stat : 1933 (java) S 1924 1924 31727 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95172294 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481390396704 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1934] ppid=1924 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1934/stat : 1934 (java) S 1924 1924 31727 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 95172295 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481389344368 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1935] ppid=1924 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1935/stat : 1935 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481388292688 140481917773723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1936] ppid=1924 vsize=13984976 memory=211268 CPUtime=0.98 cores=1,3,5,7
/proc/1926/task/1936/stat : 1936 (java) S 1924 1924 31727 0 -1 1077944384 5576 0 0 0 97 1 0 0 20 0 15 0 95172297 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481387239536 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1937] ppid=1924 vsize=13984976 memory=1380 CPUtime=0.99 cores=1,3,5,7
/proc/1926/task/1937/stat : 1937 (java) S 1924 1924 31727 0 -1 1077944384 5453 0 0 0 98 1 0 0 20 0 15 0 95172297 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481386186736 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1938] ppid=1924 vsize=13984976 memory=211268 CPUtime=0.45 cores=1,3,5,7
/proc/1926/task/1938/stat : 1938 (java) S 1924 1924 31727 0 -1 1077944384 6770 0 0 0 44 1 0 0 20 0 15 0 95172297 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481385134448 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1939] ppid=1924 vsize=13984976 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1939/stat : 1939 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481384081888 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1940] ppid=1924 vsize=13984976 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/1926/task/1940/stat : 1940 (java) S 1924 1924 31727 0 -1 1077944384 683 0 0 0 0 2 0 0 20 0 15 0 95172297 14320615424 52817 33554432000 4194304 4196468 140730164480256 140481383029680 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
Current children cumulated CPU time: 164.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 212648 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.67 1.37 3/218 2000
/proc/meminfo: memFree=25048696/32770624 swapFree=67108860/67108860
[pid=1924] ppid=1921 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1924/stat : 1924 (xcsp3-exec) S 1921 1924 31727 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95172291 9740288 345 33554432000 4194304 5098028 140723299663424 140723299661528 140369387979388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36405248 140723299665012 140723299665216 140723299665216 140723299667947 0
/proc/1924/statm: 2378 345 289 221 0 87 0
[pid=1926] ppid=1924 vsize=13984976 memory=205640 CPUtime=224.84 cores=1,3,5,7
/proc/1926/stat : 1926 (java) S 1924 1924 31727 0 -1 1077944320 34518 0 0 0 22471 13 0 0 20 0 15 0 95172291 14320615424 51410 33554432000 4194304 4196468 140730164480256 140730164462800 140481917755127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
/proc/1926/statm: 3496244 51410 3248 1 0 3483478 0
[pid=1926/tid=1927] ppid=1924 vsize=13984976 memory=205640 CPUtime=222.24 cores=1,3,5,7
/proc/1926/task/1927/stat : 1927 (java) R 1924 1924 31727 0 -1 4202560 11333 0 0 0 22220 4 0 0 20 0 15 0 95172292 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481921994152 140481555511282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1928] ppid=1924 vsize=13984976 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/1926/task/1928/stat : 1928 (java) S 1924 1924 31727 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 15 0 95172293 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481874307472 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1929] ppid=1924 vsize=13984976 memory=205640 CPUtime=0.01 cores=1,3,5,7
/proc/1926/task/1929/stat : 1929 (java) S 1924 1924 31727 0 -1 1077944384 614 0 0 0 1 0 0 0 20 0 15 0 95172293 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481873254672 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1930] ppid=1924 vsize=13984976 memory=205640 CPUtime=0.01 cores=1,3,5,7
/proc/1926/task/1930/stat : 1930 (java) S 1924 1924 31727 0 -1 1077944384 661 0 0 0 1 0 0 0 20 0 15 0 95172293 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481872202384 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1931] ppid=1924 vsize=13984976 memory=205640 CPUtime=0.01 cores=1,3,5,7
/proc/1926/task/1931/stat : 1931 (java) S 1924 1924 31727 0 -1 1077944384 638 0 0 0 1 0 0 0 20 0 15 0 95172293 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481510435344 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1932] ppid=1924 vsize=13984976 memory=205640 CPUtime=0.01 cores=1,3,5,7
/proc/1926/task/1932/stat : 1932 (java) S 1924 1924 31727 0 -1 1077944384 950 0 0 0 1 0 0 0 20 0 15 0 95172294 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481391450736 140481917766274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1933] ppid=1924 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1933/stat : 1933 (java) S 1924 1924 31727 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95172294 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481390396704 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1934] ppid=1924 vsize=13984976 memory=205640 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1934/stat : 1934 (java) S 1924 1924 31727 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 95172295 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481389344368 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1935] ppid=1924 vsize=13984976 memory=205640 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1935/stat : 1935 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481388292688 140481917773723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1936] ppid=1924 vsize=13984976 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/1926/task/1936/stat : 1936 (java) S 1924 1924 31727 0 -1 1077944384 5576 0 0 0 97 1 0 0 20 0 15 0 95172297 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481387239536 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1937] ppid=1924 vsize=13984976 memory=205640 CPUtime=0.99 cores=1,3,5,7
/proc/1926/task/1937/stat : 1937 (java) S 1924 1924 31727 0 -1 1077944384 5453 0 0 0 98 1 0 0 20 0 15 0 95172297 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481386186736 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1938] ppid=1924 vsize=13984976 memory=1380 CPUtime=0.45 cores=1,3,5,7
/proc/1926/task/1938/stat : 1938 (java) S 1924 1924 31727 0 -1 1077944384 6937 0 0 0 44 1 0 0 20 0 15 0 95172297 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481385134448 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1939] ppid=1924 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1939/stat : 1939 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481384081888 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1940] ppid=1924 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/1926/task/1940/stat : 1940 (java) S 1924 1924 31727 0 -1 1077944384 689 0 0 0 1 3 0 0 20 0 15 0 95172297 14320615424 51410 33554432000 4194304 4196468 140730164480256 140481383029680 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
Current children cumulated CPU time: 224.84 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 207020 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.93 1.67 1.38 3/218 2000
/proc/meminfo: memFree=25035292/32770624 swapFree=67108860/67108860
[pid=1924] ppid=1921 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1924/stat : 1924 (xcsp3-exec) S 1921 1924 31727 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95172291 9740288 345 33554432000 4194304 5098028 140723299663424 140723299661528 140369387979388 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36405248 140723299665012 140723299665216 140723299665216 140723299667947 0
/proc/1924/statm: 2378 345 289 221 0 87 0
[pid=1926] ppid=1924 vsize=13984976 memory=210744 CPUtime=242.6 cores=1,3,5,7
/proc/1926/stat : 1926 (java) S 1924 1924 31727 0 -1 1077944320 34661 0 0 0 24245 15 0 0 20 0 15 0 95172291 14320615424 52686 33554432000 4194304 4196468 140730164480256 140730164462800 140481917755127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
/proc/1926/statm: 3496244 52686 3248 1 0 3483478 0
[pid=1926/tid=1927] ppid=1924 vsize=13984976 memory=1928 CPUtime=239.94 cores=1,3,5,7
/proc/1926/task/1927/stat : 1927 (java) R 1924 1924 31727 0 -1 4202560 11337 0 0 0 23990 4 0 0 20 0 15 0 95172292 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481921993872 140481555424149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1928] ppid=1924 vsize=13984976 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/1926/task/1928/stat : 1928 (java) S 1924 1924 31727 0 -1 1077944384 322 0 0 0 2 1 0 0 20 0 15 0 95172293 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481874307472 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1929] ppid=1924 vsize=13984976 memory=796 CPUtime=0.02 cores=1,3,5,7
/proc/1926/task/1929/stat : 1929 (java) S 1924 1924 31727 0 -1 1077944384 623 0 0 0 2 0 0 0 20 0 15 0 95172293 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481873254672 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1930] ppid=1924 vsize=13984976 memory=1228 CPUtime=0.03 cores=1,3,5,7
/proc/1926/task/1930/stat : 1930 (java) S 1924 1924 31727 0 -1 1077944384 667 0 0 0 2 1 0 0 20 0 15 0 95172293 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481872202384 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1931] ppid=1924 vsize=13984976 memory=5300 CPUtime=0.03 cores=1,3,5,7
/proc/1926/task/1931/stat : 1931 (java) S 1924 1924 31727 0 -1 1077944384 647 0 0 0 2 1 0 0 20 0 15 0 95172293 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481510435344 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1932] ppid=1924 vsize=13984976 memory=4616 CPUtime=0.01 cores=1,3,5,7
/proc/1926/task/1932/stat : 1932 (java) S 1924 1924 31727 0 -1 1077944384 952 0 0 0 1 0 0 0 20 0 15 0 95172294 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481391450736 140481917766274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1933] ppid=1924 vsize=13984976 memory=212292 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1933/stat : 1933 (java) S 1924 1924 31727 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 95172294 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481390396704 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1934] ppid=1924 vsize=13984976 memory=212292 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1934/stat : 1934 (java) S 1924 1924 31727 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 95172295 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481389344368 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1935] ppid=1924 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1935/stat : 1935 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481388292688 140481917773723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1936] ppid=1924 vsize=13984976 memory=1380 CPUtime=0.98 cores=1,3,5,7
/proc/1926/task/1936/stat : 1936 (java) S 1924 1924 31727 0 -1 1077944384 5576 0 0 0 97 1 0 0 20 0 15 0 95172297 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481387239536 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1937] ppid=1924 vsize=13984976 memory=212292 CPUtime=1 cores=1,3,5,7
/proc/1926/task/1937/stat : 1937 (java) S 1924 1924 31727 0 -1 1077944384 5556 0 0 0 99 1 0 0 20 0 15 0 95172297 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481386186736 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1938] ppid=1924 vsize=13984976 memory=2200 CPUtime=0.45 cores=1,3,5,7
/proc/1926/task/1938/stat : 1938 (java) S 1924 1924 31727 0 -1 1077944384 6937 0 0 0 44 1 0 0 20 0 15 0 95172297 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481385134448 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1939] ppid=1924 vsize=13984976 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/1926/task/1939/stat : 1939 (java) S 1924 1924 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95172297 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481384081888 140481917765333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
[pid=1926/tid=1940] ppid=1924 vsize=13984976 memory=27296 CPUtime=0.04 cores=1,3,5,7
/proc/1926/task/1940/stat : 1940 (java) S 1924 1924 31727 0 -1 1077944384 691 0 0 0 1 3 0 0 20 0 15 0 95172297 14320615424 52686 33554432000 4194304 4196468 140730164480256 140481383029680 140481917766274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 13582336 140730164483229 140730164483404 140730164483404 140730164486095 0
Current children cumulated CPU time: 242.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 212124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 1924 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001923 s
[startup+240.02 s]
# the end of solver process 1926 was just reported to runsolver
# cumulated CPU time of all completed processes: user=242.462 s, system=0.16001 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.02
CPU time (s): 242.622
CPU user time (s): 242.462
CPU system time (s): 0.16001
CPU usage (%): 101.084
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 213672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.462
system time used= 0.16001
maximum resident set size= 216388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7602
involuntary context switches= 260
# summary of solver processes directly reported to runsolver:
# pid: 1924,1926
# total CPU time (s): 242.622
# total CPU user time (s): 242.462
# total CPU system time (s): 0.16001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49978 second user time and 2.06828 second system time
The end