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 (13474 MiB free)
memory of node 1: 16384 MiB (12010 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406181-1569396670/watcher-4406181-1569396670 -o /var/tmp/evaluation-result-4406181-1569396670/solver-4406181-1569396670 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18884 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1936863015 HOME/instance-4406181-1569396670.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=18914, runsolver pid=18911
[startup+0.100129 s]*
/proc/loadavg: 0.00 0.01 0.05 4/228 18944
/proc/meminfo: memFree=26064944/32770624 swapFree=66956944/67108860
[pid=18914] ppid=18911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18914/stat : 18914 (xcsp3-exec) S 18911 18914 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140730707442448 140730707440552 140123385823868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16719872 140730707444566 140730707444825 140730707444825 140730707447750 0
/proc/18914/statm: 28282 363 305 221 0 87 0
[pid=18916] ppid=18914 vsize=15144776 memory=27740 CPUtime=0.09 cores=1,3,5,7
/proc/18916/stat : 18916 (java) S 18914 18914 18852 0 -1 1077944320 5361 0 0 0 8 1 0 0 20 0 15 0 515924794 15508250624 6935 33554432000 4194304 4196468 140726703497104 140726703479648 139983322181367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
/proc/18916/statm: 3786194 6935 3029 1 0 3748377 0
[pid=18916/tid=18918] ppid=18914 vsize=15144776 memory=-2698085374278620574 CPUtime=0.07 cores=1,3,5,7
/proc/18916/task/18918/stat : 18918 (java) R 18914 18914 18852 0 -1 4202560 3503 0 0 0 6 1 0 0 20 0 15 0 515924794 15508250624 6935 33554432000 4194304 4196468 140726703497104 139983326394960 139983322203293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18919] ppid=18914 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18919/stat : 18919 (java) S 18914 18914 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 6935 33554432000 4194304 4196468 140726703497104 139983258417808 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18920] ppid=18914 vsize=15144776 memory=140578983544448 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18920/stat : 18920 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 6935 33554432000 4194304 4196468 140726703497104 139983257365008 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18921] ppid=18914 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18921/stat : 18921 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 6935 33554432000 4194304 4196468 140726703497104 139983256312208 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18923] ppid=18914 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18923/stat : 18923 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 6935 33554432000 4194304 4196468 140726703497104 139983255259408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18927] ppid=18914 vsize=15144776 memory=140578983544448 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18927/stat : 18927 (java) S 18914 18914 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924798 15508250624 6935 33554432000 4194304 4196468 140726703497104 139982857788272 139983322192514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18930] ppid=18914 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18930/stat : 18930 (java) S 18914 18914 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15508250624 6935 33554432000 4194304 4196468 140726703497104 139982856734240 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18932] ppid=18914 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18932/stat : 18932 (java) S 18914 18914 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15508250624 6935 33554432000 4194304 4196468 140726703497104 139982855681392 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18933] ppid=18914 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18933/stat : 18933 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 6935 33554432000 4194304 4196468 140726703497104 139982854629712 139983322199963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18934] ppid=18914 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18934/stat : 18934 (java) S 18914 18914 18852 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 6935 33554432000 4194304 4196468 140726703497104 139982853577072 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18936] ppid=18914 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18936/stat : 18936 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 6935 33554432000 4194304 4196468 140726703497104 139982852524272 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18938] ppid=18914 vsize=15144776 memory=140578983544448 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18938/stat : 18938 (java) S 18914 18914 18852 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 6935 33554432000 4194304 4196468 140726703497104 139982851471472 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18941] ppid=18914 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18941/stat : 18941 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15508250624 6935 33554432000 4194304 4196468 140726703497104 139982850418912 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18944] ppid=18914 vsize=15144776 memory=140578983544448 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18944/stat : 18944 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924802 15508250624 6935 33554432000 4194304 4196468 140726703497104 139982782065840 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29192 KiB
[startup+0.21048 s]*
/proc/loadavg: 0.00 0.01 0.05 8/228 18944
/proc/meminfo: memFree=26038276/32770624 swapFree=66956944/67108860
[pid=18914] ppid=18911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18914/stat : 18914 (xcsp3-exec) S 18911 18914 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140730707442448 140730707440552 140123385823868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16719872 140730707444566 140730707444825 140730707444825 140730707447750 0
/proc/18914/statm: 28282 363 305 221 0 87 0
[pid=18916] ppid=18914 vsize=15144776 memory=39960 CPUtime=0.31 cores=1,3,5,7
/proc/18916/stat : 18916 (java) S 18914 18914 18852 0 -1 1077944320 9246 0 0 0 28 3 0 0 20 0 15 0 515924794 15508250624 9990 33554432000 4194304 4196468 140726703497104 140726703479648 139983322181367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
/proc/18916/statm: 3786194 9990 3275 1 0 3748377 0
[pid=18916/tid=18918] ppid=18914 vsize=15144776 memory=7883960649037381690 CPUtime=0.18 cores=1,3,5,7
/proc/18916/task/18918/stat : 18918 (java) R 18914 18914 18852 0 -1 4202560 6501 0 0 0 16 2 0 0 20 0 15 0 515924794 15508250624 9990 33554432000 4194304 4196468 140726703497104 139983326417808 139983306261854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18919] ppid=18914 vsize=15144776 memory=1899191 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18919/stat : 18919 (java) S 18914 18914 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 9990 33554432000 4194304 4196468 140726703497104 139983258417808 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18920] ppid=18914 vsize=15144776 memory=288370955135256192 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18920/stat : 18920 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 9990 33554432000 4194304 4196468 140726703497104 139983257365008 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18921] ppid=18914 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18921/stat : 18921 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 9990 33554432000 4194304 4196468 140726703497104 139983256312208 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18923] ppid=18914 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18923/stat : 18923 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 9990 33554432000 4194304 4196468 140726703497104 139983255259408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18927] ppid=18914 vsize=15144776 memory=140578983544448 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18927/stat : 18927 (java) S 18914 18914 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924798 15508250624 9990 33554432000 4194304 4196468 140726703497104 139982857788272 139983322192514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18930] ppid=18914 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18930/stat : 18930 (java) S 18914 18914 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15508250624 9990 33554432000 4194304 4196468 140726703497104 139982856734240 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18932] ppid=18914 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18932/stat : 18932 (java) S 18914 18914 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15508250624 9990 33554432000 4194304 4196468 140726703497104 139982855681392 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18933] ppid=18914 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18933/stat : 18933 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 9990 33554432000 4194304 4196468 140726703497104 139982854629712 139983322199963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18934] ppid=18914 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18916/task/18934/stat : 18934 (java) S 18914 18914 18852 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 15 0 515924801 15508250624 9990 33554432000 4194304 4196468 140726703497104 139982853577072 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18936] ppid=18914 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18916/task/18936/stat : 18936 (java) S 18914 18914 18852 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 515924801 15508250624 9990 33554432000 4194304 4196468 140726703497104 139982852524272 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18938] ppid=18914 vsize=15144776 memory=140578983544448 CPUtime=0.07 cores=1,3,5,7
/proc/18916/task/18938/stat : 18938 (java) S 18914 18914 18852 0 -1 1077944384 772 0 0 0 7 0 0 0 20 0 15 0 515924801 15508250624 9990 33554432000 4194304 4196468 140726703497104 139982851471472 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18941] ppid=18914 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18941/stat : 18941 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15508250624 9990 33554432000 4194304 4196468 140726703497104 139982850418912 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18944] ppid=18914 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18944/stat : 18944 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924802 15508250624 9990 33554432000 4194304 4196468 140726703497104 139982782065840 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41412 KiB
[startup+0.312812 s]*
/proc/loadavg: 0.00 0.01 0.05 7/228 18944
/proc/meminfo: memFree=26028592/32770624 swapFree=66956944/67108860
[pid=18914] ppid=18911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18914/stat : 18914 (xcsp3-exec) S 18911 18914 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140730707442448 140730707440552 140123385823868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16719872 140730707444566 140730707444825 140730707444825 140730707447750 0
/proc/18914/statm: 28282 363 305 221 0 87 0
[pid=18916] ppid=18914 vsize=15149032 memory=46612 CPUtime=0.49 cores=1,3,5,7
/proc/18916/stat : 18916 (java) S 18914 18914 18852 0 -1 1077944320 10503 0 0 0 45 4 0 0 20 0 15 0 515924794 15512608768 11653 33554432000 4194304 4196468 140726703497104 140726703479648 139983322181367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
/proc/18916/statm: 3787258 11653 3343 1 0 3748377 0
[pid=18916/tid=18918] ppid=18914 vsize=15149032 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/18916/task/18918/stat : 18918 (java) R 18914 18914 18852 0 -1 4202560 7569 0 0 0 25 3 0 0 20 0 15 0 515924794 15512608768 11653 33554432000 4194304 4196468 140726703497104 139983326405872 139983306261854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18919] ppid=18914 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18919/stat : 18919 (java) S 18914 18914 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15512608768 11653 33554432000 4194304 4196468 140726703497104 139983258417808 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18920] ppid=18914 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18920/stat : 18920 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15512608768 11653 33554432000 4194304 4196468 140726703497104 139983257365008 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18921] ppid=18914 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18921/stat : 18921 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15512608768 11653 33554432000 4194304 4196468 140726703497104 139983256312208 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18923] ppid=18914 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18923/stat : 18923 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15512608768 11653 33554432000 4194304 4196468 140726703497104 139983255259408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18927] ppid=18914 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18927/stat : 18927 (java) S 18914 18914 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515924798 15512608768 11653 33554432000 4194304 4196468 140726703497104 139982857788272 139983322192514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18930] ppid=18914 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18930/stat : 18930 (java) S 18914 18914 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15512608768 11653 33554432000 4194304 4196468 140726703497104 139982856734240 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18932] ppid=18914 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18932/stat : 18932 (java) S 18914 18914 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15512608768 11653 33554432000 4194304 4196468 140726703497104 139982855681392 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18933] ppid=18914 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18933/stat : 18933 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15512608768 11653 33554432000 4194304 4196468 140726703497104 139982854629712 139983322199963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18934] ppid=18914 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/18916/task/18934/stat : 18934 (java) S 18914 18914 18852 0 -1 1077944384 438 0 0 0 4 0 0 0 20 0 15 0 515924801 15512608768 11653 33554432000 4194304 4196468 140726703497104 139982853577072 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18936] ppid=18914 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18916/task/18936/stat : 18936 (java) S 18914 18914 18852 0 -1 1077944384 274 0 0 0 4 0 0 0 20 0 15 0 515924801 15512608768 11653 33554432000 4194304 4196468 140726703497104 139982852524272 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18938] ppid=18914 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18916/task/18938/stat : 18938 (java) S 18914 18914 18852 0 -1 1077944384 919 0 0 0 12 0 0 0 20 0 15 0 515924801 15512608768 11653 33554432000 4194304 4196468 140726703497104 139982851471472 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18941] ppid=18914 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18941/stat : 18941 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15512608768 11653 33554432000 4194304 4196468 140726703497104 139982850418912 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18944] ppid=18914 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18944/stat : 18944 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924802 15512608768 11653 33554432000 4194304 4196468 140726703497104 139982782065840 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48064 KiB
[startup+0.701091 s]
/proc/loadavg: 0.00 0.01 0.05 7/228 18944
/proc/meminfo: memFree=26005796/32770624 swapFree=66956944/67108860
[pid=18914] ppid=18911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18914/stat : 18914 (xcsp3-exec) S 18911 18914 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140730707442448 140730707440552 140123385823868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16719872 140730707444566 140730707444825 140730707444825 140730707447750 0
/proc/18914/statm: 28282 363 305 221 0 87 0
[pid=18916] ppid=18914 vsize=15151156 memory=72660 CPUtime=1.51 cores=1,3,5,7
/proc/18916/stat : 18916 (java) S 18914 18914 18852 0 -1 1077944320 15053 0 0 0 146 5 0 0 20 0 15 0 515924794 15514783744 18165 33554432000 4194304 4196468 140726703497104 140726703479648 139983322181367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
/proc/18916/statm: 3787789 18165 3452 1 0 3748889 0
[pid=18916/tid=18918] ppid=18914 vsize=15151156 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/18916/task/18918/stat : 18918 (java) R 18914 18914 18852 0 -1 4202560 9323 0 0 0 61 4 0 0 20 0 15 0 515924794 15514783744 18165 33554432000 4194304 4196468 140726703497104 139983326418208 139982936677479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18919] ppid=18914 vsize=15151156 memory=55052 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18919/stat : 18919 (java) S 18914 18914 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 18165 33554432000 4194304 4196468 140726703497104 139983258417808 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18920] ppid=18914 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18920/stat : 18920 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 18165 33554432000 4194304 4196468 140726703497104 139983257365008 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18921] ppid=18914 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18921/stat : 18921 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 18165 33554432000 4194304 4196468 140726703497104 139983256312208 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18923] ppid=18914 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18923/stat : 18923 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 18165 33554432000 4194304 4196468 140726703497104 139983255259408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18927] ppid=18914 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18927/stat : 18927 (java) S 18914 18914 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 18165 33554432000 4194304 4196468 140726703497104 139982857788272 139983322192514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18930] ppid=18914 vsize=15151156 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18930/stat : 18930 (java) S 18914 18914 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 18165 33554432000 4194304 4196468 140726703497104 139982856734240 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18932] ppid=18914 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18932/stat : 18932 (java) S 18914 18914 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 18165 33554432000 4194304 4196468 140726703497104 139982855681392 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18933] ppid=18914 vsize=15151156 memory=616 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18933/stat : 18933 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 18165 33554432000 4194304 4196468 140726703497104 139982854629712 139983322199963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18934] ppid=18914 vsize=15151156 memory=2832 CPUtime=0.23 cores=1,3,5,7
/proc/18916/task/18934/stat : 18934 (java) R 18914 18914 18852 0 -1 4202560 1632 0 0 0 23 0 0 0 20 0 15 0 515924801 15514783744 18165 33554432000 4194304 4196468 140726703497104 139982853558088 139983305681573 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18936] ppid=18914 vsize=15151156 memory=1620 CPUtime=0.25 cores=1,3,5,7
/proc/18916/task/18936/stat : 18936 (java) R 18914 18914 18852 0 -1 4202560 925 0 0 0 25 0 0 0 20 0 15 0 515924801 15514783744 18165 33554432000 4194304 4196468 140726703497104 139982852513232 139983301874463 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18938] ppid=18914 vsize=15151156 memory=1136 CPUtime=0.36 cores=1,3,5,7
/proc/18916/task/18938/stat : 18938 (java) S 18914 18914 18852 0 -1 1077944384 1865 0 0 0 36 0 0 0 20 0 15 0 515924801 15514783744 18165 33554432000 4194304 4196468 140726703497104 139982851471472 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18941] ppid=18914 vsize=15151156 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18941/stat : 18941 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 18165 33554432000 4194304 4196468 140726703497104 139982850418912 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18944] ppid=18914 vsize=15151156 memory=6196 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18944/stat : 18944 (java) S 18914 18914 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 18165 33554432000 4194304 4196468 140726703497104 139982782065840 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 74112 KiB
[startup+1.5008 s]
/proc/loadavg: 0.00 0.01 0.05 9/228 18944
/proc/meminfo: memFree=25950396/32770624 swapFree=66956944/67108860
[pid=18914] ppid=18911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18914/stat : 18914 (xcsp3-exec) S 18911 18914 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140730707442448 140730707440552 140123385823868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16719872 140730707444566 140730707444825 140730707444825 140730707447750 0
/proc/18914/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/18914/stat : 18914 (xcsp3-exec) S 18911 18914 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140730707442448 140730707440552 140123385823868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16719872 140730707444566 140730707444825 140730707444825 140730707447750 0
/proc/18914/statm: 28282 363 305 221 0 87 0
[pid=18916] ppid=18914 vsize=15151156 memory=340676 CPUtime=915.47 cores=1,3,5,7
/proc/18916/stat : 18916 (java) S 18914 18914 18852 0 -1 1077944320 59092 0 0 0 91490 57 0 0 20 0 15 0 515924794 15514783744 85169 33554432000 4194304 4196468 140726703497104 140726703479648 139983322181367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
/proc/18916/statm: 3787789 85169 3495 1 0 3748889 0
[pid=18916/tid=18918] ppid=18914 vsize=15151156 memory=340676 CPUtime=908.21 cores=1,3,5,7
/proc/18916/task/18918/stat : 18918 (java) R 18914 18914 18852 0 -1 4202560 21179 0 0 0 90810 11 0 0 20 0 15 0 515924794 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983326420928 139982936936274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18919] ppid=18914 vsize=15151156 memory=3624 CPUtime=0.86 cores=1,3,5,7
/proc/18916/task/18919/stat : 18919 (java) S 18914 18914 18852 0 -1 1077944384 2532 0 0 0 77 9 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983258417808 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18920] ppid=18914 vsize=15151156 memory=1452 CPUtime=0.86 cores=1,3,5,7
/proc/18916/task/18920/stat : 18920 (java) S 18914 18914 18852 0 -1 1077944384 2131 0 0 0 79 7 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983257365008 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18921] ppid=18914 vsize=15151156 memory=340676 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18921/stat : 18921 (java) S 18914 18914 18852 0 -1 1077944384 1750 0 0 0 79 8 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983256312208 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18923] ppid=18914 vsize=15151156 memory=2832 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18923/stat : 18923 (java) S 18914 18914 18852 0 -1 1077944384 1792 0 0 0 77 10 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983255259408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18927] ppid=18914 vsize=15151156 memory=984 CPUtime=0.97 cores=1,3,5,7
/proc/18916/task/18927/stat : 18927 (java) S 18914 18914 18852 0 -1 1077944384 3448 0 0 0 89 8 0 0 20 0 15 0 515924798 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982857788272 139983322192514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18930] ppid=18914 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18930/stat : 18930 (java) S 18914 18914 18852 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982856734304 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18932] ppid=18914 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18932/stat : 18932 (java) S 18914 18914 18852 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982855681408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18933] ppid=18914 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18933/stat : 18933 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982854629712 139983322199963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18934] ppid=18914 vsize=15151156 memory=14012 CPUtime=1.04 cores=1,3,5,7
/proc/18916/task/18934/stat : 18934 (java) S 18914 18914 18852 0 -1 1077944384 9359 0 0 0 104 0 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982853577072 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18936] ppid=18914 vsize=15151156 memory=25956 CPUtime=0.99 cores=1,3,5,7
/proc/18916/task/18936/stat : 18936 (java) S 18914 18914 18852 0 -1 1077944384 8806 0 0 0 98 1 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982852524272 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18938] ppid=18914 vsize=15151156 memory=14056 CPUtime=0.46 cores=1,3,5,7
/proc/18916/task/18938/stat : 18938 (java) S 18914 18914 18852 0 -1 1077944384 6018 0 0 0 45 1 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982851471472 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18941] ppid=18914 vsize=15151156 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18941/stat : 18941 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982850418912 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18944] ppid=18914 vsize=15151156 memory=900 CPUtime=0.25 cores=1,3,5,7
/proc/18916/task/18944/stat : 18944 (java) S 18914 18914 18852 0 -1 1077944384 694 0 0 0 12 13 0 0 20 0 15 0 515924802 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982782065840 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
Current children cumulated CPU time: 915.47 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 342128 KiB
[startup+911.201 s]
/proc/loadavg: 1.75 1.66 1.09 3/228 19186
/proc/meminfo: memFree=15597388/32770624 swapFree=66956944/67108860
[pid=18914] ppid=18911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18914/stat : 18914 (xcsp3-exec) S 18911 18914 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140730707442448 140730707440552 140123385823868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16719872 140730707444566 140730707444825 140730707444825 140730707447750 0
/proc/18914/statm: 28282 363 305 221 0 87 0
[pid=18916] ppid=18914 vsize=15151156 memory=340676 CPUtime=916.27 cores=1,3,5,7
/proc/18916/stat : 18916 (java) S 18914 18914 18852 0 -1 1077944320 59092 0 0 0 91570 57 0 0 20 0 15 0 515924794 15514783744 85169 33554432000 4194304 4196468 140726703497104 140726703479648 139983322181367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
/proc/18916/statm: 3787789 85169 3495 1 0 3748889 0
[pid=18916/tid=18918] ppid=18914 vsize=15151156 memory=984 CPUtime=909.01 cores=1,3,5,7
/proc/18916/task/18918/stat : 18918 (java) R 18914 18914 18852 0 -1 4202560 21179 0 0 0 90890 11 0 0 20 0 15 0 515924794 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983326420928 139982936796112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18919] ppid=18914 vsize=15151156 memory=2016 CPUtime=0.86 cores=1,3,5,7
/proc/18916/task/18919/stat : 18919 (java) S 18914 18914 18852 0 -1 1077944384 2532 0 0 0 77 9 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983258417808 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18920] ppid=18914 vsize=15151156 memory=1408 CPUtime=0.86 cores=1,3,5,7
/proc/18916/task/18920/stat : 18920 (java) S 18914 18914 18852 0 -1 1077944384 2131 0 0 0 79 7 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983257365008 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18921] ppid=18914 vsize=15151156 memory=6791534058613427641 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18921/stat : 18921 (java) S 18914 18914 18852 0 -1 1077944384 1750 0 0 0 79 8 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983256312208 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18923] ppid=18914 vsize=15151156 memory=2832 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18923/stat : 18923 (java) S 18914 18914 18852 0 -1 1077944384 1792 0 0 0 77 10 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983255259408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18927] ppid=18914 vsize=15151156 memory=1620 CPUtime=0.97 cores=1,3,5,7
/proc/18916/task/18927/stat : 18927 (java) S 18914 18914 18852 0 -1 1077944384 3448 0 0 0 89 8 0 0 20 0 15 0 515924798 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982857788272 139983322192514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18930] ppid=18914 vsize=15151156 memory=1136 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18930/stat : 18930 (java) S 18914 18914 18852 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982856734304 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18932] ppid=18914 vsize=15151156 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18932/stat : 18932 (java) S 18914 18914 18852 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982855681408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18933] ppid=18914 vsize=15151156 memory=6196 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18933/stat : 18933 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982854629712 139983322199963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18934] ppid=18914 vsize=15151156 memory=784 CPUtime=1.04 cores=1,3,5,7
/proc/18916/task/18934/stat : 18934 (java) S 18914 18914 18852 0 -1 1077944384 9359 0 0 0 104 0 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982853577072 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18936] ppid=18914 vsize=15151156 memory=1060 CPUtime=0.99 cores=1,3,5,7
/proc/18916/task/18936/stat : 18936 (java) S 18914 18914 18852 0 -1 1077944384 8806 0 0 0 98 1 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982852524272 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18938] ppid=18914 vsize=15151156 memory=14012 CPUtime=0.46 cores=1,3,5,7
/proc/18916/task/18938/stat : 18938 (java) S 18914 18914 18852 0 -1 1077944384 6018 0 0 0 45 1 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982851471472 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18941] ppid=18914 vsize=15151156 memory=25956 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18941/stat : 18941 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982850418912 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18944] ppid=18914 vsize=15151156 memory=14056 CPUtime=0.25 cores=1,3,5,7
/proc/18916/task/18944/stat : 18944 (java) S 18914 18914 18852 0 -1 1077944384 694 0 0 0 12 13 0 0 20 0 15 0 515924802 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982782065840 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
Current children cumulated CPU time: 916.27 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 342128 KiB
[startup+912.001 s]*
/proc/loadavg: 1.75 1.66 1.09 3/228 19186
/proc/meminfo: memFree=15597592/32770624 swapFree=66956944/67108860
[pid=18914] ppid=18911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18914/stat : 18914 (xcsp3-exec) S 18911 18914 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140730707442448 140730707440552 140123385823868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16719872 140730707444566 140730707444825 140730707444825 140730707447750 0
/proc/18914/statm: 28282 363 305 221 0 87 0
[pid=18916] ppid=18914 vsize=15151156 memory=340676 CPUtime=917.08 cores=1,3,5,7
/proc/18916/stat : 18916 (java) S 18914 18914 18852 0 -1 1077944320 59094 0 0 0 91651 57 0 0 20 0 15 0 515924794 15514783744 85169 33554432000 4194304 4196468 140726703497104 140726703479648 139983322181367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
/proc/18916/statm: 3787789 85169 3495 1 0 3748889 0
[pid=18916/tid=18918] ppid=18914 vsize=15151156 memory=1412 CPUtime=909.82 cores=1,3,5,7
/proc/18916/task/18918/stat : 18918 (java) R 18914 18914 18852 0 -1 4202560 21180 0 0 0 90971 11 0 0 20 0 15 0 515924794 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983326420832 139982937388558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18919] ppid=18914 vsize=15151156 memory=4872558044660077418 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18919/stat : 18919 (java) S 18914 18914 18852 0 -1 1077944384 2533 0 0 0 78 9 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983258417808 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18920] ppid=18914 vsize=15151156 memory=340676 CPUtime=0.86 cores=1,3,5,7
/proc/18916/task/18920/stat : 18920 (java) S 18914 18914 18852 0 -1 1077944384 2131 0 0 0 79 7 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983257365008 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18921] ppid=18914 vsize=15151156 memory=1556 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18921/stat : 18921 (java) S 18914 18914 18852 0 -1 1077944384 1750 0 0 0 79 8 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983256312208 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18923] ppid=18914 vsize=15151156 memory=928 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18923/stat : 18923 (java) S 18914 18914 18852 0 -1 1077944384 1792 0 0 0 77 10 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983255259408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18927] ppid=18914 vsize=15151156 memory=1772 CPUtime=0.97 cores=1,3,5,7
/proc/18916/task/18927/stat : 18927 (java) S 18914 18914 18852 0 -1 1077944384 3448 0 0 0 89 8 0 0 20 0 15 0 515924798 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982857788272 139983322192514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18930] ppid=18914 vsize=15151156 memory=900 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18930/stat : 18930 (java) S 18914 18914 18852 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982856734304 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18932] ppid=18914 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18932/stat : 18932 (java) S 18914 18914 18852 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982855681408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18933] ppid=18914 vsize=15151156 memory=340676 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18933/stat : 18933 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982854629712 139983322199963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18934] ppid=18914 vsize=15151156 memory=1804 CPUtime=1.04 cores=1,3,5,7
/proc/18916/task/18934/stat : 18934 (java) S 18914 18914 18852 0 -1 1077944384 9359 0 0 0 104 0 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982853577072 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18936] ppid=18914 vsize=15151156 memory=916 CPUtime=0.99 cores=1,3,5,7
/proc/18916/task/18936/stat : 18936 (java) S 18914 18914 18852 0 -1 1077944384 8806 0 0 0 98 1 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982852524272 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18938] ppid=18914 vsize=15151156 memory=3848 CPUtime=0.46 cores=1,3,5,7
/proc/18916/task/18938/stat : 18938 (java) S 18914 18914 18852 0 -1 1077944384 6018 0 0 0 45 1 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982851471472 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18941] ppid=18914 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18941/stat : 18941 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982850418912 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18944] ppid=18914 vsize=15151156 memory=3624 CPUtime=0.25 cores=1,3,5,7
/proc/18916/task/18944/stat : 18944 (java) S 18914 18914 18852 0 -1 1077944384 694 0 0 0 12 13 0 0 20 0 15 0 515924802 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982782065840 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
Current children cumulated CPU time: 917.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 342128 KiB
[startup+912.201 s]
/proc/loadavg: 1.75 1.66 1.09 3/228 19186
/proc/meminfo: memFree=15597592/32770624 swapFree=66956944/67108860
[pid=18914] ppid=18911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18914/stat : 18914 (xcsp3-exec) S 18911 18914 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140730707442448 140730707440552 140123385823868 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16719872 140730707444566 140730707444825 140730707444825 140730707447750 0
/proc/18914/statm: 28282 363 305 221 0 87 0
[pid=18916] ppid=18914 vsize=15151156 memory=340676 CPUtime=917.27 cores=1,3,5,7
/proc/18916/stat : 18916 (java) S 18914 18914 18852 0 -1 1077944320 59094 0 0 0 91670 57 0 0 20 0 15 0 515924794 15514783744 85169 33554432000 4194304 4196468 140726703497104 140726703479648 139983322181367 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
/proc/18916/statm: 3787789 85169 3495 1 0 3748889 0
[pid=18916/tid=18918] ppid=18914 vsize=15151156 memory=2016 CPUtime=910.01 cores=1,3,5,7
/proc/18916/task/18918/stat : 18918 (java) R 18914 18914 18852 0 -1 4202560 21180 0 0 0 90990 11 0 0 20 0 15 0 515924794 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983326420720 139982937773520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18919] ppid=18914 vsize=15151156 memory=1408 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18919/stat : 18919 (java) S 18914 18914 18852 0 -1 1077944384 2533 0 0 0 78 9 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983258417808 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18920] ppid=18914 vsize=15151156 memory=1548 CPUtime=0.86 cores=1,3,5,7
/proc/18916/task/18920/stat : 18920 (java) S 18914 18914 18852 0 -1 1077944384 2131 0 0 0 79 7 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983257365008 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18921] ppid=18914 vsize=15151156 memory=7552 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18921/stat : 18921 (java) S 18914 18914 18852 0 -1 1077944384 1750 0 0 0 79 8 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983256312208 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18923] ppid=18914 vsize=15151156 memory=3608 CPUtime=0.87 cores=1,3,5,7
/proc/18916/task/18923/stat : 18923 (java) S 18914 18914 18852 0 -1 1077944384 1792 0 0 0 77 10 0 0 20 0 15 0 515924797 15514783744 85169 33554432000 4194304 4196468 140726703497104 139983255259408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18927] ppid=18914 vsize=15151156 memory=616 CPUtime=0.97 cores=1,3,5,7
/proc/18916/task/18927/stat : 18927 (java) S 18914 18914 18852 0 -1 1077944384 3448 0 0 0 89 8 0 0 20 0 15 0 515924798 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982857788272 139983322192514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18930] ppid=18914 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18930/stat : 18930 (java) S 18914 18914 18852 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982856734304 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18932] ppid=18914 vsize=15151156 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18932/stat : 18932 (java) S 18914 18914 18852 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982855681408 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18933] ppid=18914 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18933/stat : 18933 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982854629712 139983322199963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18934] ppid=18914 vsize=15151156 memory=4872558044660077418 CPUtime=1.04 cores=1,3,5,7
/proc/18916/task/18934/stat : 18934 (java) S 18914 18914 18852 0 -1 1077944384 9359 0 0 0 104 0 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982853577072 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18936] ppid=18914 vsize=15151156 memory=340676 CPUtime=0.99 cores=1,3,5,7
/proc/18916/task/18936/stat : 18936 (java) S 18914 18914 18852 0 -1 1077944384 8806 0 0 0 98 1 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982852524272 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18938] ppid=18914 vsize=15151156 memory=616 CPUtime=0.46 cores=1,3,5,7
/proc/18916/task/18938/stat : 18938 (java) S 18914 18914 18852 0 -1 1077944384 6018 0 0 0 45 1 0 0 20 0 15 0 515924801 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982851471472 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18941] ppid=18914 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18916/task/18941/stat : 18941 (java) S 18914 18914 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982850418912 139983322191573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
[pid=18916/tid=18944] ppid=18914 vsize=15151156 memory=1620 CPUtime=0.25 cores=1,3,5,7
/proc/18916/task/18944/stat : 18944 (java) S 18914 18914 18852 0 -1 1077944384 694 0 0 0 12 13 0 0 20 0 15 0 515924802 15514783744 85169 33554432000 4194304 4196468 140726703497104 139982782065840 139983322192514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140726703502299 140726703502474 140726703502474 140726703505359 0
Current children cumulated CPU time: 917.27 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 342128 KiB
Child status: 0
Real time (s): 912.24
CPU time (s): 917.329
CPU user time (s): 916.747
CPU system time (s): 0.581968
CPU usage (%): 100.558
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 342128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 916.747
system time used= 0.581968
maximum resident set size= 340920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60135
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47695
involuntary context switches= 1046
# summary of solver processes directly reported to runsolver:
# pid: 18914
# total CPU time (s): 917.329
# total CPU user time (s): 916.747
# total CPU system time (s): 0.581968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62174 second user time and 8.1853 second system time
The end