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 (14821 MiB free)
  memory of node 1: 16384 MiB (15160 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399308-1568698831/watcher-4399308-1568698831 -o /tmp/evaluation-result-4399308-1568698831/solver-4399308-1568698831 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568698770-20211 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 815077062 HOME/instance-4399308-1568698831.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20646, runsolver pid=20643
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 3.61 1.42 1.27 7/234 20662
/proc/meminfo: memFree=30686660/32770624 swapFree=67004312/67108860
[pid=20646] ppid=20643 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20646/stat : 20646 (xcsp3-exec) S 20643 20646 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044705 115843072 363 33554432000 4194304 5098028 140734543428288 140734543426392 139876192297596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20512768 140734543434619 140734543434861 140734543434861 140734543437770 0
/proc/20646/statm: 28282 363 304 221 0 87 0
[pid=20648] ppid=20646 vsize=15144776 memory=28984 CPUtime=0.13 cores=0,2,4,6
/proc/20648/stat : 20648 (java) S 20646 20646 20180 0 -1 1077944320 5686 0 0 0 12 1 0 0 20 0 15 0 446044705 15508250624 7246 33554432000 4194304 4196468 140720684468480 140720684451024 140447970373367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
/proc/20648/statm: 3786194 7246 3165 1 0 3748377 0
[pid=20648/tid=20649] ppid=20646 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/20648/task/20649/stat : 20649 (java) R 20646 20646 20180 0 -1 4202560 3596 0 0 0 8 1 0 0 20 0 15 0 446044706 15508250624 7246 33554432000 4194304 4196468 140720684468480 140447974606096 140447954453854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20650] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20650/stat : 20650 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15508250624 7246 33554432000 4194304 4196468 140720684468480 140447922994320 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20651] ppid=20646 vsize=15144776 memory=139889866741850 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20651/stat : 20651 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15508250624 7246 33554432000 4194304 4196468 140720684468480 140447921941520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20652] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20652/stat : 20652 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15508250624 7246 33554432000 4194304 4196468 140720684468480 140447920888720 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20653] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20653/stat : 20653 (java) S 20646 20646 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044706 15508250624 7246 33554432000 4194304 4196468 140720684468480 140447919835920 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20654] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20654/stat : 20654 (java) S 20646 20646 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044708 15508250624 7246 33554432000 4194304 4196468 140720684468480 140446911142256 140447970384514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20655] ppid=20646 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20655/stat : 20655 (java) S 20646 20646 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446044708 15508250624 7246 33554432000 4194304 4196468 140720684468480 140446910088224 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20656] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20656/stat : 20656 (java) S 20646 20646 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446044708 15508250624 7246 33554432000 4194304 4196468 140720684468480 140446909035376 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20657] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20657/stat : 20657 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044711 15508250624 7246 33554432000 4194304 4196468 140720684468480 140446705641296 140447970391963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20658] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20658/stat : 20658 (java) R 20646 20646 20180 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 446044711 15508250624 7246 33554432000 4194304 4196468 140720684468480 140446704589680 140447970384514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20659] ppid=20646 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20659/stat : 20659 (java) R 20646 20646 20180 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 446044711 15508250624 7246 33554432000 4194304 4196468 140720684468480 140446703536880 140447948206224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20660] ppid=20646 vsize=15144776 memory=139889863444096 CPUtime=0.02 cores=0,2,4,6
/proc/20648/task/20660/stat : 20660 (java) R 20646 20646 20180 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 446044711 15508250624 7246 33554432000 4194304 4196468 140720684468480 140446702481616 140447953997569 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20661] ppid=20646 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20661/stat : 20661 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044711 15508250624 7246 33554432000 4194304 4196468 140720684468480 140446701431520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20662] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20662/stat : 20662 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044711 15508250624 7246 33554432000 4194304 4196468 140720684468480 140446700378800 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30436 KiB

