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 (14487 MiB free)
memory of node 1: 16384 MiB (11035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399347-1568700064/watcher-4399347-1568700064 -o /tmp/evaluation-result-4399347-1568700064/solver-4399347-1568700064 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568695657-13662 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 274023319 HOME/instance-4399347-1568700064.xml
running on 4 cores: 0,2,4,6
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
solver pid=14167, runsolver pid=14164
Current StackSize limit: 8192 KiB
[startup+0.100253 s]*
/proc/loadavg: 6.92 7.36 4.86 3/228 14183
/proc/meminfo: memFree=26124312/32770624 swapFree=66939784/67108860
[pid=14167] ppid=14164 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14167/stat : 14167 (xcsp3-exec) S 14164 14167 13631 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446264815 115843072 362 33554432000 4194304 5098028 140725613973328 140725613971432 139791836492412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7938048 140725613978491 140725613978733 140725613978733 140725613981642 0
/proc/14167/statm: 28282 362 304 221 0 87 0
[pid=14169] ppid=14167 vsize=15144776 memory=29628 CPUtime=0.12 cores=0,2,4,6
/proc/14169/stat : 14169 (java) S 14167 14167 13631 0 -1 1077944320 5805 0 0 0 10 2 0 0 20 0 15 0 446264815 15508250624 7407 33554432000 4194304 4196468 140722142430432 140722142412976 139819424378615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
/proc/14169/statm: 3786194 7407 3157 1 0 3748377 0
[pid=14169/tid=14170] ppid=14167 vsize=15144776 memory=-2698085374278620574 CPUtime=0.08 cores=0,2,4,6
/proc/14169/task/14170/stat : 14170 (java) R 14167 14167 13631 0 -1 4202560 3715 0 0 0 7 1 0 0 20 0 15 0 446264816 15508250624 7407 33554432000 4194304 4196468 140722142430432 139819428602232 139819053297424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14171] ppid=14167 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264816 15508250624 7407 33554432000 4194304 4196468 140722142430432 139819376999440 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14172] ppid=14167 vsize=15144776 memory=140697192044160 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14172/stat : 14172 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264816 15508250624 7407 33554432000 4194304 4196468 140722142430432 139819375946896 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14173] ppid=14167 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14173/stat : 14173 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264816 15508250624 7407 33554432000 4194304 4196468 140722142430432 139819374893840 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14174] ppid=14167 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14174/stat : 14174 (java) S 14167 14167 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446264816 15508250624 7407 33554432000 4194304 4196468 140722142430432 139819373841296 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14175] ppid=14167 vsize=15144776 memory=140697192044160 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14175/stat : 14175 (java) S 14167 14167 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446264818 15508250624 7407 33554432000 4194304 4196468 140722142430432 139818892744944 139819424389762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14176] ppid=14167 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14176/stat : 14176 (java) S 14167 14167 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446264818 15508250624 7407 33554432000 4194304 4196468 140722142430432 139818891691168 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14177] ppid=14167 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14177/stat : 14177 (java) S 14167 14167 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446264819 15508250624 7407 33554432000 4194304 4196468 140722142430432 139818890638064 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14178] ppid=14167 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14178/stat : 14178 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15508250624 7407 33554432000 4194304 4196468 140722142430432 139818889586640 139819424397211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14179] ppid=14167 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14179/stat : 14179 (java) S 14167 14167 13631 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 446264821 15508250624 7407 33554432000 4194304 4196468 140722142430432 139818888534768 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14180] ppid=14167 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14180/stat : 14180 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15508250624 7407 33554432000 4194304 4196468 140722142430432 139818887482224 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14181] ppid=14167 vsize=15144776 memory=140697192044160 CPUtime=0.01 cores=0,2,4,6
/proc/14169/task/14181/stat : 14181 (java) S 14167 14167 13631 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 15 0 446264821 15508250624 7407 33554432000 4194304 4196468 140722142430432 139818886429168 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14182] ppid=14167 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14182/stat : 14182 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15508250624 7407 33554432000 4194304 4196468 140722142430432 139818885376864 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14183] ppid=14167 vsize=15144776 memory=140697192044160 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14183/stat : 14183 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264822 15508250624 7407 33554432000 4194304 4196468 140722142430432 139818884323888 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31076 KiB
[startup+0.210753 s]*
/proc/loadavg: 6.92 7.36 4.86 5/228 14183
/proc/meminfo: memFree=26107900/32770624 swapFree=66939784/67108860
[pid=14167] ppid=14164 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14167/stat : 14167 (xcsp3-exec) S 14164 14167 13631 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446264815 115843072 362 33554432000 4194304 5098028 140725613973328 140725613971432 139791836492412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7938048 140725613978491 140725613978733 140725613978733 140725613981642 0
/proc/14167/statm: 28282 362 304 221 0 87 0
[pid=14169] ppid=14167 vsize=15144776 memory=40320 CPUtime=0.34 cores=0,2,4,6
/proc/14169/stat : 14169 (java) S 14167 14167 13631 0 -1 1077944320 9302 0 0 0 30 4 0 0 20 0 15 0 446264815 15508250624 10080 33554432000 4194304 4196468 140722142430432 140722142412976 139819424378615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
/proc/14169/statm: 3786194 10080 3295 1 0 3748377 0
[pid=14169/tid=14170] ppid=14167 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/14169/task/14170/stat : 14170 (java) R 14167 14167 13631 0 -1 4202560 6589 0 0 0 17 3 0 0 20 0 15 0 446264816 15508250624 10080 33554432000 4194304 4196468 140722142430432 139819428610528 139819408459102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14171] ppid=14167 vsize=15144776 memory=1899191 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264816 15508250624 10080 33554432000 4194304 4196468 140722142430432 139819376999440 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14172] ppid=14167 vsize=15144776 memory=140697192058074 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14172/stat : 14172 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264816 15508250624 10080 33554432000 4194304 4196468 140722142430432 139819375946896 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14173] ppid=14167 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14173/stat : 14173 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264816 15508250624 10080 33554432000 4194304 4196468 140722142430432 139819374893840 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14174] ppid=14167 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14174/stat : 14174 (java) S 14167 14167 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446264816 15508250624 10080 33554432000 4194304 4196468 140722142430432 139819373841296 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14175] ppid=14167 vsize=15144776 memory=140697192044160 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14175/stat : 14175 (java) S 14167 14167 13631 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446264818 15508250624 10080 33554432000 4194304 4196468 140722142430432 139818892744944 139819424389762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14176] ppid=14167 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14176/stat : 14176 (java) S 14167 14167 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446264818 15508250624 10080 33554432000 4194304 4196468 140722142430432 139818891691168 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14177] ppid=14167 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14177/stat : 14177 (java) S 14167 14167 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446264819 15508250624 10080 33554432000 4194304 4196468 140722142430432 139818890638064 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14178] ppid=14167 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14178/stat : 14178 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15508250624 10080 33554432000 4194304 4196468 140722142430432 139818889586640 139819424397211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14179] ppid=14167 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14169/task/14179/stat : 14179 (java) R 14167 14167 13631 0 -1 4202560 520 0 0 0 2 0 0 0 20 0 15 0 446264821 15508250624 10080 33554432000 4194304 4196468 140722142430432 139818888534768 139819417363657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14180] ppid=14167 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14169/task/14180/stat : 14180 (java) R 14167 14167 13631 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 446264821 15508250624 10080 33554432000 4194304 4196468 140722142430432 139818887482224 139819424389762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14181] ppid=14167 vsize=15144776 memory=140697192044160 CPUtime=0.07 cores=0,2,4,6
/proc/14169/task/14181/stat : 14181 (java) R 14167 14167 13631 0 -1 4202560 783 0 0 0 7 0 0 0 20 0 15 0 446264821 15508250624 10080 33554432000 4194304 4196468 140722142430432 139818886424896 139819403363357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14182] ppid=14167 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14182/stat : 14182 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15508250624 10080 33554432000 4194304 4196468 140722142430432 139818885376864 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14183] ppid=14167 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14183/stat : 14183 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264822 15508250624 10080 33554432000 4194304 4196468 140722142430432 139818884323888 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41768 KiB
[startup+0.311269 s]*
/proc/loadavg: 6.92 7.36 4.86 4/228 14183
/proc/meminfo: memFree=26099468/32770624 swapFree=66939784/67108860
[pid=14167] ppid=14164 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14167/stat : 14167 (xcsp3-exec) S 14164 14167 13631 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446264815 115843072 362 33554432000 4194304 5098028 140725613973328 140725613971432 139791836492412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7938048 140725613978491 140725613978733 140725613978733 140725613981642 0
/proc/14167/statm: 28282 362 304 221 0 87 0
[pid=14169] ppid=14167 vsize=15149032 memory=46908 CPUtime=0.52 cores=0,2,4,6
/proc/14169/stat : 14169 (java) S 14167 14167 13631 0 -1 1077944320 10627 0 0 0 47 5 0 0 20 0 15 0 446264815 15512608768 11727 33554432000 4194304 4196468 140722142430432 140722142412976 139819424378615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
/proc/14169/statm: 3787258 11727 3352 1 0 3748377 0
[pid=14169/tid=14170] ppid=14167 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/14169/task/14170/stat : 14170 (java) R 14167 14167 13631 0 -1 4202560 7642 0 0 0 26 3 0 0 20 0 15 0 446264816 15512608768 12239 33554432000 4194304 4196468 140722142430432 139819428615248 139819403955492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14171] ppid=14167 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264816 15512608768 12239 33554432000 4194304 4196468 140722142430432 139819376999440 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14172] ppid=14167 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14172/stat : 14172 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264816 15512608768 12239 33554432000 4194304 4196468 140722142430432 139819375946896 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14173] ppid=14167 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14173/stat : 14173 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264816 15512608768 12239 33554432000 4194304 4196468 140722142430432 139819374893840 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14174] ppid=14167 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14174/stat : 14174 (java) S 14167 14167 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446264816 15512608768 12239 33554432000 4194304 4196468 140722142430432 139819373841296 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14175] ppid=14167 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14175/stat : 14175 (java) S 14167 14167 13631 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446264818 15512608768 12239 33554432000 4194304 4196468 140722142430432 139818892744944 139819424389762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14176] ppid=14167 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14176/stat : 14176 (java) S 14167 14167 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446264818 15512608768 12239 33554432000 4194304 4196468 140722142430432 139818891691168 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14177] ppid=14167 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14177/stat : 14177 (java) S 14167 14167 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446264819 15512608768 12239 33554432000 4194304 4196468 140722142430432 139818890638064 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14178] ppid=14167 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14178/stat : 14178 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15512608768 12239 33554432000 4194304 4196468 140722142430432 139818889586640 139819424397211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14179] ppid=14167 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/14169/task/14179/stat : 14179 (java) R 14167 14167 13631 0 -1 4202560 573 0 0 0 4 0 0 0 20 0 15 0 446264821 15512608768 12239 33554432000 4194304 4196468 140722142430432 139818888534768 139819409160247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14180] ppid=14167 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14169/task/14180/stat : 14180 (java) R 14167 14167 13631 0 -1 4202560 140 0 0 0 3 0 0 0 20 0 15 0 446264821 15512608768 12239 33554432000 4194304 4196468 140722142430432 139818887482224 139819404845051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14181] ppid=14167 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14169/task/14181/stat : 14181 (java) S 14167 14167 13631 0 -1 1077944384 971 0 0 0 12 0 0 0 20 0 15 0 446264821 15512608768 12239 33554432000 4194304 4196468 140722142430432 139818886429168 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14182] ppid=14167 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14182/stat : 14182 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15512608768 12239 33554432000 4194304 4196468 140722142430432 139818885376864 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14183] ppid=14167 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14183/stat : 14183 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264822 15512608768 12239 33554432000 4194304 4196468 140722142430432 139818884323888 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48356 KiB
[startup+0.710228 s]
/proc/loadavg: 6.92 7.36 4.86 4/228 14183
/proc/meminfo: memFree=25998716/32770624 swapFree=66939784/67108860
[pid=14167] ppid=14164 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14167/stat : 14167 (xcsp3-exec) S 14164 14167 13631 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446264815 115843072 362 33554432000 4194304 5098028 140725613973328 140725613971432 139791836492412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7938048 140725613978491 140725613978733 140725613978733 140725613981642 0
/proc/14167/statm: 28282 362 304 221 0 87 0
[pid=14169] ppid=14167 vsize=15149032 memory=298732 CPUtime=1.55 cores=0,2,4,6
/proc/14169/stat : 14169 (java) S 14167 14167 13631 0 -1 1077944320 14912 0 0 0 132 23 0 0 20 0 15 0 446264815 15512608768 74683 33554432000 4194304 4196468 140722142430432 140722142412976 139819424378615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
/proc/14169/statm: 3787258 74683 3424 1 0 3748377 0
[pid=14169/tid=14170] ppid=14167 vsize=15149032 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/14169/task/14170/stat : 14170 (java) R 14167 14167 13631 0 -1 4202560 8013 0 0 0 55 6 0 0 20 0 15 0 446264816 15512608768 74683 33554432000 4194304 4196468 140722142430432 139819428617744 139819424400541 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14171] ppid=14167 vsize=15149032 memory=33 CPUtime=0.06 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (java) S 14167 14167 13631 0 -1 1077944384 66 0 0 0 3 3 0 0 20 0 15 0 446264816 15512608768 74683 33554432000 4194304 4196468 140722142430432 139819376999440 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14172] ppid=14167 vsize=15149032 memory=-7816663703405220396 CPUtime=0.05 cores=0,2,4,6
/proc/14169/task/14172/stat : 14172 (java) S 14167 14167 13631 0 -1 1077944384 46 0 0 0 2 3 0 0 20 0 15 0 446264816 15512608768 74683 33554432000 4194304 4196468 140722142430432 139819375946896 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14173] ppid=14167 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/14169/task/14173/stat : 14173 (java) S 14167 14167 13631 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 446264816 15512608768 74683 33554432000 4194304 4196468 140722142430432 139819374893840 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14174] ppid=14167 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/14169/task/14174/stat : 14174 (java) S 14167 14167 13631 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 446264816 15512608768 74683 33554432000 4194304 4196468 140722142430432 139819373841296 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14175] ppid=14167 vsize=15149032 memory=35272 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14175/stat : 14175 (java) S 14167 14167 13631 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 446264818 15512608768 74683 33554432000 4194304 4196468 140722142430432 139818892744944 139819424389762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14176] ppid=14167 vsize=15149032 memory=984 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14176/stat : 14176 (java) S 14167 14167 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446264818 15512608768 74683 33554432000 4194304 4196468 140722142430432 139818891691168 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14177] ppid=14167 vsize=15149032 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14177/stat : 14177 (java) S 14167 14167 13631 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 446264819 15512608768 74683 33554432000 4194304 4196468 140722142430432 139818890638064 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14178] ppid=14167 vsize=15149032 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14178/stat : 14178 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15512608768 74683 33554432000 4194304 4196468 140722142430432 139818889586640 139819424397211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14179] ppid=14167 vsize=15149032 memory=1548 CPUtime=0.19 cores=0,2,4,6
/proc/14169/task/14179/stat : 14179 (java) R 14167 14167 13631 0 -1 4202560 1366 0 0 0 19 0 0 0 20 0 15 0 446264821 15512608768 74683 33554432000 4194304 4196468 140722142430432 139818888520648 139819403627991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14180] ppid=14167 vsize=15149032 memory=7396 CPUtime=0.28 cores=0,2,4,6
/proc/14169/task/14180/stat : 14180 (java) R 14167 14167 13631 0 -1 4202560 2550 0 0 0 27 1 0 0 20 0 15 0 446264821 15512608768 74683 33554432000 4194304 4196468 140722142430432 139818887473504 139819403635190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14181] ppid=14167 vsize=15149032 memory=4000 CPUtime=0.18 cores=0,2,4,6
/proc/14169/task/14181/stat : 14181 (java) S 14167 14167 13631 0 -1 1077944384 1363 0 0 0 18 0 0 0 20 0 15 0 446264821 15512608768 74683 33554432000 4194304 4196468 140722142430432 139818886429168 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14182] ppid=14167 vsize=15149032 memory=616 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14182/stat : 14182 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15512608768 74683 33554432000 4194304 4196468 140722142430432 139818885376864 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14183] ppid=14167 vsize=15149032 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14183/stat : 14183 (java) S 14167 14167 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446264822 15512608768 74683 33554432000 4194304 4196468 140722142430432 139818884323888 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 300180 KiB
[startup+1.50127 s]
/proc/loadavg: 6.92 7.36 4.86 3/228 14183
/proc/meminfo: memFree=25660016/32770624 swapFree=66939784/67108860
[pid=14167] ppid=14164 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14167/stat : 14167 (xcsp3-exec) S 14164 14167 13631 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446264815 115843072 362 33554432000 4194304 5098028 140725613973328 140725613971432 139791836492412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7938048 140725613978491 140725613978733 140725613978733 140725613981642 0
/proc/14167/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/14169/task/14172/stat : 14172 (java) R 14167 14167 13631 0 -1 4202560 97724 0 0 0 37474 394 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819375947096 139819409079331 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14173] ppid=14167 vsize=15151156 memory=2608 CPUtime=376.9 cores=0,2,4,6
/proc/14169/task/14173/stat : 14173 (java) R 14167 14167 13631 0 -1 4202560 74025 0 0 0 37290 400 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819374893728 139819409079343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14174] ppid=14167 vsize=15151156 memory=2608 CPUtime=378.55 cores=0,2,4,6
/proc/14169/task/14174/stat : 14174 (java) R 14167 14167 13631 0 -1 4202560 78382 0 0 0 37473 382 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819373841496 139819409079306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14175] ppid=14167 vsize=15151156 memory=1412 CPUtime=8.99 cores=0,2,4,6
/proc/14169/task/14175/stat : 14175 (java) S 14167 14167 13631 0 -1 1077944384 96092 0 0 0 891 8 0 0 20 0 15 0 446264818 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818892743488 139819424388821 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14176] ppid=14167 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14176/stat : 14176 (java) S 14167 14167 13631 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 446264818 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818891691232 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14177] ppid=14167 vsize=15151156 memory=12805608 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14177/stat : 14177 (java) S 14167 14167 13631 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 446264819 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818890638080 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14178] ppid=14167 vsize=15151156 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14178/stat : 14178 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818889586640 139819424397211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14179] ppid=14167 vsize=15151156 memory=1760 CPUtime=2.81 cores=0,2,4,6
/proc/14169/task/14179/stat : 14179 (java) S 14167 14167 13631 0 -1 1077944384 12864 0 0 0 279 2 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818888534816 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14180] ppid=14167 vsize=15151156 memory=111632 CPUtime=3.25 cores=0,2,4,6
/proc/14169/task/14180/stat : 14180 (java) S 14167 14167 13631 0 -1 1077944384 14363 0 0 0 322 3 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818887482272 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14181] ppid=14167 vsize=15151156 memory=804 CPUtime=0.72 cores=0,2,4,6
/proc/14169/task/14181/stat : 14181 (java) S 14167 14167 13631 0 -1 1077944384 7330 0 0 0 71 1 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818886428928 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14182] ppid=14167 vsize=15151156 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14182/stat : 14182 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818885376864 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14183] ppid=14167 vsize=15151156 memory=4126316290023845779 CPUtime=0.33 cores=0,2,4,6
/proc/14169/task/14183/stat : 14183 (java) S 14167 14167 13631 0 -1 1077944384 580 0 0 0 20 13 0 0 20 0 15 0 446264822 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818884323888 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
Current children cumulated CPU time: 1668.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12807084 KiB
[startup+536.001 s]*
/proc/loadavg: 5.07 5.08 4.63 6/232 14379
/proc/meminfo: memFree=11213616/32770624 swapFree=66939788/67108860
[pid=14167] ppid=14164 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14167/stat : 14167 (xcsp3-exec) S 14164 14167 13631 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446264815 115843072 362 33554432000 4194304 5098028 140725613973328 140725613971432 139791836492412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7938048 140725613978491 140725613978733 140725613978733 140725613981642 0
/proc/14167/statm: 28282 362 304 221 0 87 0
[pid=14169] ppid=14167 vsize=15151156 memory=12805636 CPUtime=1675.05 cores=0,2,4,6
/proc/14169/stat : 14169 (java) S 14167 14167 13631 0 -1 1077944320 485342 0 0 0 165866 1639 0 0 20 0 15 0 446264815 15514783744 3201409 33554432000 4194304 4196468 140722142430432 140722142412976 139819424378615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
/proc/14169/statm: 3787789 3201409 3522 1 0 3748889 0
[pid=14169/tid=14170] ppid=14167 vsize=15151156 memory=8317482817917895235 CPUtime=140.54 cores=0,2,4,6
/proc/14169/task/14170/stat : 14170 (java) S 14167 14167 13631 0 -1 1077944384 22078 0 0 0 14010 44 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819428617840 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14171] ppid=14167 vsize=15151156 memory=4126316290023845779 CPUtime=379.49 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (java) R 14167 14167 13631 0 -1 4202560 80266 0 0 0 37554 395 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819376999640 139819409368268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14172] ppid=14167 vsize=15151156 memory=1556 CPUtime=380.25 cores=0,2,4,6
/proc/14169/task/14172/stat : 14172 (java) R 14167 14167 13631 0 -1 4202560 97835 0 0 0 37630 395 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819375946704 139819417006823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14173] ppid=14167 vsize=15151156 memory=928 CPUtime=378.47 cores=0,2,4,6
/proc/14169/task/14173/stat : 14173 (java) R 14167 14167 13631 0 -1 4202560 74175 0 0 0 37447 400 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819374893648 139819417006823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14174] ppid=14167 vsize=15151156 memory=1772 CPUtime=380.09 cores=0,2,4,6
/proc/14169/task/14174/stat : 14174 (java) R 14167 14167 13631 0 -1 4202560 78382 0 0 0 37627 382 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819373841416 139819417006823 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14175] ppid=14167 vsize=15151156 memory=904 CPUtime=8.99 cores=0,2,4,6
/proc/14169/task/14175/stat : 14175 (java) S 14167 14167 13631 0 -1 1077944384 96092 0 0 0 891 8 0 0 20 0 15 0 446264818 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818892743488 139819424388821 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14176] ppid=14167 vsize=15151156 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14176/stat : 14176 (java) S 14167 14167 13631 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 446264818 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818891691232 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14177] ppid=14167 vsize=15151156 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14177/stat : 14177 (java) S 14167 14167 13631 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 446264819 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818890638080 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14178] ppid=14167 vsize=15151156 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14178/stat : 14178 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818889586640 139819424397211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14179] ppid=14167 vsize=15151156 memory=1760 CPUtime=2.81 cores=0,2,4,6
/proc/14169/task/14179/stat : 14179 (java) S 14167 14167 13631 0 -1 1077944384 12864 0 0 0 279 2 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818888534816 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14180] ppid=14167 vsize=15151156 memory=111632 CPUtime=3.25 cores=0,2,4,6
/proc/14169/task/14180/stat : 14180 (java) S 14167 14167 13631 0 -1 1077944384 14363 0 0 0 322 3 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818887482272 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14181] ppid=14167 vsize=15151156 memory=804 CPUtime=0.72 cores=0,2,4,6
/proc/14169/task/14181/stat : 14181 (java) S 14167 14167 13631 0 -1 1077944384 7330 0 0 0 71 1 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818886428928 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14182] ppid=14167 vsize=15151156 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14182/stat : 14182 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818885376864 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14183] ppid=14167 vsize=15151156 memory=12805636 CPUtime=0.33 cores=0,2,4,6
/proc/14169/task/14183/stat : 14183 (java) S 14167 14167 13631 0 -1 1077944384 580 0 0 0 20 13 0 0 20 0 15 0 446264822 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818884323888 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
Current children cumulated CPU time: 1675.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12807084 KiB
[startup+536.401 s]
/proc/loadavg: 5.07 5.08 4.63 6/232 14379
/proc/meminfo: memFree=11213616/32770624 swapFree=66939788/67108860
[pid=14167] ppid=14164 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14167/stat : 14167 (xcsp3-exec) S 14164 14167 13631 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446264815 115843072 362 33554432000 4194304 5098028 140725613973328 140725613971432 139791836492412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7938048 140725613978491 140725613978733 140725613978733 140725613981642 0
/proc/14167/statm: 28282 362 304 221 0 87 0
[pid=14169] ppid=14167 vsize=15151156 memory=12805636 CPUtime=1676.16 cores=0,2,4,6
/proc/14169/stat : 14169 (java) S 14167 14167 13631 0 -1 1077944320 485651 0 0 0 165977 1639 0 0 20 0 15 0 446264815 15514783744 3201409 33554432000 4194304 4196468 140722142430432 140722142412976 139819424378615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
/proc/14169/statm: 3787789 3201409 3522 1 0 3748889 0
[pid=14169/tid=14170] ppid=14167 vsize=15151156 memory=6791534058613427641 CPUtime=140.54 cores=0,2,4,6
/proc/14169/task/14170/stat : 14170 (java) S 14167 14167 13631 0 -1 1077944384 22078 0 0 0 14010 44 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819428617840 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14171] ppid=14167 vsize=15151156 memory=4126316290023845779 CPUtime=379.74 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (java) S 14167 14167 13631 0 -1 1077944384 80300 0 0 0 37579 395 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819376999440 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14172] ppid=14167 vsize=15151156 memory=516 CPUtime=380.5 cores=0,2,4,6
/proc/14169/task/14172/stat : 14172 (java) S 14167 14167 13631 0 -1 1077944384 97835 0 0 0 37655 395 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819375946896 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14173] ppid=14167 vsize=15151156 memory=1556 CPUtime=378.71 cores=0,2,4,6
/proc/14169/task/14173/stat : 14173 (java) S 14167 14167 13631 0 -1 1077944384 74175 0 0 0 37471 400 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819374893840 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14174] ppid=14167 vsize=15151156 memory=928 CPUtime=380.34 cores=0,2,4,6
/proc/14169/task/14174/stat : 14174 (java) S 14167 14167 13631 0 -1 1077944384 78382 0 0 0 37651 383 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819373841296 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14175] ppid=14167 vsize=15151156 memory=1772 CPUtime=9.13 cores=0,2,4,6
/proc/14169/task/14175/stat : 14175 (java) R 14167 14167 13631 0 -1 4202560 96367 0 0 0 905 8 0 0 20 0 15 0 446264818 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818892743376 139819409079303 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14176] ppid=14167 vsize=15151156 memory=904 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14176/stat : 14176 (java) S 14167 14167 13631 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 446264818 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818891691232 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14177] ppid=14167 vsize=15151156 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14177/stat : 14177 (java) S 14167 14167 13631 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 446264819 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818890638080 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14178] ppid=14167 vsize=15151156 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14178/stat : 14178 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818889586640 139819424397211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14179] ppid=14167 vsize=15151156 memory=2436 CPUtime=2.81 cores=0,2,4,6
/proc/14169/task/14179/stat : 14179 (java) S 14167 14167 13631 0 -1 1077944384 12864 0 0 0 279 2 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818888534816 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14180] ppid=14167 vsize=15151156 memory=1760 CPUtime=3.25 cores=0,2,4,6
/proc/14169/task/14180/stat : 14180 (java) S 14167 14167 13631 0 -1 1077944384 14363 0 0 0 322 3 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818887482272 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14181] ppid=14167 vsize=15151156 memory=111632 CPUtime=0.72 cores=0,2,4,6
/proc/14169/task/14181/stat : 14181 (java) S 14167 14167 13631 0 -1 1077944384 7330 0 0 0 71 1 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818886428928 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14182] ppid=14167 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14182/stat : 14182 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818885376864 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14183] ppid=14167 vsize=15151156 memory=4108 CPUtime=0.33 cores=0,2,4,6
/proc/14169/task/14183/stat : 14183 (java) S 14167 14167 13631 0 -1 1077944384 580 0 0 0 20 13 0 0 20 0 15 0 446264822 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818884323888 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
Current children cumulated CPU time: 1676.16 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12807084 KiB
[startup+536.801 s]
/proc/loadavg: 5.07 5.08 4.63 6/232 14379
/proc/meminfo: memFree=11213616/32770624 swapFree=66939788/67108860
[pid=14167] ppid=14164 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14167/stat : 14167 (xcsp3-exec) S 14164 14167 13631 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446264815 115843072 362 33554432000 4194304 5098028 140725613973328 140725613971432 139791836492412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7938048 140725613978491 140725613978733 140725613978733 140725613981642 0
/proc/14167/statm: 28282 362 304 221 0 87 0
[pid=14169] ppid=14167 vsize=15151156 memory=12805636 CPUtime=1676.56 cores=0,2,4,6
/proc/14169/stat : 14169 (java) S 14167 14167 13631 0 -1 1077944320 485651 0 0 0 166017 1639 0 0 20 0 15 0 446264815 15514783744 3201409 33554432000 4194304 4196468 140722142430432 140722142412976 139819424378615 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
/proc/14169/statm: 3787789 3201409 3522 1 0 3748889 0
[pid=14169/tid=14170] ppid=14167 vsize=15151156 memory=2016 CPUtime=140.54 cores=0,2,4,6
/proc/14169/task/14170/stat : 14170 (java) S 14167 14167 13631 0 -1 1077944384 22078 0 0 0 14010 44 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819428617840 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14171] ppid=14167 vsize=15151156 memory=1448 CPUtime=379.74 cores=0,2,4,6
/proc/14169/task/14171/stat : 14171 (java) S 14167 14167 13631 0 -1 1077944384 80300 0 0 0 37579 395 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819376999440 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14172] ppid=14167 vsize=15151156 memory=6791534058613427641 CPUtime=380.5 cores=0,2,4,6
/proc/14169/task/14172/stat : 14172 (java) S 14167 14167 13631 0 -1 1077944384 97835 0 0 0 37655 395 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819375946896 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14173] ppid=14167 vsize=15151156 memory=920 CPUtime=378.71 cores=0,2,4,6
/proc/14169/task/14173/stat : 14173 (java) S 14167 14167 13631 0 -1 1077944384 74175 0 0 0 37471 400 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819374893840 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14174] ppid=14167 vsize=15151156 memory=3848 CPUtime=380.34 cores=0,2,4,6
/proc/14169/task/14174/stat : 14174 (java) S 14167 14167 13631 0 -1 1077944384 78382 0 0 0 37651 383 0 0 20 0 15 0 446264816 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139819373841296 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14175] ppid=14167 vsize=15151156 memory=2608 CPUtime=9.53 cores=0,2,4,6
/proc/14169/task/14175/stat : 14175 (java) R 14167 14167 13631 0 -1 4202560 96367 0 0 0 945 8 0 0 20 0 15 0 446264818 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818892743376 139819409079311 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14176] ppid=14167 vsize=15151156 memory=2608 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14176/stat : 14176 (java) S 14167 14167 13631 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 446264818 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818891691232 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14177] ppid=14167 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14177/stat : 14177 (java) S 14167 14167 13631 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 446264819 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818890638080 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14178] ppid=14167 vsize=15151156 memory=3324 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14178/stat : 14178 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818889586640 139819424397211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14179] ppid=14167 vsize=15151156 memory=1452 CPUtime=2.81 cores=0,2,4,6
/proc/14169/task/14179/stat : 14179 (java) S 14167 14167 13631 0 -1 1077944384 12864 0 0 0 279 2 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818888534816 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14180] ppid=14167 vsize=15151156 memory=6467820 CPUtime=3.25 cores=0,2,4,6
/proc/14169/task/14180/stat : 14180 (java) S 14167 14167 13631 0 -1 1077944384 14363 0 0 0 322 3 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818887482272 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14181] ppid=14167 vsize=15151156 memory=1412 CPUtime=0.72 cores=0,2,4,6
/proc/14169/task/14181/stat : 14181 (java) S 14167 14167 13631 0 -1 1077944384 7330 0 0 0 71 1 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818886428928 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14182] ppid=14167 vsize=15151156 memory=3204 CPUtime=0 cores=0,2,4,6
/proc/14169/task/14182/stat : 14182 (java) S 14167 14167 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446264821 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818885376864 139819424388821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
[pid=14169/tid=14183] ppid=14167 vsize=15151156 memory=1448 CPUtime=0.33 cores=0,2,4,6
/proc/14169/task/14183/stat : 14183 (java) S 14167 14167 13631 0 -1 1077944384 580 0 0 0 20 13 0 0 20 0 15 0 446264822 15514783744 3201409 33554432000 4194304 4196468 140722142430432 139818884323888 139819424389762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 9543680 140722142438383 140722142438554 140722142438554 140722142441423 0
Current children cumulated CPU time: 1676.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12807084 KiB
[startup+536.901 s]
/proc/loadavg: 5.07 5.08 4.63 6/232 14379
/proc/meminfo: memFree=11213616/32770624 swapFree=66939788/67108860
[pid=14167] ppid=14164 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14167/stat : 14167 (xcsp3-exec) S 14164 14167 13631 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446264815 115843072 362 33554432000 4194304 5098028 140725613973328 140725613971432 139791836492412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7938048 140725613978491 140725613978733 140725613978733 140725613981642 0
/proc/14167/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): 536.919
CPU time (s): 1676.7
CPU user time (s): 1660.25
CPU system time (s): 16.4476
CPU usage (%): 312.281
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12807084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1660.25
system time used= 16.4476
maximum resident set size= 12805808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39345
involuntary context switches= 19509
# summary of solver processes directly reported to runsolver:
# pid: 14167
# total CPU time (s): 1676.7
# total CPU user time (s): 1660.25
# total CPU system time (s): 16.4476
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.4661 second user time and 5.59505 second system time
The end