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 (15223 MiB free)
memory of node 1: 16384 MiB (15645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270365-1502624518/watcher-4270365-1502624518 -o /tmp/evaluation-result-4270365-1502624518/solver-4270365-1502624518 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21066 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1680589866 HOME/instance-4270365-1502624518.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24742, runsolver pid=24739
[startup+0.100111 s]*
/proc/loadavg: 2.06 2.03 1.94 3/202 24749
/proc/meminfo: memFree=31602556/32770624 swapFree=67108860/67108860
[pid=24742] ppid=24739 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24742/stat : 24742 (xcsp3-exec) S 24739 24742 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50792494 9740288 345 18446744073709551615 4194304 5098028 140736755114704 140736755112808 140039339401852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40169472 140736755122558 140736755122762 140736755122762 140736755126251 0
/proc/24742/statm: 2378 345 289 221 0 87 0
[pid=24744] ppid=24742 vsize=13441356 memory=16936 CPUtime=0.01 cores=1,3,5,7
/proc/24744/stat : 24744 (java) S 24742 24742 11586 0 -1 1077944320 3516 0 0 0 1 0 0 0 20 0 7 0 50792503 13763948544 4234 18446744073709551615 4194304 4196468 140733990643296 140733990625840 140223428746999 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
/proc/24744/statm: 3360339 4234 1982 1 0 3349836 0
[pid=24744/tid=24745] ppid=24742 vsize=13441356 memory=-8713483618642850651 CPUtime=0.01 cores=1,3,5,7
/proc/24744/task/24745/stat : 24745 (java) R 24742 24742 11586 0 -1 4202560 2277 0 0 0 1 0 0 0 20 0 7 0 50792503 13763948544 4234 18446744073709551615 4194304 4196468 140733990643296 140223432989456 140223412870534 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24746] ppid=24742 vsize=13441356 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24746/stat : 24746 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 50792504 13763948544 4234 18446744073709551615 4194304 4196468 140733990643296 140223370693776 140223428757205 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24747] ppid=24742 vsize=13441356 memory=139786503632512 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24747/stat : 24747 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 50792504 13763948544 4234 18446744073709551615 4194304 4196468 140733990643296 140223369640976 140223428757205 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24748] ppid=24742 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24748/stat : 24748 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 50792504 13763948544 4234 18446744073709551615 4194304 4196468 140733990643296 140223368588176 140223428757205 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24749] ppid=24742 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24749/stat : 24749 (java) S 24742 24742 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 50792504 13763948544 4234 18446744073709551615 4194304 4196468 140733990643296 140223026043664 140223428757205 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24750] ppid=24742 vsize=13441356 memory=139786503632512 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24750/stat : 24750 (java) S 24742 24742 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 50792505 13763948544 4234 18446744073709551615 4194304 4196468 140733990643296 140222974490992 140223428758146 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18316 KiB
[startup+0.210025 s]*
/proc/loadavg: 2.06 2.03 1.94 3/211 24758
/proc/meminfo: memFree=31595360/32770624 swapFree=67108860/67108860
[pid=24742] ppid=24739 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24742/stat : 24742 (xcsp3-exec) S 24739 24742 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50792494 9740288 345 18446744073709551615 4194304 5098028 140736755114704 140736755112808 140039339401852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40169472 140736755122558 140736755122762 140736755122762 140736755126251 0
/proc/24742/statm: 2378 345 289 221 0 87 0
[pid=24744] ppid=24742 vsize=13974352 memory=28140 CPUtime=0.09 cores=1,3,5,7
/proc/24744/stat : 24744 (java) S 24742 24742 11586 0 -1 1077944320 4920 0 0 0 8 1 0 0 20 0 15 0 50792503 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140733990625840 140223428746999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
/proc/24744/statm: 3493588 7035 2756 1 0 3482964 0
[pid=24744/tid=24745] ppid=24742 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/24744/task/24745/stat : 24745 (java) R 24742 24742 11586 0 -1 4202560 3071 0 0 0 6 1 0 0 20 0 15 0 50792503 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140223432977152 140223414441840 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24746] ppid=24742 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24746/stat : 24746 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140223370693776 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24747] ppid=24742 vsize=13974352 memory=4122118930374899360 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24747/stat : 24747 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140223369640976 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24748] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24748/stat : 24748 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140223368588176 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24749] ppid=24742 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24749/stat : 24749 (java) S 24742 24742 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50792504 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140223026043664 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24750] ppid=24742 vsize=13974352 memory=139786503632512 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24750/stat : 24750 (java) S 24742 24742 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50792505 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140222974490992 140223428758146 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24751] ppid=24742 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24751/stat : 24751 (java) S 24742 24742 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50792506 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140222973436960 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24752] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24752/stat : 24752 (java) S 24742 24742 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50792506 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140222972384112 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24753] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24753/stat : 24753 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140222971332432 140223428765595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24754] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24754/stat : 24754 (java) S 24742 24742 11586 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 50792508 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140222970280816 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24755] ppid=24742 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24755/stat : 24755 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140222969228016 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24756] ppid=24742 vsize=13974352 memory=139786503632512 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24756/stat : 24756 (java) R 24742 24742 11586 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 15 0 50792508 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140222968175216 140223407236656 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24757] ppid=24742 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24757/stat : 24757 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140222967122656 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24758] ppid=24742 vsize=13974352 memory=139786503632512 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24758/stat : 24758 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792514 14309736448 7035 18446744073709551615 4194304 4196468 140733990643296 140222966069936 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29520 KiB
[startup+0.310316 s]*
/proc/loadavg: 2.06 2.03 1.94 4/211 24758
/proc/meminfo: memFree=31582368/32770624 swapFree=67108860/67108860
[pid=24742] ppid=24739 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24742/stat : 24742 (xcsp3-exec) S 24739 24742 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50792494 9740288 345 18446744073709551615 4194304 5098028 140736755114704 140736755112808 140039339401852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40169472 140736755122558 140736755122762 140736755122762 140736755126251 0
/proc/24742/statm: 2378 345 289 221 0 87 0
[pid=24744] ppid=24742 vsize=13974352 memory=37560 CPUtime=0.28 cores=1,3,5,7
/proc/24744/stat : 24744 (java) S 24742 24742 11586 0 -1 1077944320 8493 0 0 0 25 3 0 0 20 0 15 0 50792503 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140733990625840 140223428746999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
/proc/24744/statm: 3493588 9390 2979 1 0 3482964 0
[pid=24744/tid=24745] ppid=24742 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/24744/task/24745/stat : 24745 (java) R 24742 24742 11586 0 -1 4202560 5703 0 0 0 15 2 0 0 20 0 15 0 50792503 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140223432969488 140223428768925 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24746] ppid=24742 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24746/stat : 24746 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140223370693776 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24747] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24747/stat : 24747 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140223369640976 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24748] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24748/stat : 24748 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140223368588176 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24749] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24749/stat : 24749 (java) S 24742 24742 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50792504 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140223026043664 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24750] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24750/stat : 24750 (java) S 24742 24742 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50792505 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140222974490992 140223428758146 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24751] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24751/stat : 24751 (java) S 24742 24742 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50792506 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140222973436960 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24752] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24752/stat : 24752 (java) S 24742 24742 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50792506 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140222972384112 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24753] ppid=24742 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24753/stat : 24753 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140222971332432 140223428765595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24754] ppid=24742 vsize=13974352 memory=139786354709440 CPUtime=0.01 cores=1,3,5,7
/proc/24744/task/24754/stat : 24754 (java) R 24742 24742 11586 0 -1 4202560 495 0 0 0 1 0 0 0 20 0 15 0 50792508 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140222970280816 140223409447296 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24755] ppid=24742 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24744/task/24755/stat : 24755 (java) S 24742 24742 11586 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 15 0 50792508 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140222969228016 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24756] ppid=24742 vsize=13974352 memory=139786503632512 CPUtime=0.06 cores=1,3,5,7
/proc/24744/task/24756/stat : 24756 (java) R 24742 24742 11586 0 -1 4202560 699 0 0 0 6 0 0 0 20 0 15 0 50792508 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140222968175216 140223428768346 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24757] ppid=24742 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24757/stat : 24757 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140222967122656 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24758] ppid=24742 vsize=13974352 memory=139786503632512 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24758/stat : 24758 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792514 14309736448 9390 18446744073709551615 4194304 4196468 140733990643296 140222966069936 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38940 KiB
[startup+0.70378 s]
/proc/loadavg: 2.06 2.03 1.94 6/211 24758
/proc/meminfo: memFree=31568504/32770624 swapFree=67108860/67108860
[pid=24742] ppid=24739 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24742/stat : 24742 (xcsp3-exec) S 24739 24742 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50792494 9740288 345 18446744073709551615 4194304 5098028 140736755114704 140736755112808 140039339401852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40169472 140736755122558 140736755122762 140736755122762 140736755126251 0
/proc/24742/statm: 2378 345 289 221 0 87 0
[pid=24744] ppid=24742 vsize=13980732 memory=67584 CPUtime=1.18 cores=1,3,5,7
/proc/24744/stat : 24744 (java) S 24742 24742 11586 0 -1 1077944320 12993 0 0 0 113 5 0 0 20 0 15 0 50792503 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140733990625840 140223428746999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
/proc/24744/statm: 3495183 16896 3172 1 0 3483476 0
[pid=24744/tid=24745] ppid=24742 vsize=13980732 memory=5787220424116233554 CPUtime=0.55 cores=1,3,5,7
/proc/24744/task/24745/stat : 24745 (java) R 24742 24742 11586 0 -1 4202560 8284 0 0 0 52 3 0 0 20 0 15 0 50792503 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140223432984560 140223428768346 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24746] ppid=24742 vsize=13980732 memory=7449868991094407273 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24746/stat : 24746 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140223370693776 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24747] ppid=24742 vsize=13980732 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24747/stat : 24747 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140223369640976 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24748] ppid=24742 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24748/stat : 24748 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140223368588176 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24749] ppid=24742 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24749/stat : 24749 (java) S 24742 24742 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50792504 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140223026043664 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24750] ppid=24742 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24750/stat : 24750 (java) S 24742 24742 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50792505 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140222974490992 140223428758146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24751] ppid=24742 vsize=13980732 memory=-3756611412707075625 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24751/stat : 24751 (java) S 24742 24742 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50792506 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140222973436960 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24752] ppid=24742 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24752/stat : 24752 (java) S 24742 24742 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50792506 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140222972384112 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24753] ppid=24742 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24753/stat : 24753 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140222971332432 140223428765595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24754] ppid=24742 vsize=13980732 memory=279572709092720 CPUtime=0.15 cores=1,3,5,7
/proc/24744/task/24754/stat : 24754 (java) R 24742 24742 11586 0 -1 4202560 1103 0 0 0 15 0 0 0 20 0 15 0 50792508 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140222970270544 140223428758934 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24755] ppid=24742 vsize=13980732 memory=6943526294502006880 CPUtime=0.15 cores=1,3,5,7
/proc/24744/task/24755/stat : 24755 (java) R 24742 24742 11586 0 -1 1077944384 890 0 0 0 15 0 0 0 20 0 15 0 50792508 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140222969211616 140223428757205 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24756] ppid=24742 vsize=13980732 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/24744/task/24756/stat : 24756 (java) R 24742 24742 11586 0 -1 4202560 1412 0 0 0 29 0 0 0 20 0 15 0 50792508 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140222968170976 140223412827486 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24757] ppid=24742 vsize=13980732 memory=279572709110480 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24757/stat : 24757 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140222967122656 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24758] ppid=24742 vsize=13980732 memory=825307185 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24758/stat : 24758 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792514 14316269568 16896 18446744073709551615 4194304 4196468 140733990643296 140222966069936 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68964 KiB
[startup+1.50082 s]
/proc/loadavg: 2.06 2.03 1.94 5/211 24758
/proc/meminfo: memFree=31542964/32770624 swapFree=67108860/67108860
[pid=24742] ppid=24739 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24742/stat : 24742 (xcsp3-exec) S 24739 24742 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50792494 9740288 345 18446744073709551615 4194304 5098028 140736755114704 140736755112808 140039339401852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40169472 140736755122558 140736755122762 140736755122762 140736755126251 0
/proc/24742/statm: 2378 345 289 221 0 87 0
[pid=24744] ppid=24742 vsize=13980732 memory=85448 CPUtime=3.66 cores=1,3,5,7
/proc/24744/stat : 24744 (java) S 24742 24742 11586 0 -1 1077944320 21097 0 0 0 360 6 0 0 20 0 15 0 50792503 14316269568 21362 18446744073709551615 4194304 4196468 140733990643296 140733990625840 140223428746999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
/proc/24744/statm: 3495183 21362 3189 1 0 3483476 0
[pid=24744/tid=24745] ppid=24742 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/24744/task/24745/stat : 24745 (java) R 24742 24742 11586 0 -1 4202560 8904 0 0 0 131 4 0 0 20 0 15 0 50792503 14316269568 21362 18446744073709551615 4194304 4196468 140733990643296 140223432983696 140223428758934 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24746] ppid=24742 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24746/stat : 24746 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14316269568 21362 18446744073709551615 4194304 4196468 140733990643296 140223370693776 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24747] ppid=24742 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24747/stat : 24747 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14316269568 21362 18446744073709551615 4194304 4196468 140733990643296 140223369640976 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24748] ppid=24742 vsize=13980732 memory=83160 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24748/stat : 24748 (java) S 24742 24742 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50792504 14316269568 21362 18446744073709551615 4194304 4196468 140733990643296 140223368588176 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24749] ppid=24742 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24749/stat : 24749 (java) S 24742 24742 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50792504 14316269568 21362 18446744073709551615 4194304 4196468 140733990643296 140223026043664 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24750] ppid=24742 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24750/stat : 24750 (java) S 24742 24742 11586 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 50792505 14316269568 21362 18446744073709551615 4194304 4196468 140733990643296 140222974490992 140223428758146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24751] ppid=24742 vsize=13980732 memory=80664 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/24744/task/24752/stat : 24752 (java) S 24742 24742 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 50792506 14316269568 41373 18446744073709551615 4194304 4196468 140733990643296 140222972384112 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24753] ppid=24742 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24753/stat : 24753 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 41373 18446744073709551615 4194304 4196468 140733990643296 140222971332432 140223428765595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24754] ppid=24742 vsize=13980732 memory=165268 CPUtime=1.41 cores=1,3,5,7
/proc/24744/task/24754/stat : 24754 (java) S 24742 24742 11586 0 -1 1077944384 8857 0 0 0 141 0 0 0 20 0 15 0 50792508 14316269568 41373 18446744073709551615 4194304 4196468 140733990643296 140222970280816 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24755] ppid=24742 vsize=13980732 memory=1380 CPUtime=1.51 cores=1,3,5,7
/proc/24744/task/24755/stat : 24755 (java) S 24742 24742 11586 0 -1 1077944384 7712 0 0 0 150 1 0 0 20 0 15 0 50792508 14316269568 41373 18446744073709551615 4194304 4196468 140733990643296 140222969228016 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24756] ppid=24742 vsize=13980732 memory=279572710250832 CPUtime=0.45 cores=1,3,5,7
/proc/24744/task/24756/stat : 24756 (java) S 24742 24742 11586 0 -1 1077944384 4394 0 0 0 44 1 0 0 20 0 15 0 50792508 14316269568 41373 18446744073709551615 4194304 4196468 140733990643296 140222968175216 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24757] ppid=24742 vsize=13980732 memory=288230377108275491 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24757/stat : 24757 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 41373 18446744073709551615 4194304 4196468 140733990643296 140222967122656 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24758] ppid=24742 vsize=13980732 memory=-8774313645642428999 CPUtime=0.02 cores=1,3,5,7
/proc/24744/task/24758/stat : 24758 (java) S 24742 24742 11586 0 -1 1077944384 695 0 0 0 1 1 0 0 20 0 15 0 50792514 14316269568 41373 18446744073709551615 4194304 4196468 140733990643296 140222966069936 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
Current children cumulated CPU time: 105.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 166872 KiB
[startup+162.302 s]
/proc/loadavg: 1.33 1.74 1.85 3/215 24779
/proc/meminfo: memFree=31457372/32770624 swapFree=67108860/67108860
[pid=24742] ppid=24739 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24742/stat : 24742 (xcsp3-exec) S 24739 24742 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50792494 9740288 345 18446744073709551615 4194304 5098028 140736755114704 140736755112808 140039339401852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40169472 140736755122558 140736755122762 140736755122762 140736755126251 0
/proc/24742/statm: 2378 345 289 221 0 87 0
[pid=24744] ppid=24742 vsize=13980732 memory=174048 CPUtime=166.07 cores=1,3,5,7
/proc/24744/stat : 24744 (java) S 24742 24742 11586 0 -1 1077944320 44555 0 0 0 16587 20 0 0 20 0 15 0 50792503 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140733990625840 140223428746999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
/proc/24744/statm: 3495183 43512 3222 1 0 3483476 0
[pid=24744/tid=24745] ppid=24742 vsize=13980732 memory=173896 CPUtime=161.71 cores=1,3,5,7
/proc/24744/task/24745/stat : 24745 (java) R 24742 24742 11586 0 -1 4202560 13687 0 0 0 16166 5 0 0 20 0 15 0 50792503 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140223432986464 140223051790288 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24746] ppid=24742 vsize=13980732 memory=173896 CPUtime=0.17 cores=1,3,5,7
/proc/24744/task/24746/stat : 24746 (java) S 24742 24742 11586 0 -1 1077944384 2227 0 0 0 14 3 0 0 20 0 15 0 50792504 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140223370693776 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24747] ppid=24742 vsize=13980732 memory=173896 CPUtime=0.18 cores=1,3,5,7
/proc/24744/task/24747/stat : 24747 (java) S 24742 24742 11586 0 -1 1077944384 1067 0 0 0 16 2 0 0 20 0 15 0 50792504 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140223369640976 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24748] ppid=24742 vsize=13980732 memory=173896 CPUtime=0.17 cores=1,3,5,7
/proc/24744/task/24748/stat : 24748 (java) S 24742 24742 11586 0 -1 1077944384 1254 0 0 0 15 2 0 0 20 0 15 0 50792504 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140223368588176 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24749] ppid=24742 vsize=13980732 memory=173896 CPUtime=0.17 cores=1,3,5,7
/proc/24744/task/24749/stat : 24749 (java) S 24742 24742 11586 0 -1 1077944384 1158 0 0 0 15 2 0 0 20 0 15 0 50792504 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140223026043664 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24750] ppid=24742 vsize=13980732 memory=173896 CPUtime=0.17 cores=1,3,5,7
/proc/24744/task/24750/stat : 24750 (java) S 24742 24742 11586 0 -1 1077944384 1896 0 0 0 15 2 0 0 20 0 15 0 50792505 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140222974490992 140223428758146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24751] ppid=24742 vsize=13980732 memory=173896 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24751/stat : 24751 (java) S 24742 24742 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 50792506 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140222973436960 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24752] ppid=24742 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24752/stat : 24752 (java) S 24742 24742 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 50792506 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140222972384112 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24753] ppid=24742 vsize=13980732 memory=173896 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24753/stat : 24753 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140222971332432 140223428765595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24754] ppid=24742 vsize=13980732 memory=1380 CPUtime=1.41 cores=1,3,5,7
/proc/24744/task/24754/stat : 24754 (java) S 24742 24742 11586 0 -1 1077944384 8859 0 0 0 141 0 0 0 20 0 15 0 50792508 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140222970280816 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24755] ppid=24742 vsize=13980732 memory=1380 CPUtime=1.51 cores=1,3,5,7
/proc/24744/task/24755/stat : 24755 (java) S 24742 24742 11586 0 -1 1077944384 7715 0 0 0 150 1 0 0 20 0 15 0 50792508 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140222969228016 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24756] ppid=24742 vsize=13980732 memory=1380 CPUtime=0.45 cores=1,3,5,7
/proc/24744/task/24756/stat : 24756 (java) S 24742 24742 11586 0 -1 1077944384 4640 0 0 0 44 1 0 0 20 0 15 0 50792508 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140222968175216 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24757] ppid=24742 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24757/stat : 24757 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140222967122656 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24758] ppid=24742 vsize=13980732 memory=29064 CPUtime=0.04 cores=1,3,5,7
/proc/24744/task/24758/stat : 24758 (java) S 24742 24742 11586 0 -1 1077944384 705 0 0 0 2 2 0 0 20 0 15 0 50792514 14316269568 43512 18446744073709551615 4194304 4196468 140733990643296 140222966069936 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
Current children cumulated CPU time: 166.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 175428 KiB
[startup+222.301 s]
/proc/loadavg: 1.39 1.68 1.82 3/204 24803
/proc/meminfo: memFree=31620504/32770624 swapFree=67108860/67108860
[pid=24742] ppid=24739 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24742/stat : 24742 (xcsp3-exec) S 24739 24742 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50792494 9740288 345 18446744073709551615 4194304 5098028 140736755114704 140736755112808 140039339401852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40169472 140736755122558 140736755122762 140736755122762 140736755126251 0
/proc/24742/statm: 2378 345 289 221 0 87 0
[pid=24744] ppid=24742 vsize=13980732 memory=183808 CPUtime=226.38 cores=1,3,5,7
/proc/24744/stat : 24744 (java) S 24742 24742 11586 0 -1 1077944320 45309 0 0 0 22614 24 0 0 20 0 15 0 50792503 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140733990625840 140223428746999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
/proc/24744/statm: 3495183 45952 3222 1 0 3483476 0
[pid=24744/tid=24745] ppid=24742 vsize=13980732 memory=183808 CPUtime=221.47 cores=1,3,5,7
/proc/24744/task/24745/stat : 24745 (java) R 24742 24742 11586 0 -1 4202560 13926 0 0 0 22141 6 0 0 20 0 15 0 50792503 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223432986784 140223054269835 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24746] ppid=24742 vsize=13980732 memory=183808 CPUtime=0.28 cores=1,3,5,7
/proc/24744/task/24746/stat : 24746 (java) S 24742 24742 11586 0 -1 1077944384 2385 0 0 0 25 3 0 0 20 0 15 0 50792504 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223370693776 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24747] ppid=24742 vsize=13980732 memory=15880 CPUtime=0.29 cores=1,3,5,7
/proc/24744/task/24747/stat : 24747 (java) S 24742 24742 11586 0 -1 1077944384 1171 0 0 0 26 3 0 0 20 0 15 0 50792504 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223369640976 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24748] ppid=24742 vsize=13980732 memory=1380 CPUtime=0.28 cores=1,3,5,7
/proc/24744/task/24748/stat : 24748 (java) S 24742 24742 11586 0 -1 1077944384 1382 0 0 0 25 3 0 0 20 0 15 0 50792504 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223368588176 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24749] ppid=24742 vsize=13980732 memory=279572710751616 CPUtime=0.29 cores=1,3,5,7
/proc/24744/task/24749/stat : 24749 (java) S 24742 24742 11586 0 -1 1077944384 1261 0 0 0 26 3 0 0 20 0 15 0 50792504 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223026043664 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24750] ppid=24742 vsize=13980732 memory=183808 CPUtime=0.27 cores=1,3,5,7
/proc/24744/task/24750/stat : 24750 (java) S 24742 24742 11586 0 -1 1077944384 1915 0 0 0 25 2 0 0 20 0 15 0 50792505 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222974490992 140223428758146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24751] ppid=24742 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24751/stat : 24751 (java) S 24742 24742 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 50792506 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222973436960 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24752] ppid=24742 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24752/stat : 24752 (java) S 24742 24742 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 50792506 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222972384112 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24753] ppid=24742 vsize=13980732 memory=5668 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24753/stat : 24753 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222971332432 140223428765595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24754] ppid=24742 vsize=13980732 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/24744/task/24754/stat : 24754 (java) S 24742 24742 11586 0 -1 1077944384 8859 0 0 0 141 0 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222970280816 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24755] ppid=24742 vsize=13980732 memory=20727 CPUtime=1.51 cores=1,3,5,7
/proc/24744/task/24755/stat : 24755 (java) S 24742 24742 11586 0 -1 1077944384 7715 0 0 0 150 1 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222969228016 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24756] ppid=24742 vsize=13980732 memory=1380 CPUtime=0.45 cores=1,3,5,7
/proc/24744/task/24756/stat : 24756 (java) S 24742 24742 11586 0 -1 1077944384 4640 0 0 0 44 1 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222968175216 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24757] ppid=24742 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24757/stat : 24757 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222967122656 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24758] ppid=24742 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/24744/task/24758/stat : 24758 (java) S 24742 24742 11586 0 -1 1077944384 708 0 0 0 3 3 0 0 20 0 15 0 50792514 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222966069936 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
Current children cumulated CPU time: 226.38 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 185188 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.22 1.63 1.80 2/191 24832
/proc/meminfo: memFree=31635956/32770624 swapFree=67108860/67108860
[pid=24742] ppid=24739 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24742/stat : 24742 (xcsp3-exec) S 24739 24742 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50792494 9740288 345 18446744073709551615 4194304 5098028 140736755114704 140736755112808 140039339401852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 40169472 140736755122558 140736755122762 140736755122762 140736755126251 0
/proc/24742/statm: 2378 345 289 221 0 87 0
[pid=24744] ppid=24742 vsize=13980732 memory=183808 CPUtime=244.1 cores=1,3,5,7
/proc/24744/stat : 24744 (java) S 24742 24742 11586 0 -1 1077944320 45322 0 0 0 24386 24 0 0 20 0 15 0 50792503 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140733990625840 140223428746999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
/proc/24744/statm: 3495183 45952 3222 1 0 3483476 0
[pid=24744/tid=24745] ppid=24742 vsize=13980732 memory=3908 CPUtime=239.17 cores=1,3,5,7
/proc/24744/task/24745/stat : 24745 (java) R 24742 24742 11586 0 -1 4202560 13931 0 0 0 23911 6 0 0 20 0 15 0 50792503 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223432986432 140223054269747 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24746] ppid=24742 vsize=13980732 memory=2884 CPUtime=0.28 cores=1,3,5,7
/proc/24744/task/24746/stat : 24746 (java) S 24742 24742 11586 0 -1 1077944384 2385 0 0 0 25 3 0 0 20 0 15 0 50792504 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223370693776 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24747] ppid=24742 vsize=13980732 memory=4126316290023845779 CPUtime=0.29 cores=1,3,5,7
/proc/24744/task/24747/stat : 24747 (java) S 24742 24742 11586 0 -1 1077944384 1176 0 0 0 26 3 0 0 20 0 15 0 50792504 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223369640976 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24748] ppid=24742 vsize=13980732 memory=4126316290023845779 CPUtime=0.28 cores=1,3,5,7
/proc/24744/task/24748/stat : 24748 (java) S 24742 24742 11586 0 -1 1077944384 1385 0 0 0 25 3 0 0 20 0 15 0 50792504 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223368588176 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24749] ppid=24742 vsize=13980732 memory=796 CPUtime=0.29 cores=1,3,5,7
/proc/24744/task/24749/stat : 24749 (java) S 24742 24742 11586 0 -1 1077944384 1261 0 0 0 26 3 0 0 20 0 15 0 50792504 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140223026043664 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24750] ppid=24742 vsize=13980732 memory=9992 CPUtime=0.27 cores=1,3,5,7
/proc/24744/task/24750/stat : 24750 (java) S 24742 24742 11586 0 -1 1077944384 1915 0 0 0 25 2 0 0 20 0 15 0 50792505 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222974490992 140223428758146 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24751] ppid=24742 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24751/stat : 24751 (java) S 24742 24742 11586 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 50792506 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222973436960 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24752] ppid=24742 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24752/stat : 24752 (java) S 24742 24742 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 50792506 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222972384112 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24753] ppid=24742 vsize=13980732 memory=29064 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24753/stat : 24753 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222971332432 140223428765595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24754] ppid=24742 vsize=13980732 memory=-8774313645642428999 CPUtime=1.41 cores=1,3,5,7
/proc/24744/task/24754/stat : 24754 (java) S 24742 24742 11586 0 -1 1077944384 8859 0 0 0 141 0 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222970280816 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24755] ppid=24742 vsize=13980732 memory=8896 CPUtime=1.51 cores=1,3,5,7
/proc/24744/task/24755/stat : 24755 (java) S 24742 24742 11586 0 -1 1077944384 7715 0 0 0 150 1 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222969228016 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24756] ppid=24742 vsize=13980732 memory=4616 CPUtime=0.45 cores=1,3,5,7
/proc/24744/task/24756/stat : 24756 (java) S 24742 24742 11586 0 -1 1077944384 4640 0 0 0 44 1 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222968175216 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24757] ppid=24742 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/24744/task/24757/stat : 24757 (java) S 24742 24742 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50792508 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222967122656 140223428757205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
[pid=24744/tid=24758] ppid=24742 vsize=13980732 memory=1204 CPUtime=0.06 cores=1,3,5,7
/proc/24744/task/24758/stat : 24758 (java) S 24742 24742 11586 0 -1 1077944384 708 0 0 0 3 3 0 0 20 0 15 0 50792514 14316269568 45952 18446744073709551615 4194304 4196468 140733990643296 140222966069936 140223428758146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37675008 140733990646199 140733990646374 140733990646374 140733990649807 0
Current children cumulated CPU time: 244.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 185188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 24742 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001865 s, system=0 s
[startup+240.022 s]
# the end of solver process 24744 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.875 s, system=0.253401 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.022
CPU time (s): 244.128
CPU user time (s): 243.875
CPU system time (s): 0.253401
CPU usage (%): 101.711
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 204904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.875
system time used= 0.253401
maximum resident set size= 205572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14421
involuntary context switches= 441
# summary of solver processes directly reported to runsolver:
# pid: 24742,24744
# total CPU time (s): 244.128
# total CPU user time (s): 243.875
# total CPU system time (s): 0.253401
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32446 second user time and 2.31497 second system time
The end