[startup+0.210869 s]*
/proc/loadavg: 3.61 1.42 1.27 7/234 20666
/proc/meminfo: memFree=30660448/32770624 swapFree=67004312/67108860
[pid=20646] ppid=20643 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20646/stat : 20646 (xcsp3-exec) S 20643 20646 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044705 115843072 363 33554432000 4194304 5098028 140734543428288 140734543426392 139876192297596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20512768 140734543434619 140734543434861 140734543434861 140734543437770 0
/proc/20646/statm: 28282 363 304 221 0 87 0
[pid=20648] ppid=20646 vsize=15144776 memory=40716 CPUtime=0.34 cores=0,2,4,6
/proc/20648/stat : 20648 (java) S 20646 20646 20180 0 -1 1077944320 9443 0 0 0 31 3 0 0 20 0 15 0 446044705 15508250624 10179 33554432000 4194304 4196468 140720684468480 140720684451024 140447970373367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
/proc/20648/statm: 3786194 10179 3271 1 0 3748377 0
[pid=20648/tid=20649] ppid=20646 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20648/task/20649/stat : 20649 (java) R 20646 20646 20180 0 -1 4202560 6621 0 0 0 18 2 0 0 20 0 15 0 446044706 15508250624 10179 33554432000 4194304 4196468 140720684468480 140447974605280 140447970385302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20650] ppid=20646 vsize=15144776 memory=14643 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20650/stat : 20650 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15508250624 10179 33554432000 4194304 4196468 140720684468480 140447922994320 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20651] ppid=20646 vsize=15144776 memory=3474724422619907744 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20651/stat : 20651 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15508250624 10179 33554432000 4194304 4196468 140720684468480 140447921941520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20652] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20652/stat : 20652 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15508250624 10179 33554432000 4194304 4196468 140720684468480 140447920888720 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20653] ppid=20646 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20653/stat : 20653 (java) S 20646 20646 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044706 15508250624 10179 33554432000 4194304 4196468 140720684468480 140447919835920 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20654] ppid=20646 vsize=15144776 memory=139889863444096 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20654/stat : 20654 (java) S 20646 20646 20180 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446044708 15508250624 10179 33554432000 4194304 4196468 140720684468480 140446911142256 140447970384514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20655] ppid=20646 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20655/stat : 20655 (java) S 20646 20646 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446044708 15508250624 10179 33554432000 4194304 4196468 140720684468480 140446910088224 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20656] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20656/stat : 20656 (java) S 20646 20646 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446044708 15508250624 10179 33554432000 4194304 4196468 140720684468480 140446909035376 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20657] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20657/stat : 20657 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044711 15508250624 10179 33554432000 4194304 4196468 140720684468480 140446705641296 140447970391963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20658] ppid=20646 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20648/task/20658/stat : 20658 (java) R 20646 20646 20180 0 -1 1077944384 501 0 0 0 2 0 0 0 20 0 15 0 446044711 15508250624 10179 33554432000 4194304 4196468 140720684468480 140446704589680 140447970384514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20659] ppid=20646 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20648/task/20659/stat : 20659 (java) S 20646 20646 20180 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 446044711 15508250624 10179 33554432000 4194304 4196468 140720684468480 140446703536880 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20660] ppid=20646 vsize=15144776 memory=139889863444096 CPUtime=0.08 cores=0,2,4,6
/proc/20648/task/20660/stat : 20660 (java) R 20646 20646 20180 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 446044711 15508250624 10179 33554432000 4194304 4196468 140720684468480 140446702484080 140447970385302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20661] ppid=20646 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20661/stat : 20661 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044711 15508250624 10179 33554432000 4194304 4196468 140720684468480 140446701431520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20662] ppid=20646 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20662/stat : 20662 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044711 15508250624 10179 33554432000 4194304 4196468 140720684468480 140446700378800 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42168 KiB

