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 (14795 MiB free)
memory of node 1: 16384 MiB (15483 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399301-1568694489/watcher-4399301-1568694489 -o /tmp/evaluation-result-4399301-1568694489/solver-4399301-1568694489 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23428 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 379271875 HOME/instance-4399301-1568694489.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23775, runsolver pid=23770
Current StackSize limit: 8192 KiB
[startup+0.1003 s]*
/proc/loadavg: 4.21 1.93 1.33 9/233 23797
/proc/meminfo: memFree=30988272/32770624 swapFree=66977404/67108860
[pid=23775] ppid=23770 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23775/stat : 23775 (xcsp3-exec) S 23770 23775 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445706016 115843072 362 33554432000 4194304 5098028 140726982976368 140726982974472 139869321949820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28319744 140726982980475 140726982980717 140726982980717 140726982983626 0
/proc/23775/statm: 28282 362 304 221 0 87 0
[pid=23779] ppid=23775 vsize=15144776 memory=29344 CPUtime=0.13 cores=0,2,4,6
/proc/23779/stat : 23779 (java) S 23775 23775 23397 0 -1 1077944320 5810 0 0 0 12 1 0 0 20 0 15 0 445706016 15508250624 7336 33554432000 4194304 4196468 140731496331568 140731496314112 140651874496247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
/proc/23779/statm: 3786194 7336 3120 1 0 3748377 0
[pid=23779/tid=23780] ppid=23775 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/23779/task/23780/stat : 23780 (java) R 23775 23775 23397 0 -1 4202560 3725 0 0 0 8 0 0 0 20 0 15 0 445706016 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651878729024 140651471717350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23781] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23781/stat : 23781 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706017 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651802536720 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23782] ppid=23775 vsize=15144776 memory=140618264449314 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23782/stat : 23782 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706017 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651801484176 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23783] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23783/stat : 23783 (java) S 23775 23775 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706017 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651800431632 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23784] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23784/stat : 23784 (java) S 23775 23775 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706017 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651799379088 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23785] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23785/stat : 23785 (java) S 23775 23775 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706018 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651342997488 140651874507394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23786] ppid=23775 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23786/stat : 23786 (java) S 23775 23775 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445706019 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651341943712 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23787] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23787/stat : 23787 (java) S 23775 23775 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445706019 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651340891120 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23792] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23792/stat : 23792 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706021 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651339839696 140651874514843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23793] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23793/stat : 23793 (java) S 23775 23775 23397 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 445706022 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651338787312 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23794] ppid=23775 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23794/stat : 23794 (java) S 23775 23775 23397 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445706022 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651337734768 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23795] ppid=23775 vsize=15144776 memory=140618261460608 CPUtime=0.02 cores=0,2,4,6
/proc/23779/task/23795/stat : 23795 (java) R 23775 23775 23397 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 445706022 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651336682224 140651874508182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23796] ppid=23775 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23796/stat : 23796 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706022 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651335629920 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23797] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23797/stat : 23797 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706022 15508250624 7336 33554432000 4194304 4196468 140731496331568 140651334576432 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30792 KiB
[startup+0.210772 s]*
/proc/loadavg: 4.21 1.93 1.33 9/233 23797
/proc/meminfo: memFree=30975308/32770624 swapFree=66977404/67108860
[pid=23775] ppid=23770 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23775/stat : 23775 (xcsp3-exec) S 23770 23775 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445706016 115843072 362 33554432000 4194304 5098028 140726982976368 140726982974472 139869321949820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28319744 140726982980475 140726982980717 140726982980717 140726982983626 0
/proc/23775/statm: 28282 362 304 221 0 87 0
[pid=23779] ppid=23775 vsize=15144776 memory=40776 CPUtime=0.34 cores=0,2,4,6
/proc/23779/stat : 23779 (java) S 23775 23775 23397 0 -1 1077944320 9440 0 0 0 31 3 0 0 20 0 15 0 445706016 15508250624 10194 33554432000 4194304 4196468 140731496331568 140731496314112 140651874496247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
/proc/23779/statm: 3786194 10194 3258 1 0 3748377 0
[pid=23779/tid=23780] ppid=23775 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23779/task/23780/stat : 23780 (java) R 23775 23775 23397 0 -1 4202560 6635 0 0 0 18 2 0 0 20 0 15 0 445706016 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651878730176 140651854084099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23781] ppid=23775 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23781/stat : 23781 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706017 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651802536720 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23782] ppid=23775 vsize=15144776 memory=3616590708255356576 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23782/stat : 23782 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706017 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651801484176 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23783] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23783/stat : 23783 (java) S 23775 23775 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706017 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651800431632 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23784] ppid=23775 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23784/stat : 23784 (java) S 23775 23775 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706017 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651799379088 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23785] ppid=23775 vsize=15144776 memory=140618261460608 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23785/stat : 23785 (java) S 23775 23775 23397 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445706018 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651342997488 140651874507394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23786] ppid=23775 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23786/stat : 23786 (java) S 23775 23775 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445706019 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651341943712 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23787] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23787/stat : 23787 (java) S 23775 23775 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445706019 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651340891120 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23792] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23792/stat : 23792 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706021 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651339839696 140651874514843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23793] ppid=23775 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23779/task/23793/stat : 23793 (java) S 23775 23775 23397 0 -1 1077944384 592 0 0 0 3 0 0 0 20 0 15 0 445706022 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651338787312 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23794] ppid=23775 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23779/task/23794/stat : 23794 (java) S 23775 23775 23397 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 445706022 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651337734768 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23795] ppid=23775 vsize=15144776 memory=140618261460608 CPUtime=0.08 cores=0,2,4,6
/proc/23779/task/23795/stat : 23795 (java) R 23775 23775 23397 0 -1 4202560 754 0 0 0 8 0 0 0 20 0 15 0 445706022 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651336682032 140651866733374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23796] ppid=23775 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23796/stat : 23796 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706022 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651335629920 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23797] ppid=23775 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23797/stat : 23797 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706022 15508250624 10194 33554432000 4194304 4196468 140731496331568 140651334576432 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42224 KiB
[startup+0.320304 s]*
/proc/loadavg: 4.21 1.93 1.33 10/233 23801
/proc/meminfo: memFree=30962916/32770624 swapFree=66977404/67108860
[pid=23775] ppid=23770 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23775/stat : 23775 (xcsp3-exec) S 23770 23775 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445706016 115843072 362 33554432000 4194304 5098028 140726982976368 140726982974472 139869321949820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28319744 140726982980475 140726982980717 140726982980717 140726982983626 0
/proc/23775/statm: 28282 362 304 221 0 87 0
[pid=23779] ppid=23775 vsize=15149032 memory=50744 CPUtime=0.54 cores=0,2,4,6
/proc/23779/stat : 23779 (java) S 23775 23775 23397 0 -1 1077944320 10973 0 0 0 50 4 0 0 20 0 15 0 445706016 15512608768 12686 33554432000 4194304 4196468 140731496331568 140731496314112 140651874496247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
/proc/23779/statm: 3787258 12686 3369 1 0 3748377 0
[pid=23779/tid=23780] ppid=23775 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/23779/task/23780/stat : 23780 (java) R 23775 23775 23397 0 -1 4202560 7894 0 0 0 27 3 0 0 20 0 15 0 445706016 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651878727360 140651874508182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23781] ppid=23775 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23781/stat : 23781 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706017 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651802536720 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23782] ppid=23775 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23782/stat : 23782 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706017 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651801484176 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23783] ppid=23775 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23783/stat : 23783 (java) S 23775 23775 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706017 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651800431632 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23784] ppid=23775 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23784/stat : 23784 (java) S 23775 23775 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706017 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651799379088 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23785] ppid=23775 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23785/stat : 23785 (java) S 23775 23775 23397 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445706018 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651342997488 140651874507394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23786] ppid=23775 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23786/stat : 23786 (java) S 23775 23775 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445706019 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651341943712 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23787] ppid=23775 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23787/stat : 23787 (java) S 23775 23775 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445706019 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651340891120 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23792] ppid=23775 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23792/stat : 23792 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706021 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651339839696 140651874514843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23793] ppid=23775 vsize=15149032 memory=7827413994055111515 CPUtime=0.06 cores=0,2,4,6
/proc/23779/task/23793/stat : 23793 (java) S 23775 23775 23397 0 -1 1077944384 699 0 0 0 6 0 0 0 20 0 15 0 445706022 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651338787312 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23794] ppid=23775 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23779/task/23794/stat : 23794 (java) S 23775 23775 23397 0 -1 1077944384 205 0 0 0 3 0 0 0 20 0 15 0 445706022 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651337734768 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23795] ppid=23775 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23779/task/23795/stat : 23795 (java) S 23775 23775 23397 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 445706022 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651336682224 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23796] ppid=23775 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23796/stat : 23796 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706022 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651335629920 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23797] ppid=23775 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23797/stat : 23797 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706022 15512608768 12686 33554432000 4194304 4196468 140731496331568 140651334576432 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52192 KiB
[startup+0.701213 s]
/proc/loadavg: 4.21 1.93 1.33 10/233 23833
/proc/meminfo: memFree=30948544/32770624 swapFree=66977404/67108860
[pid=23775] ppid=23770 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23775/stat : 23775 (xcsp3-exec) S 23770 23775 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445706016 115843072 362 33554432000 4194304 5098028 140726982976368 140726982974472 139869321949820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28319744 140726982980475 140726982980717 140726982980717 140726982983626 0
/proc/23775/statm: 28282 362 304 221 0 87 0
[pid=23779] ppid=23775 vsize=15418440 memory=113124 CPUtime=1.65 cores=0,2,4,6
/proc/23779/stat : 23779 (java) S 23775 23775 23397 0 -1 1077944320 15163 0 0 0 158 7 0 0 20 0 19 0 445706016 15788482560 28281 33554432000 4194304 4196468 140731496331568 140731496314112 140651874496247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
/proc/23779/statm: 3854610 28281 3453 1 0 3815710 0
[pid=23779/tid=23780] ppid=23775 vsize=15418440 memory=-3704326594973231466 CPUtime=0.55 cores=0,2,4,6
/proc/23779/task/23780/stat : 23780 (java) S 23775 23775 23397 0 -1 1077944384 9230 0 0 0 51 4 0 0 20 0 19 0 445706016 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651878737024 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23781] ppid=23775 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23781/stat : 23781 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445706017 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651802536720 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23782] ppid=23775 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23782/stat : 23782 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445706017 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651801484176 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23783] ppid=23775 vsize=15418440 memory=692 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23783/stat : 23783 (java) S 23775 23775 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445706017 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651800431632 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23784] ppid=23775 vsize=15418440 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23784/stat : 23784 (java) S 23775 23775 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445706017 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651799379088 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23785] ppid=23775 vsize=15418440 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23785/stat : 23785 (java) S 23775 23775 23397 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445706018 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651342997488 140651874507394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23786] ppid=23775 vsize=15418440 memory=780 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23786/stat : 23786 (java) S 23775 23775 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445706019 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651341943712 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23787] ppid=23775 vsize=15418440 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23787/stat : 23787 (java) S 23775 23775 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445706019 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651340891120 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23792] ppid=23775 vsize=15418440 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23792/stat : 23792 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706021 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651339839696 140651874514843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23793] ppid=23775 vsize=15418440 memory=6048 CPUtime=0.3 cores=0,2,4,6
/proc/23779/task/23793/stat : 23793 (java) R 23775 23775 23397 0 -1 4202560 1487 0 0 0 30 0 0 0 20 0 19 0 445706022 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651338780504 140651859424763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23794] ppid=23775 vsize=15418440 memory=7552 CPUtime=0.23 cores=0,2,4,6
/proc/23779/task/23794/stat : 23794 (java) R 23775 23775 23397 0 -1 4202560 819 0 0 0 23 0 0 0 20 0 19 0 445706022 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651337719920 140651866785701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23795] ppid=23775 vsize=15418440 memory=2832 CPUtime=0.35 cores=0,2,4,6
/proc/23779/task/23795/stat : 23795 (java) R 23775 23775 23397 0 -1 4202560 1787 0 0 0 35 0 0 0 20 0 19 0 445706022 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651336679160 140651867601919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23796] ppid=23775 vsize=15418440 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23796/stat : 23796 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706022 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651335629920 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23797] ppid=23775 vsize=15418440 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23797/stat : 23797 (java) S 23775 23775 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445706022 15788482560 28281 33554432000 4194304 4196468 140731496331568 140651334576432 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 114572 KiB
[startup+1.5013 s]
/proc/loadavg: 4.21 1.93 1.33 15/237 23881
/proc/meminfo: memFree=30836928/32770624 swapFree=66977404/67108860
[pid=23775] ppid=23770 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23775/stat : 23775 (xcsp3-exec) S 23770 23775 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445706016 115843072 362 33554432000 4194304 5098028 140726982976368 140726982974472 139869321949820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28319744 140726982980475 140726982980717 140726982980717 140726982983626 0
/proc/23775/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23779/task/23797/stat : 23797 (java) S 23775 23775 23397 0 -1 1077944384 790 0 0 0 0 2 0 0 20 0 19 0 445706022 15856644096 55716 33554432000 4194304 4196468 140731496331568 140651334576432 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24041] ppid=23775 vsize=15485004 memory=7451606223745016934 CPUtime=47.16 cores=0,2,4,6
/proc/23779/task/24041/stat : 24041 (java) R 23775 23775 23397 0 -1 4202560 426 0 0 0 4716 0 0 0 20 0 19 0 445707584 15856644096 55716 33554432000 4194304 4196468 140731496331568 140651323251608 140651477679600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24042] ppid=23775 vsize=15485004 memory=7741515601764641130 CPUtime=47.14 cores=0,2,4,6
/proc/23779/task/24042/stat : 24042 (java) R 23775 23775 23397 0 -1 4202560 1247 0 0 0 4714 0 0 0 20 0 19 0 445707584 15856644096 55716 33554432000 4194304 4196468 140731496331568 140651322199752 140651478331206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24043] ppid=23775 vsize=15485004 memory=7668627876330629997 CPUtime=47.18 cores=0,2,4,6
/proc/23779/task/24043/stat : 24043 (java) R 23775 23775 23397 0 -1 4202560 819 0 0 0 4718 0 0 0 20 0 19 0 445707584 15856644096 55716 33554432000 4194304 4196468 140731496331568 140651324305672 140651476441954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24044] ppid=23775 vsize=15485004 memory=7737579328378791784 CPUtime=47.13 cores=0,2,4,6
/proc/23779/task/24044/stat : 24044 (java) R 23775 23775 23397 0 -1 4202560 773 0 0 0 4713 0 0 0 20 0 19 0 445707584 15856644096 55716 33554432000 4194304 4196468 140731496331568 140651252399904 140651476001622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
Current children cumulated CPU time: 250.07 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 224312 KiB
[startup+64.0093 s]*
/proc/loadavg: 6.26 3.00 1.74 9/236 24179
/proc/meminfo: memFree=29569508/32770624 swapFree=66977404/67108860
[pid=23775] ppid=23770 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23775/stat : 23775 (xcsp3-exec) S 23770 23775 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445706016 115843072 362 33554432000 4194304 5098028 140726982976368 140726982974472 139869321949820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28319744 140726982980475 140726982980717 140726982980717 140726982983626 0
/proc/23775/statm: 28282 362 304 221 0 87 0
[pid=23779] ppid=23775 vsize=15485004 memory=224912 CPUtime=253.31 cores=0,2,4,6
/proc/23779/stat : 23779 (java) S 23775 23775 23397 0 -1 1077944320 53948 0 0 0 25304 27 0 0 20 0 19 0 445706016 15856644096 56228 33554432000 4194304 4196468 140731496331568 140731496314112 140651874496247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
/proc/23779/statm: 3871251 56228 3516 1 0 3832351 0
[pid=23779/tid=23780] ppid=23775 vsize=15485004 memory=2120 CPUtime=0.56 cores=0,2,4,6
/proc/23779/task/23780/stat : 23780 (java) S 23775 23775 23397 0 -1 1077944384 9598 0 0 0 52 4 0 0 20 0 19 0 445706016 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651878737024 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23781] ppid=23775 vsize=15485004 memory=8317482817917895235 CPUtime=0.05 cores=0,2,4,6
/proc/23779/task/23781/stat : 23781 (java) S 23775 23775 23397 0 -1 1077944384 2132 0 0 0 3 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651802536720 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23782] ppid=23775 vsize=15485004 memory=9126232286719478932 CPUtime=0.04 cores=0,2,4,6
/proc/23779/task/23782/stat : 23782 (java) S 23775 23775 23397 0 -1 1077944384 752 0 0 0 2 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651801484176 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23783] ppid=23775 vsize=15485004 memory=6944656592452807316 CPUtime=0.05 cores=0,2,4,6
/proc/23779/task/23783/stat : 23783 (java) S 23775 23775 23397 0 -1 1077944384 1471 0 0 0 3 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651800431632 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23784] ppid=23775 vsize=15485004 memory=7237398200207235428 CPUtime=0.05 cores=0,2,4,6
/proc/23779/task/23784/stat : 23784 (java) S 23775 23775 23397 0 -1 1077944384 1253 0 0 0 3 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651799379088 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23785] ppid=23775 vsize=15485004 memory=7594587674001172330 CPUtime=0.04 cores=0,2,4,6
/proc/23779/task/23785/stat : 23785 (java) S 23775 23775 23397 0 -1 1077944384 1745 0 0 0 3 1 0 0 20 0 19 0 445706018 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651342997488 140651874507394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23786] ppid=23775 vsize=15485004 memory=281236204952320 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23786/stat : 23786 (java) S 23775 23775 23397 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445706019 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651341943776 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23787] ppid=23775 vsize=15485004 memory=7162807366124529768 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23787/stat : 23787 (java) S 23775 23775 23397 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 445706019 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651340891136 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23792] ppid=23775 vsize=15485004 memory=7162807366124529768 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23792/stat : 23792 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706021 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651339839696 140651874514843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23793] ppid=23775 vsize=15485004 memory=7162807366124529768 CPUtime=3.01 cores=0,2,4,6
/proc/23779/task/23793/stat : 23793 (java) S 23775 23775 23397 0 -1 1077944384 12570 0 0 0 300 1 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651338787312 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23794] ppid=23775 vsize=15485004 memory=14048 CPUtime=2.78 cores=0,2,4,6
/proc/23779/task/23794/stat : 23794 (java) S 23775 23775 23397 0 -1 1077944384 9687 0 0 0 277 1 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651337734768 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23795] ppid=23775 vsize=15485004 memory=25112 CPUtime=0.68 cores=0,2,4,6
/proc/23779/task/23795/stat : 23795 (java) S 23775 23775 23397 0 -1 1077944384 5416 0 0 0 67 1 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651336682224 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23796] ppid=23775 vsize=15485004 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23796/stat : 23796 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651335629920 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23797] ppid=23775 vsize=15485004 memory=532 CPUtime=0.02 cores=0,2,4,6
/proc/23779/task/23797/stat : 23797 (java) S 23775 23775 23397 0 -1 1077944384 790 0 0 0 0 2 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651334576432 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24041] ppid=23775 vsize=15485004 memory=1564 CPUtime=47.98 cores=0,2,4,6
/proc/23779/task/24041/stat : 24041 (java) R 23775 23775 23397 0 -1 4202560 427 0 0 0 4798 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651323254352 140651476001543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24042] ppid=23775 vsize=15485004 memory=924 CPUtime=47.96 cores=0,2,4,6
/proc/23779/task/24042/stat : 24042 (java) R 23775 23775 23397 0 -1 4202560 1247 0 0 0 4796 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651322199880 140651476438816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24043] ppid=23775 vsize=15485004 memory=1668 CPUtime=47.99 cores=0,2,4,6
/proc/23779/task/24043/stat : 24043 (java) R 23775 23775 23397 0 -1 4202560 821 0 0 0 4799 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651324304936 140651476149885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24044] ppid=23775 vsize=15485004 memory=1440 CPUtime=47.92 cores=0,2,4,6
/proc/23779/task/24044/stat : 24044 (java) R 23775 23775 23397 0 -1 4202560 773 0 0 0 4792 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651252399904 140651476149468 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
Current children cumulated CPU time: 253.31 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 226360 KiB
[startup+64.2013 s]
/proc/loadavg: 6.26 3.00 1.74 9/236 24179
/proc/meminfo: memFree=29569508/32770624 swapFree=66977404/67108860
[pid=23775] ppid=23770 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23775/stat : 23775 (xcsp3-exec) S 23770 23775 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445706016 115843072 362 33554432000 4194304 5098028 140726982976368 140726982974472 139869321949820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28319744 140726982980475 140726982980717 140726982980717 140726982983626 0
/proc/23775/statm: 28282 362 304 221 0 87 0
[pid=23779] ppid=23775 vsize=15485004 memory=224912 CPUtime=254.04 cores=0,2,4,6
/proc/23779/stat : 23779 (java) S 23775 23775 23397 0 -1 1077944320 53948 0 0 0 25377 27 0 0 20 0 19 0 445706016 15856644096 56228 33554432000 4194304 4196468 140731496331568 140731496314112 140651874496247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
/proc/23779/statm: 3871251 56228 3516 1 0 3832351 0
[pid=23779/tid=23780] ppid=23775 vsize=15485004 memory=6791534058613427641 CPUtime=0.56 cores=0,2,4,6
/proc/23779/task/23780/stat : 23780 (java) S 23775 23775 23397 0 -1 1077944384 9598 0 0 0 52 4 0 0 20 0 19 0 445706016 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651878737024 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23781] ppid=23775 vsize=15485004 memory=47544 CPUtime=0.05 cores=0,2,4,6
/proc/23779/task/23781/stat : 23781 (java) S 23775 23775 23397 0 -1 1077944384 2132 0 0 0 3 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651802536720 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23782] ppid=23775 vsize=15485004 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/23779/task/23782/stat : 23782 (java) S 23775 23775 23397 0 -1 1077944384 752 0 0 0 2 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651801484176 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23783] ppid=23775 vsize=15485004 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23779/task/23783/stat : 23783 (java) S 23775 23775 23397 0 -1 1077944384 1471 0 0 0 3 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651800431632 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23784] ppid=23775 vsize=15485004 memory=242730076781256 CPUtime=0.05 cores=0,2,4,6
/proc/23779/task/23784/stat : 23784 (java) S 23775 23775 23397 0 -1 1077944384 1253 0 0 0 3 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651799379088 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23785] ppid=23775 vsize=15485004 memory=242730076781257 CPUtime=0.04 cores=0,2,4,6
/proc/23779/task/23785/stat : 23785 (java) S 23775 23775 23397 0 -1 1077944384 1745 0 0 0 3 1 0 0 20 0 19 0 445706018 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651342997488 140651874507394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23786] ppid=23775 vsize=15485004 memory=242730076781258 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23786/stat : 23786 (java) S 23775 23775 23397 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445706019 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651341943776 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23787] ppid=23775 vsize=15485004 memory=242730076781259 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23787/stat : 23787 (java) S 23775 23775 23397 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 445706019 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651340891136 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23792] ppid=23775 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23792/stat : 23792 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706021 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651339839696 140651874514843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23793] ppid=23775 vsize=15485004 memory=242730076781256 CPUtime=3.01 cores=0,2,4,6
/proc/23779/task/23793/stat : 23793 (java) S 23775 23775 23397 0 -1 1077944384 12570 0 0 0 300 1 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651338787312 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23794] ppid=23775 vsize=15485004 memory=6791534058613427641 CPUtime=2.78 cores=0,2,4,6
/proc/23779/task/23794/stat : 23794 (java) S 23775 23775 23397 0 -1 1077944384 9687 0 0 0 277 1 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651337734768 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23795] ppid=23775 vsize=15485004 memory=1084 CPUtime=0.68 cores=0,2,4,6
/proc/23779/task/23795/stat : 23795 (java) S 23775 23775 23397 0 -1 1077944384 5416 0 0 0 67 1 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651336682224 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23796] ppid=23775 vsize=15485004 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23796/stat : 23796 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651335629920 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23797] ppid=23775 vsize=15485004 memory=14048 CPUtime=0.02 cores=0,2,4,6
/proc/23779/task/23797/stat : 23797 (java) S 23775 23775 23397 0 -1 1077944384 790 0 0 0 0 2 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651334576432 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24041] ppid=23775 vsize=15485004 memory=25112 CPUtime=48.16 cores=0,2,4,6
/proc/23779/task/24041/stat : 24041 (java) R 23775 23775 23397 0 -1 4202560 427 0 0 0 4816 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651323254352 140651476430836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24042] ppid=23775 vsize=15485004 memory=2120 CPUtime=48.14 cores=0,2,4,6
/proc/23779/task/24042/stat : 24042 (java) R 23775 23775 23397 0 -1 4202560 1247 0 0 0 4814 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651322199880 140651476149965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24043] ppid=23775 vsize=15485004 memory=532 CPUtime=48.18 cores=0,2,4,6
/proc/23779/task/24043/stat : 24043 (java) R 23775 23775 23397 0 -1 4202560 821 0 0 0 4818 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651324304936 140651476149500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24044] ppid=23775 vsize=15485004 memory=1564 CPUtime=48.1 cores=0,2,4,6
/proc/23779/task/24044/stat : 24044 (java) R 23775 23775 23397 0 -1 4202560 773 0 0 0 4810 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651252399904 140651477679385 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
Current children cumulated CPU time: 254.04 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 226360 KiB
[startup+64.3013 s]
/proc/loadavg: 6.26 3.00 1.74 9/236 24179
/proc/meminfo: memFree=29569508/32770624 swapFree=66977404/67108860
[pid=23775] ppid=23770 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23775/stat : 23775 (xcsp3-exec) S 23770 23775 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445706016 115843072 362 33554432000 4194304 5098028 140726982976368 140726982974472 139869321949820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28319744 140726982980475 140726982980717 140726982980717 140726982983626 0
/proc/23775/statm: 28282 362 304 221 0 87 0
[pid=23779] ppid=23775 vsize=15485004 memory=224912 CPUtime=254.44 cores=0,2,4,6
/proc/23779/stat : 23779 (java) S 23775 23775 23397 0 -1 1077944320 53964 0 0 0 25417 27 0 0 20 0 19 0 445706016 15856644096 56228 33554432000 4194304 4196468 140731496331568 140731496314112 140651874496247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
/proc/23779/statm: 3871251 56228 3516 1 0 3832351 0
[pid=23779/tid=23780] ppid=23775 vsize=15485004 memory=225420 CPUtime=0.56 cores=0,2,4,6
/proc/23779/task/23780/stat : 23780 (java) S 23775 23775 23397 0 -1 1077944384 9598 0 0 0 52 4 0 0 20 0 19 0 445706016 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651878737024 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23781] ppid=23775 vsize=15485004 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/23779/task/23781/stat : 23781 (java) S 23775 23775 23397 0 -1 1077944384 2132 0 0 0 3 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651802536720 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23782] ppid=23775 vsize=15485004 memory=224912 CPUtime=0.04 cores=0,2,4,6
/proc/23779/task/23782/stat : 23782 (java) S 23775 23775 23397 0 -1 1077944384 752 0 0 0 2 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651801484176 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23783] ppid=23775 vsize=15485004 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/23779/task/23783/stat : 23783 (java) S 23775 23775 23397 0 -1 1077944384 1471 0 0 0 3 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651800431632 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23784] ppid=23775 vsize=15485004 memory=222864 CPUtime=0.05 cores=0,2,4,6
/proc/23779/task/23784/stat : 23784 (java) S 23775 23775 23397 0 -1 1077944384 1253 0 0 0 3 2 0 0 20 0 19 0 445706017 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651799379088 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23785] ppid=23775 vsize=15485004 memory=4738 CPUtime=0.04 cores=0,2,4,6
/proc/23779/task/23785/stat : 23785 (java) S 23775 23775 23397 0 -1 1077944384 1745 0 0 0 3 1 0 0 20 0 19 0 445706018 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651342997488 140651874507394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23786] ppid=23775 vsize=15485004 memory=4732 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23786/stat : 23786 (java) S 23775 23775 23397 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445706019 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651341943776 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23787] ppid=23775 vsize=15485004 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23787/stat : 23787 (java) S 23775 23775 23397 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 445706019 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651340891136 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23792] ppid=23775 vsize=15485004 memory=224412 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23792/stat : 23792 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706021 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651339839696 140651874514843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23793] ppid=23775 vsize=15485004 memory=912 CPUtime=3.01 cores=0,2,4,6
/proc/23779/task/23793/stat : 23793 (java) S 23775 23775 23397 0 -1 1077944384 12570 0 0 0 300 1 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651338787312 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23794] ppid=23775 vsize=15485004 memory=1984 CPUtime=2.78 cores=0,2,4,6
/proc/23779/task/23794/stat : 23794 (java) S 23775 23775 23397 0 -1 1077944384 9687 0 0 0 277 1 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651337734768 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23795] ppid=23775 vsize=15485004 memory=2592 CPUtime=0.68 cores=0,2,4,6
/proc/23779/task/23795/stat : 23795 (java) S 23775 23775 23397 0 -1 1077944384 5416 0 0 0 67 1 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651336682224 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23796] ppid=23775 vsize=15485004 memory=2688 CPUtime=0 cores=0,2,4,6
/proc/23779/task/23796/stat : 23796 (java) S 23775 23775 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651335629920 140651874506453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=23797] ppid=23775 vsize=15485004 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23779/task/23797/stat : 23797 (java) S 23775 23775 23397 0 -1 1077944384 790 0 0 0 0 2 0 0 20 0 19 0 445706022 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651334576432 140651874507394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24041] ppid=23775 vsize=15485004 memory=576587670020715552 CPUtime=48.26 cores=0,2,4,6
/proc/23779/task/24041/stat : 24041 (java) R 23775 23775 23397 0 -1 4202560 427 0 0 0 4826 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651323254352 140651476314468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24042] ppid=23775 vsize=15485004 memory=288292190212388586 CPUtime=48.24 cores=0,2,4,6
/proc/23779/task/24042/stat : 24042 (java) R 23775 23775 23397 0 -1 4202560 1263 0 0 0 4824 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651322199880 140651477566482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24043] ppid=23775 vsize=15485004 memory=6791534058613427641 CPUtime=48.28 cores=0,2,4,6
/proc/23779/task/24043/stat : 24043 (java) R 23775 23775 23397 0 -1 4202560 821 0 0 0 4828 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651324304936 140651476149885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
[pid=23779/tid=24044] ppid=23775 vsize=15485004 memory=1668 CPUtime=48.2 cores=0,2,4,6
/proc/23779/task/24044/stat : 24044 (java) R 23775 23775 23397 0 -1 4202560 773 0 0 0 4820 0 0 0 20 0 19 0 445707584 15856644096 56228 33554432000 4194304 4196468 140731496331568 140651252399904 140651476149076 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19886080 140731496338415 140731496338586 140731496338586 140731496341455 0
Current children cumulated CPU time: 254.44 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 226360 KiB
Child status: 0
Real time (s): 64.3515
CPU time (s): 254.622
CPU user time (s): 254.336
CPU system time (s): 0.286159
CPU usage (%): 395.674
Max. virtual memory (cumulated for all children) (KiB): 15599136
Max. memory (cumulated for all children) (KiB): 235116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.336
system time used= 0.286159
maximum resident set size= 235676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5244
involuntary context switches= 5387
# summary of solver processes directly reported to runsolver:
# pid: 23775
# total CPU time (s): 254.622
# total CPU user time (s): 254.336
# total CPU system time (s): 0.286159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.464279 second user time and 0.697216 second system time
The end