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 (10371 MiB free)
memory of node 1: 16384 MiB (15594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255034-1502644062/watcher-4255034-1502644062 -o /tmp/evaluation-result-4255034-1502644062/solver-4255034-1502644062 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502642281-27769 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 850353940 HOME/instance-4255034-1502644062.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=28446, runsolver pid=28443
[startup+0.100089 s]*
/proc/loadavg: 1.74 1.83 1.76 2/202 28449
/proc/meminfo: memFree=26585640/32770624 swapFree=67108776/67108860
[pid=28446] ppid=28443 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28446/stat : 28446 (xcsp3-exec) S 28443 28446 7084 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 164058894 9740288 344 18446744073709551615 4194304 5098028 140733810757024 140733810755128 139757479236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12206080 140733810758015 140733810758218 140733810758218 140733810761707 0
/proc/28446/statm: 2378 344 289 221 0 87 0
[pid=28448] ppid=28446 vsize=13358712 memory=14364 CPUtime=0 cores=1,3,5,7
/proc/28448/stat : 28448 (java) S 28446 28446 7084 0 -1 1077944320 3338 0 0 0 0 0 0 0 20 0 6 0 164058904 13679321088 3591 18446744073709551615 4194304 4196468 140721156320816 140721156303360 140147137498871 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
/proc/28448/statm: 3339678 3591 1902 1 0 3329175 0
[pid=28448/tid=28449] ppid=28446 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28449/stat : 28449 (java) R 28446 28446 7084 0 -1 4202560 2105 0 0 0 0 0 0 0 20 0 6 0 164058904 13679321088 3591 18446744073709551615 4194304 4196468 140721156320816 140147141734992 140147121579388 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28450] ppid=28446 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28450/stat : 28450 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 164058905 13679321088 3591 18446744073709551615 4194304 4196468 140721156320816 140147071933584 140147137509077 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28451] ppid=28446 vsize=13358712 memory=139913642735232 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28451/stat : 28451 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 164058905 13679321088 3591 18446744073709551615 4194304 4196468 140721156320816 140147070880784 140147137509077 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28452] ppid=28446 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28452/stat : 28452 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 164058905 13679321088 3591 18446744073709551615 4194304 4196468 140721156320816 140147069827984 140147137509077 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28453] ppid=28446 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28453/stat : 28453 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 164058905 13679321088 3591 18446744073709551615 4194304 4196468 140721156320816 140147068775184 140147137509077 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15740 KiB
[startup+0.210185 s]*
/proc/loadavg: 1.74 1.83 1.76 3/215 28462
/proc/meminfo: memFree=26574096/32770624 swapFree=67108776/67108860
[pid=28446] ppid=28443 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28446/stat : 28446 (xcsp3-exec) S 28443 28446 7084 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 164058894 9740288 344 18446744073709551615 4194304 5098028 140733810757024 140733810755128 139757479236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12206080 140733810758015 140733810758218 140733810758218 140733810761707 0
/proc/28446/statm: 2378 344 289 221 0 87 0
[pid=28448] ppid=28446 vsize=13974352 memory=27628 CPUtime=0.09 cores=1,3,5,7
/proc/28448/stat : 28448 (java) S 28446 28446 7084 0 -1 1077944320 5318 0 0 0 8 1 0 0 20 0 15 0 164058904 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140721156303360 140147137498871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
/proc/28448/statm: 3493588 6907 2734 1 0 3482964 0
[pid=28448/tid=28449] ppid=28446 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/28448/task/28449/stat : 28449 (java) R 28446 28446 7084 0 -1 4202560 3450 0 0 0 6 0 0 0 20 0 15 0 164058904 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140147141729200 140147137510806 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28450] ppid=28446 vsize=13974352 memory=8005 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28450/stat : 28450 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164058905 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140147071933584 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28451] ppid=28446 vsize=13974352 memory=4123520952019285664 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28451/stat : 28451 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164058905 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140147070880784 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28452] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28452/stat : 28452 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164058905 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140147069827984 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28453] ppid=28446 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28453/stat : 28453 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164058905 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140147068775184 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28454] ppid=28446 vsize=13974352 memory=139913642735232 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28454/stat : 28454 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164058906 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140146615986544 140147137510018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28455] ppid=28446 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28455/stat : 28455 (java) S 28446 28446 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164058906 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140146614932512 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28456] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28456/stat : 28456 (java) S 28446 28446 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164058907 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140146613879664 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28457] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28457/stat : 28457 (java) S 28446 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140146612827984 140147137517467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28458] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28458/stat : 28458 (java) S 28446 28446 7084 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 164058909 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140146611776368 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28459] ppid=28446 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28459/stat : 28459 (java) S 28446 28446 7084 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 15 0 164058909 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140146610723568 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28460] ppid=28446 vsize=13974352 memory=139913642735232 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28460/stat : 28460 (java) R 28446 28446 7084 0 -1 4202560 256 0 0 0 0 0 0 0 20 0 15 0 164058909 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140146609670768 140147116627530 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28461] ppid=28446 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28461/stat : 28461 (java) S 28446 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140146608618208 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28462] ppid=28446 vsize=13974352 memory=139913642735232 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28462/stat : 28462 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164058913 14309736448 6907 18446744073709551615 4194304 4196468 140721156320816 140146607565488 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29004 KiB
[startup+0.313608 s]*
/proc/loadavg: 1.74 1.83 1.76 5/215 28462
/proc/meminfo: memFree=26560732/32770624 swapFree=67108776/67108860
[pid=28446] ppid=28443 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28446/stat : 28446 (xcsp3-exec) S 28443 28446 7084 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 164058894 9740288 344 18446744073709551615 4194304 5098028 140733810757024 140733810755128 139757479236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12206080 140733810758015 140733810758218 140733810758218 140733810761707 0
/proc/28446/statm: 2378 344 289 221 0 87 0
[pid=28448] ppid=28446 vsize=13974352 memory=37284 CPUtime=0.29 cores=1,3,5,7
/proc/28448/stat : 28448 (java) S 28446 28446 7084 0 -1 1077944320 8950 0 0 0 26 3 0 0 20 0 15 0 164058904 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140721156303360 140147137498871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
/proc/28448/statm: 3493588 9321 2983 1 0 3482964 0
[pid=28448/tid=28449] ppid=28446 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/28448/task/28449/stat : 28449 (java) R 28446 28446 7084 0 -1 4202560 6126 0 0 0 15 2 0 0 20 0 15 0 164058904 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140147141731632 140147137520797 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28450] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28450/stat : 28450 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164058905 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140147071933584 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28451] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28451/stat : 28451 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164058905 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140147070880784 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28452] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28452/stat : 28452 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164058905 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140147069827984 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28453] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28453/stat : 28453 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164058905 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140147068775184 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28454] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28454/stat : 28454 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164058906 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140146615986544 140147137510018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28455] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28455/stat : 28455 (java) S 28446 28446 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164058906 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140146614932512 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28456] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28456/stat : 28456 (java) S 28446 28446 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164058907 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140146613879664 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28457] ppid=28446 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28457/stat : 28457 (java) S 28446 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140146612827984 140147137517467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28458] ppid=28446 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28448/task/28458/stat : 28458 (java) R 28446 28446 7084 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 15 0 164058909 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140146611776368 140147137510018 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28459] ppid=28446 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28448/task/28459/stat : 28459 (java) R 28446 28446 7084 0 -1 4202560 570 0 0 0 2 0 0 0 20 0 15 0 164058909 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140146610723568 140147118199168 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28460] ppid=28446 vsize=13974352 memory=139913642735232 CPUtime=0.06 cores=1,3,5,7
/proc/28448/task/28460/stat : 28460 (java) R 28446 28446 7084 0 -1 4202560 698 0 0 0 6 0 0 0 20 0 15 0 164058909 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140146609670768 140147130605488 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28461] ppid=28446 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28461/stat : 28461 (java) S 28446 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140146608618208 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28462] ppid=28446 vsize=13974352 memory=139913642735232 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28462/stat : 28462 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164058913 14309736448 9321 18446744073709551615 4194304 4196468 140721156320816 140146607565488 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38660 KiB
[startup+0.701712 s]
/proc/loadavg: 1.74 1.83 1.76 5/215 28462
/proc/meminfo: memFree=26541096/32770624 swapFree=67108776/67108860
[pid=28446] ppid=28443 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28446/stat : 28446 (xcsp3-exec) S 28443 28446 7084 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 164058894 9740288 344 18446744073709551615 4194304 5098028 140733810757024 140733810755128 139757479236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12206080 140733810758015 140733810758218 140733810758218 140733810761707 0
/proc/28446/statm: 2378 344 289 221 0 87 0
[pid=28448] ppid=28446 vsize=13978684 memory=82084 CPUtime=1.35 cores=1,3,5,7
/proc/28448/stat : 28448 (java) S 28446 28446 7084 0 -1 1077944320 13198 0 0 0 130 5 0 0 20 0 15 0 164058904 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140721156303360 140147137498871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
/proc/28448/statm: 3494671 20521 3147 1 0 3482964 0
[pid=28448/tid=28449] ppid=28446 vsize=13978684 memory=279827051586008 CPUtime=0.55 cores=1,3,5,7
/proc/28448/task/28449/stat : 28449 (java) R 28446 28446 7084 0 -1 4202560 7835 0 0 0 52 3 0 0 20 0 15 0 164058904 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140147141733472 140146745895631 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28450] ppid=28446 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28450/stat : 28450 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164058905 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140147071933584 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28451] ppid=28446 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28451/stat : 28451 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164058905 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140147070880784 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28452] ppid=28446 vsize=13978684 memory=279827051702336 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28452/stat : 28452 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164058905 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140147069827984 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28453] ppid=28446 vsize=13978684 memory=57 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28453/stat : 28453 (java) S 28446 28446 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164058905 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140147068775184 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28454] ppid=28446 vsize=13978684 memory=502 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28454/stat : 28454 (java) S 28446 28446 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 164058906 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140146615986544 140147137510018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28455] ppid=28446 vsize=13978684 memory=1053 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28455/stat : 28455 (java) S 28446 28446 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164058906 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140146614932512 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28456] ppid=28446 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28456/stat : 28456 (java) S 28446 28446 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164058907 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140146613879664 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28457] ppid=28446 vsize=13978684 memory=725 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28457/stat : 28457 (java) S 28446 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140146612827984 140147137517467 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28458] ppid=28446 vsize=13978684 memory=113 CPUtime=0.25 cores=1,3,5,7
/proc/28448/task/28458/stat : 28458 (java) R 28446 28446 7084 0 -1 4202560 1200 0 0 0 25 0 0 0 20 0 15 0 164058909 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140146611776368 140147117154081 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28459] ppid=28446 vsize=13978684 memory=9 CPUtime=0.26 cores=1,3,5,7
/proc/28448/task/28459/stat : 28459 (java) R 28446 28446 7084 0 -1 1077944384 1341 0 0 0 26 0 0 0 20 0 15 0 164058909 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140146610723568 140147137510018 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28460] ppid=28446 vsize=13978684 memory=62764 CPUtime=0.25 cores=1,3,5,7
/proc/28448/task/28460/stat : 28460 (java) R 28446 28446 7084 0 -1 4202560 1517 0 0 0 25 0 0 0 20 0 15 0 164058909 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140146609666720 140147130605417 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28461] ppid=28446 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28461/stat : 28461 (java) S 28446 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140146608618208 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28462] ppid=28446 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28462/stat : 28462 (java) S 28446 28446 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164058913 14314172416 20521 18446744073709551615 4194304 4196468 140721156320816 140146607565488 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83460 KiB
[startup+1.50076 s]
/proc/loadavg: 1.74 1.83 1.76 5/198 28464
/proc/meminfo: memFree=31493648/32770624 swapFree=67108776/67108860
[pid=28446] ppid=28443 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28446/stat : 28446 (xcsp3-exec) S 28443 28446 7084 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 164058894 9740288 344 18446744073709551615 4194304 5098028 140733810757024 140733810755128 139757479236220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 12206080 140733810758015 140733810758218 140733810758218 140733810761707 0
/proc/28446/statm: 2378 344 289 221 0 87 0
[pid=28448] ppid=28446 vsize=13980732 memory=224728 CPUtime=3.92 cores=1,3,5,7
/proc/28448/stat : 28448 (java) S 28446 28446 7084 0 -1 1077944320 15779 0 0 0 379 13 0 0 20 0 15 0 164058904 14316269568 56182 18446744073709551615 4194304 4196468 140721156320816 140721156303360 140147137498871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
/proc/28448/statm: 3495183 56182 3212 1 0 3483476 0
[pid=28448/tid=28449] ppid=28446 vsize=13980732 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/28448/task/28449/stat : 28449 (java) R 28446 28446 7084 0 -1 4202560 8552 0 0 0 125 4 0 0 20 0 15 0 164058904 14316269568 56182 18446744073709551615 4194304 4196468 140721156320816 140147141735840 140146750818373 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28450] ppid=28446 vsize=13980732 memory=180 CPUtime=0.04 cores=1,3,5,7
/proc/28448/task/28450/stat : 28450 (java) S 28446 28446 7084 0 -1 1077944384 131 0 0 0 3 1 0 0 20 0 15 0 164058905 14316269568 56182 18446744073709551615 4194304 4196468 140721156320816 140147071933584 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28451] ppid=28446 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28448/task/28451/stat : 28451 (java) S 28446 28446 7084 0 -1 1077944384 62 0 0 0 3 1 0 0 20 0 15 0 164058905 14316269568 56182 18446744073709551615 4194304 4196468 140721156320816 140147070880784 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28452] ppid=28446 vsize=13980732 memory=139913525862048 CPUtime=0.04 cores=1,3,5,7
/proc/28448/task/28452/stat : 28452 (java) S 28446 28446 7084 0 -1 1077944384 59 0 0 0 3 1 0 0 20 0 15 0 164058905 14316269568 56182 18446744073709551615 4194304 4196468 140721156320816 140147069827984 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28453] ppid=28446 vsize=13980732 memory=279827051714784 CPUtime=0.02 cores=1,3,5,7
/proc/28448/task/28453/stat : 28453 (java) S 28446 28446 7084 0 -1 1077944384 59 0 0 0 1 1 0 0 20 0 15 0 164058905 14316269568 56182 18446744073709551615 4194304 4196468 140721156320816 140147068775184 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28454] ppid=28446 vsize=13980732 memory=139913525862112 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28454/stat : 28454 (java) S 28446 28446 7084 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 164058906 14316269568 56182 18446744073709551615 4194304 4196468 140721156320816 140146615986544 140147137510018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28455] ppid=28446 vsize=13980732 memory=139913525862144 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28455/stat : 28455 (java) S 28446 28446 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164058906 14316269568 56182 18446744073709551615 4194304 4196468 140721156320816 140146614932576 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28456] ppid=28446 vsize=13980732 memory=139913525862176 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+115.201 s]
/proc/loadavg: 3.64 2.51 2.01 6/215 28549
/proc/meminfo: memFree=13573904/32770624 swapFree=67108776/67108860
[pid=28448] ppid=28443 vsize=14111804 memory=9474064 CPUtime=256.46 cores=1,3,5,7
/proc/28448/stat : 28448 (java) S 28443 28446 7084 0 -1 1077944320 146145 0 0 0 24785 861 0 0 20 0 15 0 164058904 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140721156303360 140147137498871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
/proc/28448/statm: 3527951 2368516 3261 1 0 3516244 0
[pid=28448/tid=28449] ppid=28443 vsize=14111804 memory=1376 CPUtime=65.14 cores=1,3,5,7
/proc/28448/task/28449/stat : 28449 (java) S 28443 28446 7084 0 -1 1077944384 13880 0 0 0 6503 11 0 0 20 0 15 0 164058904 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140147141737520 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28450] ppid=28443 vsize=14111804 memory=4600 CPUtime=44.85 cores=1,3,5,7
/proc/28448/task/28450/stat : 28450 (java) R 28443 28446 7084 0 -1 4202560 22566 0 0 0 4277 208 0 0 20 0 15 0 164058905 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140147071933480 140147130127079 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28451] ppid=28443 vsize=14111804 memory=1440 CPUtime=45.29 cores=1,3,5,7
/proc/28448/task/28451/stat : 28451 (java) R 28443 28446 7084 0 -1 4202560 26630 0 0 0 4316 213 0 0 20 0 15 0 164058905 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140147070880368 140147130127079 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28452] ppid=28443 vsize=14111804 memory=1724 CPUtime=45.7 cores=1,3,5,7
/proc/28448/task/28452/stat : 28452 (java) R 28443 28446 7084 0 -1 4202560 9611 0 0 0 4363 207 0 0 20 0 15 0 164058905 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140147069828184 140147122196663 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28453] ppid=28443 vsize=14111804 memory=69288 CPUtime=44.93 cores=1,3,5,7
/proc/28448/task/28453/stat : 28453 (java) R 28443 28446 7084 0 -1 4202560 32646 0 0 0 4283 210 0 0 20 0 15 0 164058905 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140147068774768 140147130127079 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28454] ppid=28443 vsize=14111804 memory=1296 CPUtime=3.71 cores=1,3,5,7
/proc/28448/task/28454/stat : 28454 (java) S 28443 28446 7084 0 -1 1077944384 22879 0 0 0 370 1 0 0 20 0 15 0 164058906 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140146615984864 140147137509077 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28455] ppid=28443 vsize=14111804 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28455/stat : 28455 (java) S 28443 28446 7084 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 164058906 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140146614932576 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28456] ppid=28443 vsize=14111804 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28456/stat : 28456 (java) S 28443 28446 7084 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 164058907 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140146613879680 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28457] ppid=28443 vsize=14111804 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28457/stat : 28457 (java) S 28443 28446 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 164058909 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140146612827632 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28458] ppid=28443 vsize=14111804 memory=9429008 CPUtime=2.98 cores=1,3,5,7
/proc/28448/task/28458/stat : 28458 (java) S 28443 28446 7084 0 -1 1077944384 6307 0 0 0 297 1 0 0 20 0 15 0 164058909 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140146611776416 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28459] ppid=28443 vsize=14111804 memory=1376 CPUtime=2.97 cores=1,3,5,7
/proc/28448/task/28459/stat : 28459 (java) S 28443 28446 7084 0 -1 1077944384 6422 0 0 0 296 1 0 0 20 0 15 0 164058909 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140146610723616 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28460] ppid=28443 vsize=14111804 memory=9429008 CPUtime=0.73 cores=1,3,5,7
/proc/28448/task/28460/stat : 28460 (java) S 28443 28446 7084 0 -1 1077944384 3745 0 0 0 72 1 0 0 20 0 15 0 164058909 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140146609670528 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28461] ppid=28443 vsize=14111804 memory=960 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28461/stat : 28461 (java) S 28443 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140146608618208 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28462] ppid=28443 vsize=14111804 memory=164 CPUtime=0.06 cores=1,3,5,7
/proc/28448/task/28462/stat : 28462 (java) S 28443 28446 7084 0 -1 1077944384 153 0 0 0 2 4 0 0 20 0 15 0 164058913 14450487296 2368516 18446744073709551615 4194304 4196468 140721156320816 140146607565488 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
Current cumulated CPU time of completed processes: 0.001838 s
Current children cumulated CPU time: 256.46 s
Current children cumulated vsize: 14111804 KiB
Current children cumulated memory: 9474064 KiB
[startup+115.601 s]
/proc/loadavg: 3.64 2.51 2.01 6/215 28549
/proc/meminfo: memFree=13573904/32770624 swapFree=67108776/67108860
[pid=28448] ppid=28443 vsize=14111804 memory=9484304 CPUtime=258.01 cores=1,3,5,7
/proc/28448/stat : 28448 (java) S 28443 28446 7084 0 -1 1077944320 146159 0 0 0 24940 861 0 0 20 0 15 0 164058904 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140721156303360 140147137498871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
/proc/28448/statm: 3527951 2371076 3261 1 0 3516244 0
[pid=28448/tid=28449] ppid=28443 vsize=14111804 memory=4288 CPUtime=65.14 cores=1,3,5,7
/proc/28448/task/28449/stat : 28449 (java) S 28443 28446 7084 0 -1 1077944384 13880 0 0 0 6503 11 0 0 20 0 15 0 164058904 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140147141737520 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28450] ppid=28443 vsize=14111804 memory=2160 CPUtime=45.24 cores=1,3,5,7
/proc/28448/task/28450/stat : 28450 (java) R 28443 28446 7084 0 -1 4202560 22566 0 0 0 4316 208 0 0 20 0 15 0 164058905 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140147071933480 140147130127079 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28451] ppid=28443 vsize=14111804 memory=932 CPUtime=45.67 cores=1,3,5,7
/proc/28448/task/28451/stat : 28451 (java) S 28443 28446 7084 0 -1 1077944384 26630 0 0 0 4354 213 0 0 20 0 15 0 164058905 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140147070880368 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28452] ppid=28443 vsize=14111804 memory=1608 CPUtime=46.1 cores=1,3,5,7
/proc/28448/task/28452/stat : 28452 (java) R 28443 28446 7084 0 -1 4202560 9625 0 0 0 4403 207 0 0 20 0 15 0 164058905 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140147069828184 140147122449998 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28453] ppid=28443 vsize=14111804 memory=836 CPUtime=45.31 cores=1,3,5,7
/proc/28448/task/28453/stat : 28453 (java) R 28443 28446 7084 0 -1 4202560 32646 0 0 0 4321 210 0 0 20 0 15 0 164058905 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140147068774768 140147130127079 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28454] ppid=28443 vsize=14111804 memory=0 CPUtime=3.71 cores=1,3,5,7
/proc/28448/task/28454/stat : 28454 (java) S 28443 28446 7084 0 -1 1077944384 22879 0 0 0 370 1 0 0 20 0 15 0 164058906 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140146615984864 140147137509077 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28455] ppid=28443 vsize=14111804 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28455/stat : 28455 (java) S 28443 28446 7084 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 164058906 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140146614932576 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28456] ppid=28443 vsize=14111804 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28456/stat : 28456 (java) S 28443 28446 7084 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 164058907 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140146613879680 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28457] ppid=28443 vsize=14111804 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28457/stat : 28457 (java) S 28443 28446 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 164058909 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140146612827632 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28458] ppid=28443 vsize=14111804 memory=6944656592452807316 CPUtime=2.98 cores=1,3,5,7
/proc/28448/task/28458/stat : 28458 (java) S 28443 28446 7084 0 -1 1077944384 6307 0 0 0 297 1 0 0 20 0 15 0 164058909 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140146611776416 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28459] ppid=28443 vsize=14111804 memory=6944656592455359580 CPUtime=2.97 cores=1,3,5,7
/proc/28448/task/28459/stat : 28459 (java) S 28443 28446 7084 0 -1 1077944384 6422 0 0 0 296 1 0 0 20 0 15 0 164058909 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140146610723616 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28460] ppid=28443 vsize=14111804 memory=4126316290023845779 CPUtime=0.73 cores=1,3,5,7
/proc/28448/task/28460/stat : 28460 (java) S 28443 28446 7084 0 -1 1077944384 3745 0 0 0 72 1 0 0 20 0 15 0 164058909 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140146609670528 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28461] ppid=28443 vsize=14111804 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28461/stat : 28461 (java) S 28443 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140146608618208 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28462] ppid=28443 vsize=14111804 memory=2460 CPUtime=0.06 cores=1,3,5,7
/proc/28448/task/28462/stat : 28462 (java) S 28443 28446 7084 0 -1 1077944384 153 0 0 0 2 4 0 0 20 0 15 0 164058913 14450487296 2371076 18446744073709551615 4194304 4196468 140721156320816 140146607565488 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
Current cumulated CPU time of completed processes: 0.001838 s
Current children cumulated CPU time: 258.01 s
Current children cumulated vsize: 14111804 KiB
Current children cumulated memory: 9484304 KiB
[startup+116.001 s]*
/proc/loadavg: 3.64 2.51 2.01 6/215 28549
/proc/meminfo: memFree=13557444/32770624 swapFree=67108776/67108860
[pid=28448] ppid=28443 vsize=14111804 memory=9488400 CPUtime=259.6 cores=1,3,5,7
/proc/28448/stat : 28448 (java) S 28443 28446 7084 0 -1 1077944320 146168 0 0 0 25098 862 0 0 20 0 15 0 164058904 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140721156303360 140147137498871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
/proc/28448/statm: 3527951 2372100 3261 1 0 3516244 0
[pid=28448/tid=28449] ppid=28443 vsize=14111804 memory=-8774313645642428999 CPUtime=65.14 cores=1,3,5,7
/proc/28448/task/28449/stat : 28449 (java) S 28443 28446 7084 0 -1 1077944384 13880 0 0 0 6503 11 0 0 20 0 15 0 164058904 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140147141737520 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28450] ppid=28443 vsize=14111804 memory=4126316290023845779 CPUtime=45.62 cores=1,3,5,7
/proc/28448/task/28450/stat : 28450 (java) R 28443 28446 7084 0 -1 4202560 22566 0 0 0 4354 208 0 0 20 0 15 0 164058905 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140147071933480 140147130127079 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28451] ppid=28443 vsize=14111804 memory=4044 CPUtime=46.06 cores=1,3,5,7
/proc/28448/task/28451/stat : 28451 (java) R 28443 28446 7084 0 -1 4202560 26630 0 0 0 4393 213 0 0 20 0 15 0 164058905 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140147070880680 140147123257680 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28452] ppid=28443 vsize=14111804 memory=39944 CPUtime=46.51 cores=1,3,5,7
/proc/28448/task/28452/stat : 28452 (java) R 28443 28446 7084 0 -1 4202560 9634 0 0 0 4444 207 0 0 20 0 15 0 164058905 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140147069828184 140147119095312 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28453] ppid=28443 vsize=14111804 memory=636 CPUtime=45.71 cores=1,3,5,7
/proc/28448/task/28453/stat : 28453 (java) R 28443 28446 7084 0 -1 4202560 32646 0 0 0 4361 210 0 0 20 0 15 0 164058905 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140147068775080 140147130127079 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28454] ppid=28443 vsize=14111804 memory=1796 CPUtime=3.71 cores=1,3,5,7
/proc/28448/task/28454/stat : 28454 (java) S 28443 28446 7084 0 -1 1077944384 22879 0 0 0 370 1 0 0 20 0 15 0 164058906 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140146615984864 140147137509077 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28455] ppid=28443 vsize=14111804 memory=960 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28455/stat : 28455 (java) S 28443 28446 7084 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 164058906 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140146614932576 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28456] ppid=28443 vsize=14111804 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28456/stat : 28456 (java) S 28443 28446 7084 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 164058907 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140146613879680 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28457] ppid=28443 vsize=14111804 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28457/stat : 28457 (java) S 28443 28446 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 164058909 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140146612827632 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28458] ppid=28443 vsize=14111804 memory=4288 CPUtime=2.98 cores=1,3,5,7
/proc/28448/task/28458/stat : 28458 (java) S 28443 28446 7084 0 -1 1077944384 6307 0 0 0 297 1 0 0 20 0 15 0 164058909 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140146611776416 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28459] ppid=28443 vsize=14111804 memory=2160 CPUtime=2.97 cores=1,3,5,7
/proc/28448/task/28459/stat : 28459 (java) S 28443 28446 7084 0 -1 1077944384 6422 0 0 0 296 1 0 0 20 0 15 0 164058909 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140146610723616 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28460] ppid=28443 vsize=14111804 memory=1836 CPUtime=0.73 cores=1,3,5,7
/proc/28448/task/28460/stat : 28460 (java) S 28443 28446 7084 0 -1 1077944384 3745 0 0 0 72 1 0 0 20 0 15 0 164058909 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140146609670528 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28461] ppid=28443 vsize=14111804 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28461/stat : 28461 (java) S 28443 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140146608618208 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28462] ppid=28443 vsize=14111804 memory=5768 CPUtime=0.06 cores=1,3,5,7
/proc/28448/task/28462/stat : 28462 (java) S 28443 28446 7084 0 -1 1077944384 153 0 0 0 2 4 0 0 20 0 15 0 164058913 14450487296 2372100 18446744073709551615 4194304 4196468 140721156320816 140146607565488 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
Current cumulated CPU time of completed processes: 0.001838 s
Current children cumulated CPU time: 259.6 s
Current children cumulated vsize: 14111804 KiB
Current children cumulated memory: 9488400 KiB
[startup+116.111 s]
/proc/loadavg: 3.64 2.51 2.01 6/215 28549
/proc/meminfo: memFree=13557444/32770624 swapFree=67108776/67108860
[pid=28448] ppid=28443 vsize=14111804 memory=9488492 CPUtime=259.97 cores=1,3,5,7
/proc/28448/stat : 28448 (java) S 28443 28446 7084 0 -1 1077944320 146170 0 0 0 25135 862 0 0 20 0 15 0 164058904 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140721156303360 140147137498871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
/proc/28448/statm: 3527951 2372123 3261 1 0 3516244 0
[pid=28448/tid=28449] ppid=28443 vsize=14111804 memory=9445392 CPUtime=65.14 cores=1,3,5,7
/proc/28448/task/28449/stat : 28449 (java) S 28443 28446 7084 0 -1 1077944384 13880 0 0 0 6503 11 0 0 20 0 15 0 164058904 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140147141737520 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28450] ppid=28443 vsize=14111804 memory=9459728 CPUtime=45.71 cores=1,3,5,7
/proc/28448/task/28450/stat : 28450 (java) R 28443 28446 7084 0 -1 4202560 22566 0 0 0 4363 208 0 0 20 0 15 0 164058905 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140147071933480 140147130127079 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28451] ppid=28443 vsize=14111804 memory=9484304 CPUtime=46.17 cores=1,3,5,7
/proc/28448/task/28451/stat : 28451 (java) R 28443 28446 7084 0 -1 4202560 26630 0 0 0 4403 214 0 0 20 0 15 0 164058905 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140147070880368 140147130127079 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28452] ppid=28443 vsize=14111804 memory=4156 CPUtime=46.61 cores=1,3,5,7
/proc/28448/task/28452/stat : 28452 (java) R 28443 28446 7084 0 -1 4202560 9636 0 0 0 4454 207 0 0 20 0 15 0 164058905 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140147069828184 140147119095312 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28453] ppid=28443 vsize=14111804 memory=1724 CPUtime=45.8 cores=1,3,5,7
/proc/28448/task/28453/stat : 28453 (java) R 28443 28446 7084 0 -1 4202560 32646 0 0 0 4370 210 0 0 20 0 15 0 164058905 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140147068774768 140147130127079 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28454] ppid=28443 vsize=14111804 memory=988 CPUtime=3.71 cores=1,3,5,7
/proc/28448/task/28454/stat : 28454 (java) S 28443 28446 7084 0 -1 1077944384 22879 0 0 0 370 1 0 0 20 0 15 0 164058906 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140146615984864 140147137509077 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28455] ppid=28443 vsize=14111804 memory=8607116 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28455/stat : 28455 (java) S 28443 28446 7084 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 164058906 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140146614932576 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28456] ppid=28443 vsize=14111804 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28456/stat : 28456 (java) S 28443 28446 7084 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 164058907 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140146613879680 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28457] ppid=28443 vsize=14111804 memory=9480208 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28457/stat : 28457 (java) S 28443 28446 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 164058909 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140146612827632 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28458] ppid=28443 vsize=14111804 memory=-2317720213663324238 CPUtime=2.98 cores=1,3,5,7
/proc/28448/task/28458/stat : 28458 (java) S 28443 28446 7084 0 -1 1077944384 6307 0 0 0 297 1 0 0 20 0 15 0 164058909 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140146611776416 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28459] ppid=28443 vsize=14111804 memory=1376 CPUtime=2.97 cores=1,3,5,7
/proc/28448/task/28459/stat : 28459 (java) S 28443 28446 7084 0 -1 1077944384 6422 0 0 0 296 1 0 0 20 0 15 0 164058909 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140146610723616 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28460] ppid=28443 vsize=14111804 memory=39944 CPUtime=0.73 cores=1,3,5,7
/proc/28448/task/28460/stat : 28460 (java) S 28443 28446 7084 0 -1 1077944384 3745 0 0 0 72 1 0 0 20 0 15 0 164058909 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140146609670528 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28461] ppid=28443 vsize=14111804 memory=4600 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28461/stat : 28461 (java) S 28443 28446 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164058909 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140146608618208 140147137509077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
[pid=28448/tid=28462] ppid=28443 vsize=14111804 memory=4156 CPUtime=0.06 cores=1,3,5,7
/proc/28448/task/28462/stat : 28462 (java) S 28443 28446 7084 0 -1 1077944384 153 0 0 0 2 4 0 0 20 0 15 0 164058913 14450487296 2372123 18446744073709551615 4194304 4196468 140721156320816 140146607565488 140147137510018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23355392 140721156325815 140721156325990 140721156325990 140721156329423 0
Current cumulated CPU time of completed processes: 0.001838 s
Current children cumulated CPU time: 259.97 s
Current children cumulated vsize: 14111804 KiB
Current children cumulated memory: 9488492 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 116.165
CPU time (s): 260.051
CPU user time (s): 251.379
CPU system time (s): 8.67244
CPU usage (%): 223.865
Max. virtual memory (cumulated for all children) (KiB): 14121316
Max. memory (cumulated for all children) (KiB): 9488492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.379
system time used= 8.67244
maximum resident set size= 9489132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146687
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8966
involuntary context switches= 3348
# summary of solver processes directly reported to runsolver:
# pid: 28446,28448
# total CPU time (s): 260.051
# total CPU user time (s): 251.379
# total CPU system time (s): 8.67244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.835228 second user time and 1.13672 second system time
The end