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 (3751 MiB free)
memory of node 1: 16384 MiB (4132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404163-1568992907/watcher-4404163-1568992907 -o /var/tmp/evaluation-result-4404163-1568992907/solver-4404163-1568992907 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1568991652-22530 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1304872897 HOME/instance-4404163-1568992907.xml
running on 4 cores: 1,3,5,7
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
solver pid=23727, runsolver pid=23724
Current StackSize limit: 8192 KiB
[startup+0.100527 s]*
/proc/loadavg: 8.55 8.39 6.46 8/235 23763
/proc/meminfo: memFree=8055284/32770624 swapFree=66993304/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475558444 115843072 364 33554432000 4194304 5098028 140721635842096 140721635840200 139924350530172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11120640 140721635844950 140721635845209 140721635845209 140721635848134 0
/proc/23727/statm: 28282 364 305 221 0 87 0
[pid=23729] ppid=23727 vsize=15144776 memory=29060 CPUtime=0.13 cores=1,3,5,7
/proc/23729/stat : 23729 (java) S 23727 23727 22498 0 -1 1077944320 5688 0 0 0 12 1 0 0 20 0 15 0 475558444 15508250624 7265 33554432000 4194304 4196468 140735572293456 140735572276000 140038956584695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
/proc/23729/statm: 3786194 7265 3151 1 0 3748377 0
[pid=23729/tid=23734] ppid=23727 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/23729/task/23734/stat : 23734 (java) R 23727 23727 22498 0 -1 4202560 3566 0 0 0 8 0 0 0 20 0 15 0 475558445 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038960814288 140038956606042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23740] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475558445 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038892821520 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23741] ppid=23727 vsize=15144776 memory=3474722570501830304 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038891768976 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23742] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038890715920 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23743] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038889663376 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23751] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23751/stat : 23751 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558447 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038492432624 140038956595842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23752] ppid=23727 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23752/stat : 23752 (java) S 23727 23727 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475558447 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038491378848 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23753] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23753/stat : 23753 (java) S 23727 23727 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475558447 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038490325744 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23758] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23758/stat : 23758 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475558450 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038489274320 140038956603291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23759] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23759/stat : 23759 (java) S 23727 23727 22498 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 475558450 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038488222448 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23760] ppid=23727 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23760/stat : 23760 (java) S 23727 23727 22498 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 475558450 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038487169904 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23761] ppid=23727 vsize=15144776 memory=140266816616064 CPUtime=0.02 cores=1,3,5,7
/proc/23729/task/23761/stat : 23761 (java) R 23727 23727 22498 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 475558450 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038486116848 140038935551592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23762] ppid=23727 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23762/stat : 23762 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475558450 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038485064544 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23763] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23763/stat : 23763 (java) S 23727 23727 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475558450 15508250624 7265 33554432000 4194304 4196468 140735572293456 140038484011568 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30516 KiB
[startup+0.210779 s]*
/proc/loadavg: 8.55 8.39 6.46 10/235 23767
/proc/meminfo: memFree=8039244/32770624 swapFree=66993304/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475558444 115843072 364 33554432000 4194304 5098028 140721635842096 140721635840200 139924350530172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11120640 140721635844950 140721635845209 140721635845209 140721635848134 0
/proc/23727/statm: 28282 364 305 221 0 87 0
[pid=23729] ppid=23727 vsize=15144776 memory=40932 CPUtime=0.35 cores=1,3,5,7
/proc/23729/stat : 23729 (java) S 23727 23727 22498 0 -1 1077944320 9489 0 0 0 32 3 0 0 20 0 15 0 475558444 15508250624 10233 33554432000 4194304 4196468 140735572293456 140735572276000 140038956584695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
/proc/23729/statm: 3786194 10233 3299 1 0 3748377 0
[pid=23729/tid=23734] ppid=23727 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23729/task/23734/stat : 23734 (java) R 23727 23727 22498 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 475558445 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038960823696 140038956606621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23740] ppid=23727 vsize=15144776 memory=8998 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475558445 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038892821520 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23741] ppid=23727 vsize=15144776 memory=140266820192798 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038891768976 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23742] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038890715920 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23743] ppid=23727 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038889663376 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23751] ppid=23727 vsize=15144776 memory=140266816616064 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23751/stat : 23751 (java) S 23727 23727 22498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475558447 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038492432624 140038956595842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23752] ppid=23727 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23752/stat : 23752 (java) S 23727 23727 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475558447 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038491378848 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23753] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23753/stat : 23753 (java) S 23727 23727 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475558447 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038490325744 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23758] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23758/stat : 23758 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475558450 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038489274320 140038956603291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23759] ppid=23727 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23729/task/23759/stat : 23759 (java) S 23727 23727 22498 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 475558450 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038488222448 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23760] ppid=23727 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23729/task/23760/stat : 23760 (java) S 23727 23727 22498 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 15 0 475558450 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038487169904 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23761] ppid=23727 vsize=15144776 memory=140266816616064 CPUtime=0.08 cores=1,3,5,7
/proc/23729/task/23761/stat : 23761 (java) S 23727 23727 22498 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 475558450 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038486116848 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23762] ppid=23727 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23762/stat : 23762 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475558450 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038485064544 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23763] ppid=23727 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23763/stat : 23763 (java) S 23727 23727 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475558450 15508250624 10233 33554432000 4194304 4196468 140735572293456 140038484011568 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42388 KiB
[startup+0.317527 s]*
/proc/loadavg: 8.55 8.39 6.46 10/235 23767
/proc/meminfo: memFree=8031204/32770624 swapFree=66993304/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475558444 115843072 364 33554432000 4194304 5098028 140721635842096 140721635840200 139924350530172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11120640 140721635844950 140721635845209 140721635845209 140721635848134 0
/proc/23727/statm: 28282 364 305 221 0 87 0
[pid=23729] ppid=23727 vsize=15149032 memory=50440 CPUtime=0.54 cores=1,3,5,7
/proc/23729/stat : 23729 (java) S 23727 23727 22498 0 -1 1077944320 10917 0 0 0 51 3 0 0 20 0 15 0 475558444 15512608768 12610 33554432000 4194304 4196468 140735572293456 140735572276000 140038956584695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
/proc/23729/statm: 3787258 12610 3373 1 0 3748377 0
[pid=23729/tid=23734] ppid=23727 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/23729/task/23734/stat : 23734 (java) R 23727 23727 22498 0 -1 4202560 7881 0 0 0 28 2 0 0 20 0 15 0 475558445 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038960820272 140038940665182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23740] ppid=23727 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475558445 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038892821520 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23741] ppid=23727 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038891768976 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23742] ppid=23727 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038890715920 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23743] ppid=23727 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038889663376 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23751] ppid=23727 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23751/stat : 23751 (java) S 23727 23727 22498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475558447 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038492432624 140038956595842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23752] ppid=23727 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23752/stat : 23752 (java) S 23727 23727 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475558447 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038491378848 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23753] ppid=23727 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23753/stat : 23753 (java) S 23727 23727 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475558447 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038490325744 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23758] ppid=23727 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23758/stat : 23758 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475558450 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038489274320 140038956603291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23759] ppid=23727 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/23729/task/23759/stat : 23759 (java) S 23727 23727 22498 0 -1 1077944384 577 0 0 0 5 0 0 0 20 0 15 0 475558450 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038488222448 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23760] ppid=23727 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23729/task/23760/stat : 23760 (java) S 23727 23727 22498 0 -1 1077944384 331 0 0 0 3 0 0 0 20 0 15 0 475558450 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038487169904 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23761] ppid=23727 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23729/task/23761/stat : 23761 (java) S 23727 23727 22498 0 -1 1077944384 824 0 0 0 12 0 0 0 20 0 15 0 475558450 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038486116848 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23762] ppid=23727 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23762/stat : 23762 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475558450 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038485064544 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23763] ppid=23727 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23763/stat : 23763 (java) S 23727 23727 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475558450 15512608768 12610 33554432000 4194304 4196468 140735572293456 140038484011568 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51896 KiB
[startup+0.700792 s]
/proc/loadavg: 8.55 8.39 6.46 11/235 23767
/proc/meminfo: memFree=8017680/32770624 swapFree=66993304/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475558444 115843072 364 33554432000 4194304 5098028 140721635842096 140721635840200 139924350530172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11120640 140721635844950 140721635845209 140721635845209 140721635848134 0
/proc/23727/statm: 28282 364 305 221 0 87 0
[pid=23729] ppid=23727 vsize=15151156 memory=84016 CPUtime=1.67 cores=1,3,5,7
/proc/23729/stat : 23729 (java) S 23727 23727 22498 0 -1 1077944320 15066 0 0 0 162 5 0 0 20 0 15 0 475558444 15514783744 21004 33554432000 4194304 4196468 140735572293456 140735572276000 140038956584695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
/proc/23729/statm: 3787789 21004 3445 1 0 3748889 0
[pid=23729/tid=23734] ppid=23727 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/23729/task/23734/stat : 23734 (java) R 23727 23727 22498 0 -1 4202560 9150 0 0 0 65 3 0 0 20 0 15 0 475558445 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038960821504 140038956596630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23740] ppid=23727 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475558445 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038892821520 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23741] ppid=23727 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038891768976 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23742] ppid=23727 vsize=15151156 memory=740 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038890715920 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23743] ppid=23727 vsize=15151156 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475558445 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038889663376 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23751] ppid=23727 vsize=15151156 memory=9520 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23751/stat : 23751 (java) S 23727 23727 22498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475558447 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038492432624 140038956595842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23752] ppid=23727 vsize=15151156 memory=4076 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23752/stat : 23752 (java) S 23727 23727 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475558447 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038491378848 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23753] ppid=23727 vsize=15151156 memory=2836 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23753/stat : 23753 (java) S 23727 23727 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475558447 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038490325744 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23758] ppid=23727 vsize=15151156 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23758/stat : 23758 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475558450 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038489274320 140038956603291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23759] ppid=23727 vsize=15151156 memory=1736 CPUtime=0.27 cores=1,3,5,7
/proc/23729/task/23759/stat : 23759 (java) R 23727 23727 22498 0 -1 4202560 1326 0 0 0 27 0 0 0 20 0 15 0 475558450 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038488222448 140038956596630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23760] ppid=23727 vsize=15151156 memory=6100 CPUtime=0.26 cores=1,3,5,7
/proc/23729/task/23760/stat : 23760 (java) R 23727 23727 22498 0 -1 1077944384 1206 0 0 0 26 0 0 0 20 0 15 0 475558450 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038487169904 140038956595842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23761] ppid=23727 vsize=15151156 memory=772 CPUtime=0.42 cores=1,3,5,7
/proc/23729/task/23761/stat : 23761 (java) R 23727 23727 22498 0 -1 4202560 2073 0 0 0 42 0 0 0 20 0 15 0 475558450 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038486116848 140038956606042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23762] ppid=23727 vsize=15151156 memory=952 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23762/stat : 23762 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475558450 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038485064544 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23763] ppid=23727 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23763/stat : 23763 (java) S 23727 23727 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475558450 15514783744 21004 33554432000 4194304 4196468 140735572293456 140038484011568 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 85472 KiB
[startup+1.50152 s]
/proc/loadavg: 8.55 8.39 6.46 12/239 23771
/proc/meminfo: memFree=7939160/32770624 swapFree=66993304/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475558444 115843072 364 33554432000 4194304 5098028 140721635842096 140721635840200 139924350530172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11120640 140721635844950 140721635845209 140721635845209 140721635848134 0
/proc/23727/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/23729/stat : 23729 (java) S 23727 23727 22498 0 -1 1077944320 101966 0 0 0 207232 111 0 0 20 0 19 0 475558444 15790579712 130356 33554432000 4194304 4196468 140735572293456 140735572276000 140038956584695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
/proc/23729/statm: 3855122 130356 3546 1 0 3816222 0
[pid=23729/tid=23734] ppid=23727 vsize=15420488 memory=519888 CPUtime=0.93 cores=1,3,5,7
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 22498 0 -1 1077944384 9276 0 0 0 90 3 0 0 20 0 19 0 475558445 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038960825472 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23740] ppid=23727 vsize=15420488 memory=519888 CPUtime=1.98 cores=1,3,5,7
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 22498 0 -1 1077944384 4871 0 0 0 181 17 0 0 20 0 19 0 475558445 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038892821520 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23741] ppid=23727 vsize=15420488 memory=519888 CPUtime=1.99 cores=1,3,5,7
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 22498 0 -1 1077944384 4438 0 0 0 183 16 0 0 20 0 19 0 475558445 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038891768976 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23742] ppid=23727 vsize=15420488 memory=519888 CPUtime=1.98 cores=1,3,5,7
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 22498 0 -1 1077944384 3829 0 0 0 182 16 0 0 20 0 19 0 475558445 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038890715920 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23743] ppid=23727 vsize=15420488 memory=521424 CPUtime=1.98 cores=1,3,5,7
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 22498 0 -1 1077944384 5434 0 0 0 182 16 0 0 20 0 19 0 475558445 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038889663376 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23751] ppid=23727 vsize=15420488 memory=521424 CPUtime=1.03 cores=1,3,5,7
/proc/23729/task/23751/stat : 23751 (java) S 23727 23727 22498 0 -1 1077944384 12239 0 0 0 64 39 0 0 20 0 19 0 475558447 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038492432624 140038956595842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23752] ppid=23727 vsize=15420488 memory=521424 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23752/stat : 23752 (java) S 23727 23727 22498 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 475558447 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038491378912 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23753] ppid=23727 vsize=15420488 memory=521424 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23753/stat : 23753 (java) S 23727 23727 22498 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 475558447 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038490325760 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23758] ppid=23727 vsize=15420488 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23758/stat : 23758 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475558450 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038489274320 140038956603291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23759] ppid=23727 vsize=15420488 memory=7442733826595703265 CPUtime=2.14 cores=1,3,5,7
/proc/23729/task/23759/stat : 23759 (java) S 23727 23727 22498 0 -1 1077944384 11392 0 0 0 213 1 0 0 20 0 19 0 475558450 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038488222448 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23760] ppid=23727 vsize=15420488 memory=1456 CPUtime=2.14 cores=1,3,5,7
/proc/23729/task/23760/stat : 23760 (java) S 23727 23727 22498 0 -1 1077944384 12752 0 0 0 213 1 0 0 20 0 19 0 475558450 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038487169904 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23761] ppid=23727 vsize=15420488 memory=84 CPUtime=0.83 cores=1,3,5,7
/proc/23729/task/23761/stat : 23761 (java) S 23727 23727 22498 0 -1 1077944384 8906 0 0 0 82 1 0 0 20 0 19 0 475558450 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038486116848 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23762] ppid=23727 vsize=15420488 memory=8243114992657236051 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23762/stat : 23762 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475558450 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038485064544 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23763] ppid=23727 vsize=15420488 memory=5795153719298590087 CPUtime=0.44 cores=1,3,5,7
/proc/23729/task/23763/stat : 23763 (java) S 23727 23727 22498 0 -1 1077944384 929 0 0 0 0 44 0 0 20 0 19 0 475558450 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038484011568 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23784] ppid=23727 vsize=15420488 memory=-5921431000321636112 CPUtime=514.04 cores=1,3,5,7
/proc/23729/task/23784/stat : 23784 (java) R 23727 23727 22498 0 -1 4202560 1342 0 0 0 51404 0 0 0 20 0 19 0 475558580 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038407384600 140038575759037 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23785] ppid=23727 vsize=15420488 memory=504584 CPUtime=514.39 cores=1,3,5,7
/proc/23729/task/23785/stat : 23785 (java) R 23727 23727 22498 0 -1 4202560 7803 0 0 0 51436 3 0 0 20 0 19 0 475558580 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038406331920 140038575290937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23786] ppid=23727 vsize=15420488 memory=1456 CPUtime=514.56 cores=1,3,5,7
/proc/23729/task/23786/stat : 23786 (java) R 23727 23727 22498 0 -1 4202560 1385 0 0 0 51456 0 0 0 20 0 19 0 475558580 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038401077640 140038575758126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23787] ppid=23727 vsize=15420488 memory=1456 CPUtime=514.13 cores=1,3,5,7
/proc/23729/task/23787/stat : 23787 (java) R 23727 23727 22498 0 -1 4202560 15504 0 0 0 51408 5 0 0 20 0 19 0 475558580 15790579712 130356 33554432000 4194304 4196468 140735572293456 140038404230256 140038573632079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
Current children cumulated CPU time: 2073.43 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 522880 KiB
[startup+582.302 s]
/proc/loadavg: 4.00 4.65 5.35 5/212 23889
/proc/meminfo: memFree=7756788/32770624 swapFree=66993324/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475558444 115843072 364 33554432000 4194304 5098028 140721635842096 140721635840200 139924350530172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11120640 140721635844950 140721635845209 140721635845209 140721635848134 0
/proc/23727/statm: 28282 364 305 221 0 87 0
[pid=23729] ppid=23727 vsize=15420488 memory=536496 CPUtime=2311.65 cores=1,3,5,7
/proc/23729/stat : 23729 (java) S 23727 23727 22498 0 -1 1077944320 103816 0 0 0 231038 127 0 0 20 0 19 0 475558444 15790579712 134124 33554432000 4194304 4196468 140735572293456 140735572276000 140038956584695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
/proc/23729/statm: 3855122 134124 3546 1 0 3816222 0
[pid=23729/tid=23734] ppid=23727 vsize=15420488 memory=551708 CPUtime=0.93 cores=1,3,5,7
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 22498 0 -1 1077944384 9276 0 0 0 90 3 0 0 20 0 19 0 475558445 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038960825472 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23740] ppid=23727 vsize=15420488 memory=540948 CPUtime=2.31 cores=1,3,5,7
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 22498 0 -1 1077944384 5181 0 0 0 212 19 0 0 20 0 19 0 475558445 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038892821520 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23741] ppid=23727 vsize=15420488 memory=537016 CPUtime=2.31 cores=1,3,5,7
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 22498 0 -1 1077944384 4531 0 0 0 213 18 0 0 20 0 19 0 475558445 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038891768976 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23742] ppid=23727 vsize=15420488 memory=537520 CPUtime=2.31 cores=1,3,5,7
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 22498 0 -1 1077944384 3906 0 0 0 213 18 0 0 20 0 19 0 475558445 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038890715920 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23743] ppid=23727 vsize=15420488 memory=536496 CPUtime=2.32 cores=1,3,5,7
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 22498 0 -1 1077944384 5523 0 0 0 213 19 0 0 20 0 19 0 475558445 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038889663376 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23751] ppid=23727 vsize=15420488 memory=1456 CPUtime=1.2 cores=1,3,5,7
/proc/23729/task/23751/stat : 23751 (java) S 23727 23727 22498 0 -1 1077944384 12954 0 0 0 74 46 0 0 20 0 19 0 475558447 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038492432624 140038956595842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23752] ppid=23727 vsize=15420488 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23752/stat : 23752 (java) S 23727 23727 22498 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 475558447 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038491378912 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23753] ppid=23727 vsize=15420488 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23753/stat : 23753 (java) S 23727 23727 22498 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 475558447 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038490325760 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23758] ppid=23727 vsize=15420488 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23758/stat : 23758 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475558450 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038489274320 140038956603291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23759] ppid=23727 vsize=15420488 memory=536500 CPUtime=2.14 cores=1,3,5,7
/proc/23729/task/23759/stat : 23759 (java) S 23727 23727 22498 0 -1 1077944384 11404 0 0 0 213 1 0 0 20 0 19 0 475558450 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038488222448 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23760] ppid=23727 vsize=15420488 memory=6791534058613427641 CPUtime=2.14 cores=1,3,5,7
/proc/23729/task/23760/stat : 23760 (java) S 23727 23727 22498 0 -1 1077944384 12755 0 0 0 213 1 0 0 20 0 19 0 475558450 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038487169904 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23761] ppid=23727 vsize=15420488 memory=496 CPUtime=0.83 cores=1,3,5,7
/proc/23729/task/23761/stat : 23761 (java) S 23727 23727 22498 0 -1 1077944384 8908 0 0 0 82 1 0 0 20 0 19 0 475558450 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038486116848 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23762] ppid=23727 vsize=15420488 memory=535984 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23762/stat : 23762 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475558450 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038485064544 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23763] ppid=23727 vsize=15420488 memory=1456 CPUtime=0.5 cores=1,3,5,7
/proc/23729/task/23763/stat : 23763 (java) S 23727 23727 22498 0 -1 1077944384 954 0 0 0 0 50 0 0 20 0 19 0 475558450 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038484011568 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23784] ppid=23727 vsize=15420488 memory=537012 CPUtime=573.24 cores=1,3,5,7
/proc/23729/task/23784/stat : 23784 (java) R 23727 23727 22498 0 -1 4202560 1446 0 0 0 57323 1 0 0 20 0 19 0 475558580 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038407383632 140038573244870 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23785] ppid=23727 vsize=15420488 memory=3620 CPUtime=573.53 cores=1,3,5,7
/proc/23729/task/23785/stat : 23785 (java) R 23727 23727 22498 0 -1 4202560 8012 0 0 0 57349 4 0 0 20 0 19 0 475558580 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038406331760 140038573245579 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23786] ppid=23727 vsize=15420488 memory=535940 CPUtime=573.76 cores=1,3,5,7
/proc/23729/task/23786/stat : 23786 (java) R 23727 23727 22498 0 -1 4202560 1458 0 0 0 57375 1 0 0 20 0 19 0 475558580 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038401076984 140038572637904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23787] ppid=23727 vsize=15420488 memory=1428 CPUtime=573.28 cores=1,3,5,7
/proc/23729/task/23787/stat : 23787 (java) R 23727 23727 22498 0 -1 4202560 15642 0 0 0 57323 5 0 0 20 0 19 0 475558580 15790579712 134124 33554432000 4194304 4196468 140735572293456 140038404230384 140038572622239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
Current children cumulated CPU time: 2311.65 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 537952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.605 s]
/proc/loadavg: 4.00 4.61 5.32 5/212 23891
/proc/meminfo: memFree=7755928/32770624 swapFree=66993324/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475558444 115843072 364 33554432000 4194304 5098028 140721635842096 140721635840200 139924350530172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11120640 140721635844950 140721635845209 140721635845209 140721635848134 0
/proc/23727/statm: 28282 364 305 221 0 87 0
[pid=23729] ppid=23727 vsize=15420488 memory=540704 CPUtime=2400.12 cores=1,3,5,7
/proc/23729/stat : 23729 (java) S 23727 23727 22498 0 -1 1077944320 112179 0 0 0 239875 137 0 0 20 0 19 0 475558444 15790579712 135176 33554432000 4194304 4196468 140735572293456 140735572276000 140038956584695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
/proc/23729/statm: 3855122 135176 3546 1 0 3816222 0
[pid=23729/tid=23734] ppid=23727 vsize=15420488 memory=2600 CPUtime=0.93 cores=1,3,5,7
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 22498 0 -1 1077944384 9276 0 0 0 90 3 0 0 20 0 19 0 475558445 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038960825472 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23740] ppid=23727 vsize=15420488 memory=1412 CPUtime=2.47 cores=1,3,5,7
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 22498 0 -1 1077944384 5620 0 0 0 227 20 0 0 20 0 19 0 475558445 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038892821520 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23741] ppid=23727 vsize=15420488 memory=3620 CPUtime=2.48 cores=1,3,5,7
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 22498 0 -1 1077944384 4743 0 0 0 229 19 0 0 20 0 19 0 475558445 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038891768976 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23742] ppid=23727 vsize=15420488 memory=45420 CPUtime=2.48 cores=1,3,5,7
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 22498 0 -1 1077944384 4105 0 0 0 229 19 0 0 20 0 19 0 475558445 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038890715920 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23743] ppid=23727 vsize=15420488 memory=984 CPUtime=2.49 cores=1,3,5,7
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 22498 0 -1 1077944384 5860 0 0 0 229 20 0 0 20 0 19 0 475558445 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038889663376 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23751] ppid=23727 vsize=15420488 memory=6791534058613427641 CPUtime=1.3 cores=1,3,5,7
/proc/23729/task/23751/stat : 23751 (java) S 23727 23727 22498 0 -1 1077944384 13790 0 0 0 78 52 0 0 20 0 19 0 475558447 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038492432624 140038956595842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23752] ppid=23727 vsize=15420488 memory=1398722017469774279 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23752/stat : 23752 (java) S 23727 23727 22498 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 475558447 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038491378912 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23753] ppid=23727 vsize=15420488 memory=537508 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23753/stat : 23753 (java) S 23727 23727 22498 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 475558447 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038490325760 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23758] ppid=23727 vsize=15420488 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23758/stat : 23758 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475558450 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038489274320 140038956603291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23759] ppid=23727 vsize=15420488 memory=288230596050944315 CPUtime=2.14 cores=1,3,5,7
/proc/23729/task/23759/stat : 23759 (java) S 23727 23727 22498 0 -1 1077944384 11404 0 0 0 213 1 0 0 20 0 19 0 475558450 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038488222448 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23760] ppid=23727 vsize=15420488 memory=13847456437766712 CPUtime=2.14 cores=1,3,5,7
/proc/23729/task/23760/stat : 23760 (java) S 23727 23727 22498 0 -1 1077944384 12755 0 0 0 213 1 0 0 20 0 19 0 475558450 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038487169904 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23761] ppid=23727 vsize=15420488 memory=288230574492221466 CPUtime=0.83 cores=1,3,5,7
/proc/23729/task/23761/stat : 23761 (java) S 23727 23727 22498 0 -1 1077944384 8908 0 0 0 82 1 0 0 20 0 19 0 475558450 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038486116848 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23762] ppid=23727 vsize=15420488 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/23729/task/23762/stat : 23762 (java) S 23727 23727 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475558450 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038485064544 140038956594901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23763] ppid=23727 vsize=15420488 memory=13847456437766712 CPUtime=0.52 cores=1,3,5,7
/proc/23729/task/23763/stat : 23763 (java) S 23727 23727 22498 0 -1 1077944384 954 0 0 0 0 52 0 0 20 0 19 0 475558450 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038484011568 140038956595842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23784] ppid=23727 vsize=15420488 memory=1456 CPUtime=595.16 cores=1,3,5,7
/proc/23729/task/23784/stat : 23784 (java) R 23727 23727 22498 0 -1 4202560 1474 0 0 0 59515 1 0 0 20 0 19 0 475558580 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038407383776 140038575757701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23785] ppid=23727 vsize=15420488 memory=537484 CPUtime=595.47 cores=1,3,5,7
/proc/23729/task/23785/stat : 23785 (java) R 23727 23727 22498 0 -1 4202560 11256 0 0 0 59543 4 0 0 20 0 19 0 475558580 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038406332128 140038575757934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23786] ppid=23727 vsize=15420488 memory=1060 CPUtime=595.61 cores=1,3,5,7
/proc/23729/task/23786/stat : 23786 (java) R 23727 23727 22498 0 -1 4202560 1479 0 0 0 59560 1 0 0 20 0 19 0 475558580 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038401076992 140038572638043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
[pid=23729/tid=23787] ppid=23727 vsize=15420488 memory=740 CPUtime=595.24 cores=1,3,5,7
/proc/23729/task/23787/stat : 23787 (java) R 23727 23727 22498 0 -1 4202560 18689 0 0 0 59518 6 0 0 20 0 19 0 475558580 15790579712 135176 33554432000 4194304 4196468 140735572293456 140038404230384 140038575685696 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140735572296667 140735572296842 140735572296842 140735572299727 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 542160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.639 s]
# the end of solver process 23727 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001115 s, system=0.001115 s
[startup+604.696 s]
# the end of solver process 23729 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.06 s, system=1.39354 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 604.696
CPU time (s): 2400.45
CPU user time (s): 2399.06
CPU system time (s): 1.39354
CPU usage (%): 396.968
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 553684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.06
system time used= 1.39354
maximum resident set size= 556688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45129
involuntary context switches= 24627
# summary of solver processes directly reported to runsolver:
# pid: 23727,23729
# total CPU time (s): 2400.45
# total CPU user time (s): 2399.06
# total CPU system time (s): 1.39354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99609 second user time and 6.72949 second system time
The end