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 (3572 MiB free)
memory of node 1: 16384 MiB (633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403935-1568992466/watcher-4403935-1568992466 -o /var/tmp/evaluation-result-4403935-1568992466/solver-4403935-1568992466 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568991123-13292 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1313181364 HOME/instance-4403935-1568992466.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=14686, runsolver pid=14683
[startup+0.105822 s]*
/proc/loadavg: 8.14 8.33 6.74 6/234 14702
/proc/meminfo: memFree=4293672/32770624 swapFree=67001768/67108860
[pid=14686] ppid=14683 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14686/stat : 14686 (xcsp3-exec) S 14683 14686 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475160570 115843072 364 33554432000 4194304 5098028 140726671034624 140726671032728 140554756924028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14618624 140726671037270 140726671037529 140726671037529 140726671040454 0
/proc/14686/statm: 28282 364 305 221 0 87 0
[pid=14688] ppid=14686 vsize=15144776 memory=27184 CPUtime=0.12 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14686 14686 13261 0 -1 1077944320 5778 0 0 0 11 1 0 0 20 0 15 0 475160571 15508250624 6796 33554432000 4194304 4196468 140722010050784 140722010033328 140539278479095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
/proc/14688/statm: 3786194 6796 3113 1 0 3748377 0
[pid=14688/tid=14689] ppid=14686 vsize=15144776 memory=8252428994737482315 CPUtime=0.08 cores=0,2,4,6
/proc/14688/task/14689/stat : 14689 (java) R 14686 14686 13261 0 -1 4202560 3740 0 0 0 8 0 0 0 20 0 15 0 475160571 15508250624 6796 33554432000 4194304 4196468 140722010050784 140539282712368 140538915050145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14690] ppid=14686 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15508250624 6796 33554432000 4194304 4196468 140722010050784 140539250322576 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14691] ppid=14686 vsize=15144776 memory=140183758747264 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538869812240 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14692] ppid=14686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538868759440 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14693] ppid=14686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14686 14686 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475160572 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538867706640 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14694] ppid=14686 vsize=15144776 memory=140183758747264 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14686 14686 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475160573 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538747058544 140539278490242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14695] ppid=14686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14686 14686 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475160573 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538746004512 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14696] ppid=14686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14686 14686 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475160574 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538744951664 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14697] ppid=14686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475160576 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538743899984 140539278497691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14698] ppid=14686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14686 14686 13261 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 475160576 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538742848368 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14699] ppid=14686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) S 14686 14686 13261 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 475160576 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538741795568 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14700] ppid=14686 vsize=15144776 memory=140183758747264 CPUtime=0.01 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) R 14686 14686 13261 0 -1 4202560 307 0 0 0 1 0 0 0 20 0 15 0 475160576 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538740742768 140539257867541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14701] ppid=14686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475160576 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538739690208 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14702] ppid=14686 vsize=15144776 memory=140183758747264 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160578 15508250624 6796 33554432000 4194304 4196468 140722010050784 140538738637488 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28640 KiB
[startup+0.212897 s]*
/proc/loadavg: 8.14 8.33 6.74 7/234 14702
/proc/meminfo: memFree=4279732/32770624 swapFree=67001768/67108860
[pid=14686] ppid=14683 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14686/stat : 14686 (xcsp3-exec) S 14683 14686 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475160570 115843072 364 33554432000 4194304 5098028 140726671034624 140726671032728 140554756924028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14618624 140726671037270 140726671037529 140726671037529 140726671040454 0
/proc/14686/statm: 28282 364 305 221 0 87 0
[pid=14688] ppid=14686 vsize=15144776 memory=38968 CPUtime=0.32 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14686 14686 13261 0 -1 1077944320 9505 0 0 0 30 2 0 0 20 0 15 0 475160571 15508250624 9742 33554432000 4194304 4196468 140722010050784 140722010033328 140539278479095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
/proc/14688/statm: 3786194 9742 3281 1 0 3748377 0
[pid=14688/tid=14689] ppid=14686 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/14688/task/14689/stat : 14689 (java) R 14686 14686 13261 0 -1 4202560 6607 0 0 0 17 2 0 0 20 0 15 0 475160571 15508250624 9742 33554432000 4194304 4196468 140722010050784 140539282711008 140539278491030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14690] ppid=14686 vsize=15144776 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15508250624 9742 33554432000 4194304 4196468 140722010050784 140539250322576 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14691] ppid=14686 vsize=15144776 memory=140183762264793 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538869812240 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14692] ppid=14686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538868759440 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14693] ppid=14686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14686 14686 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475160572 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538867706640 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14694] ppid=14686 vsize=15144776 memory=140183758747264 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14686 14686 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475160573 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538747058544 140539278490242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14695] ppid=14686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14686 14686 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475160573 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538746004512 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14696] ppid=14686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14686 14686 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475160574 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538744951664 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14697] ppid=14686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475160576 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538743899984 140539278497691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14698] ppid=14686 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14686 14686 13261 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 15 0 475160576 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538742848368 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14699] ppid=14686 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) S 14686 14686 13261 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 475160576 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538741795568 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14700] ppid=14686 vsize=15144776 memory=140183758747264 CPUtime=0.07 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) R 14686 14686 13261 0 -1 4202560 901 0 0 0 7 0 0 0 20 0 15 0 475160576 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538740738720 140539278500442 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14701] ppid=14686 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475160576 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538739690208 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14702] ppid=14686 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160578 15508250624 9742 33554432000 4194304 4196468 140722010050784 140538738637488 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40424 KiB
[startup+0.310732 s]*
/proc/loadavg: 8.14 8.33 6.74 6/234 14702
/proc/meminfo: memFree=4274572/32770624 swapFree=67001768/67108860
[pid=14686] ppid=14683 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14686/stat : 14686 (xcsp3-exec) S 14683 14686 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475160570 115843072 364 33554432000 4194304 5098028 140726671034624 140726671032728 140554756924028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14618624 140726671037270 140726671037529 140726671037529 140726671040454 0
/proc/14686/statm: 28282 364 305 221 0 87 0
[pid=14688] ppid=14686 vsize=15149032 memory=46080 CPUtime=0.51 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14686 14686 13261 0 -1 1077944320 10819 0 0 0 48 3 0 0 20 0 15 0 475160571 15512608768 11520 33554432000 4194304 4196468 140722010050784 140722010033328 140539278479095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
/proc/14688/statm: 3787258 11520 3366 1 0 3748377 0
[pid=14688/tid=14689] ppid=14686 vsize=15149032 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/14688/task/14689/stat : 14689 (java) R 14686 14686 13261 0 -1 4202560 7648 0 0 0 26 2 0 0 20 0 15 0 475160571 15512608768 11520 33554432000 4194304 4196468 140722010050784 140539282714432 140539278491030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14690] ppid=14686 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15512608768 11520 33554432000 4194304 4196468 140722010050784 140539250322576 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14691] ppid=14686 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538869812240 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14692] ppid=14686 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538868759440 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14693] ppid=14686 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14686 14686 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475160572 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538867706640 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14694] ppid=14686 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14686 14686 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475160573 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538747058544 140539278490242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14695] ppid=14686 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14686 14686 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475160573 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538746004512 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14696] ppid=14686 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14686 14686 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475160574 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538744951664 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14697] ppid=14686 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475160576 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538743899984 140539278497691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14698] ppid=14686 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) S 14686 14686 13261 0 -1 1077944384 463 0 0 0 4 0 0 0 20 0 15 0 475160576 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538742848368 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14699] ppid=14686 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) S 14686 14686 13261 0 -1 1077944384 275 0 0 0 4 0 0 0 20 0 15 0 475160576 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538741795568 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14700] ppid=14686 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14686 14686 13261 0 -1 1077944384 1129 0 0 0 13 0 0 0 20 0 15 0 475160576 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538740742768 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14701] ppid=14686 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475160576 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538739690208 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14702] ppid=14686 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160578 15512608768 11520 33554432000 4194304 4196468 140722010050784 140538738637488 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47536 KiB
[startup+0.705823 s]
/proc/loadavg: 8.14 8.33 6.74 8/234 14702
/proc/meminfo: memFree=4252864/32770624 swapFree=67001768/67108860
[pid=14686] ppid=14683 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14686/stat : 14686 (xcsp3-exec) S 14683 14686 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475160570 115843072 364 33554432000 4194304 5098028 140726671034624 140726671032728 140554756924028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14618624 140726671037270 140726671037529 140726671037529 140726671040454 0
/proc/14686/statm: 28282 364 305 221 0 87 0
[pid=14688] ppid=14686 vsize=15151156 memory=89772 CPUtime=1.72 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14686 14686 13261 0 -1 1077944320 15583 0 0 0 167 5 0 0 20 0 15 0 475160571 15514783744 22443 33554432000 4194304 4196468 140722010050784 140722010033328 140539278479095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
/proc/14688/statm: 3787789 22443 3451 1 0 3748889 0
[pid=14688/tid=14689] ppid=14686 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14688/task/14689/stat : 14689 (java) R 14686 14686 13261 0 -1 4202560 9306 0 0 0 63 4 0 0 20 0 15 0 475160571 15514783744 22443 33554432000 4194304 4196468 140722010050784 140539282711440 140539278491030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14690] ppid=14686 vsize=15151156 memory=53516 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15514783744 22443 33554432000 4194304 4196468 140722010050784 140539250322576 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14691] ppid=14686 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538869812240 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14692] ppid=14686 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160572 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538868759440 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14693] ppid=14686 vsize=15151156 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14686 14686 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475160572 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538867706640 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14694] ppid=14686 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14686 14686 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475160573 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538747058544 140539278490242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14695] ppid=14686 vsize=15151156 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14686 14686 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475160573 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538746004512 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14696] ppid=14686 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14686 14686 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475160574 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538744951664 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14697] ppid=14686 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475160576 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538743899984 140539278497691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14698] ppid=14686 vsize=15151156 memory=2832 CPUtime=0.37 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) R 14686 14686 13261 0 -1 4202560 1855 0 0 0 37 0 0 0 20 0 15 0 475160576 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538742825728 140539257724886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14699] ppid=14686 vsize=15151156 memory=1224 CPUtime=0.26 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) R 14686 14686 13261 0 -1 4202560 801 0 0 0 26 0 0 0 20 0 15 0 475160576 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538741782384 140539257726060 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14700] ppid=14686 vsize=15151156 memory=6068 CPUtime=0.4 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) R 14686 14686 13261 0 -1 4202560 2312 0 0 0 40 0 0 0 20 0 15 0 475160576 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538740742768 140539278500442 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14701] ppid=14686 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475160576 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538739690208 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14702] ppid=14686 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14686 14686 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475160578 15514783744 22443 33554432000 4194304 4196468 140722010050784 140538738637488 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91228 KiB
[startup+1.50073 s]
/proc/loadavg: 8.14 8.33 6.74 9/234 14702
/proc/meminfo: memFree=4182188/32770624 swapFree=67001768/67108860
[pid=14686] ppid=14683 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14686/stat : 14686 (xcsp3-exec) S 14683 14686 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475160570 115843072 364 33554432000 4194304 5098028 140726671034624 140726671032728 140554756924028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14618624 140726671037270 140726671037529 140726671037529 140726671040454 0
/proc/14686/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/14688/task/14698/stat : 14698 (java) R 14686 14686 13261 0 -1 4202560 4216 0 0 0 114 0 0 0 20 0 19 0 475160576 15857688576 52562 33554432000 4194304 4196468 140722010050784 140538742839512 140539259668520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14699] ppid=14686 vsize=15486024 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) R 14686 14686 13261 0 -1 4202560 4330 0 0 0 105 0 0 0 20 0 19 0 475160576 15857688576 52562 33554432000 4194304 4196468 140722010050784 140538741776856 140539261979293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14700] ppid=14686 vsize=15486024 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14686 14686 13261 0 -1 1077944384 4294 0 0 0 77 1 0 0 20 0 19 0 475160576 15857688576 52562 33554432000 4194304 4196468 140722010050784 140538740742768 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14701] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475160576 15857688576 52562 33554432000 4194304 4196468 140722010050784 140538739690208 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14702] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475160578 15857688576 52562 33554432000 4194304 4196468 140722010050784 140538738637488 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 211704 KiB
[startup+2.40083 s]
/proc/loadavg: 8.14 8.33 6.74 13/238 14734
/proc/meminfo: memFree=4102144/32770624 swapFree=67001768/67108860
[pid=14686] ppid=14683 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14686/stat : 14686 (xcsp3-exec) S 14683 14686 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475160570 115843072 364 33554432000 4194304 5098028 140726671034624 140726671032728 140554756924028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14618624 140726671037270 140726671037529 140726671037529 140726671040454 0
/proc/14686/statm: 28282 364 305 221 0 87 0
[pid=14688] ppid=14686 vsize=15486024 memory=220268 CPUtime=8.08 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14686 14686 13261 0 -1 1077944320 30350 0 0 0 797 11 0 0 20 0 19 0 475160571 15857688576 55067 33554432000 4194304 4196468 140722010050784 140722010033328 140539278479095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
/proc/14688/statm: 3871506 55067 3522 1 0 3832606 0
[pid=14688/tid=14689] ppid=14686 vsize=15486024 memory=207004 CPUtime=1.19 cores=0,2,4,6
/proc/14688/task/14689/stat : 14689 (java) S 14686 14686 13261 0 -1 1077944384 12020 0 0 0 114 5 0 0 20 0 19 0 475160571 15857688576 55067 33554432000 4194304 4196468 140722010050784 140539282719872 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14690] ppid=14686 vsize=15486024 memory=15816698942982858 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) S 14686 14686 13261 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55067 33554432000 4194304 4196468 140722010050784 140539250322576 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14691] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14686 14686 13261 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538869812240 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14692] ppid=14686 vsize=15486024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14686 14686 13261 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538868759440 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14693] ppid=14686 vsize=15486024 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14686 14686 13261 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538867706640 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14694] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14686 14686 13261 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 19 0 475160573 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538747058544 140539278490242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14695] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14686 14686 13261 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475160573 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538746004512 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14696] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14686 14686 13261 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 475160574 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538744951664 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14697] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475160576 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538743899984 140539278497691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14698] ppid=14686 vsize=15486024 memory=0 CPUtime=1.78 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) R 14686 14686 13261 0 -1 4202560 5318 0 0 0 177 1 0 0 20 0 19 0 475160576 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538742830736 140539256496104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14699] ppid=14686 vsize=15486024 memory=0 CPUtime=1.52 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) R 14686 14686 13261 0 -1 4202560 5201 0 0 0 152 0 0 0 20 0 19 0 475160576 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538741788760 140539260000277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14700] ppid=14686 vsize=15486024 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) R 14686 14686 13261 0 -1 1077944384 4934 0 0 0 88 1 0 0 20 0 19 0 475160576 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538740742768 140539278490242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14701] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475160576 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538739690208 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14702] ppid=14686 vsize=15486024 memory=56 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475160578 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538738637488 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14731] ppid=14686 vsize=15486024 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/14688/task/14731/stat : 14731 (java) R 14686 14686 13261 0 -1 4202560 20 0 0 0 28 0 0 0 20 0 19 0 475160753 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538724162504 140538922425332 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14732] ppid=14686 vsize=15486024 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/14688/task/14732/stat : 14732 (java) R 14686 14686 13261 0 -1 4202560 25 0 0 0 35 0 0 0 20 0 19 0 475160753 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538723111624 140538921945072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14733] ppid=14686 vsize=15486024 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/14688/task/14733/stat : 14733 (java) R 14686 14686 13261 0 -1 4202560 19 0 0 0 51 0 0 0 20 0 19 0 475160753 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538727321864 140538921456000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14734] ppid=14686 vsize=15486024 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/14688/task/14734/stat : 14734 (java) R 14686 14686 13261 0 -1 4202560 26 0 0 0 26 0 0 0 20 0 19 0 475160755 15857688576 55067 33554432000 4194304 4196468 140722010050784 140538726271272 140538922426559 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
Current children cumulated CPU time: 8.08 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 221724 KiB
[startup+2.80882 s]
/proc/loadavg: 8.14 8.33 6.74 13/238 14734
/proc/meminfo: memFree=4102144/32770624 swapFree=67001768/67108860
[pid=14686] ppid=14683 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14686/stat : 14686 (xcsp3-exec) S 14683 14686 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475160570 115843072 364 33554432000 4194304 5098028 140726671034624 140726671032728 140554756924028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14618624 140726671037270 140726671037529 140726671037529 140726671040454 0
/proc/14686/statm: 28282 364 305 221 0 87 0
[pid=14688] ppid=14686 vsize=15486024 memory=221016 CPUtime=9.71 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14686 14686 13261 0 -1 1077944320 31425 0 0 0 960 11 0 0 20 0 19 0 475160571 15857688576 55254 33554432000 4194304 4196468 140722010050784 140722010033328 140539278479095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
/proc/14688/statm: 3871506 55254 3525 1 0 3832606 0
[pid=14688/tid=14689] ppid=14686 vsize=15486024 memory=5859271421085237344 CPUtime=1.19 cores=0,2,4,6
/proc/14688/task/14689/stat : 14689 (java) S 14686 14686 13261 0 -1 1077944384 12020 0 0 0 114 5 0 0 20 0 19 0 475160571 15857688576 55254 33554432000 4194304 4196468 140722010050784 140539282719872 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14690] ppid=14686 vsize=15486024 memory=7649399384348963889 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) S 14686 14686 13261 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55254 33554432000 4194304 4196468 140722010050784 140539250322576 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14691] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14686 14686 13261 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538869812240 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14692] ppid=14686 vsize=15486024 memory=3472285459100358917 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14686 14686 13261 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538868759440 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14693] ppid=14686 vsize=15486024 memory=3472609771204393169 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14686 14686 13261 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538867706640 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14694] ppid=14686 vsize=15486024 memory=3472328296227682513 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14686 14686 13261 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 19 0 475160573 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538747058544 140539278490242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14695] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14686 14686 13261 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475160573 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538746004512 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14696] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14686 14686 13261 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 475160574 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538744951664 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14697] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475160576 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538743899984 140539278497691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14698] ppid=14686 vsize=15486024 memory=0 CPUtime=2.02 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) R 14686 14686 13261 0 -1 4202560 5657 0 0 0 201 1 0 0 20 0 19 0 475160576 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538742829728 140539261965109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14699] ppid=14686 vsize=15486024 memory=0 CPUtime=1.81 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) R 14686 14686 13261 0 -1 4202560 5546 0 0 0 181 0 0 0 20 0 19 0 475160576 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538741782112 140539263398051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14700] ppid=14686 vsize=15486024 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14686 14686 13261 0 -1 1077944384 4974 0 0 0 89 1 0 0 20 0 19 0 475160576 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538740742768 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14701] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475160576 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538739690208 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14702] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14686 14686 13261 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475160578 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538738637488 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14731] ppid=14686 vsize=15486024 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/14688/task/14731/stat : 14731 (java) R 14686 14686 13261 0 -1 4202560 34 0 0 0 48 0 0 0 20 0 19 0 475160753 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538724162744 140538922425554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14732] ppid=14686 vsize=15486024 memory=288230376974057755 CPUtime=0.71 cores=0,2,4,6
/proc/14688/task/14732/stat : 14732 (java) R 14686 14686 13261 0 -1 4202560 213 0 0 0 71 0 0 0 20 0 19 0 475160753 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538723111352 140538922696448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14733] ppid=14686 vsize=15486024 memory=288286684129527036 CPUtime=0.79 cores=0,2,4,6
/proc/14688/task/14733/stat : 14733 (java) R 14686 14686 13261 0 -1 4202560 23 0 0 0 79 0 0 0 20 0 19 0 475160753 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538727322024 140538923596620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14734] ppid=14686 vsize=15486024 memory=6944656592455097440 CPUtime=0.5 cores=0,2,4,6
/proc/14688/task/14734/stat : 14734 (java) R 14686 14686 13261 0 -1 4202560 165 0 0 0 50 0 0 0 20 0 19 0 475160755 15857688576 55254 33554432000 4194304 4196468 140722010050784 140538726270616 140538923875919 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 222472 KiB
[startup+3.0047 s]*
/proc/loadavg: 8.14 8.33 6.74 12/239 14736
/proc/meminfo: memFree=4099708/32770624 swapFree=67001768/67108860
[pid=14686] ppid=14683 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14686/stat : 14686 (xcsp3-exec) S 14683 14686 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475160570 115843072 364 33554432000 4194304 5098028 140726671034624 140726671032728 140554756924028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14618624 140726671037270 140726671037529 140726671037529 140726671040454 0
/proc/14686/statm: 28282 364 305 221 0 87 0
[pid=14688] ppid=14686 vsize=15486024 memory=221208 CPUtime=10.52 cores=0,2,4,6
/proc/14688/stat : 14688 (java) S 14686 14686 13261 0 -1 1077944320 31670 0 0 0 1041 11 0 0 20 0 19 0 475160571 15857688576 55302 33554432000 4194304 4196468 140722010050784 140722010033328 140539278479095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
/proc/14688/statm: 3871506 55302 3525 1 0 3832606 0
[pid=14688/tid=14689] ppid=14686 vsize=15486024 memory=7883960649037381690 CPUtime=1.19 cores=0,2,4,6
/proc/14688/task/14689/stat : 14689 (java) S 14686 14686 13261 0 -1 1077944384 12020 0 0 0 114 5 0 0 20 0 19 0 475160571 15857688576 55302 33554432000 4194304 4196468 140722010050784 140539282719872 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14690] ppid=14686 vsize=15486024 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14690/stat : 14690 (java) S 14686 14686 13261 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55302 33554432000 4194304 4196468 140722010050784 140539250322576 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14691] ppid=14686 vsize=15486024 memory=140183762264793 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14691/stat : 14691 (java) S 14686 14686 13261 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538869812240 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14692] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14692/stat : 14692 (java) S 14686 14686 13261 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538868759440 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14693] ppid=14686 vsize=15486024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14693/stat : 14693 (java) S 14686 14686 13261 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 19 0 475160572 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538867706640 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14694] ppid=14686 vsize=15486024 memory=140183758747264 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14694/stat : 14694 (java) S 14686 14686 13261 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 19 0 475160573 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538747058544 140539278490242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14695] ppid=14686 vsize=15486024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14695/stat : 14695 (java) S 14686 14686 13261 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475160573 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538746004512 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14696] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14696/stat : 14696 (java) S 14686 14686 13261 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 475160574 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538744951664 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14697] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14697/stat : 14697 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475160576 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538743899984 140539278497691 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14698] ppid=14686 vsize=15486024 memory=0 CPUtime=2.21 cores=0,2,4,6
/proc/14688/task/14698/stat : 14698 (java) R 14686 14686 13261 0 -1 4202560 5733 0 0 0 220 1 0 0 20 0 19 0 475160576 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538742834720 140539264159793 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14699] ppid=14686 vsize=15486024 memory=-1 CPUtime=1.94 cores=0,2,4,6
/proc/14688/task/14699/stat : 14699 (java) R 14686 14686 13261 0 -1 4202560 5610 0 0 0 194 0 0 0 20 0 19 0 475160576 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538741781776 140539256855980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14700] ppid=14686 vsize=15486024 memory=140183758747264 CPUtime=0.91 cores=0,2,4,6
/proc/14688/task/14700/stat : 14700 (java) S 14686 14686 13261 0 -1 1077944384 4998 0 0 0 90 1 0 0 20 0 19 0 475160576 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538740742608 140539278500285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14701] ppid=14686 vsize=15486024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14701/stat : 14701 (java) S 14686 14686 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475160576 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538739690208 140539278489301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14702] ppid=14686 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14688/task/14702/stat : 14702 (java) S 14686 14686 13261 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475160578 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538738637488 140539278490242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14731] ppid=14686 vsize=15486024 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/14688/task/14731/stat : 14731 (java) R 14686 14686 13261 0 -1 4202560 34 0 0 0 58 0 0 0 20 0 19 0 475160753 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538724163496 140538922426279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14732] ppid=14686 vsize=15486024 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/14688/task/14732/stat : 14732 (java) R 14686 14686 13261 0 -1 4202560 217 0 0 0 82 0 0 0 20 0 19 0 475160753 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538723111160 140538922696831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14733] ppid=14686 vsize=15486024 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/14688/task/14733/stat : 14733 (java) R 14686 14686 13261 0 -1 4202560 94 0 0 0 90 0 0 0 20 0 19 0 475160753 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538727322968 140538918400671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
[pid=14688/tid=14734] ppid=14686 vsize=15486024 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/14688/task/14734/stat : 14734 (java) R 14686 14686 13261 0 -1 4202560 176 0 0 0 68 0 0 0 20 0 19 0 475160755 15857688576 55302 33554432000 4194304 4196468 140722010050784 140538726268296 140539278491030 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140722010059739 140722010059914 140722010059914 140722010062799 0
Current children cumulated CPU time: 10.52 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 222664 KiB
Child status: 0
Real time (s): 3.06168
CPU time (s): 10.6583
CPU user time (s): 10.5366
CPU system time (s): 0.121626
CPU usage (%): 348.118
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 222664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5366
system time used= 0.121626
maximum resident set size= 221664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2640
involuntary context switches= 400
# summary of solver processes directly reported to runsolver:
# pid: 14686
# total CPU time (s): 10.6583
# total CPU user time (s): 10.5366
# total CPU system time (s): 0.121626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043197 second user time and 0.08156 second system time
The end