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 (1331 MiB free)
memory of node 1: 16384 MiB (4308 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404073-1568992740/watcher-4404073-1568992740 -o /var/tmp/evaluation-result-4404073-1568992740/solver-4404073-1568992740 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7233 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1686118455 HOME/instance-4404073-1568992740.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=12746, runsolver pid=12743
Current StackSize limit: 8192 KiB
[startup+0.100335 s]*
/proc/loadavg: 8.13 8.43 7.68 7/235 12762
/proc/meminfo: memFree=5759280/32770624 swapFree=67021840/67108860
[pid=12746] ppid=12743 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (xcsp3-exec) S 12743 12746 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475546583 115843072 363 33554432000 4194304 5098028 140736445711200 140736445709304 140006440006268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21667840 140736445719382 140736445719641 140736445719641 140736445722566 0
/proc/12746/statm: 28282 363 304 221 0 87 0
[pid=12748] ppid=12746 vsize=15144776 memory=29912 CPUtime=0.13 cores=1,3,5,7
/proc/12748/stat : 12748 (java) S 12746 12746 7201 0 -1 1077944320 5820 0 0 0 12 1 0 0 20 0 15 0 475546583 15508250624 7478 33554432000 4194304 4196468 140722876706816 140722876689360 139928639270647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
/proc/12748/statm: 3786194 7478 3212 1 0 3748377 0
[pid=12748/tid=12749] ppid=12746 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/12748/task/12749/stat : 12749 (java) R 12746 12746 7201 0 -1 4202560 3709 0 0 0 8 0 0 0 20 0 15 0 475546584 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928643504784 139928639282582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12750] ppid=12746 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12750/stat : 12750 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928567310992 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12751] ppid=12746 vsize=15144776 memory=140090020791936 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12751/stat : 12751 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928566258192 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12752] ppid=12746 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12752/stat : 12752 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928565205392 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12753] ppid=12746 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12753/stat : 12753 (java) S 12746 12746 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475546584 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928564152592 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12754] ppid=12746 vsize=15144776 memory=140090020791936 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12754/stat : 12754 (java) S 12746 12746 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475546586 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928107748208 139928639281794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12755] ppid=12746 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12755/stat : 12755 (java) S 12746 12746 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475546586 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928106694176 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12756] ppid=12746 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12756/stat : 12756 (java) S 12746 12746 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475546586 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928105641328 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12757] ppid=12746 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12757/stat : 12757 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475546589 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928104589648 139928639289243 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12758] ppid=12746 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12758/stat : 12758 (java) S 12746 12746 7201 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 15 0 475546589 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928103537008 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12759] ppid=12746 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12759/stat : 12759 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475546589 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928102484208 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12760] ppid=12746 vsize=15144776 memory=140090020791936 CPUtime=0.02 cores=1,3,5,7
/proc/12748/task/12760/stat : 12760 (java) R 12746 12746 7201 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 475546589 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928101431408 139928639282582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12761] ppid=12746 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12761/stat : 12761 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475546589 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928100378848 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12762] ppid=12746 vsize=15144776 memory=140090020791936 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12762/stat : 12762 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546589 15508250624 7478 33554432000 4194304 4196468 140722876706816 139928099327152 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31364 KiB
[startup+0.212065 s]*
/proc/loadavg: 8.13 8.43 7.68 8/235 12762
/proc/meminfo: memFree=5745940/32770624 swapFree=67021840/67108860
[pid=12746] ppid=12743 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (xcsp3-exec) S 12743 12746 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475546583 115843072 363 33554432000 4194304 5098028 140736445711200 140736445709304 140006440006268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21667840 140736445719382 140736445719641 140736445719641 140736445722566 0
/proc/12746/statm: 28282 363 304 221 0 87 0
[pid=12748] ppid=12746 vsize=15144776 memory=40916 CPUtime=0.34 cores=1,3,5,7
/proc/12748/stat : 12748 (java) S 12746 12746 7201 0 -1 1077944320 9475 0 0 0 31 3 0 0 20 0 15 0 475546583 15508250624 10229 33554432000 4194304 4196468 140722876706816 140722876689360 139928639270647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
/proc/12748/statm: 3786194 10229 3259 1 0 3748377 0
[pid=12748/tid=12749] ppid=12746 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/12748/task/12749/stat : 12749 (java) S 12746 12746 7201 0 -1 1077944384 6619 0 0 0 18 2 0 0 20 0 15 0 475546584 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928643505632 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12750] ppid=12746 vsize=15144776 memory=13575 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12750/stat : 12750 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928567310992 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12751] ppid=12746 vsize=15144776 memory=288370466172503680 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12751/stat : 12751 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928566258192 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12752] ppid=12746 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12752/stat : 12752 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928565205392 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12753] ppid=12746 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12753/stat : 12753 (java) S 12746 12746 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475546584 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928564152592 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12754] ppid=12746 vsize=15144776 memory=140090020791936 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12754/stat : 12754 (java) S 12746 12746 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475546586 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928107748208 139928639281794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12755] ppid=12746 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12755/stat : 12755 (java) S 12746 12746 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475546586 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928106694176 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12756] ppid=12746 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12756/stat : 12756 (java) S 12746 12746 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475546586 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928105641328 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12757] ppid=12746 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12757/stat : 12757 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475546589 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928104589648 139928639289243 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12758] ppid=12746 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12748/task/12758/stat : 12758 (java) S 12746 12746 7201 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 475546589 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928103537008 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12759] ppid=12746 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12748/task/12759/stat : 12759 (java) S 12746 12746 7201 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 15 0 475546589 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928102484208 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12760] ppid=12746 vsize=15144776 memory=140090020791936 CPUtime=0.08 cores=1,3,5,7
/proc/12748/task/12760/stat : 12760 (java) S 12746 12746 7201 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 15 0 475546589 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928101431408 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12761] ppid=12746 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12761/stat : 12761 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475546589 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928100378848 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12762] ppid=12746 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12762/stat : 12762 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546589 15508250624 10229 33554432000 4194304 4196468 140722876706816 139928099327152 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42368 KiB
[startup+0.3187 s]*
/proc/loadavg: 8.13 8.43 7.68 6/235 12762
/proc/meminfo: memFree=5738904/32770624 swapFree=67021840/67108860
[pid=12746] ppid=12743 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (xcsp3-exec) S 12743 12746 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475546583 115843072 363 33554432000 4194304 5098028 140736445711200 140736445709304 140006440006268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21667840 140736445719382 140736445719641 140736445719641 140736445722566 0
/proc/12746/statm: 28282 363 304 221 0 87 0
[pid=12748] ppid=12746 vsize=15149032 memory=50080 CPUtime=0.52 cores=1,3,5,7
/proc/12748/stat : 12748 (java) S 12746 12746 7201 0 -1 1077944320 10868 0 0 0 48 4 0 0 20 0 15 0 475546583 15512608768 12520 33554432000 4194304 4196468 140722876706816 140722876689360 139928639270647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
/proc/12748/statm: 3787258 12520 3338 1 0 3748377 0
[pid=12748/tid=12749] ppid=12746 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/12748/task/12749/stat : 12749 (java) R 12746 12746 7201 0 -1 4202560 7911 0 0 0 28 3 0 0 20 0 15 0 475546584 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928643505456 139928623351134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12750] ppid=12746 vsize=15149032 memory=13938 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12750/stat : 12750 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928567310992 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12751] ppid=12746 vsize=15149032 memory=288230376155275812 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12751/stat : 12751 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928566258192 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12752] ppid=12746 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12752/stat : 12752 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928565205392 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12753] ppid=12746 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12753/stat : 12753 (java) S 12746 12746 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475546584 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928564152592 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12754] ppid=12746 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12754/stat : 12754 (java) S 12746 12746 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475546586 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928107748208 139928639281794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12755] ppid=12746 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12755/stat : 12755 (java) S 12746 12746 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475546586 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928106694176 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12756] ppid=12746 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12756/stat : 12756 (java) S 12746 12746 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475546586 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928105641328 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12757] ppid=12746 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12757/stat : 12757 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475546589 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928104589648 139928639289243 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12758] ppid=12746 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12748/task/12758/stat : 12758 (java) S 12746 12746 7201 0 -1 1077944384 516 0 0 0 3 0 0 0 20 0 15 0 475546589 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928103537008 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12759] ppid=12746 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12748/task/12759/stat : 12759 (java) S 12746 12746 7201 0 -1 1077944384 332 0 0 0 3 0 0 0 20 0 15 0 475546589 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928102484208 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12760] ppid=12746 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12748/task/12760/stat : 12760 (java) S 12746 12746 7201 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 15 0 475546589 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928101431408 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12761] ppid=12746 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12761/stat : 12761 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475546589 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928100378848 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12762] ppid=12746 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12762/stat : 12762 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546589 15512608768 12520 33554432000 4194304 4196468 140722876706816 139928099327152 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51532 KiB
[startup+0.70157 s]
/proc/loadavg: 8.13 8.43 7.68 10/235 12762
/proc/meminfo: memFree=5724356/32770624 swapFree=67021840/67108860
[pid=12746] ppid=12743 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (xcsp3-exec) S 12743 12746 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475546583 115843072 363 33554432000 4194304 5098028 140736445711200 140736445709304 140006440006268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21667840 140736445719382 140736445719641 140736445719641 140736445722566 0
/proc/12746/statm: 28282 363 304 221 0 87 0
[pid=12748] ppid=12746 vsize=15151156 memory=94588 CPUtime=1.62 cores=1,3,5,7
/proc/12748/stat : 12748 (java) S 12746 12746 7201 0 -1 1077944320 14117 0 0 0 156 6 0 0 20 0 15 0 475546583 15514783744 23647 33554432000 4194304 4196468 140722876706816 140722876689360 139928639270647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
/proc/12748/statm: 3787789 23647 3459 1 0 3748889 0
[pid=12748/tid=12749] ppid=12746 vsize=15151156 memory=12328 CPUtime=0.67 cores=1,3,5,7
/proc/12748/task/12749/stat : 12749 (java) R 12746 12746 7201 0 -1 4202560 9177 0 0 0 63 4 0 0 20 0 15 0 475546584 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928643507648 139928243915062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12750] ppid=12746 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12750/stat : 12750 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928567310992 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12751] ppid=12746 vsize=15151156 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12751/stat : 12751 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928566258192 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12752] ppid=12746 vsize=15151156 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12752/stat : 12752 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546584 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928565205392 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12753] ppid=12746 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12753/stat : 12753 (java) S 12746 12746 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475546584 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928564152592 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12754] ppid=12746 vsize=15151156 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12754/stat : 12754 (java) S 12746 12746 7201 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475546586 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928107748208 139928639281794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12755] ppid=12746 vsize=15151156 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12755/stat : 12755 (java) S 12746 12746 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475546586 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928106694176 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12756] ppid=12746 vsize=15151156 memory=2508 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12756/stat : 12756 (java) S 12746 12746 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475546586 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928105641328 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12757] ppid=12746 vsize=15151156 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12757/stat : 12757 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475546589 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928104589648 139928639289243 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12758] ppid=12746 vsize=15151156 memory=836 CPUtime=0.25 cores=1,3,5,7
/proc/12748/task/12758/stat : 12758 (java) S 12746 12746 7201 0 -1 1077944384 1114 0 0 0 25 0 0 0 20 0 15 0 475546589 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928103537008 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12759] ppid=12746 vsize=15151156 memory=1760 CPUtime=0.26 cores=1,3,5,7
/proc/12748/task/12759/stat : 12759 (java) S 12746 12746 7201 0 -1 1077944384 729 0 0 0 26 0 0 0 20 0 15 0 475546589 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928102484208 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12760] ppid=12746 vsize=15151156 memory=111632 CPUtime=0.4 cores=1,3,5,7
/proc/12748/task/12760/stat : 12760 (java) R 12746 12746 7201 0 -1 1077944384 1788 0 0 0 40 0 0 0 20 0 15 0 475546589 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928101430592 139928639280853 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12761] ppid=12746 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12761/stat : 12761 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475546589 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928100378848 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12762] ppid=12746 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12762/stat : 12762 (java) S 12746 12746 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475546589 15514783744 23647 33554432000 4194304 4196468 140722876706816 139928099327152 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96040 KiB
[startup+1.50566 s]
/proc/loadavg: 8.13 8.43 7.68 12/239 12766
/proc/meminfo: memFree=5619004/32770624 swapFree=67021840/67108860
[pid=12746] ppid=12743 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (xcsp3-exec) S 12743 12746 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475546583 115843072 363 33554432000 4194304 5098028 140736445711200 140736445709304 140006440006268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21667840 140736445719382 140736445719641 140736445719641 140736445722566 0
/proc/12746/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/12748/stat : 12748 (java) S 12746 12746 7201 0 -1 1077944320 103389 0 0 0 207735 69 0 0 20 0 19 0 475546583 15789527040 309914 33554432000 4194304 4196468 140722876706816 140722876689360 139928639270647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
/proc/12748/statm: 3854865 309914 3534 1 0 3815965 0
[pid=12748/tid=12749] ppid=12746 vsize=15419460 memory=1239656 CPUtime=0.8 cores=1,3,5,7
/proc/12748/task/12749/stat : 12749 (java) S 12746 12746 7201 0 -1 1077944384 9778 0 0 0 75 5 0 0 20 0 19 0 475546584 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928643511424 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12750] ppid=12746 vsize=15419460 memory=1239656 CPUtime=0.25 cores=1,3,5,7
/proc/12748/task/12750/stat : 12750 (java) S 12746 12746 7201 0 -1 1077944384 1907 0 0 0 17 8 0 0 20 0 19 0 475546584 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928567310992 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12751] ppid=12746 vsize=15419460 memory=1239656 CPUtime=0.24 cores=1,3,5,7
/proc/12748/task/12751/stat : 12751 (java) S 12746 12746 7201 0 -1 1077944384 2376 0 0 0 17 7 0 0 20 0 19 0 475546584 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928566258192 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12752] ppid=12746 vsize=15419460 memory=1239656 CPUtime=0.25 cores=1,3,5,7
/proc/12748/task/12752/stat : 12752 (java) S 12746 12746 7201 0 -1 1077944384 2252 0 0 0 17 8 0 0 20 0 19 0 475546584 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928565205392 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12753] ppid=12746 vsize=15419460 memory=1239656 CPUtime=0.24 cores=1,3,5,7
/proc/12748/task/12753/stat : 12753 (java) S 12746 12746 7201 0 -1 1077944384 2355 0 0 0 17 7 0 0 20 0 19 0 475546584 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928564152592 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12754] ppid=12746 vsize=15419460 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/12748/task/12754/stat : 12754 (java) S 12746 12746 7201 0 -1 1077944384 3881 0 0 0 4 3 0 0 20 0 19 0 475546586 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928107748208 139928639281794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12755] ppid=12746 vsize=15419460 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12755/stat : 12755 (java) S 12746 12746 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475546586 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928106694240 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12756] ppid=12746 vsize=15419460 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12756/stat : 12756 (java) S 12746 12746 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475546586 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928105641344 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12757] ppid=12746 vsize=15419460 memory=2084 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12757/stat : 12757 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475546589 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928104589648 139928639289243 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12758] ppid=12746 vsize=15419460 memory=6791534058613427641 CPUtime=3.11 cores=1,3,5,7
/proc/12748/task/12758/stat : 12758 (java) S 12746 12746 7201 0 -1 1077944384 18079 0 0 0 309 2 0 0 20 0 19 0 475546589 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928103537008 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12759] ppid=12746 vsize=15419460 memory=1239656 CPUtime=3 cores=1,3,5,7
/proc/12748/task/12759/stat : 12759 (java) S 12746 12746 7201 0 -1 1077944384 15921 0 0 0 298 2 0 0 20 0 19 0 475546589 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928102484208 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12760] ppid=12746 vsize=15419460 memory=1239656 CPUtime=0.89 cores=1,3,5,7
/proc/12748/task/12760/stat : 12760 (java) S 12746 12746 7201 0 -1 1077944384 10542 0 0 0 88 1 0 0 20 0 19 0 475546589 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928101431408 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12761] ppid=12746 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12761/stat : 12761 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475546589 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928100378848 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12762] ppid=12746 vsize=15419460 memory=1452 CPUtime=0.36 cores=1,3,5,7
/proc/12748/task/12762/stat : 12762 (java) S 12746 12746 7201 0 -1 1077944384 1075 0 0 0 0 36 0 0 20 0 19 0 475546589 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928099327152 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12779] ppid=12746 vsize=15419460 memory=1239656 CPUtime=484.6 cores=1,3,5,7
/proc/12748/task/12779/stat : 12779 (java) R 12746 12746 7201 0 -1 4202560 1366 0 0 0 48460 0 0 0 20 0 19 0 475550265 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928019130480 139928245545391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12780] ppid=12746 vsize=15419460 memory=6791534058613427641 CPUtime=483.07 cores=1,3,5,7
/proc/12748/task/12780/stat : 12780 (java) R 12746 12746 7201 0 -1 4202560 15562 0 0 0 48304 3 0 0 20 0 19 0 475550265 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928018075680 139928246158650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12781] ppid=12746 vsize=15419460 memory=1452 CPUtime=484.17 cores=1,3,5,7
/proc/12748/task/12781/stat : 12781 (java) R 12746 12746 7201 0 -1 4202560 1408 0 0 0 48417 0 0 0 20 0 19 0 475550265 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928090345624 139928246953290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12782] ppid=12746 vsize=15419460 memory=1239656 CPUtime=480.17 cores=1,3,5,7
/proc/12748/task/12782/stat : 12782 (java) R 12746 12746 7201 0 -1 4202560 4687 0 0 0 48016 1 0 0 20 0 19 0 475550265 15789527040 309914 33554432000 4194304 4196468 140722876706816 139928017023400 139928243855976 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
Current children cumulated CPU time: 2078.04 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1241108 KiB
[startup+582.307 s]
/proc/loadavg: 4.05 5.15 6.46 5/211 13137
/proc/meminfo: memFree=8131792/32770624 swapFree=67021848/67108860
[pid=12746] ppid=12743 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (xcsp3-exec) S 12743 12746 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475546583 115843072 363 33554432000 4194304 5098028 140736445711200 140736445709304 140006440006268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21667840 140736445719382 140736445719641 140736445719641 140736445722566 0
/proc/12746/statm: 28282 363 304 221 0 87 0
[pid=12748] ppid=12746 vsize=15419460 memory=1242160 CPUtime=2316.95 cores=1,3,5,7
/proc/12748/stat : 12748 (java) S 12746 12746 7201 0 -1 1077944320 113158 0 0 0 231624 71 0 0 20 0 19 0 475546583 15789527040 310540 33554432000 4194304 4196468 140722876706816 140722876689360 139928639270647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
/proc/12748/statm: 3854865 310540 3534 1 0 3815965 0
[pid=12748/tid=12749] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0.8 cores=1,3,5,7
/proc/12748/task/12749/stat : 12749 (java) S 12746 12746 7201 0 -1 1077944384 9919 0 0 0 75 5 0 0 20 0 19 0 475546584 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928643511424 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12750] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0.26 cores=1,3,5,7
/proc/12748/task/12750/stat : 12750 (java) S 12746 12746 7201 0 -1 1077944384 2390 0 0 0 18 8 0 0 20 0 19 0 475546584 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928567310992 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12751] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0.25 cores=1,3,5,7
/proc/12748/task/12751/stat : 12751 (java) S 12746 12746 7201 0 -1 1077944384 2572 0 0 0 17 8 0 0 20 0 19 0 475546584 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928566258192 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12752] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0.26 cores=1,3,5,7
/proc/12748/task/12752/stat : 12752 (java) S 12746 12746 7201 0 -1 1077944384 2314 0 0 0 18 8 0 0 20 0 19 0 475546584 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928565205392 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12753] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0.25 cores=1,3,5,7
/proc/12748/task/12753/stat : 12753 (java) S 12746 12746 7201 0 -1 1077944384 2551 0 0 0 18 7 0 0 20 0 19 0 475546584 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928564152592 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12754] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0.07 cores=1,3,5,7
/proc/12748/task/12754/stat : 12754 (java) S 12746 12746 7201 0 -1 1077944384 4166 0 0 0 4 3 0 0 20 0 19 0 475546586 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928107748208 139928639281794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12755] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12755/stat : 12755 (java) S 12746 12746 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475546586 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928106694240 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12756] ppid=12746 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12756/stat : 12756 (java) S 12746 12746 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475546586 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928105641344 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12757] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12757/stat : 12757 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475546589 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928104589648 139928639289243 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12758] ppid=12746 vsize=15419460 memory=1242160 CPUtime=3.11 cores=1,3,5,7
/proc/12748/task/12758/stat : 12758 (java) S 12746 12746 7201 0 -1 1077944384 18223 0 0 0 309 2 0 0 20 0 19 0 475546589 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928103537008 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12759] ppid=12746 vsize=15419460 memory=1452 CPUtime=3.01 cores=1,3,5,7
/proc/12748/task/12759/stat : 12759 (java) S 12746 12746 7201 0 -1 1077944384 17012 0 0 0 299 2 0 0 20 0 19 0 475546589 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928102484208 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12760] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0.89 cores=1,3,5,7
/proc/12748/task/12760/stat : 12760 (java) S 12746 12746 7201 0 -1 1077944384 10980 0 0 0 88 1 0 0 20 0 19 0 475546589 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928101431408 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12761] ppid=12746 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12761/stat : 12761 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475546589 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928100378848 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12762] ppid=12746 vsize=15419460 memory=1242160 CPUtime=0.42 cores=1,3,5,7
/proc/12748/task/12762/stat : 12762 (java) S 12746 12746 7201 0 -1 1077944384 1228 0 0 0 0 42 0 0 20 0 19 0 475546589 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928099327152 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=13129] ppid=12746 vsize=15419460 memory=3648 CPUtime=57.41 cores=1,3,5,7
/proc/12748/task/13129/stat : 13129 (java) R 12746 12746 7201 0 -1 4202560 556 0 0 0 5741 0 0 0 20 0 19 0 475599070 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928018074296 139928245545131 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=13130] ppid=12746 vsize=15419460 memory=41816 CPUtime=56.75 cores=1,3,5,7
/proc/12748/task/13130/stat : 13130 (java) R 12746 12746 7201 0 -1 4202560 3573 0 0 0 5675 0 0 0 20 0 19 0 475599070 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928090345272 139928240612928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=13131] ppid=12746 vsize=15419460 memory=1040 CPUtime=57.39 cores=1,3,5,7
/proc/12748/task/13131/stat : 13131 (java) R 12746 12746 7201 0 -1 4202560 693 0 0 0 5739 0 0 0 20 0 19 0 475599070 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928017022384 139928245544762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=13132] ppid=12746 vsize=15419460 memory=6791534058613427641 CPUtime=57 cores=1,3,5,7
/proc/12748/task/13132/stat : 13132 (java) R 12746 12746 7201 0 -1 4202560 1040 0 0 0 5700 0 0 0 20 0 19 0 475599070 15789527040 310540 33554432000 4194304 4196468 140722876706816 139928019128760 139928246985600 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
Current children cumulated CPU time: 2316.95 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1243612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.202 s]
/proc/loadavg: 4.03 5.07 6.41 5/211 13145
/proc/meminfo: memFree=8137068/32770624 swapFree=67021848/67108860
[pid=12746] ppid=12743 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (xcsp3-exec) S 12743 12746 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475546583 115843072 363 33554432000 4194304 5098028 140736445711200 140736445709304 140006440006268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21667840 140736445719382 140736445719641 140736445719641 140736445722566 0
/proc/12746/statm: 28282 363 304 221 0 87 0
[pid=12748] ppid=12746 vsize=15419460 memory=1237500 CPUtime=2400.14 cores=1,3,5,7
/proc/12748/stat : 12748 (java) S 12746 12746 7201 0 -1 1077944320 119328 0 0 0 239943 71 0 0 20 0 19 0 475546583 15789527040 309375 33554432000 4194304 4196468 140722876706816 140722876689360 139928639270647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
/proc/12748/statm: 3854865 309375 3534 1 0 3815965 0
[pid=12748/tid=12749] ppid=12746 vsize=15419460 memory=7712 CPUtime=0.8 cores=1,3,5,7
/proc/12748/task/12749/stat : 12749 (java) S 12746 12746 7201 0 -1 1077944384 10105 0 0 0 75 5 0 0 20 0 19 0 475546584 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928643511424 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12750] ppid=12746 vsize=15419460 memory=1760 CPUtime=0.26 cores=1,3,5,7
/proc/12748/task/12750/stat : 12750 (java) S 12746 12746 7201 0 -1 1077944384 2427 0 0 0 18 8 0 0 20 0 19 0 475546584 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928567310992 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12751] ppid=12746 vsize=15419460 memory=1172 CPUtime=0.26 cores=1,3,5,7
/proc/12748/task/12751/stat : 12751 (java) S 12746 12746 7201 0 -1 1077944384 2607 0 0 0 18 8 0 0 20 0 19 0 475546584 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928566258192 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12752] ppid=12746 vsize=15419460 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/12748/task/12752/stat : 12752 (java) S 12746 12746 7201 0 -1 1077944384 2763 0 0 0 18 8 0 0 20 0 19 0 475546584 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928565205392 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12753] ppid=12746 vsize=15419460 memory=1244 CPUtime=0.25 cores=1,3,5,7
/proc/12748/task/12753/stat : 12753 (java) S 12746 12746 7201 0 -1 1077944384 2650 0 0 0 18 7 0 0 20 0 19 0 475546584 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928564152592 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12754] ppid=12746 vsize=15419460 memory=14064 CPUtime=0.07 cores=1,3,5,7
/proc/12748/task/12754/stat : 12754 (java) S 12746 12746 7201 0 -1 1077944384 4447 0 0 0 4 3 0 0 20 0 19 0 475546586 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928107748208 139928639281794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12755] ppid=12746 vsize=15419460 memory=17756 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12755/stat : 12755 (java) S 12746 12746 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475546586 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928106694240 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12756] ppid=12746 vsize=15419460 memory=2256 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12756/stat : 12756 (java) S 12746 12746 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475546586 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928105641344 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12757] ppid=12746 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12757/stat : 12757 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475546589 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928104589648 139928639289243 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12758] ppid=12746 vsize=15419460 memory=3648 CPUtime=3.12 cores=1,3,5,7
/proc/12748/task/12758/stat : 12758 (java) S 12746 12746 7201 0 -1 1077944384 18576 0 0 0 310 2 0 0 20 0 19 0 475546589 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928103537008 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12759] ppid=12746 vsize=15419460 memory=41828 CPUtime=3.02 cores=1,3,5,7
/proc/12748/task/12759/stat : 12759 (java) S 12746 12746 7201 0 -1 1077944384 17812 0 0 0 300 2 0 0 20 0 19 0 475546589 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928102484208 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12760] ppid=12746 vsize=15419460 memory=1040 CPUtime=0.9 cores=1,3,5,7
/proc/12748/task/12760/stat : 12760 (java) S 12746 12746 7201 0 -1 1077944384 11621 0 0 0 89 1 0 0 20 0 19 0 475546589 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928101431408 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12761] ppid=12746 vsize=15419460 memory=2084 CPUtime=0 cores=1,3,5,7
/proc/12748/task/12761/stat : 12761 (java) S 12746 12746 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475546589 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928100378848 139928639280853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=12762] ppid=12746 vsize=15419460 memory=1996 CPUtime=0.44 cores=1,3,5,7
/proc/12748/task/12762/stat : 12762 (java) S 12746 12746 7201 0 -1 1077944384 1348 0 0 0 0 44 0 0 20 0 19 0 475546589 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928099327152 139928639281794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=13142] ppid=12746 vsize=15419460 memory=2508 CPUtime=6.53 cores=1,3,5,7
/proc/12748/task/13142/stat : 13142 (java) R 12746 12746 7201 0 -1 4202560 348 0 0 0 653 0 0 0 20 0 19 0 475606237 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928017026568 139928246985671 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=13143] ppid=12746 vsize=15419460 memory=1532 CPUtime=6.66 cores=1,3,5,7
/proc/12748/task/13143/stat : 13143 (java) R 12746 12746 7201 0 -1 4202560 624 0 0 0 666 0 0 0 20 0 19 0 475606237 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928090350552 139928246158650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=13144] ppid=12746 vsize=15419460 memory=836 CPUtime=6.66 cores=1,3,5,7
/proc/12748/task/13144/stat : 13144 (java) R 12746 12746 7201 0 -1 4202560 288 0 0 0 666 0 0 0 20 0 19 0 475606237 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928019135688 139928247671037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
[pid=12748/tid=13145] ppid=12746 vsize=15419460 memory=1760 CPUtime=6.66 cores=1,3,5,7
/proc/12748/task/13145/stat : 13145 (java) R 12746 12746 7201 0 -1 4202560 812 0 0 0 666 0 0 0 20 0 19 0 475606237 15789527040 309375 33554432000 4194304 4196468 140722876706816 139928018082888 139928243944093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140722876715995 140722876716170 140722876716170 140722876719055 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1238952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.235 s]
# the end of solver process 12746 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001142 s, system=0.001142 s
[startup+603.311 s]
# the end of solver process 12748 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.78 s, system=0.741696 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): 603.311
CPU time (s): 2400.52
CPU user time (s): 2399.78
CPU system time (s): 0.741696
CPU usage (%): 397.891
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 1243612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.78
system time used= 0.741696
maximum resident set size= 1245528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121286
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16838
involuntary context switches= 30581
# summary of solver processes directly reported to runsolver:
# pid: 12746,12748
# total CPU time (s): 2400.52
# total CPU user time (s): 2399.78
# total CPU system time (s): 0.741696
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69786 second user time and 6.88126 second system time
The end