[startup+0.312845 s]*
/proc/loadavg: 3.61 1.42 1.27 9/234 20666
/proc/meminfo: memFree=30652592/32770624 swapFree=67004312/67108860
[pid=20646] ppid=20643 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20646/stat : 20646 (xcsp3-exec) S 20643 20646 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044705 115843072 363 33554432000 4194304 5098028 140734543428288 140734543426392 139876192297596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20512768 140734543434619 140734543434861 140734543434861 140734543437770 0
/proc/20646/statm: 28282 363 304 221 0 87 0
[pid=20648] ppid=20646 vsize=15149032 memory=50152 CPUtime=0.53 cores=0,2,4,6
/proc/20648/stat : 20648 (java) S 20646 20646 20180 0 -1 1077944320 10878 0 0 0 49 4 0 0 20 0 15 0 446044705 15512608768 12538 33554432000 4194304 4196468 140720684468480 140720684451024 140447970373367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
/proc/20648/statm: 3787258 12538 3371 1 0 3748377 0
[pid=20648/tid=20649] ppid=20646 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/20648/task/20649/stat : 20649 (java) R 20646 20646 20180 0 -1 4202560 7812 0 0 0 27 3 0 0 20 0 15 0 446044706 15512608768 12603 33554432000 4194304 4196468 140720684468480 140447974604480 140447954453854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20650] ppid=20646 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20650/stat : 20650 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15512608768 12603 33554432000 4194304 4196468 140720684468480 140447922994320 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20651] ppid=20646 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20651/stat : 20651 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15512608768 12603 33554432000 4194304 4196468 140720684468480 140447921941520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20652] ppid=20646 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20652/stat : 20652 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15512608768 12603 33554432000 4194304 4196468 140720684468480 140447920888720 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20653] ppid=20646 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20653/stat : 20653 (java) S 20646 20646 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044706 15512608768 12603 33554432000 4194304 4196468 140720684468480 140447919835920 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20654] ppid=20646 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20654/stat : 20654 (java) S 20646 20646 20180 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446044708 15512608768 12603 33554432000 4194304 4196468 140720684468480 140446911142256 140447970384514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20655] ppid=20646 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20655/stat : 20655 (java) S 20646 20646 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446044708 15512608768 12603 33554432000 4194304 4196468 140720684468480 140446910088224 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20656] ppid=20646 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20656/stat : 20656 (java) S 20646 20646 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446044708 15512608768 12603 33554432000 4194304 4196468 140720684468480 140446909035376 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20657] ppid=20646 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20657/stat : 20657 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044711 15512608768 12603 33554432000 4194304 4196468 140720684468480 140446705641296 140447970391963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20658] ppid=20646 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/20648/task/20658/stat : 20658 (java) R 20646 20646 20180 0 -1 4202560 630 0 0 0 5 0 0 0 20 0 15 0 446044711 15512608768 12603 33554432000 4194304 4196468 140720684468480 140446704579792 140447955301688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20659] ppid=20646 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20648/task/20659/stat : 20659 (java) S 20646 20646 20180 0 -1 1077944384 268 0 0 0 4 0 0 0 20 0 15 0 446044711 15512608768 12603 33554432000 4194304 4196468 140720684468480 140446703536880 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20660] ppid=20646 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20648/task/20660/stat : 20660 (java) S 20646 20646 20180 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 15 0 446044711 15512608768 12603 33554432000 4194304 4196468 140720684468480 140446702484080 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20661] ppid=20646 vsize=15148776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20661/stat : 20661 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044711 15512346624 12609 33554432000 4194304 4196468 140720684468480 140446701431520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20662] ppid=20646 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20662/stat : 20662 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044711 15512608768 12609 33554432000 4194304 4196468 140720684468480 140446700378800 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51604 KiB

