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 (8487 MiB free)
memory of node 1: 16384 MiB (6274 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403675-1568991629/watcher-4403675-1568991629 -o /var/tmp/evaluation-result-4403675-1568991629/solver-4403675-1568991629 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 137920957 HOME/instance-4403675-1568991629.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8376, runsolver pid=8373
Current StackSize limit: 8192 KiB
[startup+0.100543 s]*
/proc/loadavg: 9.02 8.61 8.27 8/232 8392
/proc/meminfo: memFree=15100708/32770624 swapFree=66952592/67108860
[pid=8376] ppid=8373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8376/stat : 8376 (xcsp3-exec) S 8373 8376 1883 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475418498 115843072 363 33554432000 4194304 5098028 140727217577248 140727217575352 139913110430332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34177024 140727217578839 140727217579097 140727217579097 140727217582022 0
/proc/8376/statm: 28282 363 305 221 0 87 0
[pid=8378] ppid=8376 vsize=15144776 memory=28928 CPUtime=0.12 cores=1,3,5,7
/proc/8378/stat : 8378 (java) S 8376 8376 1883 0 -1 1077944320 5671 0 0 0 11 1 0 0 20 0 15 0 475418498 15508250624 7232 33554432000 4194304 4196468 140731884261760 140731884244304 139709971472119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
/proc/8378/statm: 3786194 7232 3169 1 0 3748377 0
[pid=8378/tid=8379] ppid=8376 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/8378/task/8379/stat : 8379 (java) R 8376 8376 1883 0 -1 4202560 3545 0 0 0 8 1 0 0 20 0 15 0 475418498 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709975704848 139709598766688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8380] ppid=8376 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418499 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709924092816 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8381] ppid=8376 vsize=15144776 memory=140087759824512 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418499 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709923040016 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8382] ppid=8376 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8382/stat : 8382 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418499 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709921987728 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8383] ppid=8376 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8383/stat : 8383 (java) S 8376 8376 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475418499 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709920934928 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8384] ppid=8376 vsize=15144776 memory=140087759824512 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8384/stat : 8384 (java) S 8376 8376 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475418501 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709439240304 139709971483266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8385] ppid=8376 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8385/stat : 8385 (java) S 8376 8376 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475418501 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709438186272 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8386] ppid=8376 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8386/stat : 8386 (java) S 8376 8376 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475418501 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709437133936 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8387] ppid=8376 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8387/stat : 8387 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418504 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709436082256 139709971490715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8388] ppid=8376 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8388/stat : 8388 (java) S 8376 8376 1883 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 475418504 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709435030128 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8389] ppid=8376 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8389/stat : 8389 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418504 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709433977328 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8390] ppid=8376 vsize=15144776 memory=140087759824512 CPUtime=0.02 cores=1,3,5,7
/proc/8378/task/8390/stat : 8390 (java) R 8376 8376 1883 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 475418504 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709432922832 139709955552606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8391] ppid=8376 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8391/stat : 8391 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418504 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709431872480 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8392] ppid=8376 vsize=15144776 memory=140087759824512 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8392/stat : 8392 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418504 15508250624 7232 33554432000 4194304 4196468 140731884261760 139709430819248 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30380 KiB
[startup+0.210757 s]*
/proc/loadavg: 9.02 8.61 8.27 8/232 8392
/proc/meminfo: memFree=15086860/32770624 swapFree=66952592/67108860
[pid=8376] ppid=8373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8376/stat : 8376 (xcsp3-exec) S 8373 8376 1883 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475418498 115843072 363 33554432000 4194304 5098028 140727217577248 140727217575352 139913110430332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34177024 140727217578839 140727217579097 140727217579097 140727217582022 0
/proc/8376/statm: 28282 363 305 221 0 87 0
[pid=8378] ppid=8376 vsize=15144776 memory=40784 CPUtime=0.34 cores=1,3,5,7
/proc/8378/stat : 8378 (java) S 8376 8376 1883 0 -1 1077944320 9462 0 0 0 31 3 0 0 20 0 15 0 475418498 15508250624 10196 33554432000 4194304 4196468 140731884261760 140731884244304 139709971472119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
/proc/8378/statm: 3786194 10196 3276 1 0 3748377 0
[pid=8378/tid=8379] ppid=8376 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8378/task/8379/stat : 8379 (java) R 8376 8376 1883 0 -1 4202560 6582 0 0 0 18 2 0 0 20 0 15 0 475418498 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709975704032 139709955552606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8380] ppid=8376 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418499 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709924092816 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8381] ppid=8376 vsize=15144776 memory=3472749884747900576 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418499 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709923040016 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8382] ppid=8376 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8382/stat : 8382 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418499 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709921987728 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8383] ppid=8376 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8383/stat : 8383 (java) S 8376 8376 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475418499 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709920934928 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8384] ppid=8376 vsize=15144776 memory=140087759824512 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8384/stat : 8384 (java) S 8376 8376 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475418501 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709439240304 139709971483266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8385] ppid=8376 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8385/stat : 8385 (java) S 8376 8376 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475418501 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709438186272 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8386] ppid=8376 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8386/stat : 8386 (java) S 8376 8376 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475418501 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709437133936 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8387] ppid=8376 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8387/stat : 8387 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418504 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709436082256 139709971490715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8388] ppid=8376 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8378/task/8388/stat : 8388 (java) S 8376 8376 1883 0 -1 1077944384 694 0 0 0 3 0 0 0 20 0 15 0 475418504 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709435030128 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8389] ppid=8376 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8378/task/8389/stat : 8389 (java) S 8376 8376 1883 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 15 0 475418504 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709433977328 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8390] ppid=8376 vsize=15144776 memory=140087759824512 CPUtime=0.08 cores=1,3,5,7
/proc/8378/task/8390/stat : 8390 (java) S 8376 8376 1883 0 -1 1077944384 779 0 0 0 8 0 0 0 20 0 15 0 475418504 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709432925040 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8391] ppid=8376 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8391/stat : 8391 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418504 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709431872480 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8392] ppid=8376 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8392/stat : 8392 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418504 15508250624 10196 33554432000 4194304 4196468 140731884261760 139709430819248 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42236 KiB
[startup+0.310676 s]*
/proc/loadavg: 9.02 8.61 8.27 7/232 8392
/proc/meminfo: memFree=15078968/32770624 swapFree=66952592/67108860
[pid=8376] ppid=8373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8376/stat : 8376 (xcsp3-exec) S 8373 8376 1883 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475418498 115843072 363 33554432000 4194304 5098028 140727217577248 140727217575352 139913110430332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34177024 140727217578839 140727217579097 140727217579097 140727217582022 0
/proc/8376/statm: 28282 363 305 221 0 87 0
[pid=8378] ppid=8376 vsize=15149032 memory=50072 CPUtime=0.53 cores=1,3,5,7
/proc/8378/stat : 8378 (java) S 8376 8376 1883 0 -1 1077944320 10854 0 0 0 49 4 0 0 20 0 15 0 475418498 15512608768 12518 33554432000 4194304 4196468 140731884261760 140731884244304 139709971472119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
/proc/8378/statm: 3787258 12518 3340 1 0 3748377 0
[pid=8378/tid=8379] ppid=8376 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/8378/task/8379/stat : 8379 (java) R 8376 8376 1883 0 -1 4202560 7783 0 0 0 27 3 0 0 20 0 15 0 475418498 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709975703888 139709955552606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8380] ppid=8376 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418499 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709924092816 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8381] ppid=8376 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418499 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709923040016 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8382] ppid=8376 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8382/stat : 8382 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418499 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709921987728 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8383] ppid=8376 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8383/stat : 8383 (java) S 8376 8376 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475418499 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709920934928 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8384] ppid=8376 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8384/stat : 8384 (java) S 8376 8376 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475418501 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709439240304 139709971483266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8385] ppid=8376 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8385/stat : 8385 (java) S 8376 8376 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475418501 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709438186272 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8386] ppid=8376 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8386/stat : 8386 (java) S 8376 8376 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475418501 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709437133936 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8387] ppid=8376 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8387/stat : 8387 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418504 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709436082256 139709971490715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8388] ppid=8376 vsize=15149032 memory=-8412660965215072671 CPUtime=0.06 cores=1,3,5,7
/proc/8378/task/8388/stat : 8388 (java) S 8376 8376 1883 0 -1 1077944384 794 0 0 0 6 0 0 0 20 0 15 0 475418504 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709435030128 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8389] ppid=8376 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8378/task/8389/stat : 8389 (java) S 8376 8376 1883 0 -1 1077944384 119 0 0 0 3 0 0 0 20 0 15 0 475418504 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709433977328 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8390] ppid=8376 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8378/task/8390/stat : 8390 (java) S 8376 8376 1883 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 15 0 475418504 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709432925040 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8391] ppid=8376 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8391/stat : 8391 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418504 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709431872480 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8392] ppid=8376 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8392/stat : 8392 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418504 15512608768 12591 33554432000 4194304 4196468 140731884261760 139709430819248 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51524 KiB
[startup+0.700789 s]
/proc/loadavg: 9.02 8.61 8.27 9/236 8488
/proc/meminfo: memFree=14957172/32770624 swapFree=66952592/67108860
[pid=8376] ppid=8373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8376/stat : 8376 (xcsp3-exec) S 8373 8376 1883 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475418498 115843072 363 33554432000 4194304 5098028 140727217577248 140727217575352 139913110430332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34177024 140727217578839 140727217579097 140727217579097 140727217582022 0
/proc/8376/statm: 28282 363 305 221 0 87 0
[pid=8378] ppid=8376 vsize=15485004 memory=192880 CPUtime=1.68 cores=1,3,5,7
/proc/8378/stat : 8378 (java) S 8376 8376 1883 0 -1 1077944320 18632 0 0 0 158 10 0 0 20 0 18 0 475418498 15856644096 48220 33554432000 4194304 4196468 140731884261760 140731884244304 139709971472119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
/proc/8378/statm: 3871251 48220 3478 1 0 3832351 0
[pid=8378/tid=8379] ppid=8376 vsize=15485004 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/8378/task/8379/stat : 8379 (java) S 8376 8376 1883 0 -1 1077944384 8979 0 0 0 40 4 0 0 20 0 18 0 475418498 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709975712896 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8380] ppid=8376 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (java) S 8376 8376 1883 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 18 0 475418499 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709924092816 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8381] ppid=8376 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (java) S 8376 8376 1883 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 18 0 475418499 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709923040016 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8382] ppid=8376 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8382/stat : 8382 (java) S 8376 8376 1883 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 18 0 475418499 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709921987728 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8383] ppid=8376 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8383/stat : 8383 (java) S 8376 8376 1883 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 475418499 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709920934928 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8384] ppid=8376 vsize=15485004 memory=164 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8384/stat : 8384 (java) S 8376 8376 1883 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 18 0 475418501 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709439240304 139709971483266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8385] ppid=8376 vsize=15485004 memory=6154848828556269427 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8385/stat : 8385 (java) S 8376 8376 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 475418501 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709438186336 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8386] ppid=8376 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8386/stat : 8386 (java) S 8376 8376 1883 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 18 0 475418501 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709437133952 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8387] ppid=8376 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8387/stat : 8387 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 475418504 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709436082256 139709971490715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8388] ppid=8376 vsize=15485004 memory=40256 CPUtime=0.25 cores=1,3,5,7
/proc/8378/task/8388/stat : 8388 (java) R 8376 8376 1883 0 -1 4202560 2060 0 0 0 25 0 0 0 20 0 18 0 475418504 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709435016184 139709955378124 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8389] ppid=8376 vsize=15485004 memory=988 CPUtime=0.26 cores=1,3,5,7
/proc/8378/task/8389/stat : 8389 (java) R 8376 8376 1883 0 -1 4202560 1531 0 0 0 26 0 0 0 20 0 18 0 475418504 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709433969816 139709971493466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8390] ppid=8376 vsize=15485004 memory=2016 CPUtime=0.29 cores=1,3,5,7
/proc/8378/task/8390/stat : 8390 (java) S 8376 8376 1883 0 -1 1077944384 1741 0 0 0 29 0 0 0 20 0 18 0 475418504 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709432925040 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8391] ppid=8376 vsize=15485004 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8391/stat : 8391 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 475418504 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709431872480 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8392] ppid=8376 vsize=15485004 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8392/stat : 8392 (java) S 8376 8376 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 475418504 15856644096 48220 33554432000 4194304 4196468 140731884261760 139709430819248 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 194332 KiB
[startup+1.50354 s]
/proc/loadavg: 9.18 8.65 8.29 9/236 8592
/proc/meminfo: memFree=14921100/32770624 swapFree=66952592/67108860
[pid=8376] ppid=8373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8376/stat : 8376 (xcsp3-exec) S 8373 8376 1883 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475418498 115843072 363 33554432000 4194304 5098028 140727217577248 140727217575352 139913110430332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34177024 140727217578839 140727217579097 140727217579097 140727217582022 0
/proc/8376/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/8378/task/8392/stat : 8392 (java) S 8376 8376 1883 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86180 33554432000 4194304 4196468 140731884261760 139709430819248 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8613] ppid=8376 vsize=15550540 memory=-7812800577974661515 CPUtime=5.55 cores=1,3,5,7
/proc/8378/task/8613/stat : 8613 (java) R 8376 8376 1883 0 -1 4202560 146 0 0 0 555 0 0 0 20 0 19 0 475418629 15923752960 86180 33554432000 4194304 4196468 140731884261760 139709421838168 139709603111526 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8614] ppid=8376 vsize=15550540 memory=-8393964755514913984 CPUtime=5.7 cores=1,3,5,7
/proc/8378/task/8614/stat : 8614 (java) R 8376 8376 1883 0 -1 4202560 247 0 0 0 570 0 0 0 20 0 19 0 475418629 15923752960 86180 33554432000 4194304 4196468 140731884261760 139709420786336 139709955849239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8615] ppid=8376 vsize=15550540 memory=-8888286890155098051 CPUtime=5.69 cores=1,3,5,7
/proc/8378/task/8615/stat : 8615 (java) R 8376 8376 1883 0 -1 4202560 143 0 0 0 569 0 0 0 20 0 19 0 475418629 15923752960 86180 33554432000 4194304 4196468 140731884261760 139709419734032 140731884640456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8616] ppid=8376 vsize=15550540 memory=-8562923391273570683 CPUtime=5.48 cores=1,3,5,7
/proc/8378/task/8616/stat : 8616 (java) R 8376 8376 1883 0 -1 4202560 299 0 0 0 547 1 0 0 20 0 19 0 475418629 15923752960 86180 33554432000 4194304 4196468 140731884261760 139709416576800 139709603527412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
Current children cumulated CPU time: 27.4 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 346172 KiB
[startup+7.60153 s]
/proc/loadavg: 9.09 8.64 8.29 9/236 8616
/proc/meminfo: memFree=14783656/32770624 swapFree=66952592/67108860
[pid=8376] ppid=8373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8376/stat : 8376 (xcsp3-exec) S 8373 8376 1883 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475418498 115843072 363 33554432000 4194304 5098028 140727217577248 140727217575352 139913110430332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34177024 140727217578839 140727217579097 140727217579097 140727217582022 0
/proc/8376/statm: 28282 363 305 221 0 87 0
[pid=8378] ppid=8376 vsize=15550540 memory=344872 CPUtime=29 cores=1,3,5,7
/proc/8378/stat : 8378 (java) S 8376 8376 1883 0 -1 1077944320 27227 0 0 0 2883 17 0 0 20 0 19 0 475418498 15923752960 86218 33554432000 4194304 4196468 140731884261760 140731884244304 139709971472119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
/proc/8378/statm: 3887635 86218 3510 1 0 3848735 0
[pid=8378/tid=8379] ppid=8376 vsize=15550540 memory=988 CPUtime=0.46 cores=1,3,5,7
/proc/8378/task/8379/stat : 8379 (java) S 8376 8376 1883 0 -1 1077944384 8979 0 0 0 41 5 0 0 20 0 19 0 475418498 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709975712896 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8380] ppid=8376 vsize=15550540 memory=2016 CPUtime=0.01 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (java) S 8376 8376 1883 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 19 0 475418499 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709924092816 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8381] ppid=8376 vsize=15550540 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (java) S 8376 8376 1883 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475418499 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709923040016 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8382] ppid=8376 vsize=15550540 memory=1044 CPUtime=0.01 cores=1,3,5,7
/proc/8378/task/8382/stat : 8382 (java) S 8376 8376 1883 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 19 0 475418499 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709921987728 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8383] ppid=8376 vsize=15550540 memory=708 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8383/stat : 8383 (java) S 8376 8376 1883 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 19 0 475418499 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709920934928 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8384] ppid=8376 vsize=15550540 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8384/stat : 8384 (java) S 8376 8376 1883 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 19 0 475418501 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709439240304 139709971483266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8385] ppid=8376 vsize=15550540 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8385/stat : 8385 (java) S 8376 8376 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475418501 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709438186336 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8386] ppid=8376 vsize=15550540 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8386/stat : 8386 (java) S 8376 8376 1883 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475418501 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709437133952 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8387] ppid=8376 vsize=15550540 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8387/stat : 8387 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709436082256 139709971490715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8388] ppid=8376 vsize=15550540 memory=8076 CPUtime=1.13 cores=1,3,5,7
/proc/8378/task/8388/stat : 8388 (java) S 8376 8376 1883 0 -1 1077944384 3809 0 0 0 113 0 0 0 20 0 19 0 475418504 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709435030128 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8389] ppid=8376 vsize=15550540 memory=3624 CPUtime=1.17 cores=1,3,5,7
/proc/8378/task/8389/stat : 8389 (java) R 8376 8376 1883 0 -1 4202560 4418 0 0 0 117 0 0 0 20 0 19 0 475418504 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709433977328 139709963713561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8390] ppid=8376 vsize=15550540 memory=1556 CPUtime=0.38 cores=1,3,5,7
/proc/8378/task/8390/stat : 8390 (java) S 8376 8376 1883 0 -1 1077944384 2741 0 0 0 38 0 0 0 20 0 19 0 475418504 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709432925040 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8391] ppid=8376 vsize=15550540 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8391/stat : 8391 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709431872480 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8392] ppid=8376 vsize=15550540 memory=984 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8392/stat : 8392 (java) S 8376 8376 1883 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709430819248 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8613] ppid=8376 vsize=15550540 memory=14012 CPUtime=5.95 cores=1,3,5,7
/proc/8378/task/8613/stat : 8613 (java) R 8376 8376 1883 0 -1 4202560 146 0 0 0 595 0 0 0 20 0 19 0 475418629 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709421838168 139709603489036 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8614] ppid=8376 vsize=15550540 memory=15324 CPUtime=6.09 cores=1,3,5,7
/proc/8378/task/8614/stat : 8614 (java) R 8376 8376 1883 0 -1 4202560 247 0 0 0 609 0 0 0 20 0 19 0 475418629 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709420786224 139709602819421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8615] ppid=8376 vsize=15550540 memory=2120 CPUtime=6.09 cores=1,3,5,7
/proc/8378/task/8615/stat : 8615 (java) R 8376 8376 1883 0 -1 4202560 143 0 0 0 609 0 0 0 20 0 19 0 475418629 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709419734168 139709951197160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8616] ppid=8376 vsize=15550540 memory=12036 CPUtime=5.88 cores=1,3,5,7
/proc/8378/task/8616/stat : 8616 (java) R 8376 8376 1883 0 -1 4202560 303 0 0 0 587 1 0 0 20 0 19 0 475418629 15923752960 86218 33554432000 4194304 4196468 140731884261760 139709416576800 139709602663714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
Current children cumulated CPU time: 29 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 346324 KiB
[startup+7.80154 s]
/proc/loadavg: 9.09 8.64 8.29 9/236 8616
/proc/meminfo: memFree=14783656/32770624 swapFree=66952592/67108860
[pid=8376] ppid=8373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8376/stat : 8376 (xcsp3-exec) S 8373 8376 1883 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475418498 115843072 363 33554432000 4194304 5098028 140727217577248 140727217575352 139913110430332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34177024 140727217578839 140727217579097 140727217579097 140727217582022 0
/proc/8376/statm: 28282 363 305 221 0 87 0
[pid=8378] ppid=8376 vsize=15550540 memory=346920 CPUtime=29.78 cores=1,3,5,7
/proc/8378/stat : 8378 (java) S 8376 8376 1883 0 -1 1077944320 27303 0 0 0 2961 17 0 0 20 0 19 0 475418498 15923752960 86730 33554432000 4194304 4196468 140731884261760 140731884244304 139709971472119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
/proc/8378/statm: 3887635 86730 3510 1 0 3848735 0
[pid=8378/tid=8379] ppid=8376 vsize=15550540 memory=928 CPUtime=0.46 cores=1,3,5,7
/proc/8378/task/8379/stat : 8379 (java) S 8376 8376 1883 0 -1 1077944384 8979 0 0 0 41 5 0 0 20 0 19 0 475418498 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709975712896 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8380] ppid=8376 vsize=15550540 memory=1680 CPUtime=0.02 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (java) S 8376 8376 1883 0 -1 1077944384 123 0 0 0 1 1 0 0 20 0 19 0 475418499 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709924092816 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8381] ppid=8376 vsize=15550540 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (java) S 8376 8376 1883 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 475418499 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709923040016 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8382] ppid=8376 vsize=15550540 memory=924 CPUtime=0.02 cores=1,3,5,7
/proc/8378/task/8382/stat : 8382 (java) S 8376 8376 1883 0 -1 1077944384 372 0 0 0 1 1 0 0 20 0 19 0 475418499 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709921987728 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8383] ppid=8376 vsize=15550540 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/8378/task/8383/stat : 8383 (java) S 8376 8376 1883 0 -1 1077944384 137 0 0 0 0 1 0 0 20 0 19 0 475418499 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709920934928 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8384] ppid=8376 vsize=15550540 memory=880 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8384/stat : 8384 (java) S 8376 8376 1883 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 19 0 475418501 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709439240304 139709971483266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8385] ppid=8376 vsize=15550540 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8385/stat : 8385 (java) S 8376 8376 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475418501 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709438186336 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8386] ppid=8376 vsize=15550540 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8386/stat : 8386 (java) S 8376 8376 1883 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475418501 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709437133952 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8387] ppid=8376 vsize=15550540 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8387/stat : 8387 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709436082256 139709971490715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8388] ppid=8376 vsize=15550540 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/8378/task/8388/stat : 8388 (java) S 8376 8376 1883 0 -1 1077944384 3809 0 0 0 113 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709435030128 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8389] ppid=8376 vsize=15550540 memory=22244 CPUtime=1.17 cores=1,3,5,7
/proc/8378/task/8389/stat : 8389 (java) S 8376 8376 1883 0 -1 1077944384 4484 0 0 0 117 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709433977328 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8390] ppid=8376 vsize=15550540 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/8378/task/8390/stat : 8390 (java) S 8376 8376 1883 0 -1 1077944384 2741 0 0 0 38 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709432925040 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8391] ppid=8376 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8391/stat : 8391 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709431872480 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8392] ppid=8376 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8392/stat : 8392 (java) S 8376 8376 1883 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709430819248 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8613] ppid=8376 vsize=15550540 memory=0 CPUtime=6.14 cores=1,3,5,7
/proc/8378/task/8613/stat : 8613 (java) R 8376 8376 1883 0 -1 4202560 146 0 0 0 614 0 0 0 20 0 19 0 475418629 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709421838168 139709603488839 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8614] ppid=8376 vsize=15550540 memory=0 CPUtime=6.27 cores=1,3,5,7
/proc/8378/task/8614/stat : 8614 (java) R 8376 8376 1883 0 -1 4202560 249 0 0 0 627 0 0 0 20 0 19 0 475418629 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709420786720 139709602819580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8615] ppid=8376 vsize=15550540 memory=0 CPUtime=6.28 cores=1,3,5,7
/proc/8378/task/8615/stat : 8615 (java) R 8376 8376 1883 0 -1 4202560 143 0 0 0 628 0 0 0 20 0 19 0 475418629 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709419734168 139709602218201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8616] ppid=8376 vsize=15550540 memory=6944656592455360604 CPUtime=6.08 cores=1,3,5,7
/proc/8378/task/8616/stat : 8616 (java) R 8376 8376 1883 0 -1 4202560 303 0 0 0 607 1 0 0 20 0 19 0 475418629 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709416576672 139709603527134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
Current children cumulated CPU time: 29.78 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 348372 KiB
[startup+7.90163 s]
/proc/loadavg: 9.09 8.64 8.29 9/236 8616
/proc/meminfo: memFree=14783656/32770624 swapFree=66952592/67108860
[pid=8376] ppid=8373 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8376/stat : 8376 (xcsp3-exec) S 8373 8376 1883 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475418498 115843072 363 33554432000 4194304 5098028 140727217577248 140727217575352 139913110430332 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34177024 140727217578839 140727217579097 140727217579097 140727217582022 0
/proc/8376/statm: 28282 363 305 221 0 87 0
[pid=8378] ppid=8376 vsize=15550540 memory=346920 CPUtime=30.18 cores=1,3,5,7
/proc/8378/stat : 8378 (java) S 8376 8376 1883 0 -1 1077944320 27303 0 0 0 3001 17 0 0 20 0 19 0 475418498 15923752960 86730 33554432000 4194304 4196468 140731884261760 140731884244304 139709971472119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
/proc/8378/statm: 3887635 86730 3510 1 0 3848735 0
[pid=8378/tid=8379] ppid=8376 vsize=15550540 memory=7014751519633922146 CPUtime=0.46 cores=1,3,5,7
/proc/8378/task/8379/stat : 8379 (java) S 8376 8376 1883 0 -1 1077944384 8979 0 0 0 41 5 0 0 20 0 19 0 475418498 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709975712896 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8380] ppid=8376 vsize=15550540 memory=7014751519633922146 CPUtime=0.02 cores=1,3,5,7
/proc/8378/task/8380/stat : 8380 (java) S 8376 8376 1883 0 -1 1077944384 123 0 0 0 1 1 0 0 20 0 19 0 475418499 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709924092816 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8381] ppid=8376 vsize=15550540 memory=342680 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8381/stat : 8381 (java) S 8376 8376 1883 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 475418499 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709923040016 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8382] ppid=8376 vsize=15550540 memory=40256 CPUtime=0.02 cores=1,3,5,7
/proc/8378/task/8382/stat : 8382 (java) S 8376 8376 1883 0 -1 1077944384 372 0 0 0 1 1 0 0 20 0 19 0 475418499 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709921987728 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8383] ppid=8376 vsize=15550540 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8378/task/8383/stat : 8383 (java) S 8376 8376 1883 0 -1 1077944384 137 0 0 0 0 1 0 0 20 0 19 0 475418499 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709920934928 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8384] ppid=8376 vsize=15550540 memory=7512114543601282149 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8384/stat : 8384 (java) S 8376 8376 1883 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 19 0 475418501 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709439240304 139709971483266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8385] ppid=8376 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8385/stat : 8385 (java) S 8376 8376 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475418501 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709438186336 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8386] ppid=8376 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8386/stat : 8386 (java) S 8376 8376 1883 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475418501 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709437133952 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8387] ppid=8376 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8387/stat : 8387 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709436082256 139709971490715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8388] ppid=8376 vsize=15550540 memory=415 CPUtime=1.13 cores=1,3,5,7
/proc/8378/task/8388/stat : 8388 (java) S 8376 8376 1883 0 -1 1077944384 3809 0 0 0 113 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709435030128 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8389] ppid=8376 vsize=15550540 memory=430 CPUtime=1.17 cores=1,3,5,7
/proc/8378/task/8389/stat : 8389 (java) S 8376 8376 1883 0 -1 1077944384 4484 0 0 0 117 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709433977328 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8390] ppid=8376 vsize=15550540 memory=1452 CPUtime=0.38 cores=1,3,5,7
/proc/8378/task/8390/stat : 8390 (java) S 8376 8376 1883 0 -1 1077944384 2741 0 0 0 38 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709432925040 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8391] ppid=8376 vsize=15550540 memory=343608 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8391/stat : 8391 (java) S 8376 8376 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709431872480 139709971482325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8392] ppid=8376 vsize=15550540 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8378/task/8392/stat : 8392 (java) S 8376 8376 1883 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475418504 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709430819248 139709971483266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8613] ppid=8376 vsize=15550540 memory=2016 CPUtime=6.24 cores=1,3,5,7
/proc/8378/task/8613/stat : 8613 (java) R 8376 8376 1883 0 -1 4202560 146 0 0 0 624 0 0 0 20 0 19 0 475418629 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709421838168 139709599708779 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8614] ppid=8376 vsize=15550540 memory=8112282956445269571 CPUtime=6.37 cores=1,3,5,7
/proc/8378/task/8614/stat : 8614 (java) R 8376 8376 1883 0 -1 4202560 249 0 0 0 637 0 0 0 20 0 19 0 475418629 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709420786720 139709603168810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8615] ppid=8376 vsize=15550540 memory=0 CPUtime=6.38 cores=1,3,5,7
/proc/8378/task/8615/stat : 8615 (java) R 8376 8376 1883 0 -1 4202560 143 0 0 0 638 0 0 0 20 0 19 0 475418629 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709419734168 139709603487575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
[pid=8378/tid=8616] ppid=8376 vsize=15550540 memory=0 CPUtime=6.18 cores=1,3,5,7
/proc/8378/task/8616/stat : 8616 (java) R 8376 8376 1883 0 -1 4202560 303 0 0 0 617 1 0 0 20 0 19 0 475418629 15923752960 86730 33554432000 4194304 4196468 140731884261760 139709416576672 139709602663903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21807104 140731884266459 140731884266634 140731884266634 140731884269519 0
Current children cumulated CPU time: 30.18 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 348372 KiB
Child status: 0
Real time (s): 7.97734
CPU time (s): 30.4265
CPU user time (s): 30.2393
CPU system time (s): 0.187201
CPU usage (%): 381.411
Max. virtual memory (cumulated for all children) (KiB): 15663668
Max. memory (cumulated for all children) (KiB): 348372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2393
system time used= 0.187201
maximum resident set size= 348312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28660
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= 3521
involuntary context switches= 647
# summary of solver processes directly reported to runsolver:
# pid: 8376
# total CPU time (s): 30.4265
# total CPU user time (s): 30.2393
# total CPU system time (s): 0.187201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085242 second user time and 0.119069 second system time
The end