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 (9335 MiB free)
memory of node 1: 16384 MiB (14842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272788-1502846895/watcher-4272788-1502846895 -o /tmp/evaluation-result-4272788-1502846895/solver-4272788-1502846895 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 526069108 HOME/instance-4272788-1502846895.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13100, runsolver pid=13097
[startup+0.10868 s]*
/proc/loadavg: 5.13 4.12 2.76 3/207 13110
/proc/meminfo: memFree=24748000/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 86910146 9740288 344 18446744073709551615 4194304 5098028 140728938200384 140728938198488 140280736141948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25956352 140728938201465 140728938201669 140728938201669 140728938205163 0
/proc/13100/statm: 2378 344 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13574484 memory=19296 CPUtime=0.03 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 897 0 -1 1077944320 4175 0 0 0 3 0 0 0 20 0 9 0 86910153 13900271616 4824 18446744073709551615 4194304 4196468 140724498049792 140724498032336 140558433226487 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
/proc/13102/statm: 3393621 4824 2138 1 0 3383118 0
[pid=13102/tid=13103] ppid=13100 vsize=13574484 memory=7311146985107750967 CPUtime=0.03 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 897 0 -1 4202560 2881 0 0 0 3 0 0 0 20 0 9 0 86910153 13900271616 4824 18446744073709551615 4194304 4196468 140724498049792 140558437461880 140558056171377 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13104] ppid=13100 vsize=13574484 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 86910154 13900271616 4824 18446744073709551615 4194304 4196468 140724498049792 140558033492368 140558433236693 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13105] ppid=13100 vsize=13574484 memory=4049214386576922272 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 86910154 13900271616 4824 18446744073709551615 4194304 4196468 140724498049792 140558032439568 140558433236693 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13106] ppid=13100 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 86910154 13900271616 4824 18446744073709551615 4194304 4196468 140724498049792 140558031387280 140558433236693 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13107] ppid=13100 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 86910154 13900271616 4824 18446744073709551615 4194304 4196468 140724498049792 140558030334480 140558433236693 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13108] ppid=13100 vsize=13574484 memory=140555930408576 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 86910155 13900271616 4824 18446744073709551615 4194304 4196468 140724498049792 140557978917488 140558433237634 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13109] ppid=13100 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 86910155 13900271616 4824 18446744073709551615 4194304 4196468 140724498049792 140557977863456 140558433236693 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13110] ppid=13100 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 86910156 13900271616 4824 18446744073709551615 4194304 4196468 140724498049792 140557976811120 140558433236693 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20672 KiB
[startup+0.211793 s]*
/proc/loadavg: 5.13 4.12 2.76 3/213 13116
/proc/meminfo: memFree=24741980/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 86910146 9740288 344 18446744073709551615 4194304 5098028 140728938200384 140728938198488 140280736141948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25956352 140728938201465 140728938201669 140728938201669 140728938205163 0
/proc/13100/statm: 2378 344 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13974352 memory=28152 CPUtime=0.13 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 897 0 -1 1077944320 5475 0 0 0 12 1 0 0 20 0 15 0 86910153 14309736448 7038 18446744073709551615 4194304 4196468 140724498049792 140724498032336 140558433226487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
/proc/13102/statm: 3493588 7038 2847 1 0 3482964 0
[pid=13102/tid=13103] ppid=13100 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 897 0 -1 4202560 3390 0 0 0 9 1 0 0 20 0 15 0 86910153 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140558437453904 140558433238422 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13104] ppid=13100 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910154 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140558033492368 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13105] ppid=13100 vsize=13974352 memory=4049214386576922272 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910154 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140558032439568 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13106] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910154 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140558031387280 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13107] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86910154 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140558030334480 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13108] ppid=13100 vsize=13974352 memory=140555930408576 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86910155 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140557978917488 140558433237634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13109] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86910155 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140557977863456 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13110] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86910156 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140557976811120 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13111] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140557975759440 140558433245083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13112] ppid=13100 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) R 13100 13100 897 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 86910158 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140557974706288 140558433237634 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13113] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) R 13100 13100 897 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 86910158 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140557973653488 140558419240796 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13114] ppid=13100 vsize=13974352 memory=140555930408576 CPUtime=0.02 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) R 13100 13100 897 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 86910158 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140557905029488 140558414600028 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13115] ppid=13100 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140557903976928 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13116] ppid=13100 vsize=13974352 memory=140555930408576 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910163 14309736448 7104 18446744073709551615 4194304 4196468 140724498049792 140557902924720 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29528 KiB
[startup+0.310567 s]*
/proc/loadavg: 5.13 4.12 2.76 3/213 13116
/proc/meminfo: memFree=24728740/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 86910146 9740288 344 18446744073709551615 4194304 5098028 140728938200384 140728938198488 140280736141948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25956352 140728938201465 140728938201669 140728938201669 140728938205163 0
/proc/13100/statm: 2378 344 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13978608 memory=40344 CPUtime=0.33 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 897 0 -1 1077944320 9277 0 0 0 30 3 0 0 20 0 15 0 86910153 14314094592 10086 18446744073709551615 4194304 4196468 140724498049792 140724498032336 140558433226487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
/proc/13102/statm: 3494652 10086 3044 1 0 3482964 0
[pid=13102/tid=13103] ppid=13100 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 897 0 -1 4202560 6355 0 0 0 17 2 0 0 20 0 15 0 86910153 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140558437447480 140558433248413 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13104] ppid=13100 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910154 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140558033492368 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13105] ppid=13100 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910154 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140558032439568 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13106] ppid=13100 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910154 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140558031387280 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13107] ppid=13100 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86910154 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140558030334480 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13108] ppid=13100 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86910155 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140557978917488 140558433237634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13109] ppid=13100 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86910155 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140557977863456 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13110] ppid=13100 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86910156 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140557976811120 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13111] ppid=13100 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140557975759440 140558433245083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13112] ppid=13100 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 897 0 -1 1077944384 666 0 0 0 2 0 0 0 20 0 15 0 86910158 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140557974706288 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13113] ppid=13100 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 897 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 15 0 86910158 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140557973653488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13114] ppid=13100 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 897 0 -1 1077944384 744 0 0 0 7 0 0 0 20 0 15 0 86910158 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140557905029488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13115] ppid=13100 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140557903976928 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13116] ppid=13100 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910163 14314094592 10142 18446744073709551615 4194304 4196468 140724498049792 140557902924720 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41720 KiB
[startup+0.701682 s]
/proc/loadavg: 5.13 4.12 2.76 4/213 13116
/proc/meminfo: memFree=24710596/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 86910146 9740288 344 18446744073709551615 4194304 5098028 140728938200384 140728938198488 140280736141948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25956352 140728938201465 140728938201669 140728938201669 140728938205163 0
/proc/13100/statm: 2378 344 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13978684 memory=94548 CPUtime=1.45 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 897 0 -1 1077944320 13730 0 0 0 140 5 0 0 20 0 15 0 86910153 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140724498032336 140558433226487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
/proc/13102/statm: 3494671 23637 3165 1 0 3482964 0
[pid=13102/tid=13103] ppid=13100 vsize=13978684 memory=153 CPUtime=0.57 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 897 0 -1 4202560 7868 0 0 0 54 3 0 0 20 0 15 0 86910153 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140558437463280 140558425904501 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13104] ppid=13100 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910154 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140558033492368 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13105] ppid=13100 vsize=13978684 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910154 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140558032439568 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13106] ppid=13100 vsize=13978684 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910154 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140558031387280 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13107] ppid=13100 vsize=13978684 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 86910154 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140558030334480 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13108] ppid=13100 vsize=13978684 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 86910155 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140557978917488 140558433237634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13109] ppid=13100 vsize=13978684 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 86910155 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140557977863456 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13110] ppid=13100 vsize=13978684 memory=2000 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 86910156 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140557976811120 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13111] ppid=13100 vsize=13978684 memory=11016 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140557975759440 140558433245083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13112] ppid=13100 vsize=13978684 memory=1200 CPUtime=0.27 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) R 13100 13100 897 0 -1 4202560 1480 0 0 0 27 0 0 0 20 0 15 0 86910158 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140557974695520 140558418352720 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13113] ppid=13100 vsize=13978684 memory=2241 CPUtime=0.28 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) R 13100 13100 897 0 -1 4202560 1376 0 0 0 28 0 0 0 20 0 15 0 86910158 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140557973639368 140558418343654 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13114] ppid=13100 vsize=13978684 memory=2244 CPUtime=0.29 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 897 0 -1 1077944384 1699 0 0 0 29 0 0 0 20 0 15 0 86910158 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140557905029488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13115] ppid=13100 vsize=13978684 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140557903976928 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13116] ppid=13100 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 86910163 14314172416 23637 18446744073709551615 4194304 4196468 140724498049792 140557902924720 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 95924 KiB
[startup+1.50094 s]
/proc/loadavg: 5.13 4.12 2.76 5/213 13116
/proc/meminfo: memFree=24647672/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 86910146 9740288 344 18446744073709551615 4194304 5098028 140728938200384 140728938198488 140280736141948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25956352 140728938201465 140728938201669 140728938201669 140728938205163 0
/proc/13100/statm: 2378 344 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13980732 memory=249552 CPUtime=3.14 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 897 0 -1 1077944320 19330 0 0 0 297 17 0 0 20 0 15 0 86910153 14316269568 62388 18446744073709551615 4194304 4196468 140724498049792 140724498032336 140558433226487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
/proc/13102/statm: 3495183 62388 3203 1 0 3483476 0
[pid=13102/tid=13103] ppid=13100 vsize=13980732 memory=117 CPUtime=1.31 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 897 0 -1 4202560 9357 0 0 0 127 4 0 0 20 0 15 0 86910153 14316269568 62388 18446744073709551615 4194304 4196468 140724498049792 140558437459864 140558060688065 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13104] ppid=13100 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 897 0 -1 1077944384 389 0 0 0 3 2 0 0 20 0 15 0 86910154 14316269568 62388 18446744073709551615 4194304 4196468 140724498049792 140558033492368 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13105] ppid=13100 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 897 0 -1 1077944384 95 0 0 0 3 2 0 0 20 0 15 0 86910154 14316269568 62388 18446744073709551615 4194304 4196468 140724498049792 140558032439568 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13106] ppid=13100 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 897 0 -1 1077944384 226 0 0 0 3 2 0 0 20 0 15 0 86910154 14316269568 62388 18446744073709551615 4194304 4196468 140724498049792 140558031387280 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13107] ppid=13100 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
################
# More data... #
################
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 897 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 86910156 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557976811120 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13111] ppid=13100 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557975759440 140558433245083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13112] ppid=13100 vsize=13980732 memory=2257 CPUtime=3.22 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 897 0 -1 1077944384 26305 0 0 0 319 3 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557974706288 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13113] ppid=13100 vsize=13980732 memory=1376 CPUtime=2.98 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 897 0 -1 1077944384 21544 0 0 0 295 3 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557973653488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13114] ppid=13100 vsize=13980732 memory=1376 CPUtime=0.88 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 897 0 -1 1077944384 13720 0 0 0 86 2 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557905029488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13115] ppid=13100 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557903976928 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13116] ppid=13100 vsize=13980732 memory=1264600 CPUtime=1.45 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 897 0 -1 1077944384 1396 0 0 0 64 81 0 0 20 0 15 0 86910163 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557902924720 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
Current children cumulated CPU time: 2394.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1265976 KiB
[startup+2442.3 s]
/proc/loadavg: 1.90 1.97 2.04 3/212 13607
/proc/meminfo: memFree=28345696/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 86910146 9740288 344 18446744073709551615 4194304 5098028 140728938200384 140728938198488 140280736141948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25956352 140728938201465 140728938201669 140728938201669 140728938205163 0
/proc/13100/statm: 2378 344 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13980732 memory=1264600 CPUtime=2454.85 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 897 0 -1 1077944320 194651 0 0 0 245288 197 0 0 20 0 15 0 86910153 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140724498032336 140558433226487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
/proc/13102/statm: 3495183 316150 3266 1 0 3483476 0
[pid=13102/tid=13103] ppid=13100 vsize=13980732 memory=1264600 CPUtime=2440.97 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 897 0 -1 4202560 96995 0 0 0 244076 21 0 0 20 0 15 0 86910153 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140558437463928 140558062433041 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13104] ppid=13100 vsize=13980732 memory=1264600 CPUtime=1.28 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 897 0 -1 1077944384 8960 0 0 0 105 23 0 0 20 0 15 0 86910154 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140558033492368 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13105] ppid=13100 vsize=13980732 memory=1376 CPUtime=1.27 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 897 0 -1 1077944384 6050 0 0 0 104 23 0 0 20 0 15 0 86910154 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140558032439568 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13106] ppid=13100 vsize=13980732 memory=1264600 CPUtime=1.26 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 897 0 -1 1077944384 4587 0 0 0 103 23 0 0 20 0 15 0 86910154 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140558031387280 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13107] ppid=13100 vsize=13980732 memory=1376 CPUtime=1.27 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 897 0 -1 1077944384 7860 0 0 0 105 22 0 0 20 0 15 0 86910154 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140558030334480 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13108] ppid=13100 vsize=13980732 memory=1264600 CPUtime=0.11 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 897 0 -1 1077944384 5272 0 0 0 8 3 0 0 20 0 15 0 86910155 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557978917488 140558433237634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13109] ppid=13100 vsize=13980732 memory=1264600 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 86910155 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557977863456 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13110] ppid=13100 vsize=13980732 memory=1264600 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 897 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 86910156 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557976811120 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13111] ppid=13100 vsize=13980732 memory=1264600 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557975759440 140558433245083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13112] ppid=13100 vsize=13980732 memory=1264600 CPUtime=3.23 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 897 0 -1 1077944384 26871 0 0 0 320 3 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557974706288 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13113] ppid=13100 vsize=13980732 memory=1376 CPUtime=2.98 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 897 0 -1 1077944384 21548 0 0 0 295 3 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557973653488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13114] ppid=13100 vsize=13980732 memory=1376 CPUtime=0.88 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 897 0 -1 1077944384 13727 0 0 0 86 2 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557905029488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13115] ppid=13100 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557903976928 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13116] ppid=13100 vsize=13980732 memory=1264600 CPUtime=1.48 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 897 0 -1 1077944384 1428 0 0 0 65 83 0 0 20 0 15 0 86910163 14316269568 316150 18446744073709551615 4194304 4196468 140724498049792 140557902924720 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
Current children cumulated CPU time: 2454.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1265976 KiB
[startup+2502.3 s]
/proc/loadavg: 1.92 1.96 2.04 3/211 13610
/proc/meminfo: memFree=28271428/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 86910146 9740288 344 18446744073709551615 4194304 5098028 140728938200384 140728938198488 140280736141948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25956352 140728938201465 140728938201669 140728938201669 140728938205163 0
/proc/13100/statm: 2378 344 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13980732 memory=1276960 CPUtime=2514.99 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 897 0 -1 1077944320 197775 0 0 0 251295 204 0 0 20 0 15 0 86910153 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140724498032336 140558433226487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
/proc/13102/statm: 3495183 319240 3266 1 0 3483476 0
[pid=13102/tid=13103] ppid=13100 vsize=13980732 memory=1276960 CPUtime=2500.95 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 897 0 -1 4202560 98508 0 0 0 250073 22 0 0 20 0 15 0 86910153 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558437465840 140558063120108 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13104] ppid=13100 vsize=13980732 memory=1276960 CPUtime=1.31 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 897 0 -1 1077944384 9502 0 0 0 107 24 0 0 20 0 15 0 86910154 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558033492368 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13105] ppid=13100 vsize=13980732 memory=1376 CPUtime=1.3 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 897 0 -1 1077944384 6164 0 0 0 106 24 0 0 20 0 15 0 86910154 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558032439568 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13106] ppid=13100 vsize=13980732 memory=1276960 CPUtime=1.29 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 897 0 -1 1077944384 4759 0 0 0 105 24 0 0 20 0 15 0 86910154 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558031387280 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13107] ppid=13100 vsize=13980732 memory=1276960 CPUtime=1.3 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 897 0 -1 1077944384 8376 0 0 0 107 23 0 0 20 0 15 0 86910154 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558030334480 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13108] ppid=13100 vsize=13980732 memory=1376 CPUtime=0.12 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 897 0 -1 1077944384 5502 0 0 0 8 4 0 0 20 0 15 0 86910155 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557978917488 140558433237634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13109] ppid=13100 vsize=13980732 memory=1276960 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 86910155 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557977863456 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13110] ppid=13100 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 897 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 86910156 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557976811120 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13111] ppid=13100 vsize=13980732 memory=47916 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557975759440 140558433245083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13112] ppid=13100 vsize=13980732 memory=1376 CPUtime=3.23 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 897 0 -1 1077944384 26871 0 0 0 320 3 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557974706288 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13113] ppid=13100 vsize=13980732 memory=1376 CPUtime=2.98 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 897 0 -1 1077944384 21548 0 0 0 295 3 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557973653488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13114] ppid=13100 vsize=13980732 memory=1376 CPUtime=0.88 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 897 0 -1 1077944384 13727 0 0 0 86 2 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557905029488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13115] ppid=13100 vsize=13980732 memory=1276960 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557903976928 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13116] ppid=13100 vsize=13980732 memory=1376 CPUtime=1.52 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 897 0 -1 1077944384 1465 0 0 0 67 85 0 0 20 0 15 0 86910163 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557902924720 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
Current children cumulated CPU time: 2514.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1278336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.4 s]
/proc/loadavg: 1.93 1.96 2.04 3/211 13611
/proc/meminfo: memFree=28266276/32770624 swapFree=67108860/67108860
[pid=13100] ppid=13097 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13100/stat : 13100 (xcsp3-exec) S 13097 13100 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 86910146 9740288 344 18446744073709551615 4194304 5098028 140728938200384 140728938198488 140280736141948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 25956352 140728938201465 140728938201669 140728938201669 140728938205163 0
/proc/13100/statm: 2378 344 289 221 0 87 0
[pid=13102] ppid=13100 vsize=13980732 memory=1276960 CPUtime=2520.09 cores=1,3,5,7
/proc/13102/stat : 13102 (java) S 13100 13100 897 0 -1 1077944320 197831 0 0 0 251805 204 0 0 20 0 15 0 86910153 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140724498032336 140558433226487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
/proc/13102/statm: 3495183 319240 3266 1 0 3483476 0
[pid=13102/tid=13103] ppid=13100 vsize=13980732 memory=14973360639576424 CPUtime=2506.05 cores=1,3,5,7
/proc/13102/task/13103/stat : 13103 (java) R 13100 13100 897 0 -1 4202560 98548 0 0 0 250583 22 0 0 20 0 15 0 86910153 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558437465840 140558062194871 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13104] ppid=13100 vsize=13980732 memory=1200 CPUtime=1.31 cores=1,3,5,7
/proc/13102/task/13104/stat : 13104 (java) S 13100 13100 897 0 -1 1077944384 9502 0 0 0 107 24 0 0 20 0 15 0 86910154 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558033492368 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13105] ppid=13100 vsize=13980732 memory=15880 CPUtime=1.3 cores=1,3,5,7
/proc/13102/task/13105/stat : 13105 (java) S 13100 13100 897 0 -1 1077944384 6164 0 0 0 106 24 0 0 20 0 15 0 86910154 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558032439568 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13106] ppid=13100 vsize=13980732 memory=26772 CPUtime=1.29 cores=1,3,5,7
/proc/13102/task/13106/stat : 13106 (java) S 13100 13100 897 0 -1 1077944384 4759 0 0 0 105 24 0 0 20 0 15 0 86910154 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558031387280 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13107] ppid=13100 vsize=13980732 memory=1712 CPUtime=1.3 cores=1,3,5,7
/proc/13102/task/13107/stat : 13107 (java) S 13100 13100 897 0 -1 1077944384 8376 0 0 0 107 23 0 0 20 0 15 0 86910154 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140558030334480 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13108] ppid=13100 vsize=13980732 memory=4616 CPUtime=0.12 cores=1,3,5,7
/proc/13102/task/13108/stat : 13108 (java) S 13100 13100 897 0 -1 1077944384 5502 0 0 0 8 4 0 0 20 0 15 0 86910155 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557978917488 140558433237634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13109] ppid=13100 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13109/stat : 13109 (java) S 13100 13100 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 86910155 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557977863456 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13110] ppid=13100 vsize=13980732 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13110/stat : 13110 (java) S 13100 13100 897 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 86910156 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557976811120 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13111] ppid=13100 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13111/stat : 13111 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557975759440 140558433245083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13112] ppid=13100 vsize=13980732 memory=2000 CPUtime=3.23 cores=1,3,5,7
/proc/13102/task/13112/stat : 13112 (java) S 13100 13100 897 0 -1 1077944384 26874 0 0 0 320 3 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557974706288 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13113] ppid=13100 vsize=13980732 memory=11016 CPUtime=2.98 cores=1,3,5,7
/proc/13102/task/13113/stat : 13113 (java) S 13100 13100 897 0 -1 1077944384 21556 0 0 0 295 3 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557973653488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13114] ppid=13100 vsize=13980732 memory=1200 CPUtime=0.88 cores=1,3,5,7
/proc/13102/task/13114/stat : 13114 (java) S 13100 13100 897 0 -1 1077944384 13730 0 0 0 86 2 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557905029488 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13115] ppid=13100 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/13102/task/13115/stat : 13115 (java) S 13100 13100 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 86910158 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557903976928 140558433236693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
[pid=13102/tid=13116] ppid=13100 vsize=13980732 memory=26772 CPUtime=1.52 cores=1,3,5,7
/proc/13102/task/13116/stat : 13116 (java) S 13100 13100 897 0 -1 1077944384 1467 0 0 0 67 85 0 0 20 0 15 0 86910163 14316269568 319240 18446744073709551615 4194304 4196468 140724498049792 140557902924720 140558433237634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9658368 140724498051505 140724498051681 140724498051681 140724498055119 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1278336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.41 s]
# the end of solver process 13100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00191 s, system=0 s
[startup+2507.42 s]
# the end of solver process 13102 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.06 s, system=2.05953 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2507.42
CPU time (s): 2520.12
CPU user time (s): 2518.06
CPU system time (s): 2.05953
CPU usage (%): 100.507
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1299780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.06
system time used= 2.05953
maximum resident set size= 1307740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58676
involuntary context switches= 1658
# summary of solver processes directly reported to runsolver:
# pid: 13100,13102
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.06
# total CPU system time (s): 2.05953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9828 second user time and 25.4125 second system time
The end