[startup+0.7008 s]
/proc/loadavg: 3.61 1.42 1.27 9/234 20670
/proc/meminfo: memFree=30623380/32770624 swapFree=67004312/67108860
[pid=20646] ppid=20643 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20646/stat : 20646 (xcsp3-exec) S 20643 20646 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044705 115843072 363 33554432000 4194304 5098028 140734543428288 140734543426392 139876192297596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20512768 140734543434619 140734543434861 140734543434861 140734543437770 0
/proc/20646/statm: 28282 363 304 221 0 87 0
[pid=20648] ppid=20646 vsize=15152180 memory=102868 CPUtime=1.74 cores=0,2,4,6
/proc/20648/stat : 20648 (java) S 20646 20646 20180 0 -1 1077944320 14307 0 0 0 168 6 0 0 20 0 15 0 446044705 15515832320 25717 33554432000 4194304 4196468 140720684468480 140720684451024 140447970373367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
/proc/20648/statm: 3788045 25717 3447 1 0 3749145 0
[pid=20648/tid=20649] ppid=20646 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/20648/task/20649/stat : 20649 (java) R 20646 20646 20180 0 -1 4202560 8545 0 0 0 64 4 0 0 20 0 15 0 446044706 15514783744 25717 33554432000 4194304 4196468 140720684468480 140447974571536 140447963090471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20650] ppid=20646 vsize=15152180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20650/stat : 20650 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15515832320 25717 33554432000 4194304 4196468 140720684468480 140447922994320 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20651] ppid=20646 vsize=15152180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20651/stat : 20651 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15515832320 25717 33554432000 4194304 4196468 140720684468480 140447921941520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20652] ppid=20646 vsize=15152180 memory=740 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20652/stat : 20652 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044706 15515832320 25717 33554432000 4194304 4196468 140720684468480 140447920888720 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20653] ppid=20646 vsize=15151156 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20653/stat : 20653 (java) S 20646 20646 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044706 15514783744 25717 33554432000 4194304 4196468 140720684468480 140447919835920 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20654] ppid=20646 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20654/stat : 20654 (java) S 20646 20646 20180 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446044708 15514783744 25717 33554432000 4194304 4196468 140720684468480 140446911142256 140447970384514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20655] ppid=20646 vsize=15151156 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20655/stat : 20655 (java) S 20646 20646 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446044708 15514783744 25717 33554432000 4194304 4196468 140720684468480 140446910088224 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20656] ppid=20646 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20656/stat : 20656 (java) S 20646 20646 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446044708 15514783744 25717 33554432000 4194304 4196468 140720684468480 140446909035376 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20657] ppid=20646 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20657/stat : 20657 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044711 15514783744 25717 33554432000 4194304 4196468 140720684468480 140446705641296 140447970391963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20658] ppid=20646 vsize=15151156 memory=1160 CPUtime=0.35 cores=0,2,4,6
/proc/20648/task/20658/stat : 20658 (java) R 20646 20646 20180 0 -1 4202560 1588 0 0 0 35 0 0 0 20 0 15 0 446044711 15514783744 25717 33554432000 4194304 4196468 140720684468480 140446704574544 140447962662821 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20659] ppid=20646 vsize=15151156 memory=1720 CPUtime=0.35 cores=0,2,4,6
/proc/20648/task/20659/stat : 20659 (java) R 20646 20646 20180 0 -1 4202560 1200 0 0 0 35 0 0 0 20 0 15 0 446044711 15514783744 25717 33554432000 4194304 4196468 140720684468480 140446703527856 140447955135808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20660] ppid=20646 vsize=15151156 memory=1096 CPUtime=0.32 cores=0,2,4,6
/proc/20648/task/20660/stat : 20660 (java) R 20646 20646 20180 0 -1 4202560 1697 0 0 0 32 0 0 0 20 0 15 0 446044711 15514783744 25717 33554432000 4194304 4196468 140720684468480 140446702484080 140447949293926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20661] ppid=20646 vsize=15151156 memory=5988 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20661/stat : 20661 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044711 15514783744 25717 33554432000 4194304 4196468 140720684468480 140446701431520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20662] ppid=20646 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20662/stat : 20662 (java) S 20646 20646 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044711 15514783744 25717 33554432000 4194304 4196468 140720684468480 140446700378800 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15265308 KiB
Current children cumulated memory: 104320 KiB

[startup+1.5008 s]
/proc/loadavg: 3.61 1.42 1.27 8/234 20682
/proc/meminfo: memFree=30508888/32770624 swapFree=67004312/67108860
[pid=20646] ppid=20643 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20646/stat : 20646 (xcsp3-exec) S 20643 20646 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044705 115843072 363 33554432000 4194304 5098028 140734543428288 140734543426392 139876192297596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20512768 140734543434619 140734543434861 140734543434861 140734543437770 0
/proc/20646/statm: 28282 363 304 221 0 87 0

################
# More data... #
################

/proc/20648/task/20662/stat : 20662 (java) S 20646 20646 20180 0 -1 1077944384 462 0 0 0 0 5 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446700378800 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20729] ppid=20646 vsize=15417412 memory=7548 CPUtime=74.95 cores=0,2,4,6
/proc/20648/task/20729/stat : 20729 (java) R 20646 20646 20180 0 -1 4202560 549 0 0 0 7495 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446691396904 140447601462370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20730] ppid=20646 vsize=15417412 memory=4004 CPUtime=74.89 cores=0,2,4,6
/proc/20648/task/20730/stat : 20730 (java) R 20646 20646 20180 0 -1 4202560 5199 0 0 0 7489 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446690345176 140447601819777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20731] ppid=20646 vsize=15417412 memory=2832 CPUtime=75 cores=0,2,4,6
/proc/20648/task/20731/stat : 20731 (java) R 20646 20646 20180 0 -1 4202560 648 0 0 0 7500 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446688239600 140447601819676 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20732] ppid=20646 vsize=15417412 memory=776 CPUtime=75.09 cores=0,2,4,6
/proc/20648/task/20732/stat : 20732 (java) R 20646 20646 20180 0 -1 4202560 1135 0 0 0 7509 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446689294352 140447602111820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
Current children cumulated CPU time: 654.39 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1046624 KiB

