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 (13962 MiB free)
memory of node 1: 16384 MiB (15727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283627-1503208718/watcher-4283627-1503208718 -o /tmp/evaluation-result-4283627-1503208718/solver-4283627-1503208718 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30420 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 791639445 HOME/instance-4283627-1503208718.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4554, runsolver pid=4551
[startup+0.100113 s]*
/proc/loadavg: 1.89 1.87 2.03 3/202 4561
/proc/meminfo: memFree=30396568/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (xcsp3-exec) S 4551 4554 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19279765 9740288 345 18446744073709551615 4194304 5098028 140736449114896 140736449113000 140267471557244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28393472 140736449122682 140736449122886 140736449122886 140736449126379 0
/proc/4554/statm: 2378 345 289 221 0 87 0
[pid=4556] ppid=4554 vsize=13441356 memory=16944 CPUtime=0.01 cores=1,3,5,7
/proc/4556/stat : 4556 (java) S 4554 4554 15523 0 -1 1077944320 3500 0 0 0 1 0 0 0 20 0 7 0 19279774 13763948544 4236 18446744073709551615 4194304 4196468 140735720328768 140735720311312 139918870339319 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
/proc/4556/statm: 3360339 4236 1978 1 0 3349836 0
[pid=4556/tid=4557] ppid=4554 vsize=13441356 memory=1404226546353086858 CPUtime=0.01 cores=1,3,5,7
/proc/4556/task/4557/stat : 4557 (java) R 4554 4554 15523 0 -1 4202560 2284 0 0 0 1 0 0 0 20 0 7 0 19279774 13763948544 4236 18446744073709551615 4194304 4196468 140735720328768 139918874581776 139918851988398 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4558] ppid=4554 vsize=13441356 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4558/stat : 4558 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 19279774 13763948544 4236 18446744073709551615 4194304 4196468 140735720328768 139918831237776 139918870349525 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4559] ppid=4554 vsize=13441356 memory=140137502353024 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4559/stat : 4559 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 19279775 13763948544 4236 18446744073709551615 4194304 4196468 140735720328768 139918830184976 139918870349525 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4560] ppid=4554 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4560/stat : 4560 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 19279775 13763948544 4236 18446744073709551615 4194304 4196468 140735720328768 139918829132176 139918870349525 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4561] ppid=4554 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (java) S 4554 4554 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 19279775 13763948544 4236 18446744073709551615 4194304 4196468 140735720328768 139918467066128 139918870349525 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4562] ppid=4554 vsize=13441356 memory=140137502353024 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4562/stat : 4562 (java) S 4554 4554 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 19279776 13763948544 4236 18446744073709551615 4194304 4196468 140735720328768 139917787089776 139918870350466 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18324 KiB
[startup+0.209908 s]*
/proc/loadavg: 1.89 1.87 2.03 4/211 4570
/proc/meminfo: memFree=30386188/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (xcsp3-exec) S 4551 4554 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19279765 9740288 345 18446744073709551615 4194304 5098028 140736449114896 140736449113000 140267471557244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28393472 140736449122682 140736449122886 140736449122886 140736449126379 0
/proc/4554/statm: 2378 345 289 221 0 87 0
[pid=4556] ppid=4554 vsize=13974352 memory=27720 CPUtime=0.11 cores=1,3,5,7
/proc/4556/stat : 4556 (java) S 4554 4554 15523 0 -1 1077944320 5347 0 0 0 10 1 0 0 20 0 15 0 19279774 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 140735720311312 139918870339319 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
/proc/4556/statm: 3493588 6930 2820 1 0 3482964 0
[pid=4556/tid=4557] ppid=4554 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/4556/task/4557/stat : 4557 (java) R 4554 4554 15523 0 -1 4202560 3367 0 0 0 8 0 0 0 20 0 15 0 19279774 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139918874572592 139918870351254 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4558] ppid=4554 vsize=13974352 memory=4294976238 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4558/stat : 4558 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279774 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139918831237776 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4559] ppid=4554 vsize=13974352 memory=140137502409000 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4559/stat : 4559 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279775 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139918830184976 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4560] ppid=4554 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4560/stat : 4560 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279775 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139918829132176 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4561] ppid=4554 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (java) S 4554 4554 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19279775 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139918467066128 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4562] ppid=4554 vsize=13974352 memory=140137502353024 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4562/stat : 4562 (java) S 4554 4554 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19279776 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139917787089776 139918870350466 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4563] ppid=4554 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4563/stat : 4563 (java) S 4554 4554 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19279776 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139917786035744 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4564] ppid=4554 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4564/stat : 4564 (java) S 4554 4554 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19279776 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139917784982896 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4565] ppid=4554 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4565/stat : 4565 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139917783931216 139918870357915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4566] ppid=4554 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4566/stat : 4566 (java) S 4554 4554 15523 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 19279779 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139917782878576 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4567] ppid=4554 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4567/stat : 4567 (java) S 4554 4554 15523 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 15 0 19279779 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139917781825776 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4568] ppid=4554 vsize=13974352 memory=140137502353024 CPUtime=0.01 cores=1,3,5,7
/proc/4556/task/4568/stat : 4568 (java) R 4554 4554 15523 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 19279779 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139917780772976 139918854419806 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4569] ppid=4554 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4569/stat : 4569 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139917779720416 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4570] ppid=4554 vsize=13974352 memory=140137502353024 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4570/stat : 4570 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279783 14309736448 6930 18446744073709551615 4194304 4196468 140735720328768 139917778668720 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29100 KiB
[startup+0.312353 s]*
/proc/loadavg: 1.89 1.87 2.03 4/211 4570
/proc/meminfo: memFree=30373220/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (xcsp3-exec) S 4551 4554 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19279765 9740288 345 18446744073709551615 4194304 5098028 140736449114896 140736449113000 140267471557244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28393472 140736449122682 140736449122886 140736449122886 140736449126379 0
/proc/4554/statm: 2378 345 289 221 0 87 0
[pid=4556] ppid=4554 vsize=13974352 memory=39308 CPUtime=0.33 cores=1,3,5,7
/proc/4556/stat : 4556 (java) S 4554 4554 15523 0 -1 1077944320 9058 0 0 0 30 3 0 0 20 0 15 0 19279774 14309736448 9827 18446744073709551615 4194304 4196468 140735720328768 140735720311312 139918870339319 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
/proc/4556/statm: 3493588 9827 2981 1 0 3482964 0
[pid=4556/tid=4557] ppid=4554 vsize=13974352 memory=6933928925625698159 CPUtime=0.19 cores=1,3,5,7
/proc/4556/task/4557/stat : 4557 (java) R 4554 4554 15523 0 -1 4202560 6298 0 0 0 17 2 0 0 20 0 15 0 19279774 14309736448 9883 18446744073709551615 4194304 4196468 140735720328768 139918874561464 139918872614484 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4558] ppid=4554 vsize=13976468 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4558/stat : 4558 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279774 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139918831237776 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4559] ppid=4554 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4559/stat : 4559 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279775 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139918830184976 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4560] ppid=4554 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4560/stat : 4560 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279775 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139918829132176 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4561] ppid=4554 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (java) S 4554 4554 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19279775 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139918467066128 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4562] ppid=4554 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4562/stat : 4562 (java) S 4554 4554 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19279776 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139917787089776 139918870350466 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4563] ppid=4554 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4563/stat : 4563 (java) S 4554 4554 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19279776 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139917786035744 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4564] ppid=4554 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4564/stat : 4564 (java) S 4554 4554 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19279776 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139917784982896 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4565] ppid=4554 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4565/stat : 4565 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139917783931216 139918870357915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4566] ppid=4554 vsize=13976468 memory=140137401177024 CPUtime=0.03 cores=1,3,5,7
/proc/4556/task/4566/stat : 4566 (java) S 4554 4554 15523 0 -1 1077944384 306 0 0 0 3 0 0 0 20 0 15 0 19279779 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139917782878576 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4567] ppid=4554 vsize=13976468 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4556/task/4567/stat : 4567 (java) S 4554 4554 15523 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 15 0 19279779 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139917781825776 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4568] ppid=4554 vsize=13976468 memory=140137502353024 CPUtime=0.07 cores=1,3,5,7
/proc/4556/task/4568/stat : 4568 (java) S 4554 4554 15523 0 -1 1077944384 749 0 0 0 7 0 0 0 20 0 15 0 19279779 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139917780772976 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4569] ppid=4554 vsize=13976468 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4569/stat : 4569 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139917779720416 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4570] ppid=4554 vsize=13976468 memory=140137502353024 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4570/stat : 4570 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279783 14311903232 9883 18446744073709551615 4194304 4196468 140735720328768 139917778668720 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40688 KiB
[startup+0.702389 s]
/proc/loadavg: 1.89 1.87 2.03 5/211 4570
/proc/meminfo: memFree=30363944/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (xcsp3-exec) S 4551 4554 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19279765 9740288 345 18446744073709551615 4194304 5098028 140736449114896 140736449113000 140267471557244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28393472 140736449122682 140736449122886 140736449122886 140736449126379 0
/proc/4554/statm: 2378 345 289 221 0 87 0
[pid=4556] ppid=4554 vsize=13980732 memory=67288 CPUtime=1.29 cores=1,3,5,7
/proc/4556/stat : 4556 (java) S 4554 4554 15523 0 -1 1077944320 12924 0 0 0 124 5 0 0 20 0 15 0 19279774 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 140735720311312 139918870339319 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
/proc/4556/statm: 3495183 16822 3170 1 0 3483476 0
[pid=4556/tid=4557] ppid=4554 vsize=13980732 memory=164 CPUtime=0.56 cores=1,3,5,7
/proc/4556/task/4557/stat : 4557 (java) R 4554 4554 15523 0 -1 4202560 8447 0 0 0 53 3 0 0 20 0 15 0 19279774 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139918874575728 139918855473151 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4558] ppid=4554 vsize=13980732 memory=-1161699032755964503 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4558/stat : 4558 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279774 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139918831237776 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4559] ppid=4554 vsize=13980732 memory=9198851636693019291 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4559/stat : 4559 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279775 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139918830184976 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4560] ppid=4554 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4560/stat : 4560 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279775 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139918829132176 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4561] ppid=4554 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (java) S 4554 4554 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19279775 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139918467066128 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4562] ppid=4554 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4562/stat : 4562 (java) S 4554 4554 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139917787089776 139918870350466 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4563] ppid=4554 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4563/stat : 4563 (java) S 4554 4554 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139917786035744 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4564] ppid=4554 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4564/stat : 4564 (java) S 4554 4554 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139917784982896 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4565] ppid=4554 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4565/stat : 4565 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139917783931216 139918870357915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4566] ppid=4554 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/4556/task/4566/stat : 4566 (java) R 4554 4554 15523 0 -1 4202560 819 0 0 0 19 0 0 0 20 0 15 0 19279779 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139917782861248 139918851883808 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4567] ppid=4554 vsize=13980732 memory=4 CPUtime=0.17 cores=1,3,5,7
/proc/4556/task/4567/stat : 4567 (java) R 4554 4554 15523 0 -1 1077944384 836 0 0 0 17 0 0 0 20 0 15 0 19279779 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139917781817728 139918870349525 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4568] ppid=4554 vsize=13980732 memory=4 CPUtime=0.33 cores=1,3,5,7
/proc/4556/task/4568/stat : 4568 (java) R 4554 4554 15523 0 -1 4202560 1515 0 0 0 33 0 0 0 20 0 15 0 19279779 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139917780772160 139918849728528 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4569] ppid=4554 vsize=13980732 memory=2784 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4569/stat : 4569 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139917779720416 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4570] ppid=4554 vsize=13980732 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4570/stat : 4570 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279783 14316269568 16822 18446744073709551615 4194304 4196468 140735720328768 139917778668720 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68668 KiB
[startup+1.50083 s]
/proc/loadavg: 1.98 1.89 2.04 5/211 4570
/proc/meminfo: memFree=30332652/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (xcsp3-exec) S 4551 4554 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19279765 9740288 345 18446744073709551615 4194304 5098028 140736449114896 140736449113000 140267471557244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28393472 140736449122682 140736449122886 140736449122886 140736449126379 0
/proc/4554/statm: 2378 345 289 221 0 87 0
[pid=4556] ppid=4554 vsize=13980732 memory=160584 CPUtime=3.81 cores=1,3,5,7
/proc/4556/stat : 4556 (java) S 4554 4554 15523 0 -1 1077944320 32900 0 0 0 373 8 0 0 20 0 15 0 19279774 14316269568 40146 18446744073709551615 4194304 4196468 140735720328768 140735720311312 139918870339319 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
/proc/4556/statm: 3495183 40146 3197 1 0 3483476 0
[pid=4556/tid=4557] ppid=4554 vsize=13980732 memory=-1161699032755964503 CPUtime=1.36 cores=1,3,5,7
/proc/4556/task/4557/stat : 4557 (java) R 4554 4554 15523 0 -1 4202560 9051 0 0 0 132 4 0 0 20 0 15 0 19279774 14316269568 40146 18446744073709551615 4194304 4196468 140735720328768 139918874575696 139918514494284 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4558] ppid=4554 vsize=13980732 memory=9198851636693019291 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4558/stat : 4558 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279774 14316269568 40146 18446744073709551615 4194304 4196468 140735720328768 139918831237776 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4559] ppid=4554 vsize=13980732 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4559/stat : 4559 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279775 14316269568 40146 18446744073709551615 4194304 4196468 140735720328768 139918830184976 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4560] ppid=4554 vsize=13980732 memory=-6876588628788210059 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4560/stat : 4560 (java) S 4554 4554 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19279775 14316269568 40146 18446744073709551615 4194304 4196468 140735720328768 139918829132176 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4561] ppid=4554 vsize=13980732 memory=6944658624146216565 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (java) S 4554 4554 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19279775 14316269568 40146 18446744073709551615 4194304 4196468 140735720328768 139918467066128 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4562] ppid=4554 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4562/stat : 4562 (java) S 4554 4554 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 40146 18446744073709551615 4194304 4196468 140735720328768 139917787089776 139918870350466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4563] ppid=4554 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=4556/tid=4562] ppid=4554 vsize=13980732 memory=699056 CPUtime=1.1 cores=1,3,5,7
/proc/4556/task/4562/stat : 4562 (java) S 4554 4554 15523 0 -1 1077944384 43797 0 0 0 88 22 0 0 20 0 15 0 19279776 14316269568 174764 18446744073709551615 4194304 4196468 140735720328768 139917787089776 139918870350466 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4563] ppid=4554 vsize=13980732 memory=699056 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4563/stat : 4563 (java) S 4554 4554 15523 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 174764 18446744073709551615 4194304 4196468 140735720328768 139917786035744 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4564] ppid=4554 vsize=13980732 memory=699056 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4564/stat : 4564 (java) S 4554 4554 15523 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 174764 18446744073709551615 4194304 4196468 140735720328768 139917784982896 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4565] ppid=4554 vsize=13980732 memory=699056 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4565/stat : 4565 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 174764 18446744073709551615 4194304 4196468 140735720328768 139917783931216 139918870357915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4566] ppid=4554 vsize=13980732 memory=1380 CPUtime=5.78 cores=1,3,5,7
/proc/4556/task/4566/stat : 4566 (java) S 4554 4554 15523 0 -1 1077944384 22673 0 0 0 577 1 0 0 20 0 15 0 19279779 14316269568 174764 18446744073709551615 4194304 4196468 140735720328768 139917782878576 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4567] ppid=4554 vsize=13980732 memory=711644 CPUtime=6.13 cores=1,3,5,7
/proc/4556/task/4567/stat : 4567 (java) S 4554 4554 15523 0 -1 1077944384 28490 0 0 0 610 3 0 0 20 0 15 0 19279779 14316269568 174764 18446744073709551615 4194304 4196468 140735720328768 139917781825776 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4568] ppid=4554 vsize=13980732 memory=280274803146512 CPUtime=0.95 cores=1,3,5,7
/proc/4556/task/4568/stat : 4568 (java) S 4554 4554 15523 0 -1 1077944384 11716 0 0 0 92 3 0 0 20 0 15 0 19279779 14316269568 174764 18446744073709551615 4194304 4196468 140735720328768 139917780772976 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4569] ppid=4554 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4569/stat : 4569 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 174764 18446744073709551615 4194304 4196468 140735720328768 139917779720416 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4570] ppid=4554 vsize=13980732 memory=699056 CPUtime=1.23 cores=1,3,5,7
/proc/4556/task/4570/stat : 4570 (java) S 4554 4554 15523 0 -1 1077944384 1078 0 0 0 54 69 0 0 20 0 15 0 19279783 14316269568 174764 18446744073709551615 4194304 4196468 140735720328768 139917778668720 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
Current children cumulated CPU time: 2394.58 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 700436 KiB
[startup+2382.3 s]
/proc/loadavg: 1.42 1.52 1.68 3/212 5041
/proc/meminfo: memFree=30643624/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (xcsp3-exec) S 4551 4554 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19279765 9740288 345 18446744073709551615 4194304 5098028 140736449114896 140736449113000 140267471557244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28393472 140736449122682 140736449122886 140736449122886 140736449126379 0
/proc/4554/statm: 2378 345 289 221 0 87 0
[pid=4556] ppid=4554 vsize=13980732 memory=722980 CPUtime=2456.22 cores=1,3,5,7
/proc/4556/stat : 4556 (java) S 4554 4554 15523 0 -1 1077944320 241517 0 0 0 245018 604 0 0 20 0 15 0 19279774 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 140735720311312 139918870339319 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
/proc/4556/statm: 3495183 180745 3257 1 0 3483476 0
[pid=4556/tid=4557] ppid=4554 vsize=13980732 memory=630684 CPUtime=2360.23 cores=1,3,5,7
/proc/4556/task/4557/stat : 4557 (java) R 4554 4554 15523 0 -1 4202560 69776 0 0 0 235996 27 0 0 20 0 15 0 19279774 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139918874579200 139918519827144 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4558] ppid=4554 vsize=13980732 memory=731708 CPUtime=20.13 cores=1,3,5,7
/proc/4556/task/4558/stat : 4558 (java) S 4554 4554 15523 0 -1 1077944384 15932 0 0 0 1891 122 0 0 20 0 15 0 19279774 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139918831237776 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4559] ppid=4554 vsize=13980732 memory=722980 CPUtime=20.14 cores=1,3,5,7
/proc/4556/task/4559/stat : 4559 (java) S 4554 4554 15523 0 -1 1077944384 17194 0 0 0 1890 124 0 0 20 0 15 0 19279775 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139918830184976 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4560] ppid=4554 vsize=13980732 memory=722980 CPUtime=20.16 cores=1,3,5,7
/proc/4556/task/4560/stat : 4560 (java) S 4554 4554 15523 0 -1 1077944384 14395 0 0 0 1894 122 0 0 20 0 15 0 19279775 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139918829132176 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4561] ppid=4554 vsize=13980732 memory=722980 CPUtime=20.19 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (java) S 4554 4554 15523 0 -1 1077944384 14136 0 0 0 1895 124 0 0 20 0 15 0 19279775 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139918467066128 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4562] ppid=4554 vsize=13980732 memory=1380 CPUtime=1.13 cores=1,3,5,7
/proc/4556/task/4562/stat : 4562 (java) S 4554 4554 15523 0 -1 1077944384 44755 0 0 0 91 22 0 0 20 0 15 0 19279776 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139917787089776 139918870350466 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4563] ppid=4554 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4563/stat : 4563 (java) S 4554 4554 15523 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139917786035744 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4564] ppid=4554 vsize=13980732 memory=280274803807888 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4564/stat : 4564 (java) S 4554 4554 15523 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139917784982896 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4565] ppid=4554 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4565/stat : 4565 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139917783931216 139918870357915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4566] ppid=4554 vsize=13980732 memory=1380 CPUtime=5.78 cores=1,3,5,7
/proc/4556/task/4566/stat : 4566 (java) S 4554 4554 15523 0 -1 1077944384 22675 0 0 0 577 1 0 0 20 0 15 0 19279779 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139917782878576 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4567] ppid=4554 vsize=13980732 memory=1380 CPUtime=6.13 cores=1,3,5,7
/proc/4556/task/4567/stat : 4567 (java) S 4554 4554 15523 0 -1 1077944384 28492 0 0 0 610 3 0 0 20 0 15 0 19279779 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139917781825776 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4568] ppid=4554 vsize=13980732 memory=4124 CPUtime=0.95 cores=1,3,5,7
/proc/4556/task/4568/stat : 4568 (java) S 4554 4554 15523 0 -1 1077944384 11719 0 0 0 92 3 0 0 20 0 15 0 19279779 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139917780772976 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4569] ppid=4554 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4569/stat : 4569 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139917779720416 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4570] ppid=4554 vsize=13980732 memory=956 CPUtime=1.26 cores=1,3,5,7
/proc/4556/task/4570/stat : 4570 (java) S 4554 4554 15523 0 -1 1077944384 1095 0 0 0 55 71 0 0 20 0 15 0 19279783 14316269568 180745 18446744073709551615 4194304 4196468 140735720328768 139917778668720 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
Current children cumulated CPU time: 2456.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 724360 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.57 1.69 3/211 5044
/proc/meminfo: memFree=30735284/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (xcsp3-exec) S 4551 4554 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19279765 9740288 345 18446744073709551615 4194304 5098028 140736449114896 140736449113000 140267471557244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28393472 140736449122682 140736449122886 140736449122886 140736449126379 0
/proc/4554/statm: 2378 345 289 221 0 87 0
[pid=4556] ppid=4554 vsize=13980732 memory=636856 CPUtime=2517.89 cores=1,3,5,7
/proc/4556/stat : 4556 (java) S 4554 4554 15523 0 -1 1077944320 245886 0 0 0 251179 610 0 0 20 0 15 0 19279774 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 140735720311312 139918870339319 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
/proc/4556/statm: 3495183 159214 3257 1 0 3483476 0
[pid=4556/tid=4557] ppid=4554 vsize=13980732 memory=657880 CPUtime=2419.64 cores=1,3,5,7
/proc/4556/task/4557/stat : 4557 (java) R 4554 4554 15523 0 -1 4202560 72808 0 0 0 241937 27 0 0 20 0 15 0 19279774 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139918874578448 139918517593036 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4558] ppid=4554 vsize=13980732 memory=589288 CPUtime=20.69 cores=1,3,5,7
/proc/4556/task/4558/stat : 4558 (java) S 4554 4554 15523 0 -1 1077944384 16151 0 0 0 1946 123 0 0 20 0 15 0 19279774 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139918831237776 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4559] ppid=4554 vsize=13980732 memory=636856 CPUtime=20.68 cores=1,3,5,7
/proc/4556/task/4559/stat : 4559 (java) S 4554 4554 15523 0 -1 1077944384 17572 0 0 0 1943 125 0 0 20 0 15 0 19279775 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139918830184976 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4560] ppid=4554 vsize=13980732 memory=636856 CPUtime=20.73 cores=1,3,5,7
/proc/4556/task/4560/stat : 4560 (java) S 4554 4554 15523 0 -1 1077944384 14475 0 0 0 1949 124 0 0 20 0 15 0 19279775 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139918829132176 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4561] ppid=4554 vsize=13980732 memory=1380 CPUtime=20.75 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (java) S 4554 4554 15523 0 -1 1077944384 14257 0 0 0 1950 125 0 0 20 0 15 0 19279775 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139918467066128 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4562] ppid=4554 vsize=13980732 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/4556/task/4562/stat : 4562 (java) S 4554 4554 15523 0 -1 1077944384 45273 0 0 0 93 23 0 0 20 0 15 0 19279776 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139917787089776 139918870350466 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4563] ppid=4554 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4563/stat : 4563 (java) S 4554 4554 15523 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139917786035744 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4564] ppid=4554 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4564/stat : 4564 (java) S 4554 4554 15523 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139917784982896 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4565] ppid=4554 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4565/stat : 4565 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139917783931216 139918870357915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4566] ppid=4554 vsize=13980732 memory=1380 CPUtime=5.79 cores=1,3,5,7
/proc/4556/task/4566/stat : 4566 (java) S 4554 4554 15523 0 -1 1077944384 22677 0 0 0 577 2 0 0 20 0 15 0 19279779 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139917782878576 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4567] ppid=4554 vsize=13980732 memory=620064 CPUtime=6.13 cores=1,3,5,7
/proc/4556/task/4567/stat : 4567 (java) S 4554 4554 15523 0 -1 1077944384 28494 0 0 0 610 3 0 0 20 0 15 0 19279779 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139917781825776 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4568] ppid=4554 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/4556/task/4568/stat : 4568 (java) S 4554 4554 15523 0 -1 1077944384 11721 0 0 0 92 3 0 0 20 0 15 0 19279779 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139917780772976 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4569] ppid=4554 vsize=13980732 memory=620064 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4569/stat : 4569 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139917779720416 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4570] ppid=4554 vsize=13980732 memory=1380 CPUtime=1.29 cores=1,3,5,7
/proc/4556/task/4570/stat : 4570 (java) S 4554 4554 15523 0 -1 1077944384 1110 0 0 0 57 72 0 0 20 0 15 0 19279783 14316269568 159214 18446744073709551615 4194304 4196468 140735720328768 139917778668720 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
Current children cumulated CPU time: 2517.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 638236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2444.4 s]
/proc/loadavg: 1.66 1.57 1.69 3/211 5044
/proc/meminfo: memFree=30718900/32770624 swapFree=67108860/67108860
[pid=4554] ppid=4551 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4554/stat : 4554 (xcsp3-exec) S 4551 4554 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19279765 9740288 345 18446744073709551615 4194304 5098028 140736449114896 140736449113000 140267471557244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28393472 140736449122682 140736449122886 140736449122886 140736449126379 0
/proc/4554/statm: 2378 345 289 221 0 87 0
[pid=4556] ppid=4554 vsize=13980732 memory=653240 CPUtime=2520.06 cores=1,3,5,7
/proc/4556/stat : 4556 (java) S 4554 4554 15523 0 -1 1077944320 245921 0 0 0 251393 613 0 0 20 0 15 0 19279774 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 140735720311312 139918870339319 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
/proc/4556/statm: 3495183 163310 3257 1 0 3483476 0
[pid=4556/tid=4557] ppid=4554 vsize=13980732 memory=4300 CPUtime=2421.71 cores=1,3,5,7
/proc/4556/task/4557/stat : 4557 (java) R 4554 4554 15523 0 -1 4202560 72809 0 0 0 242144 27 0 0 20 0 15 0 19279774 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139918874578656 139918519912713 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4558] ppid=4554 vsize=13980732 memory=1576 CPUtime=20.71 cores=1,3,5,7
/proc/4556/task/4558/stat : 4558 (java) S 4554 4554 15523 0 -1 1077944384 16159 0 0 0 1947 124 0 0 20 0 15 0 19279774 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139918831237776 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4559] ppid=4554 vsize=13980732 memory=1380 CPUtime=20.71 cores=1,3,5,7
/proc/4556/task/4559/stat : 4559 (java) S 4554 4554 15523 0 -1 1077944384 17580 0 0 0 1945 126 0 0 20 0 15 0 19279775 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139918830184976 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4560] ppid=4554 vsize=13980732 memory=1380 CPUtime=20.74 cores=1,3,5,7
/proc/4556/task/4560/stat : 4560 (java) S 4554 4554 15523 0 -1 1077944384 14484 0 0 0 1950 124 0 0 20 0 15 0 19279775 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139918829132176 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4561] ppid=4554 vsize=13980732 memory=653240 CPUtime=20.77 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (java) S 4554 4554 15523 0 -1 1077944384 14266 0 0 0 1951 126 0 0 20 0 15 0 19279775 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139918467066128 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4562] ppid=4554 vsize=13980732 memory=419704 CPUtime=1.16 cores=1,3,5,7
/proc/4556/task/4562/stat : 4562 (java) S 4554 4554 15523 0 -1 1077944384 45273 0 0 0 93 23 0 0 20 0 15 0 19279776 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139917787089776 139918870350466 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4563] ppid=4554 vsize=13980732 memory=3912 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4563/stat : 4563 (java) S 4554 4554 15523 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139917786035744 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4564] ppid=4554 vsize=13980732 memory=3008 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4564/stat : 4564 (java) S 4554 4554 15523 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 19279776 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139917784982896 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4565] ppid=4554 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4565/stat : 4565 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139917783931216 139918870357915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4566] ppid=4554 vsize=13980732 memory=11952 CPUtime=5.79 cores=1,3,5,7
/proc/4556/task/4566/stat : 4566 (java) S 4554 4554 15523 0 -1 1077944384 22677 0 0 0 577 2 0 0 20 0 15 0 19279779 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139917782878576 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4567] ppid=4554 vsize=13980732 memory=7680170660397595203 CPUtime=6.13 cores=1,3,5,7
/proc/4556/task/4567/stat : 4567 (java) S 4554 4554 15523 0 -1 1077944384 28494 0 0 0 610 3 0 0 20 0 15 0 19279779 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139917781825776 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4568] ppid=4554 vsize=13980732 memory=13880 CPUtime=0.95 cores=1,3,5,7
/proc/4556/task/4568/stat : 4568 (java) S 4554 4554 15523 0 -1 1077944384 11721 0 0 0 92 3 0 0 20 0 15 0 19279779 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139917780772976 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4569] ppid=4554 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4569/stat : 4569 (java) S 4554 4554 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19279779 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139917779720416 139918870349525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
[pid=4556/tid=4570] ppid=4554 vsize=13980732 memory=2412 CPUtime=1.29 cores=1,3,5,7
/proc/4556/task/4570/stat : 4570 (java) S 4554 4554 15523 0 -1 1077944384 1110 0 0 0 57 72 0 0 20 0 15 0 19279783 14316269568 163310 18446744073709551615 4194304 4196468 140735720328768 139917778668720 139918870350466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28037120 140735720333746 140735720333922 140735720333922 140735720337359 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 654620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2444.41 s]
# the end of solver process 4554 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.95 s, system=6.14055 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2444.41
CPU time (s): 2520.09
CPU user time (s): 2513.95
CPU system time (s): 6.14055
CPU usage (%): 103.096
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 762888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.95
system time used= 6.14055
maximum resident set size= 761880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246672
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73894
involuntary context switches= 3120
# summary of solver processes directly reported to runsolver:
# pid: 4554
# total CPU time (s): 2520.09
# total CPU user time (s): 2513.95
# total CPU system time (s): 6.14055
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9322 second user time and 24.8332 second system time
The end