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 (4451 MiB free)
memory of node 1: 16384 MiB (5491 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403448-1568990108/watcher-4403448-1568990108 -o /tmp/evaluation-result-4403448-1568990108/solver-4403448-1568990108 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11774 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 148627274 HOME/instance-4403448-1568990108.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14684, runsolver pid=14681
[startup+0.10006 s]*
/proc/loadavg: 8.05 8.27 7.40 7/234 14700
/proc/meminfo: memFree=10164028/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
[pid=14686] ppid=14684 vsize=15144776 memory=30388 CPUtime=0.13 cores=1,3,5,7
/proc/14686/stat : 14686 (java) S 14684 14684 11742 0 -1 1077944320 5518 0 0 0 12 1 0 0 20 0 15 0 475277560 15508250624 7597 33554432000 4194304 4196468 140721137371376 140721137353920 140369565871863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
/proc/14686/statm: 3786194 7597 3136 1 0 3748377 0
[pid=14686/tid=14687] ppid=14684 vsize=15144776 memory=8324486588775410251 CPUtime=0.08 cores=1,3,5,7
/proc/14686/task/14687/stat : 14687 (java) R 14684 14684 11742 0 -1 4202560 3423 0 0 0 8 0 0 0 20 0 15 0 475277561 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369570101504 140369558113253 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14688] ppid=14684 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14688/stat : 14688 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277561 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369158056336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14689] ppid=14684 vsize=15144776 memory=139741518235264 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14689/stat : 14689 (java) S 14684 14684 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475277561 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369157003536 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14690] ppid=14684 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14690/stat : 14690 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277561 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369155951248 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14691] ppid=14684 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14691/stat : 14691 (java) S 14684 14684 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475277561 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369154898448 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14692] ppid=14684 vsize=15144776 memory=139741518235264 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14692/stat : 14692 (java) S 14684 14684 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475277563 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369034435184 140369565883010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14693] ppid=14684 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14693/stat : 14693 (java) S 14684 14684 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475277563 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369033381152 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14694] ppid=14684 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14694/stat : 14694 (java) S 14684 14684 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475277563 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369032328816 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14695] ppid=14684 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14695/stat : 14695 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475277566 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369031277136 140369565890459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14696] ppid=14684 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14696/stat : 14696 (java) R 14684 14684 11742 0 -1 4202560 351 0 0 0 0 0 0 0 20 0 15 0 475277566 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369030223984 140369543704720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14697] ppid=14684 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14697/stat : 14697 (java) R 14684 14684 11742 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 475277566 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369029171184 140369565883010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14698] ppid=14684 vsize=15144776 memory=139741518235264 CPUtime=0.02 cores=1,3,5,7
/proc/14686/task/14698/stat : 14698 (java) R 14684 14684 11742 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 475277566 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369028118896 140369544240532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14699] ppid=14684 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14699/stat : 14699 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475277566 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369027066336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14700] ppid=14684 vsize=15144776 memory=139741518235264 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14700/stat : 14700 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277566 15508250624 7597 33554432000 4194304 4196468 140721137371376 140369026014128 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31836 KiB
[startup+0.212464 s]*
/proc/loadavg: 8.05 8.27 7.40 7/234 14700
/proc/meminfo: memFree=10153720/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
[pid=14686] ppid=14684 vsize=15144776 memory=40984 CPUtime=0.35 cores=1,3,5,7
/proc/14686/stat : 14686 (java) S 14684 14684 11742 0 -1 1077944320 8918 0 0 0 32 3 0 0 20 0 15 0 475277560 15508250624 10246 33554432000 4194304 4196468 140721137371376 140721137353920 140369565871863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
/proc/14686/statm: 3786194 10246 3299 1 0 3748377 0
[pid=14686/tid=14687] ppid=14684 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14686/task/14687/stat : 14687 (java) R 14684 14684 11742 0 -1 4202560 6224 0 0 0 18 2 0 0 20 0 15 0 475277561 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369570106848 140369565893789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14688] ppid=14684 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14688/stat : 14688 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277561 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369158056336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14689] ppid=14684 vsize=15144776 memory=139741518247407 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14689/stat : 14689 (java) S 14684 14684 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475277561 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369157003536 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14690] ppid=14684 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14690/stat : 14690 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277561 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369155951248 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14691] ppid=14684 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14691/stat : 14691 (java) S 14684 14684 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475277561 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369154898448 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14692] ppid=14684 vsize=15144776 memory=139741518235264 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14692/stat : 14692 (java) S 14684 14684 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475277563 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369034435184 140369565883010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14693] ppid=14684 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14693/stat : 14693 (java) S 14684 14684 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475277563 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369033381152 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14694] ppid=14684 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14694/stat : 14694 (java) S 14684 14684 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475277563 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369032328816 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14695] ppid=14684 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14695/stat : 14695 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475277566 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369031277136 140369565890459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14696] ppid=14684 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14686/task/14696/stat : 14696 (java) S 14684 14684 11742 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 15 0 475277566 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369030223984 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14697] ppid=14684 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14686/task/14697/stat : 14697 (java) S 14684 14684 11742 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 15 0 475277566 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369029171184 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14698] ppid=14684 vsize=15144776 memory=139741518235264 CPUtime=0.08 cores=1,3,5,7
/proc/14686/task/14698/stat : 14698 (java) R 14684 14684 11742 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 15 0 475277566 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369028118896 140369565893210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14699] ppid=14684 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14699/stat : 14699 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475277566 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369027066336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14700] ppid=14684 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14700/stat : 14700 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277566 15508250624 10246 33554432000 4194304 4196468 140721137371376 140369026014128 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42432 KiB
[startup+0.318852 s]*
/proc/loadavg: 8.05 8.27 7.40 7/234 14700
/proc/meminfo: memFree=10146440/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
[pid=14686] ppid=14684 vsize=15149032 memory=50628 CPUtime=0.54 cores=1,3,5,7
/proc/14686/stat : 14686 (java) S 14684 14684 11742 0 -1 1077944320 10468 0 0 0 51 3 0 0 20 0 15 0 475277560 15512608768 12657 33554432000 4194304 4196468 140721137371376 140721137353920 140369565871863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
/proc/14686/statm: 3787258 12657 3360 1 0 3748377 0
[pid=14686/tid=14687] ppid=14684 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/14686/task/14687/stat : 14687 (java) R 14684 14684 11742 0 -1 4202560 7478 0 0 0 28 2 0 0 20 0 15 0 475277561 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369570108688 140369549952350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14688] ppid=14684 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14688/stat : 14688 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277561 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369158056336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14689] ppid=14684 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14689/stat : 14689 (java) S 14684 14684 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475277561 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369157003536 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14690] ppid=14684 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14690/stat : 14690 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277561 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369155951248 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14691] ppid=14684 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14691/stat : 14691 (java) S 14684 14684 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475277561 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369154898448 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14692] ppid=14684 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14692/stat : 14692 (java) S 14684 14684 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475277563 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369034435184 140369565883010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14693] ppid=14684 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14693/stat : 14693 (java) S 14684 14684 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475277563 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369033381152 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14694] ppid=14684 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14694/stat : 14694 (java) S 14684 14684 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475277563 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369032328816 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14695] ppid=14684 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14695/stat : 14695 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475277566 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369031277136 140369565890459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14696] ppid=14684 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/14686/task/14696/stat : 14696 (java) S 14684 14684 11742 0 -1 1077944384 561 0 0 0 5 0 0 0 20 0 15 0 475277566 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369030223984 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14697] ppid=14684 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14686/task/14697/stat : 14697 (java) S 14684 14684 11742 0 -1 1077944384 233 0 0 0 3 0 0 0 20 0 15 0 475277566 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369029171184 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14698] ppid=14684 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/14686/task/14698/stat : 14698 (java) S 14684 14684 11742 0 -1 1077944384 906 0 0 0 13 0 0 0 20 0 15 0 475277566 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369028118896 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14699] ppid=14684 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14699/stat : 14699 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475277566 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369027066336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14700] ppid=14684 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14700/stat : 14700 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277566 15512608768 12657 33554432000 4194304 4196468 140721137371376 140369026014128 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52076 KiB
[startup+0.700824 s]
/proc/loadavg: 8.05 8.27 7.40 7/234 14700
/proc/meminfo: memFree=10122784/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
[pid=14686] ppid=14684 vsize=15151156 memory=130268 CPUtime=1.75 cores=1,3,5,7
/proc/14686/stat : 14686 (java) S 14684 14684 11742 0 -1 1077944320 13473 0 0 0 169 6 0 0 20 0 15 0 475277560 15514783744 32567 33554432000 4194304 4196468 140721137371376 140721137353920 140369565871863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
/proc/14686/statm: 3787789 32567 3449 1 0 3748889 0
[pid=14686/tid=14687] ppid=14684 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/14686/task/14687/stat : 14687 (java) R 14684 14684 11742 0 -1 4202560 7880 0 0 0 64 4 0 0 20 0 15 0 475277561 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369570105408 140369206415807 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14688] ppid=14684 vsize=15151156 memory=54372 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14688/stat : 14688 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277561 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369158056336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14689] ppid=14684 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14689/stat : 14689 (java) S 14684 14684 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475277561 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369157003536 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14690] ppid=14684 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14690/stat : 14690 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277561 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369155951248 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14691] ppid=14684 vsize=15151156 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14691/stat : 14691 (java) S 14684 14684 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475277561 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369154898448 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14692] ppid=14684 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14692/stat : 14692 (java) S 14684 14684 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475277563 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369034435184 140369565883010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14693] ppid=14684 vsize=15151156 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14693/stat : 14693 (java) S 14684 14684 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475277563 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369033381152 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14694] ppid=14684 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14694/stat : 14694 (java) S 14684 14684 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475277563 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369032328816 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14695] ppid=14684 vsize=15151156 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14695/stat : 14695 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475277566 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369031277136 140369565890459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14696] ppid=14684 vsize=15151156 memory=10564 CPUtime=0.38 cores=1,3,5,7
/proc/14686/task/14696/stat : 14696 (java) R 14684 14684 11742 0 -1 4202560 1469 0 0 0 38 0 0 0 20 0 15 0 475277566 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369030214368 140369565893210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14697] ppid=14684 vsize=15151156 memory=716 CPUtime=0.36 cores=1,3,5,7
/proc/14686/task/14697/stat : 14697 (java) R 14684 14684 11742 0 -1 4202560 1209 0 0 0 36 0 0 0 20 0 15 0 475277566 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369029154384 140369565893210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14698] ppid=14684 vsize=15151156 memory=780 CPUtime=0.29 cores=1,3,5,7
/proc/14686/task/14698/stat : 14698 (java) S 14684 14684 11742 0 -1 1077944384 1608 0 0 0 29 0 0 0 20 0 15 0 475277566 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369028118896 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14699] ppid=14684 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14699/stat : 14699 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475277566 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369027066336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14700] ppid=14684 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14700/stat : 14700 (java) S 14684 14684 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475277566 15514783744 32567 33554432000 4194304 4196468 140721137371376 140369026014128 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 131716 KiB
[startup+1.5009 s]
/proc/loadavg: 8.05 8.27 7.40 8/234 14700
/proc/meminfo: memFree=9994956/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/14686/task/14698/stat : 14698 (java) S 14684 14684 11742 0 -1 1077944384 4278 0 0 0 66 1 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369028118944 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14699] ppid=14684 vsize=15217720 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14699/stat : 14699 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369027066336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14700] ppid=14684 vsize=15217720 memory=12677756 CPUtime=0.13 cores=1,3,5,7
/proc/14686/task/14700/stat : 14700 (java) S 14684 14684 11742 0 -1 1077944384 581 0 0 0 6 7 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369026014128 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14730] ppid=14684 vsize=15217720 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14730/stat : 14730 (java) S 14684 14684 11742 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 475309698 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369016798784 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
Current children cumulated CPU time: 1190.77 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12679216 KiB
[startup+329.601 s]
/proc/loadavg: 8.35 7.97 7.48 9/235 14732
/proc/meminfo: memFree=192344/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
[pid=14686] ppid=14684 vsize=15217720 memory=12677768 CPUtime=1203.17 cores=1,3,5,7
/proc/14686/stat : 14686 (java) S 14684 14684 11742 0 -1 1077944320 6358284 0 0 0 118272 2045 0 0 20 0 16 0 475277560 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140721137353920 140369565871863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
/proc/14686/statm: 3804430 3169442 3529 1 0 3765530 0
[pid=14686/tid=14687] ppid=14684 vsize=15217720 memory=12677768 CPUtime=30.18 cores=1,3,5,7
/proc/14686/task/14687/stat : 14687 (java) S 14684 14684 11742 0 -1 1077944384 16029 0 0 0 3006 12 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369570112544 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14688] ppid=14684 vsize=15217720 memory=6791534058613427641 CPUtime=291.12 cores=1,3,5,7
/proc/14686/task/14688/stat : 14688 (java) R 14684 14684 11742 0 -1 4202560 1936988 0 0 0 28542 570 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369158056536 140369550861459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14689] ppid=14684 vsize=15217720 memory=12677768 CPUtime=288.96 cores=1,3,5,7
/proc/14686/task/14689/stat : 14689 (java) R 14684 14684 11742 0 -1 4202560 1366444 0 0 0 28399 497 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369157003656 140369558500071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14690] ppid=14684 vsize=15217720 memory=2004 CPUtime=290.1 cores=1,3,5,7
/proc/14686/task/14690/stat : 14690 (java) R 14684 14684 11742 0 -1 4202560 1568498 0 0 0 28534 476 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369155951056 140369558500071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14691] ppid=14684 vsize=15217720 memory=1376 CPUtime=289.98 cores=1,3,5,7
/proc/14686/task/14691/stat : 14691 (java) R 14684 14684 11742 0 -1 4202560 1301783 0 0 0 28526 472 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369154898568 140369558500071 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14692] ppid=14684 vsize=15217720 memory=1448 CPUtime=6.15 cores=1,3,5,7
/proc/14686/task/14692/stat : 14692 (java) S 14684 14684 11742 0 -1 1077944384 137539 0 0 0 608 7 0 0 20 0 16 0 475277563 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369034433728 140369565882069 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14693] ppid=14684 vsize=15217720 memory=12677768 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14693/stat : 14693 (java) S 14684 14684 11742 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 475277563 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369033381216 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14694] ppid=14684 vsize=15217720 memory=984 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14694/stat : 14694 (java) S 14684 14684 11742 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 475277563 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369032328832 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14695] ppid=14684 vsize=15217720 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14695/stat : 14695 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369031277136 140369565890459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14696] ppid=14684 vsize=15217720 memory=1448 CPUtime=2.8 cores=1,3,5,7
/proc/14686/task/14696/stat : 14696 (java) S 14684 14684 11742 0 -1 1077944384 11300 0 0 0 278 2 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369030223744 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14697] ppid=14684 vsize=15217720 memory=12677768 CPUtime=2.98 cores=1,3,5,7
/proc/14686/task/14697/stat : 14697 (java) S 14684 14684 11742 0 -1 1077944384 13421 0 0 0 296 2 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369029171232 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14698] ppid=14684 vsize=15217720 memory=1980 CPUtime=0.67 cores=1,3,5,7
/proc/14686/task/14698/stat : 14698 (java) S 14684 14684 11742 0 -1 1077944384 4278 0 0 0 66 1 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369028118944 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14699] ppid=14684 vsize=15217720 memory=2572 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14699/stat : 14699 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369027066336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14700] ppid=14684 vsize=15217720 memory=884 CPUtime=0.13 cores=1,3,5,7
/proc/14686/task/14700/stat : 14700 (java) S 14684 14684 11742 0 -1 1077944384 581 0 0 0 6 7 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369026014128 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14730] ppid=14684 vsize=15217720 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14730/stat : 14730 (java) S 14684 14684 11742 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 475309698 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369016798784 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
Current children cumulated CPU time: 1203.17 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12679216 KiB
[startup+330.401 s]
/proc/loadavg: 8.33 7.98 7.48 9/234 14732
/proc/meminfo: memFree=191488/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
[pid=14686] ppid=14684 vsize=15217720 memory=12677768 CPUtime=1206.25 cores=1,3,5,7
/proc/14686/stat : 14686 (java) S 14684 14684 11742 0 -1 1077944320 6358284 0 0 0 118579 2046 0 0 20 0 16 0 475277560 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140721137353920 140369565871863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
/proc/14686/statm: 3804430 3169442 3529 1 0 3765530 0
[pid=14686/tid=14687] ppid=14684 vsize=15217720 memory=1448 CPUtime=30.18 cores=1,3,5,7
/proc/14686/task/14687/stat : 14687 (java) S 14684 14684 11742 0 -1 1077944384 16029 0 0 0 3006 12 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369570112544 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14688] ppid=14684 vsize=15217720 memory=6791534058613427641 CPUtime=291.92 cores=1,3,5,7
/proc/14686/task/14688/stat : 14688 (java) R 14684 14684 11742 0 -1 4202560 1936988 0 0 0 28622 570 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369158056536 140369550571694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14689] ppid=14684 vsize=15217720 memory=3620 CPUtime=289.7 cores=1,3,5,7
/proc/14686/task/14689/stat : 14689 (java) R 14684 14684 11742 0 -1 4202560 1366444 0 0 0 28473 497 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369157003656 140369558500071 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14690] ppid=14684 vsize=15217720 memory=1448 CPUtime=290.87 cores=1,3,5,7
/proc/14686/task/14690/stat : 14690 (java) R 14684 14684 11742 0 -1 4202560 1568498 0 0 0 28611 476 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369155951368 140369558500071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14691] ppid=14684 vsize=15217720 memory=12677768 CPUtime=290.73 cores=1,3,5,7
/proc/14686/task/14691/stat : 14691 (java) R 14684 14684 11742 0 -1 4202560 1301783 0 0 0 28601 472 0 0 20 0 16 0 475277561 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369154898256 140369558500071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14692] ppid=14684 vsize=15217720 memory=1448 CPUtime=6.15 cores=1,3,5,7
/proc/14686/task/14692/stat : 14692 (java) S 14684 14684 11742 0 -1 1077944384 137539 0 0 0 608 7 0 0 20 0 16 0 475277563 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369034433728 140369565882069 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14693] ppid=14684 vsize=15217720 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14693/stat : 14693 (java) S 14684 14684 11742 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 475277563 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369033381216 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14694] ppid=14684 vsize=15217720 memory=12677768 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14694/stat : 14694 (java) S 14684 14684 11742 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 475277563 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369032328832 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14695] ppid=14684 vsize=15217720 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14695/stat : 14695 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369031277136 140369565890459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14696] ppid=14684 vsize=15217720 memory=1764 CPUtime=2.8 cores=1,3,5,7
/proc/14686/task/14696/stat : 14696 (java) S 14684 14684 11742 0 -1 1077944384 11300 0 0 0 278 2 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369030223744 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14697] ppid=14684 vsize=15217720 memory=111632 CPUtime=2.98 cores=1,3,5,7
/proc/14686/task/14697/stat : 14697 (java) S 14684 14684 11742 0 -1 1077944384 13421 0 0 0 296 2 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369029171232 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14698] ppid=14684 vsize=15217720 memory=804 CPUtime=0.67 cores=1,3,5,7
/proc/14686/task/14698/stat : 14698 (java) S 14684 14684 11742 0 -1 1077944384 4278 0 0 0 66 1 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369028118944 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14699] ppid=14684 vsize=15217720 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14699/stat : 14699 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369027066336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14700] ppid=14684 vsize=15217720 memory=1804 CPUtime=0.13 cores=1,3,5,7
/proc/14686/task/14700/stat : 14700 (java) S 14684 14684 11742 0 -1 1077944384 581 0 0 0 6 7 0 0 20 0 16 0 475277566 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369026014128 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14730] ppid=14684 vsize=15217720 memory=12677768 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14730/stat : 14730 (java) S 14684 14684 11742 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 475309698 15582945280 3169442 33554432000 4194304 4196468 140721137371376 140369016798784 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
Current children cumulated CPU time: 1206.25 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12679216 KiB
[startup+330.801 s]
/proc/loadavg: 8.33 7.98 7.48 9/234 14732
/proc/meminfo: memFree=191488/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
[pid=14686] ppid=14684 vsize=15217720 memory=12677772 CPUtime=1207.56 cores=1,3,5,7
/proc/14686/stat : 14686 (java) S 14684 14684 11742 0 -1 1077944320 6358821 0 0 0 118710 2046 0 0 20 0 16 0 475277560 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140721137353920 140369565871863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
/proc/14686/statm: 3804430 3169443 3529 1 0 3765530 0
[pid=14686/tid=14687] ppid=14684 vsize=15217720 memory=14134446152486315 CPUtime=30.18 cores=1,3,5,7
/proc/14686/task/14687/stat : 14687 (java) S 14684 14684 11742 0 -1 1077944384 16029 0 0 0 3006 12 0 0 20 0 16 0 475277561 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369570112544 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14688] ppid=14684 vsize=15217720 memory=716 CPUtime=292.24 cores=1,3,5,7
/proc/14686/task/14688/stat : 14688 (java) S 14684 14684 11742 0 -1 1077944384 1936988 0 0 0 28654 570 0 0 20 0 16 0 475277561 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369158056336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14689] ppid=14684 vsize=15217720 memory=780 CPUtime=290.01 cores=1,3,5,7
/proc/14686/task/14689/stat : 14689 (java) S 14684 14684 11742 0 -1 1077944384 1366444 0 0 0 28504 497 0 0 20 0 16 0 475277561 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369157003536 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14690] ppid=14684 vsize=15217720 memory=1552 CPUtime=291.17 cores=1,3,5,7
/proc/14686/task/14690/stat : 14690 (java) S 14684 14684 11742 0 -1 1077944384 1568498 0 0 0 28641 476 0 0 20 0 16 0 475277561 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369155951248 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14691] ppid=14684 vsize=15217720 memory=2832 CPUtime=291.04 cores=1,3,5,7
/proc/14686/task/14691/stat : 14691 (java) S 14684 14684 11742 0 -1 1077944384 1301783 0 0 0 28632 472 0 0 20 0 16 0 475277561 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369154898448 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14692] ppid=14684 vsize=15217720 memory=1192 CPUtime=6.23 cores=1,3,5,7
/proc/14686/task/14692/stat : 14692 (java) R 14684 14684 11742 0 -1 4202560 138076 0 0 0 616 7 0 0 20 0 16 0 475277563 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369034433728 140369550868267 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14693] ppid=14684 vsize=15217720 memory=940 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14693/stat : 14693 (java) S 14684 14684 11742 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 475277563 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369033381216 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14694] ppid=14684 vsize=15217720 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14694/stat : 14694 (java) S 14684 14684 11742 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 475277563 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369032328832 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14695] ppid=14684 vsize=15217720 memory=12677768 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14695/stat : 14695 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 475277566 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369031277136 140369565890459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14696] ppid=14684 vsize=15217720 memory=500 CPUtime=2.8 cores=1,3,5,7
/proc/14686/task/14696/stat : 14696 (java) S 14684 14684 11742 0 -1 1077944384 11300 0 0 0 278 2 0 0 20 0 16 0 475277566 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369030223744 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14697] ppid=14684 vsize=15217720 memory=1556 CPUtime=2.98 cores=1,3,5,7
/proc/14686/task/14697/stat : 14697 (java) S 14684 14684 11742 0 -1 1077944384 13421 0 0 0 296 2 0 0 20 0 16 0 475277566 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369029171232 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14698] ppid=14684 vsize=15217720 memory=928 CPUtime=0.67 cores=1,3,5,7
/proc/14686/task/14698/stat : 14698 (java) S 14684 14684 11742 0 -1 1077944384 4278 0 0 0 66 1 0 0 20 0 16 0 475277566 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369028118944 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14699] ppid=14684 vsize=15217720 memory=12677768 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14699/stat : 14699 (java) S 14684 14684 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 475277566 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369027066336 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14700] ppid=14684 vsize=15217720 memory=1724 CPUtime=0.13 cores=1,3,5,7
/proc/14686/task/14700/stat : 14700 (java) S 14684 14684 11742 0 -1 1077944384 581 0 0 0 6 7 0 0 20 0 16 0 475277566 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369026014128 140369565883010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
[pid=14686/tid=14730] ppid=14684 vsize=15217720 memory=1398722017469774279 CPUtime=0 cores=1,3,5,7
/proc/14686/task/14730/stat : 14730 (java) S 14684 14684 11742 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 475309698 15582945280 3169443 33554432000 4194304 4196468 140721137371376 140369016798784 140369565882069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140721137374191 140721137374362 140721137374362 140721137377231 0
Current children cumulated CPU time: 1207.56 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12679220 KiB
[startup+331 s]*
/proc/loadavg: 8.33 7.98 7.48 6/220 14732
/proc/meminfo: memFree=6520624/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
[startup+331.11 s]
/proc/loadavg: 8.33 7.98 7.48 6/220 14732
/proc/meminfo: memFree=6520624/32770624 swapFree=66974516/67108860
[pid=14684] ppid=14681 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14684/stat : 14684 (xcsp3-exec) S 14681 14684 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475277560 115843072 362 33554432000 4194304 5098028 140730179887280 140730179885384 139847796175484 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37826560 140730179896187 140730179896429 140730179896429 140730179899338 0
/proc/14684/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 1
Real time (s): 331.143
CPU time (s): 1207.91
CPU user time (s): 1187.2
CPU system time (s): 20.7118
CPU usage (%): 364.769
Max. virtual memory (cumulated for all children) (KiB): 15330848
Max. memory (cumulated for all children) (KiB): 12679220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1187.2
system time used= 20.7118
maximum resident set size= 12678016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6359457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18676
involuntary context switches= 31859
# summary of solver processes directly reported to runsolver:
# pid: 14684
# total CPU time (s): 1207.91
# total CPU user time (s): 1187.2
# total CPU system time (s): 20.7118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.88904 second user time and 3.59746 second system time
The end