[startup+166.402 s]
/proc/loadavg: 7.92 4.27 2.38 9/238 20737
/proc/meminfo: memFree=28786864/32770624 swapFree=67004312/67108860
[pid=20646] ppid=20643 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20646/stat : 20646 (xcsp3-exec) S 20643 20646 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044705 115843072 363 33554432000 4194304 5098028 140734543428288 140734543426392 139876192297596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20512768 140734543434619 140734543434861 140734543434861 140734543437770 0
/proc/20646/statm: 28282 363 304 221 0 87 0
[pid=20648] ppid=20646 vsize=15417412 memory=1045172 CPUtime=660.76 cores=0,2,4,6
/proc/20648/stat : 20648 (java) S 20646 20646 20180 0 -1 1077944320 73407 0 0 0 66034 42 0 0 20 0 19 0 446044705 15787429888 261293 33554432000 4194304 4196468 140720684468480 140720684451024 140447970373367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
/proc/20648/statm: 3854353 261293 3542 1 0 3815453 0
[pid=20648/tid=20649] ppid=20646 vsize=15417412 memory=1452 CPUtime=1.37 cores=0,2,4,6
/proc/20648/task/20649/stat : 20649 (java) S 20646 20646 20180 0 -1 1077944384 9777 0 0 0 132 5 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447974614144 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20650] ppid=20646 vsize=15417412 memory=1045172 CPUtime=0.13 cores=0,2,4,6
/proc/20648/task/20650/stat : 20650 (java) S 20646 20646 20180 0 -1 1077944384 2847 0 0 0 9 4 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447922994320 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20651] ppid=20646 vsize=15417412 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/20648/task/20651/stat : 20651 (java) S 20646 20646 20180 0 -1 1077944384 1392 0 0 0 9 4 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447921941520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20652] ppid=20646 vsize=15417412 memory=3588 CPUtime=0.13 cores=0,2,4,6
/proc/20648/task/20652/stat : 20652 (java) S 20646 20646 20180 0 -1 1077944384 3594 0 0 0 9 4 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447920888720 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20653] ppid=20646 vsize=15417412 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/20648/task/20653/stat : 20653 (java) S 20646 20646 20180 0 -1 1077944384 2454 0 0 0 9 3 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447919835920 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20654] ppid=20646 vsize=15417412 memory=-7674914008656224160 CPUtime=0.03 cores=0,2,4,6
/proc/20648/task/20654/stat : 20654 (java) S 20646 20646 20180 0 -1 1077944384 3006 0 0 0 2 1 0 0 20 0 19 0 446044708 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446911142256 140447970384514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20655] ppid=20646 vsize=15417412 memory=6369893512127080549 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20655/stat : 20655 (java) S 20646 20646 20180 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 446044708 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446910088288 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20656] ppid=20646 vsize=15417412 memory=6369893512127080549 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20656/stat : 20656 (java) S 20646 20646 20180 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446044708 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446909035392 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20657] ppid=20646 vsize=15417412 memory=47896 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20657/stat : 20657 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446705641296 140447970391963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20658] ppid=20646 vsize=15417412 memory=984 CPUtime=2.49 cores=0,2,4,6
/proc/20648/task/20658/stat : 20658 (java) S 20646 20646 20180 0 -1 1077944384 12659 0 0 0 248 1 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446704589680 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20659] ppid=20646 vsize=15417412 memory=1940 CPUtime=2.52 cores=0,2,4,6
/proc/20648/task/20659/stat : 20659 (java) S 20646 20646 20180 0 -1 1077944384 13016 0 0 0 251 1 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446703536880 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20660] ppid=20646 vsize=15417412 memory=1416 CPUtime=0.8 cores=0,2,4,6
/proc/20648/task/20660/stat : 20660 (java) S 20646 20646 20180 0 -1 1077944384 7404 0 0 0 79 1 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446702484080 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20661] ppid=20646 vsize=15417412 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20661/stat : 20661 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446701431520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20662] ppid=20646 vsize=15417412 memory=6791534058613427641 CPUtime=0.05 cores=0,2,4,6
/proc/20648/task/20662/stat : 20662 (java) S 20646 20646 20180 0 -1 1077944384 462 0 0 0 0 5 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446700378800 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20729] ppid=20646 vsize=15417412 memory=47896 CPUtime=76.51 cores=0,2,4,6
/proc/20648/task/20729/stat : 20729 (java) R 20646 20646 20180 0 -1 4202560 553 0 0 0 7651 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446691396904 140447602351620 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20730] ppid=20646 vsize=15417412 memory=984 CPUtime=76.49 cores=0,2,4,6
/proc/20648/task/20730/stat : 20730 (java) R 20646 20646 20180 0 -1 4202560 5232 0 0 0 7649 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446690345176 140447602020345 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20731] ppid=20646 vsize=15417412 memory=1940 CPUtime=76.6 cores=0,2,4,6
/proc/20648/task/20731/stat : 20731 (java) R 20646 20646 20180 0 -1 4202560 656 0 0 0 7660 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446688239600 140447601761076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20732] ppid=20646 vsize=15417412 memory=1416 CPUtime=76.69 cores=0,2,4,6
/proc/20648/task/20732/stat : 20732 (java) R 20646 20646 20180 0 -1 4202560 1140 0 0 0 7669 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446689294352 140447602111840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
Current children cumulated CPU time: 660.76 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1046624 KiB

