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 (14731 MiB free)
memory of node 1: 16384 MiB (11649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302038-1532887794/watcher-4302038-1532887794 -o /tmp/evaluation-result-4302038-1532887794/solver-4302038-1532887794 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 641013938 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302038-1532887794.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14533, runsolver pid=14530
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 1.64 1.74 1.87 4/217 14549
/proc/meminfo: memFree=26995604/32770624 swapFree=67108496/67108860
[pid=14533] ppid=14530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14533/stat : 14533 (xcsp3-exec) S 14530 14533 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106342600 115843072 363 33554432000 4194304 5098028 140724459003488 140724459001592 139983422923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22908928 140724459009089 140724459009289 140724459009289 140724459012042 0
/proc/14533/statm: 28282 363 305 221 0 87 0
[pid=14535] ppid=14533 vsize=14082940 memory=29572 CPUtime=0.12 cores=1,3,5,7
/proc/14535/stat : 14535 (java) S 14533 14533 7585 0 -1 1077944320 5238 0 0 0 12 0 0 0 20 0 15 0 106342601 14420930560 7393 33554432000 4194304 4196468 140730496317648 140730496300192 140407338999543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
/proc/14535/statm: 3520735 7393 3029 1 0 3483012 0
[pid=14535/tid=14536] ppid=14533 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/14535/task/14536/stat : 14536 (java) R 14533 14533 7585 0 -1 4202560 3255 0 0 0 9 0 0 0 20 0 15 0 106342601 14420930560 7457 33554432000 4194304 4196468 140730496317648 140407343231648 140407339011478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14537] ppid=14533 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14537/stat : 14537 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14420930560 7457 33554432000 4194304 4196468 140730496317648 140407254067472 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14538] ppid=14533 vsize=14082940 memory=139997124998784 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14538/stat : 14538 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14420930560 7457 33554432000 4194304 4196468 140730496317648 140407253014928 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14539] ppid=14533 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14539/stat : 14539 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14420930560 7457 33554432000 4194304 4196468 140730496317648 140407251962384 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14540] ppid=14533 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14540/stat : 14540 (java) S 14533 14533 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106342602 14420930560 7457 33554432000 4194304 4196468 140730496317648 140407250909840 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14541] ppid=14533 vsize=14082940 memory=139997124998784 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14541/stat : 14541 (java) S 14533 14533 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106342603 14420930560 7457 33554432000 4194304 4196468 140730496317648 140406812027376 140407339010690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14542] ppid=14533 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14542/stat : 14542 (java) S 14533 14533 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106342603 14420930560 7457 33554432000 4194304 4196468 140730496317648 140406810973600 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14543] ppid=14533 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14543/stat : 14543 (java) S 14533 14533 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106342604 14420930560 7457 33554432000 4194304 4196468 140730496317648 140406809921008 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14544] ppid=14533 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14544/stat : 14544 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14420930560 7457 33554432000 4194304 4196468 140730496317648 140406808869584 140407339018139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14545] ppid=14533 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14545/stat : 14545 (java) S 14533 14533 7585 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 106342606 14420930560 7457 33554432000 4194304 4196468 140730496317648 140406807816176 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14546] ppid=14533 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14546/stat : 14546 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14420930560 7457 33554432000 4194304 4196468 140730496317648 140406806763632 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14547] ppid=14533 vsize=14082940 memory=139997124998784 CPUtime=0.01 cores=1,3,5,7
/proc/14535/task/14547/stat : 14547 (java) R 14533 14533 7585 0 -1 4202560 286 0 0 0 1 0 0 0 20 0 15 0 106342606 14420930560 7457 33554432000 4194304 4196468 140730496317648 140406805711088 140407317870122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14548] ppid=14533 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14548/stat : 14548 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14420930560 7457 33554432000 4194304 4196468 140730496317648 140406804658784 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14549] ppid=14533 vsize=14082940 memory=139997124998784 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14549/stat : 14549 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342606 14420930560 7457 33554432000 4194304 4196468 140730496317648 140406803606320 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31024 KiB
[startup+0.210639 s]*
/proc/loadavg: 1.64 1.74 1.87 5/217 14549
/proc/meminfo: memFree=26985052/32770624 swapFree=67108496/67108860
[pid=14533] ppid=14530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14533/stat : 14533 (xcsp3-exec) S 14530 14533 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106342600 115843072 363 33554432000 4194304 5098028 140724459003488 140724459001592 139983422923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22908928 140724459009089 140724459009289 140724459009289 140724459012042 0
/proc/14533/statm: 28282 363 305 221 0 87 0
[pid=14535] ppid=14533 vsize=14082940 memory=41176 CPUtime=0.34 cores=1,3,5,7
/proc/14535/stat : 14535 (java) S 14533 14533 7585 0 -1 1077944320 7807 0 0 0 33 1 0 0 20 0 15 0 106342601 14420930560 10294 33554432000 4194304 4196468 140730496317648 140730496300192 140407338999543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
/proc/14535/statm: 3520735 10294 3190 1 0 3483012 0
[pid=14535/tid=14536] ppid=14533 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14535/task/14536/stat : 14536 (java) R 14533 14533 7585 0 -1 4202560 4976 0 0 0 19 1 0 0 20 0 15 0 106342601 14420930560 10294 33554432000 4194304 4196468 140730496317648 140407343223712 140407331678765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14537] ppid=14533 vsize=14082940 memory=8950 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14537/stat : 14537 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14420930560 10294 33554432000 4194304 4196468 140730496317648 140407254067472 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14538] ppid=14533 vsize=14082940 memory=288370373276710528 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14538/stat : 14538 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14420930560 10294 33554432000 4194304 4196468 140730496317648 140407253014928 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14539] ppid=14533 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14539/stat : 14539 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14420930560 10294 33554432000 4194304 4196468 140730496317648 140407251962384 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14540] ppid=14533 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14540/stat : 14540 (java) S 14533 14533 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106342602 14420930560 10294 33554432000 4194304 4196468 140730496317648 140407250909840 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14541] ppid=14533 vsize=14082940 memory=139997124998784 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14541/stat : 14541 (java) S 14533 14533 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106342603 14420930560 10294 33554432000 4194304 4196468 140730496317648 140406812027376 140407339010690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14542] ppid=14533 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14542/stat : 14542 (java) S 14533 14533 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106342603 14420930560 10294 33554432000 4194304 4196468 140730496317648 140406810973600 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14543] ppid=14533 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14543/stat : 14543 (java) S 14533 14533 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106342604 14420963328 10294 33554432000 4194304 4196468 140730496317648 140406809921008 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14544] ppid=14533 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14544/stat : 14544 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14420963328 10294 33554432000 4194304 4196468 140730496317648 140406808869584 140407339018139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14545] ppid=14533 vsize=14082972 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14535/task/14545/stat : 14545 (java) S 14533 14533 7585 0 -1 1077944384 665 0 0 0 3 0 0 0 20 0 15 0 106342606 14420963328 10294 33554432000 4194304 4196468 140730496317648 140406807816176 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14546] ppid=14533 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14535/task/14546/stat : 14546 (java) S 14533 14533 7585 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 15 0 106342606 14420930560 10337 33554432000 4194304 4196468 140730496317648 140406806763632 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14547] ppid=14533 vsize=14082940 memory=139997124998784 CPUtime=0.08 cores=1,3,5,7
/proc/14535/task/14547/stat : 14547 (java) S 14533 14533 7585 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 15 0 106342606 14420930560 10337 33554432000 4194304 4196468 140730496317648 140406805711088 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14548] ppid=14533 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14548/stat : 14548 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14420930560 10337 33554432000 4194304 4196468 140730496317648 140406804658784 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14549] ppid=14533 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14549/stat : 14549 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342606 14420930560 10337 33554432000 4194304 4196468 140730496317648 140406803606320 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42628 KiB
[startup+0.31055 s]*
/proc/loadavg: 1.64 1.74 1.87 4/217 14549
/proc/meminfo: memFree=26978360/32770624 swapFree=67108496/67108860
[pid=14533] ppid=14530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14533/stat : 14533 (xcsp3-exec) S 14530 14533 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106342600 115843072 363 33554432000 4194304 5098028 140724459003488 140724459001592 139983422923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22908928 140724459009089 140724459009289 140724459009289 140724459012042 0
/proc/14533/statm: 28282 363 305 221 0 87 0
[pid=14535] ppid=14533 vsize=14087196 memory=48428 CPUtime=0.53 cores=1,3,5,7
/proc/14535/stat : 14535 (java) S 14533 14533 7585 0 -1 1077944320 8707 0 0 0 51 2 0 0 20 0 15 0 106342601 14425288704 12107 33554432000 4194304 4196468 140730496317648 140730496300192 140407338999543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
/proc/14535/statm: 3521799 12107 3277 1 0 3483012 0
[pid=14535/tid=14536] ppid=14533 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/14535/task/14536/stat : 14536 (java) R 14533 14533 7585 0 -1 4202560 5705 0 0 0 28 1 0 0 20 0 15 0 106342601 14425288704 12115 33554432000 4194304 4196468 140730496317648 140407343233936 140407323080030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14537] ppid=14533 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14537/stat : 14537 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14425288704 12115 33554432000 4194304 4196468 140730496317648 140407254067472 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14538] ppid=14533 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14538/stat : 14538 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14425288704 12115 33554432000 4194304 4196468 140730496317648 140407253014928 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14539] ppid=14533 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14539/stat : 14539 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14425288704 12115 33554432000 4194304 4196468 140730496317648 140407251962384 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14540] ppid=14533 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14540/stat : 14540 (java) S 14533 14533 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106342602 14425288704 12115 33554432000 4194304 4196468 140730496317648 140407250909840 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14541] ppid=14533 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14541/stat : 14541 (java) S 14533 14533 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106342603 14425288704 12115 33554432000 4194304 4196468 140730496317648 140406812027376 140407339010690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14542] ppid=14533 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14542/stat : 14542 (java) S 14533 14533 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106342603 14425288704 12115 33554432000 4194304 4196468 140730496317648 140406810973600 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14543] ppid=14533 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14543/stat : 14543 (java) S 14533 14533 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106342604 14425288704 12115 33554432000 4194304 4196468 140730496317648 140406809921008 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14544] ppid=14533 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14544/stat : 14544 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14425288704 12115 33554432000 4194304 4196468 140730496317648 140406808869584 140407339018139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14545] ppid=14533 vsize=14087196 memory=4628975386420216973 CPUtime=0.06 cores=1,3,5,7
/proc/14535/task/14545/stat : 14545 (java) S 14533 14533 7585 0 -1 1077944384 752 0 0 0 6 0 0 0 20 0 15 0 106342606 14425288704 12115 33554432000 4194304 4196468 140730496317648 140406807816176 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14546] ppid=14533 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14535/task/14546/stat : 14546 (java) S 14533 14533 7585 0 -1 1077944384 133 0 0 0 3 0 0 0 20 0 15 0 106342606 14425288704 12115 33554432000 4194304 4196468 140730496317648 140406806763632 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14547] ppid=14533 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14535/task/14547/stat : 14547 (java) S 14533 14533 7585 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 15 0 106342606 14425288704 12115 33554432000 4194304 4196468 140730496317648 140406805711088 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14548] ppid=14533 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14548/stat : 14548 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14425288704 12115 33554432000 4194304 4196468 140730496317648 140406804658784 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14549] ppid=14533 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14549/stat : 14549 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342606 14425288704 12115 33554432000 4194304 4196468 140730496317648 140406803606320 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49880 KiB
[startup+0.70129 s]
/proc/loadavg: 1.64 1.74 1.87 5/217 14549
/proc/meminfo: memFree=26965708/32770624 swapFree=67108496/67108860
[pid=14533] ppid=14530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14533/stat : 14533 (xcsp3-exec) S 14530 14533 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106342600 115843072 363 33554432000 4194304 5098028 140724459003488 140724459001592 139983422923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22908928 140724459009089 140724459009289 140724459009289 140724459012042 0
/proc/14533/statm: 28282 363 305 221 0 87 0
[pid=14535] ppid=14533 vsize=14089320 memory=84836 CPUtime=1.62 cores=1,3,5,7
/proc/14535/stat : 14535 (java) S 14533 14533 7585 0 -1 1077944320 16425 0 0 0 158 4 0 0 20 0 15 0 106342601 14427463680 21209 33554432000 4194304 4196468 140730496317648 140730496300192 140407338999543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
/proc/14535/statm: 3522330 21209 3363 1 0 3483524 0
[pid=14535/tid=14536] ppid=14533 vsize=14089320 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/14535/task/14536/stat : 14536 (java) R 14533 14533 7585 0 -1 4202560 6397 0 0 0 64 2 0 0 20 0 15 0 106342601 14427463680 21209 33554432000 4194304 4196468 140730496317648 140407343236344 140406927898016 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14537] ppid=14533 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14537/stat : 14537 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14427463680 21209 33554432000 4194304 4196468 140730496317648 140407254067472 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14538] ppid=14533 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14538/stat : 14538 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14427463680 21209 33554432000 4194304 4196468 140730496317648 140407253014928 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14539] ppid=14533 vsize=14089320 memory=30272 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14539/stat : 14539 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342602 14427463680 21209 33554432000 4194304 4196468 140730496317648 140407251962384 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14540] ppid=14533 vsize=14089320 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14540/stat : 14540 (java) S 14533 14533 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106342602 14427463680 21209 33554432000 4194304 4196468 140730496317648 140407250909840 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14541] ppid=14533 vsize=14089320 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14541/stat : 14541 (java) S 14533 14533 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106342603 14427463680 21209 33554432000 4194304 4196468 140730496317648 140406812027376 140407339010690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14542] ppid=14533 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14542/stat : 14542 (java) S 14533 14533 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106342603 14427463680 21209 33554432000 4194304 4196468 140730496317648 140406810973600 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14543] ppid=14533 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14543/stat : 14543 (java) S 14533 14533 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106342604 14427463680 21209 33554432000 4194304 4196468 140730496317648 140406809921008 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14544] ppid=14533 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14544/stat : 14544 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 21209 33554432000 4194304 4196468 140730496317648 140406808869584 140407339018139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14545] ppid=14533 vsize=14089320 memory=756 CPUtime=0.34 cores=1,3,5,7
/proc/14535/task/14545/stat : 14545 (java) R 14533 14533 7585 0 -1 4202560 4377 0 0 0 34 0 0 0 20 0 15 0 106342606 14427463680 21209 33554432000 4194304 4196468 140730496317648 140406807797192 140407318175554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14546] ppid=14533 vsize=14089320 memory=1616 CPUtime=0.32 cores=1,3,5,7
/proc/14535/task/14546/stat : 14546 (java) R 14533 14533 7585 0 -1 4202560 2879 0 0 0 32 0 0 0 20 0 15 0 106342606 14427463680 21209 33554432000 4194304 4196468 140730496317648 140406806749736 140407322386859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14547] ppid=14533 vsize=14089320 memory=1836 CPUtime=0.26 cores=1,3,5,7
/proc/14535/task/14547/stat : 14547 (java) S 14533 14533 7585 0 -1 1077944384 1464 0 0 0 26 0 0 0 20 0 15 0 106342606 14427463680 21209 33554432000 4194304 4196468 140730496317648 140406805711088 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14548] ppid=14533 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14548/stat : 14548 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 21209 33554432000 4194304 4196468 140730496317648 140406804658784 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14549] ppid=14533 vsize=14089320 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14549/stat : 14549 (java) S 14533 14533 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 21209 33554432000 4194304 4196468 140730496317648 140406803606320 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 86288 KiB
[startup+1.50086 s]
/proc/loadavg: 1.64 1.74 1.87 5/217 14549
/proc/meminfo: memFree=26913836/32770624 swapFree=67108496/67108860
[pid=14533] ppid=14530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14533/stat : 14533 (xcsp3-exec) S 14530 14533 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106342600 115843072 363 33554432000 4194304 5098028 140724459003488 140724459001592 139983422923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22908928 140724459009089 140724459009289 140724459009289 140724459012042 0
/proc/14533/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/14535/task/14543/stat : 14543 (java) S 14533 14533 7585 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 106342604 14427463680 73646 33554432000 4194304 4196468 140730496317648 140406809921008 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14544] ppid=14533 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14544/stat : 14544 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 73646 33554432000 4194304 4196468 140730496317648 140406808869584 140407339018139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14545] ppid=14533 vsize=14089320 memory=1452 CPUtime=1.99 cores=1,3,5,7
/proc/14535/task/14545/stat : 14545 (java) S 14533 14533 7585 0 -1 1077944384 24163 0 0 0 197 2 0 0 20 0 15 0 106342606 14427463680 73646 33554432000 4194304 4196468 140730496317648 140406807816176 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14546] ppid=14533 vsize=14089320 memory=294584 CPUtime=1.84 cores=1,3,5,7
/proc/14535/task/14546/stat : 14546 (java) S 14533 14533 7585 0 -1 1077944384 19216 0 0 0 182 2 0 0 20 0 15 0 106342606 14427463680 73646 33554432000 4194304 4196468 140730496317648 140406806763632 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14547] ppid=14533 vsize=14089320 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/14535/task/14547/stat : 14547 (java) S 14533 14533 7585 0 -1 1077944384 4976 0 0 0 33 0 0 0 20 0 15 0 106342606 14427463680 73646 33554432000 4194304 4196468 140730496317648 140406805711088 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14548] ppid=14533 vsize=14089320 memory=279516 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14548/stat : 14548 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 73646 33554432000 4194304 4196468 140730496317648 140406804658784 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14549] ppid=14533 vsize=14089320 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/14535/task/14549/stat : 14549 (java) S 14533 14533 7585 0 -1 1077944384 561 0 0 0 3 3 0 0 20 0 15 0 106342606 14427463680 73646 33554432000 4194304 4196468 140730496317648 140406803606320 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
Current children cumulated CPU time: 167.64 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 296036 KiB
[startup+222.301 s]
/proc/loadavg: 1.24 1.48 1.74 3/217 14636
/proc/meminfo: memFree=26723540/32770624 swapFree=67108496/67108860
[pid=14533] ppid=14530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14533/stat : 14533 (xcsp3-exec) S 14530 14533 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106342600 115843072 363 33554432000 4194304 5098028 140724459003488 140724459001592 139983422923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22908928 140724459009089 140724459009289 140724459009289 140724459012042 0
/proc/14533/statm: 28282 363 305 221 0 87 0
[pid=14535] ppid=14533 vsize=14089320 memory=387684 CPUtime=228.34 cores=1,3,5,7
/proc/14535/stat : 14535 (java) S 14533 14533 7585 0 -1 1077944320 76777 0 0 0 22795 39 0 0 20 0 15 0 106342601 14427463680 96921 33554432000 4194304 4196468 140730496317648 140730496300192 140407338999543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
/proc/14535/statm: 3522330 96921 3401 1 0 3483524 0
[pid=14535/tid=14536] ppid=14533 vsize=14089320 memory=387688 CPUtime=220.85 cores=1,3,5,7
/proc/14535/task/14536/stat : 14536 (java) R 14533 14533 7585 0 -1 4202560 16899 0 0 0 22078 7 0 0 20 0 15 0 106342601 14427463680 96921 33554432000 4194304 4196468 140730496317648 140407343238992 140406931230815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14537] ppid=14533 vsize=14089320 memory=387692 CPUtime=0.67 cores=1,3,5,7
/proc/14535/task/14537/stat : 14537 (java) S 14533 14533 7585 0 -1 1077944384 1306 0 0 0 63 4 0 0 20 0 15 0 106342602 14427463680 96921 33554432000 4194304 4196468 140730496317648 140407254067472 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14538] ppid=14533 vsize=14089320 memory=387176 CPUtime=0.67 cores=1,3,5,7
/proc/14535/task/14538/stat : 14538 (java) S 14533 14533 7585 0 -1 1077944384 1710 0 0 0 62 5 0 0 20 0 15 0 106342602 14427463680 96921 33554432000 4194304 4196468 140730496317648 140407253014928 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14539] ppid=14533 vsize=14089320 memory=1452 CPUtime=0.66 cores=1,3,5,7
/proc/14535/task/14539/stat : 14539 (java) S 14533 14533 7585 0 -1 1077944384 1510 0 0 0 61 5 0 0 20 0 15 0 106342602 14427463680 96921 33554432000 4194304 4196468 140730496317648 140407251962384 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14540] ppid=14533 vsize=14089320 memory=388708 CPUtime=0.66 cores=1,3,5,7
/proc/14535/task/14540/stat : 14540 (java) S 14533 14533 7585 0 -1 1077944384 1759 0 0 0 60 6 0 0 20 0 15 0 106342602 14427463680 96921 33554432000 4194304 4196468 140730496317648 140407250909840 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14541] ppid=14533 vsize=14089320 memory=387684 CPUtime=0.46 cores=1,3,5,7
/proc/14535/task/14541/stat : 14541 (java) S 14533 14533 7585 0 -1 1077944384 2190 0 0 0 42 4 0 0 20 0 15 0 106342603 14427463680 96921 33554432000 4194304 4196468 140730496317648 140406812027376 140407339010690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14542] ppid=14533 vsize=14089320 memory=387684 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14542/stat : 14542 (java) S 14533 14533 7585 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 106342603 14427463680 96921 33554432000 4194304 4196468 140730496317648 140406810973600 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14543] ppid=14533 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14543/stat : 14543 (java) S 14533 14533 7585 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 106342604 14427463680 96921 33554432000 4194304 4196468 140730496317648 140406809921008 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14544] ppid=14533 vsize=14089320 memory=387684 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14544/stat : 14544 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 96921 33554432000 4194304 4196468 140730496317648 140406808869584 140407339018139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14545] ppid=14533 vsize=14089320 memory=386660 CPUtime=1.99 cores=1,3,5,7
/proc/14535/task/14545/stat : 14545 (java) S 14533 14533 7585 0 -1 1077944384 24233 0 0 0 197 2 0 0 20 0 15 0 106342606 14427463680 96921 33554432000 4194304 4196468 140730496317648 140406807816176 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14546] ppid=14533 vsize=14089320 memory=1452 CPUtime=1.87 cores=1,3,5,7
/proc/14535/task/14546/stat : 14546 (java) S 14533 14533 7585 0 -1 1077944384 19941 0 0 0 185 2 0 0 20 0 15 0 106342606 14427463680 96921 33554432000 4194304 4196468 140730496317648 140406806763632 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14547] ppid=14533 vsize=14089320 memory=3872 CPUtime=0.34 cores=1,3,5,7
/proc/14535/task/14547/stat : 14547 (java) S 14533 14533 7585 0 -1 1077944384 5295 0 0 0 34 0 0 0 20 0 15 0 106342606 14427463680 96921 33554432000 4194304 4196468 140730496317648 140406805711088 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14548] ppid=14533 vsize=14089320 memory=30284 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14548/stat : 14548 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 96921 33554432000 4194304 4196468 140730496317648 140406804658784 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14549] ppid=14533 vsize=14089320 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/14535/task/14549/stat : 14549 (java) S 14533 14533 7585 0 -1 1077944384 589 0 0 0 4 5 0 0 20 0 15 0 106342606 14427463680 96921 33554432000 4194304 4196468 140730496317648 140406803606320 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
Current children cumulated CPU time: 228.34 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 389136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+245.901 s]
/proc/loadavg: 1.32 1.48 1.74 3/217 14637
/proc/meminfo: memFree=26729720/32770624 swapFree=67108496/67108860
[pid=14533] ppid=14530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14533/stat : 14533 (xcsp3-exec) S 14530 14533 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106342600 115843072 363 33554432000 4194304 5098028 140724459003488 140724459001592 139983422923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22908928 140724459009089 140724459009289 140724459009289 140724459012042 0
/proc/14533/statm: 28282 363 305 221 0 87 0
[pid=14535] ppid=14533 vsize=14089320 memory=386648 CPUtime=252.08 cores=1,3,5,7
/proc/14535/stat : 14535 (java) S 14533 14533 7585 0 -1 1077944320 79291 0 0 0 25168 40 0 0 20 0 15 0 106342601 14427463680 96662 33554432000 4194304 4196468 140730496317648 140730496300192 140407338999543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
/proc/14535/statm: 3522330 96662 3401 1 0 3483524 0
[pid=14535/tid=14536] ppid=14533 vsize=14089320 memory=386648 CPUtime=244.36 cores=1,3,5,7
/proc/14535/task/14536/stat : 14536 (java) R 14533 14533 7585 0 -1 4202560 18788 0 0 0 24429 7 0 0 20 0 15 0 106342601 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407343238800 140406930227464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14537] ppid=14533 vsize=14089320 memory=387676 CPUtime=0.71 cores=1,3,5,7
/proc/14535/task/14537/stat : 14537 (java) S 14533 14533 7585 0 -1 1077944384 1389 0 0 0 67 4 0 0 20 0 15 0 106342602 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407254067472 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14538] ppid=14533 vsize=14089320 memory=387688 CPUtime=0.72 cores=1,3,5,7
/proc/14535/task/14538/stat : 14538 (java) S 14533 14533 7585 0 -1 1077944384 2055 0 0 0 67 5 0 0 20 0 15 0 106342602 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407253014928 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14539] ppid=14533 vsize=14089320 memory=1452 CPUtime=0.71 cores=1,3,5,7
/proc/14535/task/14539/stat : 14539 (java) S 14533 14533 7585 0 -1 1077944384 1616 0 0 0 66 5 0 0 20 0 15 0 106342602 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407251962384 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14540] ppid=14533 vsize=14089320 memory=387160 CPUtime=0.71 cores=1,3,5,7
/proc/14535/task/14540/stat : 14540 (java) S 14533 14533 7585 0 -1 1077944384 1840 0 0 0 65 6 0 0 20 0 15 0 106342602 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407250909840 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14541] ppid=14533 vsize=14089320 memory=386648 CPUtime=0.49 cores=1,3,5,7
/proc/14535/task/14541/stat : 14541 (java) S 14533 14533 7585 0 -1 1077944384 2198 0 0 0 44 5 0 0 20 0 15 0 106342603 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406812027376 140407339010690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14542] ppid=14533 vsize=14089320 memory=386648 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14542/stat : 14542 (java) S 14533 14533 7585 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 106342603 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406810973600 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14543] ppid=14533 vsize=14089320 memory=386648 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14543/stat : 14543 (java) S 14533 14533 7585 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 106342604 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406809921008 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14544] ppid=14533 vsize=14089320 memory=386648 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14544/stat : 14544 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406808869584 140407339018139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14545] ppid=14533 vsize=14089320 memory=1452 CPUtime=1.99 cores=1,3,5,7
/proc/14535/task/14545/stat : 14545 (java) S 14533 14533 7585 0 -1 1077944384 24233 0 0 0 197 2 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406807816176 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14546] ppid=14533 vsize=14089320 memory=56 CPUtime=1.87 cores=1,3,5,7
/proc/14535/task/14546/stat : 14546 (java) S 14533 14533 7585 0 -1 1077944384 19941 0 0 0 185 2 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406806763632 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14547] ppid=14533 vsize=14089320 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/14535/task/14547/stat : 14547 (java) S 14533 14533 7585 0 -1 1077944384 5295 0 0 0 34 0 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406805711088 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14548] ppid=14533 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14548/stat : 14548 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406804658784 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14549] ppid=14533 vsize=14089320 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/14535/task/14549/stat : 14549 (java) S 14533 14533 7585 0 -1 1077944384 591 0 0 0 4 6 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406803606320 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 388100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+245.91 s]
# the end of solver process 14533 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002068 s, system=0.001101 s
[startup+245.916 s]
# the end of solver process 14535 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.694 s, system=0.417901 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
[startup+245.901 s]
/proc/loadavg: 1.32 1.48 1.74 3/217 14637
/proc/meminfo: memFree=26729720/32770624 swapFree=67108496/67108860
[pid=14533] ppid=14530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14533/stat : 14533 (xcsp3-exec) S 14530 14533 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106342600 115843072 363 33554432000 4194304 5098028 140724459003488 140724459001592 139983422923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22908928 140724459009089 140724459009289 140724459009289 140724459012042 0
/proc/14533/statm: 28282 363 305 221 0 87 0
[pid=14535] ppid=14533 vsize=14089320 memory=386648 CPUtime=252.08 cores=1,3,5,7
/proc/14535/stat : 14535 (java) S 14533 14533 7585 0 -1 1077944320 79291 0 0 0 25168 40 0 0 20 0 15 0 106342601 14427463680 96662 33554432000 4194304 4196468 140730496317648 140730496300192 140407338999543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
/proc/14535/statm: 3522330 96662 3401 1 0 3483524 0
[pid=14535/tid=14536] ppid=14533 vsize=14089320 memory=386648 CPUtime=244.36 cores=1,3,5,7
/proc/14535/task/14536/stat : 14536 (java) R 14533 14533 7585 0 -1 4202560 18788 0 0 0 24429 7 0 0 20 0 15 0 106342601 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407343238800 140406930227464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14537] ppid=14533 vsize=14089320 memory=387676 CPUtime=0.71 cores=1,3,5,7
/proc/14535/task/14537/stat : 14537 (java) S 14533 14533 7585 0 -1 1077944384 1389 0 0 0 67 4 0 0 20 0 15 0 106342602 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407254067472 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14538] ppid=14533 vsize=14089320 memory=387688 CPUtime=0.72 cores=1,3,5,7
/proc/14535/task/14538/stat : 14538 (java) S 14533 14533 7585 0 -1 1077944384 2055 0 0 0 67 5 0 0 20 0 15 0 106342602 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407253014928 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14539] ppid=14533 vsize=14089320 memory=1452 CPUtime=0.71 cores=1,3,5,7
/proc/14535/task/14539/stat : 14539 (java) S 14533 14533 7585 0 -1 1077944384 1616 0 0 0 66 5 0 0 20 0 15 0 106342602 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407251962384 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14540] ppid=14533 vsize=14089320 memory=387160 CPUtime=0.71 cores=1,3,5,7
/proc/14535/task/14540/stat : 14540 (java) S 14533 14533 7585 0 -1 1077944384 1840 0 0 0 65 6 0 0 20 0 15 0 106342602 14427463680 96662 33554432000 4194304 4196468 140730496317648 140407250909840 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14541] ppid=14533 vsize=14089320 memory=386648 CPUtime=0.49 cores=1,3,5,7
/proc/14535/task/14541/stat : 14541 (java) S 14533 14533 7585 0 -1 1077944384 2198 0 0 0 44 5 0 0 20 0 15 0 106342603 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406812027376 140407339010690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14542] ppid=14533 vsize=14089320 memory=386648 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14542/stat : 14542 (java) S 14533 14533 7585 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 106342603 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406810973600 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14543] ppid=14533 vsize=14089320 memory=386648 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14543/stat : 14543 (java) S 14533 14533 7585 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 106342604 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406809921008 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14544] ppid=14533 vsize=14089320 memory=386648 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14544/stat : 14544 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406808869584 140407339018139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14545] ppid=14533 vsize=14089320 memory=1452 CPUtime=1.99 cores=1,3,5,7
/proc/14535/task/14545/stat : 14545 (java) S 14533 14533 7585 0 -1 1077944384 24233 0 0 0 197 2 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406807816176 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14546] ppid=14533 vsize=14089320 memory=56 CPUtime=1.87 cores=1,3,5,7
/proc/14535/task/14546/stat : 14546 (java) S 14533 14533 7585 0 -1 1077944384 19941 0 0 0 185 2 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406806763632 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14547] ppid=14533 vsize=14089320 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/14535/task/14547/stat : 14547 (java) S 14533 14533 7585 0 -1 1077944384 5295 0 0 0 34 0 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406805711088 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14548] ppid=14533 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14535/task/14548/stat : 14548 (java) S 14533 14533 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406804658784 140407339009749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
[pid=14535/tid=14549] ppid=14533 vsize=14089320 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/14535/task/14549/stat : 14549 (java) S 14533 14533 7585 0 -1 1077944384 591 0 0 0 4 6 0 0 20 0 15 0 106342606 14427463680 96662 33554432000 4194304 4196468 140730496317648 140406803606320 140407339010690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140730496320652 140730496320822 140730496320822 140730496323535 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 388100 KiB
Child status: 143
Real time (s): 245.916
CPU time (s): 252.112
CPU user time (s): 251.694
CPU system time (s): 0.417901
CPU usage (%): 102.519
Max. virtual memory (cumulated for all children) (KiB): 14206540
Max. memory (cumulated for all children) (KiB): 392196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.694
system time used= 0.417901
maximum resident set size= 390744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80288
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20266
involuntary context switches= 687
# summary of solver processes directly reported to runsolver:
# pid: 14533,14535
# total CPU time (s): 252.112
# total CPU user time (s): 251.694
# total CPU system time (s): 0.417901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6051 second user time and 2.34261 second system time
The end