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 (14931 MiB free)
memory of node 1: 16384 MiB (14740 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272175-1502801160/watcher-4272175-1502801160 -o /tmp/evaluation-result-4272175-1502801160/solver-4272175-1502801160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 609549839 HOME/instance-4272175-1502801160.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
Current StackSize limit: 8192 KiB
solver pid=5608, runsolver pid=5605
[startup+0.100202 s]*
/proc/loadavg: 1.77 1.86 1.78 3/205 5618
/proc/meminfo: memFree=30376936/32770624 swapFree=67108860/67108860
[pid=5608] ppid=5605 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (xcsp3-exec) S 5605 5608 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82336622 9740288 345 18446744073709551615 4194304 5098028 140732326831536 140732326829640 140155816350332 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 28033024 140732326838649 140732326838853 140732326838853 140732326842347 0
/proc/5608/statm: 2378 345 289 221 0 87 0
[pid=5610] ppid=5608 vsize=13574484 memory=19608 CPUtime=0.03 cores=0,2,4,6
/proc/5610/stat : 5610 (java) S 5608 5608 897 0 -1 1077944320 4252 0 0 0 3 0 0 0 20 0 9 0 82336628 13900271616 4902 18446744073709551615 4194304 4196468 140727369228432 140727369210976 139866194308855 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
/proc/5610/statm: 3393621 4902 2137 1 0 3383118 0
[pid=5610/tid=5611] ppid=5608 vsize=13574484 memory=7022364594140610616 CPUtime=0.03 cores=0,2,4,6
/proc/5610/task/5611/stat : 5611 (java) R 5608 5608 897 0 -1 4202560 2960 0 0 0 3 0 0 0 20 0 9 0 82336629 13900271616 4902 18446744073709551615 4194304 4196468 140727369228432 139866198544248 139865828239217 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5612] ppid=5608 vsize=13574484 memory=4294979915 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5612/stat : 5612 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 82336629 13900271616 4902 18446744073709551615 4194304 4196468 140727369228432 139866151275408 139866194319061 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5613] ppid=5608 vsize=13574484 memory=4049498741711058592 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5613/stat : 5613 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 82336629 13900271616 4902 18446744073709551615 4194304 4196468 140727369228432 139866150222608 139866194319061 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5614] ppid=5608 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5614/stat : 5614 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 82336629 13900271616 4902 18446744073709551615 4194304 4196468 140727369228432 139866149170320 139866194319061 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5615] ppid=5608 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5615/stat : 5615 (java) S 5608 5608 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 82336629 13900271616 4902 18446744073709551615 4194304 4196468 140727369228432 139866148117520 139866194319061 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5616] ppid=5608 vsize=13574484 memory=140141847918208 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5616/stat : 5616 (java) S 5608 5608 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 82336631 13900271616 4902 18446744073709551615 4194304 4196468 140727369228432 139865672886384 139866194320002 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5617] ppid=5608 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5617/stat : 5617 (java) S 5608 5608 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 82336631 13900271616 4902 18446744073709551615 4194304 4196468 140727369228432 139865671832352 139866194319061 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5618] ppid=5608 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5618/stat : 5618 (java) S 5608 5608 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 82336631 13900271616 4902 18446744073709551615 4194304 4196468 140727369228432 139865670780016 139866194319061 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20988 KiB
[startup+0.213128 s]*
/proc/loadavg: 1.77 1.86 1.78 3/211 5624
/proc/meminfo: memFree=30370876/32770624 swapFree=67108860/67108860
[pid=5608] ppid=5605 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (xcsp3-exec) S 5605 5608 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82336622 9740288 345 18446744073709551615 4194304 5098028 140732326831536 140732326829640 140155816350332 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 28033024 140732326838649 140732326838853 140732326838853 140732326842347 0
/proc/5608/statm: 2378 345 289 221 0 87 0
[pid=5610] ppid=5608 vsize=13974352 memory=29524 CPUtime=0.16 cores=0,2,4,6
/proc/5610/stat : 5610 (java) S 5608 5608 897 0 -1 1077944320 5810 0 0 0 15 1 0 0 20 0 15 0 82336628 14309736448 7381 18446744073709551615 4194304 4196468 140727369228432 140727369210976 139866194308855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
/proc/5610/statm: 3493588 7381 2922 1 0 3482964 0
[pid=5610/tid=5611] ppid=5608 vsize=13974352 memory=7022364594140610616 CPUtime=0.1 cores=0,2,4,6
/proc/5610/task/5611/stat : 5611 (java) R 5608 5608 897 0 -1 4202560 3489 0 0 0 10 0 0 0 20 0 15 0 82336629 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139866198537192 139866194320790 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5612] ppid=5608 vsize=13974352 memory=4294979915 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5612/stat : 5612 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139866151275408 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5613] ppid=5608 vsize=13974352 memory=4049498741711058592 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5613/stat : 5613 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139866150222608 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5614] ppid=5608 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5614/stat : 5614 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139866149170320 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5615] ppid=5608 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5615/stat : 5615 (java) S 5608 5608 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82336629 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139866148117520 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5616] ppid=5608 vsize=13974352 memory=140141847918208 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5616/stat : 5616 (java) S 5608 5608 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82336631 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139865672886384 139866194320002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5617] ppid=5608 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5617/stat : 5617 (java) S 5608 5608 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 82336631 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139865671832352 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5618] ppid=5608 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5618/stat : 5618 (java) S 5608 5608 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 82336631 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139865670780016 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5619] ppid=5608 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5619/stat : 5619 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139865669728336 139866194327451 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5620] ppid=5608 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5620/stat : 5620 (java) S 5608 5608 897 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 82336634 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139865668676208 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5621] ppid=5608 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5621/stat : 5621 (java) R 5608 5608 897 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 15 0 82336634 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139865667616152 139866187414557 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5622] ppid=5608 vsize=13974352 memory=140141847918208 CPUtime=0.03 cores=0,2,4,6
/proc/5610/task/5622/stat : 5622 (java) R 5608 5608 897 0 -1 4202560 676 0 0 0 3 0 0 0 20 0 15 0 82336634 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139865666568024 139866173250323 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5623] ppid=5608 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5623/stat : 5623 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139865665518560 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5624] ppid=5608 vsize=13974352 memory=140141847918208 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5624/stat : 5624 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336638 14309736448 7579 18446744073709551615 4194304 4196468 140727369228432 139865664465328 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30904 KiB
[startup+0.315456 s]*
/proc/loadavg: 1.77 1.86 1.78 4/211 5624
/proc/meminfo: memFree=30357624/32770624 swapFree=67108860/67108860
[pid=5608] ppid=5605 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (xcsp3-exec) S 5605 5608 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82336622 9740288 345 18446744073709551615 4194304 5098028 140732326831536 140732326829640 140155816350332 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 28033024 140732326838649 140732326838853 140732326838853 140732326842347 0
/proc/5608/statm: 2378 345 289 221 0 87 0
[pid=5610] ppid=5608 vsize=13978608 memory=40252 CPUtime=0.35 cores=0,2,4,6
/proc/5610/stat : 5610 (java) S 5608 5608 897 0 -1 1077944320 9794 0 0 0 32 3 0 0 20 0 15 0 82336628 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 140727369210976 139866194308855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
/proc/5610/statm: 3494652 10063 3023 1 0 3482964 0
[pid=5610/tid=5611] ppid=5608 vsize=13978608 memory=-8774313645642428999 CPUtime=0.21 cores=0,2,4,6
/proc/5610/task/5611/stat : 5611 (java) R 5608 5608 897 0 -1 4202560 6913 0 0 0 19 2 0 0 20 0 15 0 82336629 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139866198518768 139866178389342 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5612] ppid=5608 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5612/stat : 5612 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139866151275408 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5613] ppid=5608 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5613/stat : 5613 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139866150222608 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5614] ppid=5608 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5614/stat : 5614 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139866149170320 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5615] ppid=5608 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5615/stat : 5615 (java) S 5608 5608 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82336629 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139866148117520 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5616] ppid=5608 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5616/stat : 5616 (java) S 5608 5608 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82336631 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139865672886384 139866194320002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5617] ppid=5608 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5617/stat : 5617 (java) S 5608 5608 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 82336631 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139865671832352 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5618] ppid=5608 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5618/stat : 5618 (java) S 5608 5608 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 82336631 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139865670780016 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5619] ppid=5608 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5619/stat : 5619 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139865669728336 139866194327451 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5620] ppid=5608 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5610/task/5620/stat : 5620 (java) S 5608 5608 897 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 82336634 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139865668676208 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5621] ppid=5608 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5610/task/5621/stat : 5621 (java) S 5608 5608 897 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 82336634 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139865667623408 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5622] ppid=5608 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5610/task/5622/stat : 5622 (java) R 5608 5608 897 0 -1 4202560 792 0 0 0 7 0 0 0 20 0 15 0 82336634 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139865666571120 139866173270128 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5623] ppid=5608 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5623/stat : 5623 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139865665518560 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5624] ppid=5608 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5624/stat : 5624 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336638 14314094592 10063 18446744073709551615 4194304 4196468 140727369228432 139865664465328 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41632 KiB
[startup+0.701059 s]
/proc/loadavg: 1.77 1.86 1.78 5/211 5624
/proc/meminfo: memFree=30348736/32770624 swapFree=67108860/67108860
[pid=5608] ppid=5605 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (xcsp3-exec) S 5605 5608 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82336622 9740288 345 18446744073709551615 4194304 5098028 140732326831536 140732326829640 140155816350332 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 28033024 140732326838649 140732326838853 140732326838853 140732326842347 0
/proc/5608/statm: 2378 345 289 221 0 87 0
[pid=5610] ppid=5608 vsize=13980732 memory=72632 CPUtime=1.26 cores=0,2,4,6
/proc/5610/stat : 5610 (java) S 5608 5608 897 0 -1 1077944320 15860 0 0 0 122 4 0 0 20 0 15 0 82336628 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 140727369210976 139866194308855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
/proc/5610/statm: 3495183 18158 3173 1 0 3483476 0
[pid=5610/tid=5611] ppid=5608 vsize=13980732 memory=33 CPUtime=0.58 cores=0,2,4,6
/proc/5610/task/5611/stat : 5611 (java) R 5608 5608 897 0 -1 4202560 8437 0 0 0 55 3 0 0 20 0 15 0 82336629 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139866198543968 139865831289736 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5612] ppid=5608 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5612/stat : 5612 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139866151275408 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5613] ppid=5608 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5613/stat : 5613 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139866150222608 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5614] ppid=5608 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5614/stat : 5614 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139866149170320 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5615] ppid=5608 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5615/stat : 5615 (java) S 5608 5608 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82336629 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139866148117520 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5616] ppid=5608 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5616/stat : 5616 (java) S 5608 5608 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139865672886384 139866194320002 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5617] ppid=5608 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5617/stat : 5617 (java) S 5608 5608 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139865671832352 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5618] ppid=5608 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5618/stat : 5618 (java) S 5608 5608 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139865670780016 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5619] ppid=5608 vsize=13980732 memory=2529 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5619/stat : 5619 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139865669728336 139866194327451 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5620] ppid=5608 vsize=13980732 memory=530 CPUtime=0.2 cores=0,2,4,6
/proc/5610/task/5620/stat : 5620 (java) R 5608 5608 897 0 -1 4202560 2506 0 0 0 20 0 0 0 20 0 15 0 82336634 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139865668657944 139866179209180 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5621] ppid=5608 vsize=13980732 memory=29 CPUtime=0.2 cores=0,2,4,6
/proc/5610/task/5621/stat : 5621 (java) R 5608 5608 897 0 -1 4202560 2059 0 0 0 20 0 0 0 20 0 15 0 82336634 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139865667604424 139866178276843 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5622] ppid=5608 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/5610/task/5622/stat : 5622 (java) S 5608 5608 897 0 -1 1077944384 1551 0 0 0 25 0 0 0 20 0 15 0 82336634 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139865666571120 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5623] ppid=5608 vsize=13980732 memory=280283391976576 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5623/stat : 5623 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139865665518560 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5624] ppid=5608 vsize=13980732 memory=19773126 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5624/stat : 5624 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336638 14316269568 18158 18446744073709551615 4194304 4196468 140727369228432 139865664465328 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 74012 KiB
[startup+1.50572 s]
/proc/loadavg: 1.77 1.86 1.78 5/211 5624
/proc/meminfo: memFree=30287648/32770624 swapFree=67108860/67108860
[pid=5608] ppid=5605 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (xcsp3-exec) S 5605 5608 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82336622 9740288 345 18446744073709551615 4194304 5098028 140732326831536 140732326829640 140155816350332 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 28033024 140732326838649 140732326838853 140732326838853 140732326842347 0
/proc/5608/statm: 2378 345 289 221 0 87 0
[pid=5610] ppid=5608 vsize=13980732 memory=113912 CPUtime=3.05 cores=0,2,4,6
/proc/5610/stat : 5610 (java) S 5608 5608 897 0 -1 1077944320 29022 0 0 0 299 6 0 0 20 0 15 0 82336628 14316269568 28478 18446744073709551615 4194304 4196468 140727369228432 140727369210976 139866194308855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
/proc/5610/statm: 3495183 28478 3178 1 0 3483476 0
[pid=5610/tid=5611] ppid=5608 vsize=13980732 memory=111684 CPUtime=1.39 cores=0,2,4,6
/proc/5610/task/5611/stat : 5611 (java) R 5608 5608 897 0 -1 4202560 8831 0 0 0 136 3 0 0 20 0 15 0 82336629 14316269568 28478 18446744073709551615 4194304 4196468 140727369228432 139866198544488 139865831506350 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5612] ppid=5608 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5612/stat : 5612 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14316269568 28478 18446744073709551615 4194304 4196468 140727369228432 139866151275408 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5613] ppid=5608 vsize=13980732 memory=111076 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5613/stat : 5613 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14316269568 28478 18446744073709551615 4194304 4196468 140727369228432 139866150222608 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5614] ppid=5608 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5614/stat : 5614 (java) S 5608 5608 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82336629 14316269568 28478 18446744073709551615 4194304 4196468 140727369228432 139866149170320 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5615] ppid=5608 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/5610/task/5618/stat : 5618 (java) S 5608 5608 897 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 257813 18446744073709551615 4194304 4196468 140727369228432 139865670780032 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5619] ppid=5608 vsize=13980732 memory=45332 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5619/stat : 5619 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 257813 18446744073709551615 4194304 4196468 140727369228432 139865669728336 139866194327451 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5620] ppid=5608 vsize=13980732 memory=1292 CPUtime=5 cores=0,2,4,6
/proc/5610/task/5620/stat : 5620 (java) S 5608 5608 897 0 -1 1077944384 33247 0 0 0 496 4 0 0 20 0 15 0 82336634 14316269568 257813 18446744073709551615 4194304 4196468 140727369228432 139865668676208 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5621] ppid=5608 vsize=13980732 memory=1031252 CPUtime=4.57 cores=0,2,4,6
/proc/5610/task/5621/stat : 5621 (java) S 5608 5608 897 0 -1 1077944384 33331 0 0 0 453 4 0 0 20 0 15 0 82336634 14316269568 257813 18446744073709551615 4194304 4196468 140727369228432 139865667623408 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5622] ppid=5608 vsize=13980732 memory=1380 CPUtime=0.97 cores=0,2,4,6
/proc/5610/task/5622/stat : 5622 (java) S 5608 5608 897 0 -1 1077944384 17940 0 0 0 94 3 0 0 20 0 15 0 82336634 14316269568 257813 18446744073709551615 4194304 4196468 140727369228432 139865666571120 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5623] ppid=5608 vsize=13980732 memory=1031252 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5623/stat : 5623 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 257813 18446744073709551615 4194304 4196468 140727369228432 139865665518560 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5624] ppid=5608 vsize=13980732 memory=1031252 CPUtime=1.27 cores=0,2,4,6
/proc/5610/task/5624/stat : 5624 (java) S 5608 5608 897 0 -1 1077944384 3211 0 0 0 63 64 0 0 20 0 15 0 82336638 14316269568 257813 18446744073709551615 4194304 4196468 140727369228432 139865664465328 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
Current children cumulated CPU time: 2342.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1032632 KiB
[startup+2382.3 s]
/proc/loadavg: 2.09 2.00 1.97 3/215 5864
/proc/meminfo: memFree=27277172/32770624 swapFree=67108860/67108860
[pid=5608] ppid=5605 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (xcsp3-exec) S 5605 5608 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82336622 9740288 345 18446744073709551615 4194304 5098028 140732326831536 140732326829640 140155816350332 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 28033024 140732326838649 140732326838853 140732326838853 140732326842347 0
/proc/5608/statm: 2378 345 289 221 0 87 0
[pid=5610] ppid=5608 vsize=13980732 memory=1009704 CPUtime=2402.62 cores=0,2,4,6
/proc/5610/stat : 5610 (java) S 5608 5608 897 0 -1 1077944320 200785 0 0 0 240081 181 0 0 20 0 15 0 82336628 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 140727369210976 139866194308855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
/proc/5610/statm: 3495183 252426 3274 1 0 3483476 0
[pid=5610/tid=5611] ppid=5608 vsize=13980732 memory=1009704 CPUtime=2379.08 cores=0,2,4,6
/proc/5610/task/5611/stat : 5611 (java) R 5608 5608 897 0 -1 4202560 67612 0 0 0 237885 23 0 0 20 0 15 0 82336629 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139866198548176 139865834403744 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5612] ppid=5608 vsize=13980732 memory=1009704 CPUtime=2.8 cores=0,2,4,6
/proc/5610/task/5612/stat : 5612 (java) S 5608 5608 897 0 -1 1077944384 9898 0 0 0 258 22 0 0 20 0 15 0 82336629 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139866151275408 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5613] ppid=5608 vsize=13980732 memory=1009704 CPUtime=2.81 cores=0,2,4,6
/proc/5610/task/5613/stat : 5613 (java) S 5608 5608 897 0 -1 1077944384 9677 0 0 0 259 22 0 0 20 0 15 0 82336629 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139866150222608 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5614] ppid=5608 vsize=13980732 memory=1009704 CPUtime=2.79 cores=0,2,4,6
/proc/5610/task/5614/stat : 5614 (java) S 5608 5608 897 0 -1 1077944384 7984 0 0 0 258 21 0 0 20 0 15 0 82336629 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139866149170320 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5615] ppid=5608 vsize=13980732 memory=1009704 CPUtime=2.77 cores=0,2,4,6
/proc/5610/task/5615/stat : 5615 (java) S 5608 5608 897 0 -1 1077944384 8729 0 0 0 256 21 0 0 20 0 15 0 82336629 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139866148117520 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5616] ppid=5608 vsize=13980732 memory=1009704 CPUtime=0.43 cores=0,2,4,6
/proc/5610/task/5616/stat : 5616 (java) S 5608 5608 897 0 -1 1077944384 7722 0 0 0 39 4 0 0 20 0 15 0 82336631 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139865672886384 139866194320002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5617] ppid=5608 vsize=13980732 memory=1009704 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5617/stat : 5617 (java) S 5608 5608 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139865671832416 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5618] ppid=5608 vsize=13980732 memory=1009704 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5618/stat : 5618 (java) S 5608 5608 897 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139865670780032 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5619] ppid=5608 vsize=13980732 memory=1009704 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5619/stat : 5619 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139865669728336 139866194327451 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5620] ppid=5608 vsize=13980732 memory=55 CPUtime=5 cores=0,2,4,6
/proc/5610/task/5620/stat : 5620 (java) S 5608 5608 897 0 -1 1077944384 33249 0 0 0 496 4 0 0 20 0 15 0 82336634 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139865668676208 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5621] ppid=5608 vsize=13980732 memory=1021504 CPUtime=4.57 cores=0,2,4,6
/proc/5610/task/5621/stat : 5621 (java) S 5608 5608 897 0 -1 1077944384 33334 0 0 0 453 4 0 0 20 0 15 0 82336634 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139865667623408 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5622] ppid=5608 vsize=13980732 memory=1380 CPUtime=0.97 cores=0,2,4,6
/proc/5610/task/5622/stat : 5622 (java) S 5608 5608 897 0 -1 1077944384 17942 0 0 0 94 3 0 0 20 0 15 0 82336634 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139865666571120 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5623] ppid=5608 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5623/stat : 5623 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139865665518560 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5624] ppid=5608 vsize=13980732 memory=4616 CPUtime=1.3 cores=0,2,4,6
/proc/5610/task/5624/stat : 5624 (java) S 5608 5608 897 0 -1 1077944384 3227 0 0 0 65 65 0 0 20 0 15 0 82336638 14316269568 252426 18446744073709551615 4194304 4196468 140727369228432 139865664465328 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
Current children cumulated CPU time: 2402.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1011084 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.00 1.97 3/212 5866
/proc/meminfo: memFree=27297232/32770624 swapFree=67108860/67108860
[pid=5608] ppid=5605 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (xcsp3-exec) S 5605 5608 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82336622 9740288 345 18446744073709551615 4194304 5098028 140732326831536 140732326829640 140155816350332 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 28033024 140732326838649 140732326838853 140732326838853 140732326842347 0
/proc/5608/statm: 2378 345 289 221 0 87 0
[pid=5610] ppid=5608 vsize=13980732 memory=992764 CPUtime=2462.99 cores=0,2,4,6
/proc/5610/stat : 5610 (java) S 5608 5608 897 0 -1 1077944320 202766 0 0 0 246116 183 0 0 20 0 15 0 82336628 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 140727369210976 139866194308855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
/proc/5610/statm: 3495183 248191 3274 1 0 3483476 0
[pid=5610/tid=5611] ppid=5608 vsize=13980732 memory=992760 CPUtime=2438.98 cores=0,2,4,6
/proc/5610/task/5611/stat : 5611 (java) R 5608 5608 897 0 -1 4202560 68331 0 0 0 243875 23 0 0 20 0 15 0 82336629 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139866198548408 139865835118401 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5612] ppid=5608 vsize=13980732 memory=992764 CPUtime=2.91 cores=0,2,4,6
/proc/5610/task/5612/stat : 5612 (java) S 5608 5608 897 0 -1 1077944384 9964 0 0 0 269 22 0 0 20 0 15 0 82336629 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139866151275408 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5613] ppid=5608 vsize=13980732 memory=992764 CPUtime=2.92 cores=0,2,4,6
/proc/5610/task/5613/stat : 5613 (java) S 5608 5608 897 0 -1 1077944384 9921 0 0 0 270 22 0 0 20 0 15 0 82336629 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139866150222608 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5614] ppid=5608 vsize=13980732 memory=992764 CPUtime=2.89 cores=0,2,4,6
/proc/5610/task/5614/stat : 5614 (java) S 5608 5608 897 0 -1 1077944384 8414 0 0 0 268 21 0 0 20 0 15 0 82336629 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139866149170320 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5615] ppid=5608 vsize=13980732 memory=992760 CPUtime=2.88 cores=0,2,4,6
/proc/5610/task/5615/stat : 5615 (java) S 5608 5608 897 0 -1 1077944384 9024 0 0 0 267 21 0 0 20 0 15 0 82336629 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139866148117520 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5616] ppid=5608 vsize=13980732 memory=1380 CPUtime=0.43 cores=0,2,4,6
/proc/5610/task/5616/stat : 5616 (java) S 5608 5608 897 0 -1 1077944384 7802 0 0 0 39 4 0 0 20 0 15 0 82336631 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139865672886384 139866194320002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5617] ppid=5608 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5617/stat : 5617 (java) S 5608 5608 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139865671832416 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5618] ppid=5608 vsize=13980732 memory=992760 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5618/stat : 5618 (java) S 5608 5608 897 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139865670780032 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5619] ppid=5608 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5619/stat : 5619 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139865669728336 139866194327451 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5620] ppid=5608 vsize=13980732 memory=992764 CPUtime=5 cores=0,2,4,6
/proc/5610/task/5620/stat : 5620 (java) S 5608 5608 897 0 -1 1077944384 33251 0 0 0 496 4 0 0 20 0 15 0 82336634 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139865668676208 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5621] ppid=5608 vsize=13980732 memory=1380 CPUtime=4.57 cores=0,2,4,6
/proc/5610/task/5621/stat : 5621 (java) S 5608 5608 897 0 -1 1077944384 33337 0 0 0 453 4 0 0 20 0 15 0 82336634 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139865667623408 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5622] ppid=5608 vsize=13980732 memory=992764 CPUtime=0.98 cores=0,2,4,6
/proc/5610/task/5622/stat : 5622 (java) S 5608 5608 897 0 -1 1077944384 18051 0 0 0 95 3 0 0 20 0 15 0 82336634 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139865666571120 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5623] ppid=5608 vsize=13980732 memory=45332 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5623/stat : 5623 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139865665518560 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5624] ppid=5608 vsize=13980732 memory=1292 CPUtime=1.33 cores=0,2,4,6
/proc/5610/task/5624/stat : 5624 (java) S 5608 5608 897 0 -1 1077944384 3260 0 0 0 66 67 0 0 20 0 15 0 82336638 14316269568 248191 18446744073709551615 4194304 4196468 140727369228432 139865664465328 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
Current children cumulated CPU time: 2462.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 994144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499 s]*
/proc/loadavg: 2.01 2.00 1.97 3/212 5868
/proc/meminfo: memFree=27312428/32770624 swapFree=67108860/67108860
[pid=5608] ppid=5605 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (xcsp3-exec) S 5605 5608 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82336622 9740288 345 18446744073709551615 4194304 5098028 140732326831536 140732326829640 140155816350332 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 28033024 140732326838649 140732326838853 140732326838853 140732326842347 0
/proc/5608/statm: 2378 345 289 221 0 87 0
[pid=5610] ppid=5608 vsize=13980732 memory=975312 CPUtime=2520.07 cores=0,2,4,6
/proc/5610/stat : 5610 (java) S 5608 5608 897 0 -1 1077944320 204595 0 0 0 251821 186 0 0 20 0 15 0 82336628 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 140727369210976 139866194308855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
/proc/5610/statm: 3495183 243828 3274 1 0 3483476 0
[pid=5610/tid=5611] ppid=5608 vsize=13980732 memory=-8774313645642428999 CPUtime=2495.58 cores=0,2,4,6
/proc/5610/task/5611/stat : 5611 (java) R 5608 5608 897 0 -1 4202560 69000 0 0 0 249535 23 0 0 20 0 15 0 82336629 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139866198548080 139865834403744 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5612] ppid=5608 vsize=13980732 memory=4872558044660077418 CPUtime=3.01 cores=0,2,4,6
/proc/5610/task/5612/stat : 5612 (java) S 5608 5608 897 0 -1 1077944384 10505 0 0 0 279 22 0 0 20 0 15 0 82336629 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139866151275408 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5613] ppid=5608 vsize=13980732 memory=7680170660397595203 CPUtime=3.02 cores=0,2,4,6
/proc/5610/task/5613/stat : 5613 (java) S 5608 5608 897 0 -1 1077944384 9975 0 0 0 280 22 0 0 20 0 15 0 82336629 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139866150222608 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5614] ppid=5608 vsize=13980732 memory=4872558044660077418 CPUtime=3.01 cores=0,2,4,6
/proc/5610/task/5614/stat : 5614 (java) S 5608 5608 897 0 -1 1077944384 8469 0 0 0 279 22 0 0 20 0 15 0 82336629 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139866149170320 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5615] ppid=5608 vsize=13980732 memory=2316 CPUtime=2.99 cores=0,2,4,6
/proc/5610/task/5615/stat : 5615 (java) S 5608 5608 897 0 -1 1077944384 9358 0 0 0 277 22 0 0 20 0 15 0 82336629 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139866148117520 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5616] ppid=5608 vsize=13980732 memory=1728 CPUtime=0.43 cores=0,2,4,6
/proc/5610/task/5616/stat : 5616 (java) S 5608 5608 897 0 -1 1077944384 7893 0 0 0 39 4 0 0 20 0 15 0 82336631 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139865672886384 139866194320002 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5617] ppid=5608 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5617/stat : 5617 (java) S 5608 5608 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139865671832416 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5618] ppid=5608 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5618/stat : 5618 (java) S 5608 5608 897 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 82336631 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139865670780032 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5619] ppid=5608 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5619/stat : 5619 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139865669728336 139866194327451 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5620] ppid=5608 vsize=13980732 memory=1712 CPUtime=5 cores=0,2,4,6
/proc/5610/task/5620/stat : 5620 (java) S 5608 5608 897 0 -1 1077944384 33253 0 0 0 496 4 0 0 20 0 15 0 82336634 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139865668676208 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5621] ppid=5608 vsize=13980732 memory=4616 CPUtime=4.57 cores=0,2,4,6
/proc/5610/task/5621/stat : 5621 (java) S 5608 5608 897 0 -1 1077944384 33339 0 0 0 453 4 0 0 20 0 15 0 82336634 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139865667623408 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5622] ppid=5608 vsize=13980732 memory=1012 CPUtime=0.98 cores=0,2,4,6
/proc/5610/task/5622/stat : 5622 (java) S 5608 5608 897 0 -1 1077944384 18102 0 0 0 95 3 0 0 20 0 15 0 82336634 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139865666571120 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5623] ppid=5608 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/5610/task/5623/stat : 5623 (java) S 5608 5608 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82336634 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139865665518560 139866194319061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
[pid=5610/tid=5624] ppid=5608 vsize=13980732 memory=1440 CPUtime=1.37 cores=0,2,4,6
/proc/5610/task/5624/stat : 5624 (java) S 5608 5608 897 0 -1 1077944384 3290 0 0 0 68 69 0 0 20 0 15 0 82336638 14316269568 243828 18446744073709551615 4194304 4196468 140727369228432 139865664465328 139866194320002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 32645120 140727369232817 140727369232993 140727369232993 140727369236431 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 976692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.02 s]
# the end of solver process 5608 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000852 s, system=0.001273 s
[startup+2499.02 s]
# the end of solver process 5610 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.22 s, system=1.86879 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): 2499.02
CPU time (s): 2520.09
CPU user time (s): 2518.22
CPU system time (s): 1.86879
CPU usage (%): 100.843
Max. virtual memory (cumulated for all children) (KiB): 13994456
Max. memory (cumulated for all children) (KiB): 1622488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.22
system time used= 1.86879
maximum resident set size= 1636060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205306
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60382
involuntary context switches= 2025
# summary of solver processes directly reported to runsolver:
# pid: 5608,5610
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.22
# total CPU system time (s): 1.86879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9346 second user time and 24.8576 second system time
The end