[startup+166.802 s]
/proc/loadavg: 7.92 4.27 2.38 9/238 20737
/proc/meminfo: memFree=28786864/32770624 swapFree=67004312/67108860
[pid=20646] ppid=20643 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20646/stat : 20646 (xcsp3-exec) S 20643 20646 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044705 115843072 363 33554432000 4194304 5098028 140734543428288 140734543426392 139876192297596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20512768 140734543434619 140734543434861 140734543434861 140734543437770 0
/proc/20646/statm: 28282 363 304 221 0 87 0
[pid=20648] ppid=20646 vsize=15417412 memory=1045172 CPUtime=662.35 cores=0,2,4,6
/proc/20648/stat : 20648 (java) S 20646 20646 20180 0 -1 1077944320 73417 0 0 0 66193 42 0 0 20 0 19 0 446044705 15787429888 261293 33554432000 4194304 4196468 140720684468480 140720684451024 140447970373367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
/proc/20648/statm: 3854353 261293 3542 1 0 3815453 0
[pid=20648/tid=20649] ppid=20646 vsize=15417412 memory=1416 CPUtime=1.37 cores=0,2,4,6
/proc/20648/task/20649/stat : 20649 (java) S 20646 20646 20180 0 -1 1077944384 9777 0 0 0 132 5 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447974614144 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20650] ppid=20646 vsize=15417412 memory=1556 CPUtime=0.13 cores=0,2,4,6
/proc/20648/task/20650/stat : 20650 (java) S 20646 20646 20180 0 -1 1077944384 2847 0 0 0 9 4 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447922994320 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20651] ppid=20646 vsize=15417412 memory=3588 CPUtime=0.13 cores=0,2,4,6
/proc/20648/task/20651/stat : 20651 (java) S 20646 20646 20180 0 -1 1077944384 1392 0 0 0 9 4 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447921941520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20652] ppid=20646 vsize=15417412 memory=47896 CPUtime=0.13 cores=0,2,4,6
/proc/20648/task/20652/stat : 20652 (java) S 20646 20646 20180 0 -1 1077944384 3594 0 0 0 9 4 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447920888720 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20653] ppid=20646 vsize=15417412 memory=984 CPUtime=0.12 cores=0,2,4,6
/proc/20648/task/20653/stat : 20653 (java) S 20646 20646 20180 0 -1 1077944384 2454 0 0 0 9 3 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447919835920 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20654] ppid=20646 vsize=15417412 memory=1940 CPUtime=0.03 cores=0,2,4,6
/proc/20648/task/20654/stat : 20654 (java) S 20646 20646 20180 0 -1 1077944384 3006 0 0 0 2 1 0 0 20 0 19 0 446044708 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446911142256 140447970384514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20655] ppid=20646 vsize=15417412 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20655/stat : 20655 (java) S 20646 20646 20180 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 446044708 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446910088288 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20656] ppid=20646 vsize=15417412 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20656/stat : 20656 (java) S 20646 20646 20180 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446044708 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446909035392 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20657] ppid=20646 vsize=15417412 memory=740 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20657/stat : 20657 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446705641296 140447970391963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20658] ppid=20646 vsize=15417412 memory=6791534058613427641 CPUtime=2.49 cores=0,2,4,6
/proc/20648/task/20658/stat : 20658 (java) S 20646 20646 20180 0 -1 1077944384 12659 0 0 0 248 1 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446704589680 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20659] ppid=20646 vsize=15417412 memory=1808 CPUtime=2.52 cores=0,2,4,6
/proc/20648/task/20659/stat : 20659 (java) S 20646 20646 20180 0 -1 1077944384 13016 0 0 0 251 1 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446703536880 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20660] ppid=20646 vsize=15417412 memory=920 CPUtime=0.8 cores=0,2,4,6
/proc/20648/task/20660/stat : 20660 (java) S 20646 20646 20180 0 -1 1077944384 7404 0 0 0 79 1 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446702484080 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20661] ppid=20646 vsize=15417412 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20661/stat : 20661 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446701431520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20662] ppid=20646 vsize=15417412 memory=2596 CPUtime=0.05 cores=0,2,4,6
/proc/20648/task/20662/stat : 20662 (java) S 20646 20646 20180 0 -1 1077944384 462 0 0 0 0 5 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446700378800 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20729] ppid=20646 vsize=15417412 memory=2584 CPUtime=76.91 cores=0,2,4,6
/proc/20648/task/20729/stat : 20729 (java) R 20646 20646 20180 0 -1 4202560 554 0 0 0 7691 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446691396904 140447601373820 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20730] ppid=20646 vsize=15417412 memory=1408 CPUtime=76.89 cores=0,2,4,6
/proc/20648/task/20730/stat : 20730 (java) R 20646 20646 20180 0 -1 4202560 5238 0 0 0 7689 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446690345176 140447603364755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20731] ppid=20646 vsize=15417412 memory=1096 CPUtime=77 cores=0,2,4,6
/proc/20648/task/20731/stat : 20731 (java) R 20646 20646 20180 0 -1 4202560 657 0 0 0 7700 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446688239600 140447601187120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20732] ppid=20646 vsize=15417412 memory=5988 CPUtime=77.09 cores=0,2,4,6
/proc/20648/task/20732/stat : 20732 (java) R 20646 20646 20180 0 -1 4202560 1142 0 0 0 7709 0 0 0 20 0 19 0 446053640 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446689294352 140447601374830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
Current children cumulated CPU time: 662.35 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1046624 KiB

