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 (4282 MiB free)
memory of node 1: 16384 MiB (4738 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403981-1568992000/watcher-4403981-1568992000 -o /tmp/evaluation-result-4403981-1568992000/solver-4403981-1568992000 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568991570-1098 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1284154615 HOME/instance-4403981-1568992000.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2384, runsolver pid=2381
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.90 6.64 3.68 7/234 2400
/proc/meminfo: memFree=9204176/32770624 swapFree=66955412/67108860
[pid=2384] ppid=2381 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2384/stat : 2384 (xcsp3-exec) S 2381 2384 1066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475471374 115843072 362 33554432000 4194304 5098028 140728788602944 140728788601048 139625074446972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17473536 140728788607866 140728788608109 140728788608109 140728788611018 0
/proc/2384/statm: 28282 362 304 221 0 87 0
[pid=2386] ppid=2384 vsize=15144776 memory=29616 CPUtime=0.13 cores=1,3,5,7
/proc/2386/stat : 2386 (java) S 2384 2384 1066 0 -1 1077944320 5836 0 0 0 12 1 0 0 20 0 15 0 475471375 15508250624 7404 33554432000 4194304 4196468 140722051856752 140722051839296 140632279031543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
/proc/2386/statm: 3786194 7404 3151 1 0 3748377 0
[pid=2386/tid=2387] ppid=2384 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/2386/task/2387/stat : 2387 (java) R 2384 2384 1066 0 -1 4202560 3744 0 0 0 8 1 0 0 20 0 15 0 475471375 15508250624 7404 33554432000 4194304 4196468 140722051856752 140632283261136 140632279043478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2388] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2388/stat : 2388 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471376 15508250624 7404 33554432000 4194304 4196468 140722051856752 140632207072144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2389] ppid=2384 vsize=15144776 memory=4050204141484790124 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2389/stat : 2389 (java) S 2384 2384 1066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475471376 15508250624 7404 33554432000 4194304 4196468 140722051856752 140632206019344 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2390] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2390/stat : 2390 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471376 15508250624 7404 33554432000 4194304 4196468 140722051856752 140632204967056 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2391] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2391/stat : 2391 (java) S 2384 2384 1066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475471376 15508250624 7404 33554432000 4194304 4196468 140722051856752 140632203914256 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2392] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2392/stat : 2392 (java) S 2384 2384 1066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475471377 15508250624 7404 33554432000 4194304 4196468 140722051856752 140631747344496 140632279042690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2393] ppid=2384 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2393/stat : 2393 (java) S 2384 2384 1066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475471378 15508250624 7404 33554432000 4194304 4196468 140722051856752 140631746290464 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2394] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2394/stat : 2394 (java) S 2384 2384 1066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475471378 15508250624 7404 33554432000 4194304 4196468 140722051856752 140631745238128 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2395] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2395/stat : 2395 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475471380 15508250624 7404 33554432000 4194304 4196468 140722051856752 140631744186448 140632279050139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2396] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2396/stat : 2396 (java) S 2384 2384 1066 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 475471380 15508250624 7404 33554432000 4194304 4196468 140722051856752 140631743134320 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2397] ppid=2384 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2397/stat : 2397 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475471380 15508250624 7404 33554432000 4194304 4196468 140722051856752 140631742081520 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2398] ppid=2384 vsize=15144776 memory=140004169315968 CPUtime=0.02 cores=1,3,5,7
/proc/2386/task/2398/stat : 2398 (java) R 2384 2384 1066 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 475471380 15508250624 7404 33554432000 4194304 4196468 140722051856752 140631741029232 140632263284091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2399] ppid=2384 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2399/stat : 2399 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475471380 15508250624 7404 33554432000 4194304 4196468 140722051856752 140631739976672 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2400] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2400/stat : 2400 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471381 15508250624 7404 33554432000 4194304 4196468 140722051856752 140631738923440 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31064 KiB
[startup+0.210846 s]*
/proc/loadavg: 8.90 6.64 3.68 6/234 2400
/proc/meminfo: memFree=9191940/32770624 swapFree=66955412/67108860
[pid=2384] ppid=2381 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2384/stat : 2384 (xcsp3-exec) S 2381 2384 1066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475471374 115843072 362 33554432000 4194304 5098028 140728788602944 140728788601048 139625074446972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17473536 140728788607866 140728788608109 140728788608109 140728788611018 0
/proc/2384/statm: 28282 362 304 221 0 87 0
[pid=2386] ppid=2384 vsize=15144776 memory=41056 CPUtime=0.34 cores=1,3,5,7
/proc/2386/stat : 2386 (java) S 2384 2384 1066 0 -1 1077944320 9469 0 0 0 31 3 0 0 20 0 15 0 475471375 15508250624 10264 33554432000 4194304 4196468 140722051856752 140722051839296 140632279031543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
/proc/2386/statm: 3786194 10264 3307 1 0 3748377 0
[pid=2386/tid=2387] ppid=2384 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/2386/task/2387/stat : 2387 (java) R 2384 2384 1066 0 -1 4202560 6675 0 0 0 18 2 0 0 20 0 15 0 475471375 15508250624 10327 33554432000 4194304 4196468 140722051856752 140632283261264 140632263112030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2388] ppid=2384 vsize=15144776 memory=4297931800 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2388/stat : 2388 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471376 15508250624 10327 33554432000 4194304 4196468 140722051856752 140632207072144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2389] ppid=2384 vsize=15144776 memory=288370380321027712 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2389/stat : 2389 (java) S 2384 2384 1066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475471376 15508250624 10327 33554432000 4194304 4196468 140722051856752 140632206019344 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2390] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2390/stat : 2390 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471376 15508250624 10327 33554432000 4194304 4196468 140722051856752 140632204967056 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2391] ppid=2384 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2391/stat : 2391 (java) S 2384 2384 1066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475471376 15508250624 10327 33554432000 4194304 4196468 140722051856752 140632203914256 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2392] ppid=2384 vsize=15144776 memory=140004169315968 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2392/stat : 2392 (java) S 2384 2384 1066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475471377 15508250624 10327 33554432000 4194304 4196468 140722051856752 140631747344496 140632279042690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2393] ppid=2384 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2393/stat : 2393 (java) S 2384 2384 1066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475471378 15508250624 10327 33554432000 4194304 4196468 140722051856752 140631746290464 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2394] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2394/stat : 2394 (java) S 2384 2384 1066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475471378 15508250624 10327 33554432000 4194304 4196468 140722051856752 140631745238128 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2395] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2395/stat : 2395 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475471380 15508250624 10327 33554432000 4194304 4196468 140722051856752 140631744186448 140632279050139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2396] ppid=2384 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2386/task/2396/stat : 2396 (java) S 2384 2384 1066 0 -1 1077944384 543 0 0 0 2 0 0 0 20 0 15 0 475471380 15508250624 10327 33554432000 4194304 4196468 140722051856752 140631743134320 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2397] ppid=2384 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2386/task/2397/stat : 2397 (java) S 2384 2384 1066 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 15 0 475471380 15508250624 10327 33554432000 4194304 4196468 140722051856752 140631742081520 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2398] ppid=2384 vsize=15144776 memory=140004169315968 CPUtime=0.08 cores=1,3,5,7
/proc/2386/task/2398/stat : 2398 (java) S 2384 2384 1066 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 475471380 15508250624 10327 33554432000 4194304 4196468 140722051856752 140631741029232 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2399] ppid=2384 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2399/stat : 2399 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475471380 15508250624 10327 33554432000 4194304 4196468 140722051856752 140631739976672 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2400] ppid=2384 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2400/stat : 2400 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471381 15508250624 10327 33554432000 4194304 4196468 140722051856752 140631738923440 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42504 KiB
[startup+0.310704 s]*
/proc/loadavg: 8.90 6.64 3.68 6/234 2400
/proc/meminfo: memFree=9184308/32770624 swapFree=66955412/67108860
[pid=2384] ppid=2381 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2384/stat : 2384 (xcsp3-exec) S 2381 2384 1066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475471374 115843072 362 33554432000 4194304 5098028 140728788602944 140728788601048 139625074446972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17473536 140728788607866 140728788608109 140728788608109 140728788611018 0
/proc/2384/statm: 28282 362 304 221 0 87 0
[pid=2386] ppid=2384 vsize=15149032 memory=49864 CPUtime=0.51 cores=1,3,5,7
/proc/2386/stat : 2386 (java) S 2384 2384 1066 0 -1 1077944320 10841 0 0 0 47 4 0 0 20 0 15 0 475471375 15512608768 12466 33554432000 4194304 4196468 140722051856752 140722051839296 140632279031543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
/proc/2386/statm: 3787258 12466 3341 1 0 3748377 0
[pid=2386/tid=2387] ppid=2384 vsize=15149032 memory=1398720917958146503 CPUtime=0.3 cores=1,3,5,7
/proc/2386/task/2387/stat : 2387 (java) R 2384 2384 1066 0 -1 4202560 7890 0 0 0 27 3 0 0 20 0 15 0 475471375 15512608768 12466 33554432000 4194304 4196468 140722051856752 140632283262656 140632263112030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2388] ppid=2384 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2388/stat : 2388 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471376 15512608768 12466 33554432000 4194304 4196468 140722051856752 140632207072144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2389] ppid=2384 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2389/stat : 2389 (java) S 2384 2384 1066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475471376 15512608768 12466 33554432000 4194304 4196468 140722051856752 140632206019344 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2390] ppid=2384 vsize=15149032 memory=-1807685287717842718 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2390/stat : 2390 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471376 15512608768 12466 33554432000 4194304 4196468 140722051856752 140632204967056 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2391] ppid=2384 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2391/stat : 2391 (java) S 2384 2384 1066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475471376 15512608768 12466 33554432000 4194304 4196468 140722051856752 140632203914256 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2392] ppid=2384 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2392/stat : 2392 (java) S 2384 2384 1066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475471377 15512608768 12466 33554432000 4194304 4196468 140722051856752 140631747344496 140632279042690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2393] ppid=2384 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2393/stat : 2393 (java) S 2384 2384 1066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475471378 15512608768 12466 33554432000 4194304 4196468 140722051856752 140631746290464 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2394] ppid=2384 vsize=15149032 memory=-3252517613198930781 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2394/stat : 2394 (java) S 2384 2384 1066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475471378 15512608768 12466 33554432000 4194304 4196468 140722051856752 140631745238128 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2395] ppid=2384 vsize=15149032 memory=7521901370507621794 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2395/stat : 2395 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475471380 15512608768 12466 33554432000 4194304 4196468 140722051856752 140631744186448 140632279050139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2396] ppid=2384 vsize=15149032 memory=-9001733975035308135 CPUtime=0.04 cores=1,3,5,7
/proc/2386/task/2396/stat : 2396 (java) S 2384 2384 1066 0 -1 1077944384 582 0 0 0 4 0 0 0 20 0 15 0 475471380 15512608768 12466 33554432000 4194304 4196468 140722051856752 140631743134320 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2397] ppid=2384 vsize=15149032 memory=-7025452035940392864 CPUtime=0.03 cores=1,3,5,7
/proc/2386/task/2397/stat : 2397 (java) S 2384 2384 1066 0 -1 1077944384 232 0 0 0 3 0 0 0 20 0 15 0 475471380 15512608768 12466 33554432000 4194304 4196468 140722051856752 140631742081520 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2398] ppid=2384 vsize=15149032 memory=-8634980985311628903 CPUtime=0.12 cores=1,3,5,7
/proc/2386/task/2398/stat : 2398 (java) S 2384 2384 1066 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 15 0 475471380 15512608768 12466 33554432000 4194304 4196468 140722051856752 140631741029232 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2399] ppid=2384 vsize=15149032 memory=-8545980981788235817 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2399/stat : 2399 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475471380 15512608768 12466 33554432000 4194304 4196468 140722051856752 140631739976672 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2400] ppid=2384 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2400/stat : 2400 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471381 15512608768 12531 33554432000 4194304 4196468 140722051856752 140631738923440 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51312 KiB
[startup+0.705012 s]
/proc/loadavg: 8.90 6.64 3.68 9/234 2400
/proc/meminfo: memFree=9169656/32770624 swapFree=66955412/67108860
[pid=2384] ppid=2381 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2384/stat : 2384 (xcsp3-exec) S 2381 2384 1066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475471374 115843072 362 33554432000 4194304 5098028 140728788602944 140728788601048 139625074446972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17473536 140728788607866 140728788608109 140728788608109 140728788611018 0
/proc/2384/statm: 28282 362 304 221 0 87 0
[pid=2386] ppid=2384 vsize=15151156 memory=173912 CPUtime=1.74 cores=1,3,5,7
/proc/2386/stat : 2386 (java) S 2384 2384 1066 0 -1 1077944320 14680 0 0 0 167 7 0 0 20 0 15 0 475471375 15514783744 43478 33554432000 4194304 4196468 140722051856752 140722051839296 140632279031543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
/proc/2386/statm: 3787789 43478 3454 1 0 3748889 0
[pid=2386/tid=2387] ppid=2384 vsize=15151156 memory=4572181122233109878 CPUtime=0.68 cores=1,3,5,7
/proc/2386/task/2387/stat : 2387 (java) R 2384 2384 1066 0 -1 4202560 9227 0 0 0 62 6 0 0 20 0 15 0 475471375 15514783744 43478 33554432000 4194304 4196468 140722051856752 140632283267376 140632279043478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2388] ppid=2384 vsize=15151156 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2388/stat : 2388 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471376 15514783744 43478 33554432000 4194304 4196468 140722051856752 140632207072144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2389] ppid=2384 vsize=15151156 memory=6940724678475403600 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2389/stat : 2389 (java) S 2384 2384 1066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475471376 15514783744 43478 33554432000 4194304 4196468 140722051856752 140632206019344 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2390] ppid=2384 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2390/stat : 2390 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471376 15514783744 43478 33554432000 4194304 4196468 140722051856752 140632204967056 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2391] ppid=2384 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2391/stat : 2391 (java) S 2384 2384 1066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475471376 15514783744 43478 33554432000 4194304 4196468 140722051856752 140632203914256 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2392] ppid=2384 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2392/stat : 2392 (java) S 2384 2384 1066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475471377 15514783744 43478 33554432000 4194304 4196468 140722051856752 140631747344496 140632279042690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2393] ppid=2384 vsize=15151156 memory=744 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2393/stat : 2393 (java) S 2384 2384 1066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475471378 15514783744 43478 33554432000 4194304 4196468 140722051856752 140631746290464 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2394] ppid=2384 vsize=15151156 memory=8444 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2394/stat : 2394 (java) S 2384 2384 1066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475471378 15514783744 43478 33554432000 4194304 4196468 140722051856752 140631745238128 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2395] ppid=2384 vsize=15151156 memory=6080 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2395/stat : 2395 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475471380 15514783744 43478 33554432000 4194304 4196468 140722051856752 140631744186448 140632279050139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2396] ppid=2384 vsize=15151156 memory=1124 CPUtime=0.31 cores=1,3,5,7
/proc/2386/task/2396/stat : 2396 (java) R 2384 2384 1066 0 -1 4202560 1377 0 0 0 31 0 0 0 20 0 15 0 475471380 15514783744 43478 33554432000 4194304 4196468 140722051856752 140631743134448 140632263783744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2397] ppid=2384 vsize=15151156 memory=14008 CPUtime=0.29 cores=1,3,5,7
/proc/2386/task/2397/stat : 2397 (java) R 2384 2384 1066 0 -1 4202560 929 0 0 0 29 0 0 0 20 0 15 0 475471380 15514783744 43478 33554432000 4194304 4196468 140722051856752 140631742071200 140632258251269 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2398] ppid=2384 vsize=15151156 memory=12024 CPUtime=0.44 cores=1,3,5,7
/proc/2386/task/2398/stat : 2398 (java) R 2384 2384 1066 0 -1 4202560 1840 0 0 0 43 1 0 0 20 0 15 0 475471380 15514783744 43478 33554432000 4194304 4196468 140722051856752 140631741029232 140632279052890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2399] ppid=2384 vsize=15151156 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2399/stat : 2399 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475471380 15514783744 43478 33554432000 4194304 4196468 140722051856752 140631739976672 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2400] ppid=2384 vsize=15151156 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2400/stat : 2400 (java) S 2384 2384 1066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475471381 15514783744 43478 33554432000 4194304 4196468 140722051856752 140631738923440 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 175360 KiB
[startup+1.50075 s]
/proc/loadavg: 8.90 6.64 3.68 11/238 2404
/proc/meminfo: memFree=8945100/32770624 swapFree=66955412/67108860
[pid=2384] ppid=2381 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2384/stat : 2384 (xcsp3-exec) S 2381 2384 1066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475471374 115843072 362 33554432000 4194304 5098028 140728788602944 140728788601048 139625074446972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17473536 140728788607866 140728788608109 140728788608109 140728788611018 0
/proc/2384/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/2386/task/2400/stat : 2400 (java) S 2384 2384 1066 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 19 0 475471381 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631738923440 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2582] ppid=2384 vsize=15553616 memory=1548 CPUtime=5.2 cores=1,3,5,7
/proc/2386/task/2582/stat : 2582 (java) R 2384 2384 1066 0 -1 4202560 338 0 0 0 520 0 0 0 20 0 19 0 475472526 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631196285656 140631884441431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2583] ppid=2384 vsize=15553616 memory=1056 CPUtime=5.16 cores=1,3,5,7
/proc/2386/task/2583/stat : 2583 (java) R 2384 2384 1066 0 -1 4202560 641 0 0 0 516 0 0 0 20 0 19 0 475472526 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631728890312 140631881575231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2584] ppid=2384 vsize=15553616 memory=744 CPUtime=5.2 cores=1,3,5,7
/proc/2386/task/2584/stat : 2584 (java) R 2384 2384 1066 0 -1 4202560 796 0 0 0 520 0 0 0 20 0 19 0 475472526 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631729941856 140631881574987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2585] ppid=2384 vsize=15553616 memory=8444 CPUtime=5.27 cores=1,3,5,7
/proc/2386/task/2585/stat : 2585 (java) R 2384 2384 1066 0 -1 4202560 377 0 0 0 527 0 0 0 20 0 19 0 475472526 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631195234168 140631881575553 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
Current children cumulated CPU time: 65.44 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 553768 KiB
[startup+17.601 s]
/proc/loadavg: 9.42 6.87 3.80 9/237 2585
/proc/meminfo: memFree=8568948/32770624 swapFree=66955412/67108860
[pid=2384] ppid=2381 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2384/stat : 2384 (xcsp3-exec) S 2381 2384 1066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475471374 115843072 362 33554432000 4194304 5098028 140728788602944 140728788601048 139625074446972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17473536 140728788607866 140728788608109 140728788608109 140728788611018 0
/proc/2384/statm: 28282 362 304 221 0 87 0
[pid=2386] ppid=2384 vsize=15553616 memory=552320 CPUtime=68.59 cores=1,3,5,7
/proc/2386/stat : 2386 (java) S 2384 2384 1066 0 -1 1077944320 48198 0 0 0 6812 47 0 0 20 0 19 0 475471375 15926902784 138080 33554432000 4194304 4196468 140722051856752 140722051839296 140632279031543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
/proc/2386/statm: 3888404 138080 3528 1 0 3849504 0
[pid=2386/tid=2387] ppid=2384 vsize=15553616 memory=14008 CPUtime=0.81 cores=1,3,5,7
/proc/2386/task/2387/stat : 2387 (java) S 2384 2384 1066 0 -1 1077944384 9679 0 0 0 75 6 0 0 20 0 19 0 475471375 15926902784 138080 33554432000 4194304 4196468 140722051856752 140632283272320 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2388] ppid=2384 vsize=15553616 memory=12024 CPUtime=0.16 cores=1,3,5,7
/proc/2386/task/2388/stat : 2388 (java) S 2384 2384 1066 0 -1 1077944384 1045 0 0 0 9 7 0 0 20 0 19 0 475471376 15926902784 138080 33554432000 4194304 4196468 140722051856752 140632207072144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2389] ppid=2384 vsize=15553616 memory=2124 CPUtime=0.16 cores=1,3,5,7
/proc/2386/task/2389/stat : 2389 (java) S 2384 2384 1066 0 -1 1077944384 381 0 0 0 9 7 0 0 20 0 19 0 475471376 15926902784 138080 33554432000 4194304 4196468 140722051856752 140632206019344 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2390] ppid=2384 vsize=15553616 memory=16436 CPUtime=0.16 cores=1,3,5,7
/proc/2386/task/2390/stat : 2390 (java) S 2384 2384 1066 0 -1 1077944384 375 0 0 0 9 7 0 0 20 0 19 0 475471376 15926902784 138080 33554432000 4194304 4196468 140722051856752 140632204967056 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2391] ppid=2384 vsize=15553616 memory=3620 CPUtime=0.15 cores=1,3,5,7
/proc/2386/task/2391/stat : 2391 (java) S 2384 2384 1066 0 -1 1077944384 333 0 0 0 8 7 0 0 20 0 19 0 475471376 15926902784 138080 33554432000 4194304 4196468 140722051856752 140632203914256 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2392] ppid=2384 vsize=15553616 memory=42100 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2392/stat : 2392 (java) S 2384 2384 1066 0 -1 1077944384 950 0 0 0 0 0 0 0 20 0 19 0 475471377 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631747344496 140632279042690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2393] ppid=2384 vsize=15553616 memory=984 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2393/stat : 2393 (java) S 2384 2384 1066 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475471378 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631746290528 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2394] ppid=2384 vsize=15553616 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2394/stat : 2394 (java) S 2384 2384 1066 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475471378 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631745238144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2395] ppid=2384 vsize=15553616 memory=1328 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2395/stat : 2395 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475471380 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631744186448 140632279050139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2396] ppid=2384 vsize=15553616 memory=1560 CPUtime=2.6 cores=1,3,5,7
/proc/2386/task/2396/stat : 2396 (java) S 2384 2384 1066 0 -1 1077944384 9468 0 0 0 259 1 0 0 20 0 19 0 475471380 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631743134320 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2397] ppid=2384 vsize=15553616 memory=1448 CPUtime=2.48 cores=1,3,5,7
/proc/2386/task/2397/stat : 2397 (java) S 2384 2384 1066 0 -1 1077944384 10947 0 0 0 246 2 0 0 20 0 19 0 475471380 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631742081520 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2398] ppid=2384 vsize=15553616 memory=552320 CPUtime=0.84 cores=1,3,5,7
/proc/2386/task/2398/stat : 2398 (java) S 2384 2384 1066 0 -1 1077944384 4744 0 0 0 82 2 0 0 20 0 19 0 475471380 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631741029232 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2399] ppid=2384 vsize=15553616 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2399/stat : 2399 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475471380 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631739976672 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2400] ppid=2384 vsize=15553616 memory=976 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2400/stat : 2400 (java) S 2384 2384 1066 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 19 0 475471381 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631738923440 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2582] ppid=2384 vsize=15553616 memory=772 CPUtime=5.98 cores=1,3,5,7
/proc/2386/task/2582/stat : 2582 (java) R 2384 2384 1066 0 -1 4202560 339 0 0 0 598 0 0 0 20 0 19 0 475472526 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631196286248 140631882338475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2583] ppid=2384 vsize=15553616 memory=3616 CPUtime=5.95 cores=1,3,5,7
/proc/2386/task/2583/stat : 2583 (java) R 2384 2384 1066 0 -1 4202560 655 0 0 0 595 0 0 0 20 0 19 0 475472526 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631728890472 140631881575633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2584] ppid=2384 vsize=15553616 memory=2832 CPUtime=5.99 cores=1,3,5,7
/proc/2386/task/2584/stat : 2584 (java) R 2384 2384 1066 0 -1 4202560 820 0 0 0 599 0 0 0 20 0 19 0 475472526 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631729942552 140631881575520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2585] ppid=2384 vsize=15553616 memory=1548 CPUtime=6.05 cores=1,3,5,7
/proc/2386/task/2585/stat : 2585 (java) R 2384 2384 1066 0 -1 4202560 381 0 0 0 605 0 0 0 20 0 19 0 475472526 15926902784 138080 33554432000 4194304 4196468 140722051856752 140631195234400 140631881575208 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
Current children cumulated CPU time: 68.59 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 553768 KiB
[startup+17.801 s]
/proc/loadavg: 9.42 6.87 3.80 9/237 2585
/proc/meminfo: memFree=8568948/32770624 swapFree=66955412/67108860
[pid=2384] ppid=2381 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2384/stat : 2384 (xcsp3-exec) S 2381 2384 1066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475471374 115843072 362 33554432000 4194304 5098028 140728788602944 140728788601048 139625074446972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17473536 140728788607866 140728788608109 140728788608109 140728788611018 0
/proc/2384/statm: 28282 362 304 221 0 87 0
[pid=2386] ppid=2384 vsize=15553616 memory=552324 CPUtime=69.39 cores=1,3,5,7
/proc/2386/stat : 2386 (java) S 2384 2384 1066 0 -1 1077944320 48363 0 0 0 6892 47 0 0 20 0 19 0 475471375 15926902784 138081 33554432000 4194304 4196468 140722051856752 140722051839296 140632279031543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
/proc/2386/statm: 3888404 138081 3528 1 0 3849504 0
[pid=2386/tid=2387] ppid=2384 vsize=15553616 memory=8444 CPUtime=0.81 cores=1,3,5,7
/proc/2386/task/2387/stat : 2387 (java) S 2384 2384 1066 0 -1 1077944384 9679 0 0 0 75 6 0 0 20 0 19 0 475471375 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632283272320 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2388] ppid=2384 vsize=15553616 memory=68 CPUtime=0.16 cores=1,3,5,7
/proc/2386/task/2388/stat : 2388 (java) S 2384 2384 1066 0 -1 1077944384 1045 0 0 0 9 7 0 0 20 0 19 0 475471376 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632207072144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2389] ppid=2384 vsize=15553616 memory=1448 CPUtime=0.16 cores=1,3,5,7
/proc/2386/task/2389/stat : 2389 (java) S 2384 2384 1066 0 -1 1077944384 381 0 0 0 9 7 0 0 20 0 19 0 475471376 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632206019344 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2390] ppid=2384 vsize=15553616 memory=552320 CPUtime=0.16 cores=1,3,5,7
/proc/2386/task/2390/stat : 2390 (java) S 2384 2384 1066 0 -1 1077944384 375 0 0 0 9 7 0 0 20 0 19 0 475471376 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632204967056 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2391] ppid=2384 vsize=15553616 memory=8112282956445269571 CPUtime=0.15 cores=1,3,5,7
/proc/2386/task/2391/stat : 2391 (java) S 2384 2384 1066 0 -1 1077944384 333 0 0 0 8 7 0 0 20 0 19 0 475471376 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632203914256 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2392] ppid=2384 vsize=15553616 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2392/stat : 2392 (java) S 2384 2384 1066 0 -1 1077944384 950 0 0 0 0 0 0 0 20 0 19 0 475471377 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631747344496 140632279042690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2393] ppid=2384 vsize=15553616 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2393/stat : 2393 (java) S 2384 2384 1066 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475471378 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631746290528 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2394] ppid=2384 vsize=15553616 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2394/stat : 2394 (java) S 2384 2384 1066 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475471378 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631745238144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2395] ppid=2384 vsize=15553616 memory=744 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2395/stat : 2395 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631744186448 140632279050139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2396] ppid=2384 vsize=15553616 memory=8444 CPUtime=2.6 cores=1,3,5,7
/proc/2386/task/2396/stat : 2396 (java) S 2384 2384 1066 0 -1 1077944384 9619 0 0 0 259 1 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631743134320 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2397] ppid=2384 vsize=15553616 memory=6080 CPUtime=2.48 cores=1,3,5,7
/proc/2386/task/2397/stat : 2397 (java) S 2384 2384 1066 0 -1 1077944384 10947 0 0 0 246 2 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631742081520 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2398] ppid=2384 vsize=15553616 memory=1124 CPUtime=0.84 cores=1,3,5,7
/proc/2386/task/2398/stat : 2398 (java) S 2384 2384 1066 0 -1 1077944384 4744 0 0 0 82 2 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631741029232 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2399] ppid=2384 vsize=15553616 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2399/stat : 2399 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631739976672 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2400] ppid=2384 vsize=15553616 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2400/stat : 2400 (java) S 2384 2384 1066 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 19 0 475471381 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631738923440 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2582] ppid=2384 vsize=15553616 memory=2124 CPUtime=6.18 cores=1,3,5,7
/proc/2386/task/2582/stat : 2582 (java) R 2384 2384 1066 0 -1 4202560 340 0 0 0 618 0 0 0 20 0 19 0 475472526 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631196286248 140631884484346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2583] ppid=2384 vsize=15553616 memory=16436 CPUtime=6.15 cores=1,3,5,7
/proc/2386/task/2583/stat : 2583 (java) R 2384 2384 1066 0 -1 4202560 660 0 0 0 615 0 0 0 20 0 19 0 475472526 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631728890472 140631883477264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2584] ppid=2384 vsize=15553616 memory=0 CPUtime=6.18 cores=1,3,5,7
/proc/2386/task/2584/stat : 2584 (java) R 2384 2384 1066 0 -1 4202560 824 0 0 0 618 0 0 0 20 0 19 0 475472526 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631729942248 140631881994412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2585] ppid=2384 vsize=15553616 memory=1 CPUtime=6.24 cores=1,3,5,7
/proc/2386/task/2585/stat : 2585 (java) R 2384 2384 1066 0 -1 4202560 385 0 0 0 624 0 0 0 20 0 19 0 475472526 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631195234400 140631881575567 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
Current children cumulated CPU time: 69.39 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 553772 KiB
[startup+17.901 s]
/proc/loadavg: 9.42 6.87 3.80 9/237 2585
/proc/meminfo: memFree=8568948/32770624 swapFree=66955412/67108860
[pid=2384] ppid=2381 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2384/stat : 2384 (xcsp3-exec) S 2381 2384 1066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475471374 115843072 362 33554432000 4194304 5098028 140728788602944 140728788601048 139625074446972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17473536 140728788607866 140728788608109 140728788608109 140728788611018 0
/proc/2384/statm: 28282 362 304 221 0 87 0
[pid=2386] ppid=2384 vsize=15553616 memory=552324 CPUtime=69.78 cores=1,3,5,7
/proc/2386/stat : 2386 (java) S 2384 2384 1066 0 -1 1077944320 48370 0 0 0 6931 47 0 0 20 0 19 0 475471375 15926902784 138081 33554432000 4194304 4196468 140722051856752 140722051839296 140632279031543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
/proc/2386/statm: 3888404 138081 3528 1 0 3849504 0
[pid=2386/tid=2387] ppid=2384 vsize=15553616 memory=1448 CPUtime=0.81 cores=1,3,5,7
/proc/2386/task/2387/stat : 2387 (java) S 2384 2384 1066 0 -1 1077944384 9679 0 0 0 75 6 0 0 20 0 19 0 475471375 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632283272320 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2388] ppid=2384 vsize=15553616 memory=552320 CPUtime=0.16 cores=1,3,5,7
/proc/2386/task/2388/stat : 2388 (java) S 2384 2384 1066 0 -1 1077944384 1045 0 0 0 9 7 0 0 20 0 19 0 475471376 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632207072144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2389] ppid=2384 vsize=15553616 memory=1448 CPUtime=0.16 cores=1,3,5,7
/proc/2386/task/2389/stat : 2389 (java) S 2384 2384 1066 0 -1 1077944384 381 0 0 0 9 7 0 0 20 0 19 0 475471376 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632206019344 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2390] ppid=2384 vsize=15553616 memory=552320 CPUtime=0.16 cores=1,3,5,7
/proc/2386/task/2390/stat : 2390 (java) S 2384 2384 1066 0 -1 1077944384 375 0 0 0 9 7 0 0 20 0 19 0 475471376 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632204967056 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2391] ppid=2384 vsize=15553616 memory=1448 CPUtime=0.15 cores=1,3,5,7
/proc/2386/task/2391/stat : 2391 (java) S 2384 2384 1066 0 -1 1077944384 333 0 0 0 8 7 0 0 20 0 19 0 475471376 15926902784 138081 33554432000 4194304 4196468 140722051856752 140632203914256 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2392] ppid=2384 vsize=15553616 memory=552320 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2392/stat : 2392 (java) S 2384 2384 1066 0 -1 1077944384 950 0 0 0 0 0 0 0 20 0 19 0 475471377 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631747344496 140632279042690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2393] ppid=2384 vsize=15553616 memory=16 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2393/stat : 2393 (java) S 2384 2384 1066 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475471378 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631746290528 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2394] ppid=2384 vsize=15553616 memory=16 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2394/stat : 2394 (java) S 2384 2384 1066 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475471378 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631745238144 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2395] ppid=2384 vsize=15553616 memory=56 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2395/stat : 2395 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631744186448 140632279050139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2396] ppid=2384 vsize=15553616 memory=6935650355288821840 CPUtime=2.6 cores=1,3,5,7
/proc/2386/task/2396/stat : 2396 (java) S 2384 2384 1066 0 -1 1077944384 9619 0 0 0 259 1 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631743134320 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2397] ppid=2384 vsize=15553616 memory=6935652554312077392 CPUtime=2.48 cores=1,3,5,7
/proc/2386/task/2397/stat : 2397 (java) S 2384 2384 1066 0 -1 1077944384 10947 0 0 0 246 2 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631742081520 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2398] ppid=2384 vsize=15553616 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/2386/task/2398/stat : 2398 (java) R 2384 2384 1066 0 -1 1077944384 4744 0 0 0 82 2 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631741029232 140632279042690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2399] ppid=2384 vsize=15553616 memory=280008111864368 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2399/stat : 2399 (java) S 2384 2384 1066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475471380 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631739976672 140632279041749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2400] ppid=2384 vsize=15553616 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2386/task/2400/stat : 2400 (java) S 2384 2384 1066 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 19 0 475471381 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631738923440 140632279042690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2582] ppid=2384 vsize=15553616 memory=236 CPUtime=6.28 cores=1,3,5,7
/proc/2386/task/2582/stat : 2582 (java) R 2384 2384 1066 0 -1 4202560 340 0 0 0 628 0 0 0 20 0 19 0 475472526 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631196286248 140631883310485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2583] ppid=2384 vsize=15553616 memory=83 CPUtime=6.25 cores=1,3,5,7
/proc/2386/task/2583/stat : 2583 (java) R 2384 2384 1066 0 -1 4202560 662 0 0 0 625 0 0 0 20 0 19 0 475472526 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631728890472 140631881575520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2584] ppid=2384 vsize=15553616 memory=0 CPUtime=6.28 cores=1,3,5,7
/proc/2386/task/2584/stat : 2584 (java) R 2384 2384 1066 0 -1 4202560 829 0 0 0 628 0 0 0 20 0 19 0 475472526 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631729942248 140631881575204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
[pid=2386/tid=2585] ppid=2384 vsize=15553616 memory=5468 CPUtime=6.34 cores=1,3,5,7
/proc/2386/task/2585/stat : 2585 (java) R 2384 2384 1066 0 -1 4202560 385 0 0 0 634 0 0 0 20 0 19 0 475472526 15926902784 138081 33554432000 4194304 4196468 140722051856752 140631195234400 140631882338475 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10874880 140722051859439 140722051859610 140722051859610 140722051862479 0
Current children cumulated CPU time: 69.78 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 553772 KiB
Child status: 0
Real time (s): 17.9858
CPU time (s): 70.0485
CPU user time (s): 69.5672
CPU system time (s): 0.481282
CPU usage (%): 389.467
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 553772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.5672
system time used= 0.481282
maximum resident set size= 552340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4176
involuntary context switches= 2017
# summary of solver processes directly reported to runsolver:
# pid: 2384
# total CPU time (s): 70.0485
# total CPU user time (s): 69.5672
# total CPU system time (s): 0.481282
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.142476 second user time and 0.232684 second system time
The end