[startup+167.202 s]
/proc/loadavg: 7.92 4.27 2.38 9/238 20737
/proc/meminfo: memFree=28786864/32770624 swapFree=67004312/67108860
[pid=20646] ppid=20643 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20646/stat : 20646 (xcsp3-exec) S 20643 20646 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044705 115843072 363 33554432000 4194304 5098028 140734543428288 140734543426392 139876192297596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20512768 140734543434619 140734543434861 140734543434861 140734543437770 0
/proc/20646/statm: 28282 363 304 221 0 87 0
[pid=20648] ppid=20646 vsize=15417412 memory=1045172 CPUtime=663.94 cores=0,2,4,6
/proc/20648/stat : 20648 (java) S 20646 20646 20180 0 -1 1077944320 73553 0 0 0 66352 42 0 0 20 0 19 0 446044705 15787429888 261293 33554432000 4194304 4196468 140720684468480 140720684451024 140447970373367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
/proc/20648/statm: 3854353 261293 3542 1 0 3815453 0
[pid=20648/tid=20649] ppid=20646 vsize=15417412 memory=6791534058613427641 CPUtime=1.37 cores=0,2,4,6
/proc/20648/task/20649/stat : 20649 (java) S 20646 20646 20180 0 -1 1077944384 9777 0 0 0 132 5 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447974614144 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20650] ppid=20646 vsize=15417412 memory=1096 CPUtime=0.13 cores=0,2,4,6
/proc/20648/task/20650/stat : 20650 (java) S 20646 20646 20180 0 -1 1077944384 2847 0 0 0 9 4 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447922994320 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20651] ppid=20646 vsize=15417412 memory=5988 CPUtime=0.13 cores=0,2,4,6
/proc/20648/task/20651/stat : 20651 (java) S 20646 20646 20180 0 -1 1077944384 1392 0 0 0 9 4 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447921941520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20652] ppid=20646 vsize=15417412 memory=14012 CPUtime=0.13 cores=0,2,4,6
/proc/20648/task/20652/stat : 20652 (java) S 20646 20646 20180 0 -1 1077944384 3594 0 0 0 9 4 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447920888720 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20653] ppid=20646 vsize=15417412 memory=23684 CPUtime=0.12 cores=0,2,4,6
/proc/20648/task/20653/stat : 20653 (java) S 20646 20646 20180 0 -1 1077944384 2454 0 0 0 9 3 0 0 20 0 19 0 446044706 15787429888 261293 33554432000 4194304 4196468 140720684468480 140447919835920 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20654] ppid=20646 vsize=15417412 memory=14068 CPUtime=0.03 cores=0,2,4,6
/proc/20648/task/20654/stat : 20654 (java) S 20646 20646 20180 0 -1 1077944384 3006 0 0 0 2 1 0 0 20 0 19 0 446044708 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446911142256 140447970384514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20655] ppid=20646 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20655/stat : 20655 (java) S 20646 20646 20180 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 446044708 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446910088288 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20656] ppid=20646 vsize=15417412 memory=1045172 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20656/stat : 20656 (java) S 20646 20646 20180 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 446044708 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446909035392 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20657] ppid=20646 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20657/stat : 20657 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446705641296 140447970391963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20658] ppid=20646 vsize=15417412 memory=1073900 CPUtime=2.49 cores=0,2,4,6
/proc/20648/task/20658/stat : 20658 (java) S 20646 20646 20180 0 -1 1077944384 12659 0 0 0 248 1 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446704589680 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20659] ppid=20646 vsize=15417412 memory=1452 CPUtime=2.52 cores=0,2,4,6
/proc/20648/task/20659/stat : 20659 (java) S 20646 20646 20180 0 -1 1077944384 13016 0 0 0 251 1 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446703536880 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20660] ppid=20646 vsize=15417412 memory=1073888 CPUtime=0.8 cores=0,2,4,6
/proc/20648/task/20660/stat : 20660 (java) S 20646 20646 20180 0 -1 1077944384 7404 0 0 0 79 1 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446702484080 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20661] ppid=20646 vsize=15417412 memory=1073388 CPUtime=0 cores=0,2,4,6
/proc/20648/task/20661/stat : 20661 (java) S 20646 20646 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446701431520 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20662] ppid=20646 vsize=15417412 memory=1073888 CPUtime=0.05 cores=0,2,4,6
/proc/20648/task/20662/stat : 20662 (java) S 20646 20646 20180 0 -1 1077944384 462 0 0 0 0 5 0 0 20 0 19 0 446044711 15787429888 261293 33554432000 4194304 4196468 140720684468480 140446700378800 140447970384514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20729] ppid=20646 vsize=15417412 memory=984 CPUtime=77.3 cores=0,2,4,6
/proc/20648/task/20729/stat : 20729 (java) S 20646 20646 20180 0 -1 1077944384 646 0 0 0 7730 0 0 0 20 0 19 0 446053640 15787429888 261294 33554432000 4194304 4196468 140720684468480 140446691403488 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20730] ppid=20646 vsize=15417412 memory=1940 CPUtime=77.29 cores=0,2,4,6
/proc/20648/task/20730/stat : 20730 (java) S 20646 20646 20180 0 -1 1077944384 5274 0 0 0 7729 0 0 0 20 0 19 0 446053640 15787429888 261294 33554432000 4194304 4196468 140720684468480 140446690348336 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20731] ppid=20646 vsize=15417412 memory=1416 CPUtime=77.4 cores=0,2,4,6
/proc/20648/task/20731/stat : 20731 (java) S 20646 20646 20180 0 -1 1077944384 675 0 0 0 7740 0 0 0 20 0 19 0 446053640 15787429888 261294 33554432000 4194304 4196468 140720684468480 140446688244464 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
[pid=20648/tid=20732] ppid=20646 vsize=15417412 memory=1073388 CPUtime=77.49 cores=0,2,4,6
/proc/20648/task/20732/stat : 20732 (java) S 20646 20646 20180 0 -1 1077944384 1173 0 0 0 7749 0 0 0 20 0 19 0 446053640 15787429888 261294 33554432000 4194304 4196468 140720684468480 140446689297760 140447970383573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26587136 140720684475375 140720684475546 140720684475546 140720684478415 0
Current children cumulated CPU time: 663.94 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1046624 KiB

Child status: 0
Real time (s): 167.214
CPU time (s): 663.964
CPU user time (s): 663.531
CPU system time (s): 0.433211
CPU usage (%): 397.075
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1130184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 663.531
system time used= 0.433211
maximum resident set size= 1146140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6613
involuntary context switches= 10715


# summary of solver processes directly reported to runsolver:
#   pid: 20646
#   total CPU time (s): 663.964
#   total CPU user time (s): 663.531
#   total CPU system time (s): 0.433211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09807 second user time and 1.89219 second system time

The end