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 (15221 MiB free)
memory of node 1: 16384 MiB (15616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270250-1502616785/watcher-4270250-1502616785 -o /tmp/evaluation-result-4270250-1502616785/solver-4270250-1502616785 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2095573414 HOME/instance-4270250-1502616785.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=28346, runsolver pid=28342
[startup+0.100634 s]*
/proc/loadavg: 1.00 1.05 1.40 2/185 28355
/proc/meminfo: memFree=31575780/32770624 swapFree=67108860/67108860
[pid=28346] ppid=28342 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28346/stat : 28346 (xcsp3-exec) S 28342 28346 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63871890 9740288 345 18446744073709551615 4194304 5098028 140732727613456 140732727611560 140330452984444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29937664 140732727619966 140732727620170 140732727620170 140732727623659 0
/proc/28346/statm: 2378 345 289 221 0 87 0
[pid=28352] ppid=28346 vsize=13358712 memory=12124 CPUtime=0 cores=1,3,5,7
/proc/28352/stat : 28352 (java) S 28346 28346 17093 0 -1 1077944320 2828 0 0 0 0 0 0 0 20 0 6 0 63871900 13679321088 3031 18446744073709551615 4194304 4196468 140728624816256 140728624798800 139721226485495 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
/proc/28352/statm: 3339678 3031 1464 1 0 3329175 0
[pid=28352/tid=28354] ppid=28346 vsize=13358712 memory=-6871798056524144002 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28354/stat : 28354 (java) R 28346 28346 17093 0 -1 4202560 1681 0 0 0 0 0 0 0 20 0 6 0 63871900 13679321088 3163 18446744073709551615 4194304 4196468 140728624816256 139721230721616 139721120304749 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28356] ppid=28346 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28356/stat : 28356 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 63871901 13679321088 3163 18446744073709551615 4194304 4196468 140728624816256 139720827079824 139721226495701 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28358] ppid=28346 vsize=13358712 memory=140675515025024 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28358/stat : 28358 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 63871901 13679321088 3163 18446744073709551615 4194304 4196468 140728624816256 139720826027024 139721226495701 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28359] ppid=28346 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28359/stat : 28359 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 63871901 13679321088 3163 18446744073709551615 4194304 4196468 140728624816256 139720824974224 139721226495701 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28362] ppid=28346 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28362/stat : 28362 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 63871901 13679321088 3163 18446744073709551615 4194304 4196468 140728624816256 139720823921424 139721226495701 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 13504 KiB
[startup+0.210142 s]*
/proc/loadavg: 1.00 1.05 1.40 2/210 28380
/proc/meminfo: memFree=31550644/32770624 swapFree=67108860/67108860
[pid=28346] ppid=28342 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28346/stat : 28346 (xcsp3-exec) S 28342 28346 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63871890 9740288 345 18446744073709551615 4194304 5098028 140732727613456 140732727611560 140330452984444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29937664 140732727619966 140732727620170 140732727620170 140732727623659 0
/proc/28346/statm: 2378 345 289 221 0 87 0
[pid=28352] ppid=28346 vsize=13974352 memory=27516 CPUtime=0.1 cores=1,3,5,7
/proc/28352/stat : 28352 (java) S 28346 28346 17093 0 -1 1077944320 5301 0 0 0 9 1 0 0 20 0 15 0 63871900 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 140728624798800 139721226485495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
/proc/28352/statm: 3493588 6879 2744 1 0 3482964 0
[pid=28352/tid=28354] ppid=28346 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/28352/task/28354/stat : 28354 (java) R 28346 28346 17093 0 -1 4202560 3443 0 0 0 7 0 0 0 20 0 15 0 63871900 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139721230715904 139721218722622 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28356] ppid=28346 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28356/stat : 28356 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871901 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720827079824 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28358] ppid=28346 vsize=13974352 memory=140675515052272 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28358/stat : 28358 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871901 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720826027024 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28359] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28359/stat : 28359 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871901 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720824974224 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28362] ppid=28346 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28362/stat : 28362 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871901 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720823921424 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28364] ppid=28346 vsize=13974352 memory=140675515025024 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28364/stat : 28364 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871902 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720705005936 139721226496642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28366] ppid=28346 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28366/stat : 28366 (java) S 28346 28346 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63871902 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720703951904 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28368] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28368/stat : 28368 (java) S 28346 28346 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63871903 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720702899056 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28370] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28370/stat : 28370 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720701847376 139721226504091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28371] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28371/stat : 28371 (java) S 28346 28346 17093 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 63871905 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720700795760 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28374] ppid=28346 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28374/stat : 28374 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871905 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720699742960 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28376] ppid=28346 vsize=13974352 memory=140675515025024 CPUtime=0.01 cores=1,3,5,7
/proc/28352/task/28376/stat : 28376 (java) S 28346 28346 17093 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 15 0 63871905 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720698690160 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28378] ppid=28346 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28378/stat : 28378 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720697637600 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28380] ppid=28346 vsize=13974352 memory=140675515025024 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28380/stat : 28380 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871909 14309736448 6879 18446744073709551615 4194304 4196468 140728624816256 139720696584880 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28896 KiB
[startup+0.310268 s]*
/proc/loadavg: 1.00 1.05 1.40 6/211 28381
/proc/meminfo: memFree=31531852/32770624 swapFree=67108860/67108860
[pid=28346] ppid=28342 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28346/stat : 28346 (xcsp3-exec) S 28342 28346 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63871890 9740288 345 18446744073709551615 4194304 5098028 140732727613456 140732727611560 140330452984444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29937664 140732727619966 140732727620170 140732727620170 140732727623659 0
/proc/28346/statm: 2378 345 289 221 0 87 0
[pid=28352] ppid=28346 vsize=13974352 memory=39636 CPUtime=0.29 cores=1,3,5,7
/proc/28352/stat : 28352 (java) S 28346 28346 17093 0 -1 1077944320 8956 0 0 0 26 3 0 0 20 0 15 0 63871900 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 140728624798800 139721226485495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
/proc/28352/statm: 3493588 9909 2989 1 0 3482964 0
[pid=28352/tid=28354] ppid=28346 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/28352/task/28354/stat : 28354 (java) R 28346 28346 17093 0 -1 4202560 6159 0 0 0 16 2 0 0 20 0 15 0 63871900 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139721230719888 139721226507421 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28356] ppid=28346 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28356/stat : 28356 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871901 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720827079824 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28358] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28358/stat : 28358 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871901 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720826027024 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28359] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28359/stat : 28359 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871901 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720824974224 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28362] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28362/stat : 28362 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871901 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720823921424 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28364] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28364/stat : 28364 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871902 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720705005936 139721226496642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28366] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28366/stat : 28366 (java) S 28346 28346 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63871902 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720703951904 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28368] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28368/stat : 28368 (java) S 28346 28346 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63871903 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720702899056 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28370] ppid=28346 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28370/stat : 28370 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720701847376 139721226504091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28371] ppid=28346 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28352/task/28371/stat : 28371 (java) R 28346 28346 17093 0 -1 4202560 534 0 0 0 2 0 0 0 20 0 15 0 63871905 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720700795760 139721207185792 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28374] ppid=28346 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28352/task/28374/stat : 28374 (java) R 28346 28346 17093 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 15 0 63871905 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720699742960 139721226496642 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28376] ppid=28346 vsize=13974352 memory=140675515025024 CPUtime=0.06 cores=1,3,5,7
/proc/28352/task/28376/stat : 28376 (java) R 28346 28346 17093 0 -1 4202560 728 0 0 0 6 0 0 0 20 0 15 0 63871905 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720698690160 139721210565982 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28378] ppid=28346 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28378/stat : 28378 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720697637600 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28380] ppid=28346 vsize=13974352 memory=140675515025024 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28380/stat : 28380 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871909 14309736448 9909 18446744073709551615 4194304 4196468 140728624816256 139720696584880 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41016 KiB
[startup+0.701069 s]
/proc/loadavg: 1.00 1.05 1.40 6/211 28381
/proc/meminfo: memFree=31504392/32770624 swapFree=67108860/67108860
[pid=28346] ppid=28342 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28346/stat : 28346 (xcsp3-exec) S 28342 28346 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63871890 9740288 345 18446744073709551615 4194304 5098028 140732727613456 140732727611560 140330452984444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29937664 140732727619966 140732727620170 140732727620170 140732727623659 0
/proc/28346/statm: 2378 345 289 221 0 87 0
[pid=28352] ppid=28346 vsize=13980732 memory=68860 CPUtime=1.15 cores=1,3,5,7
/proc/28352/stat : 28352 (java) S 28346 28346 17093 0 -1 1077944320 13293 0 1 0 110 5 0 0 20 0 15 0 63871900 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 140728624798800 139721226485495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
/proc/28352/statm: 3495183 17215 3166 1 0 3483476 0
[pid=28352/tid=28354] ppid=28346 vsize=13980732 memory=5787495302074688320 CPUtime=0.55 cores=1,3,5,7
/proc/28352/task/28354/stat : 28354 (java) R 28346 28346 17093 0 -1 4202560 8599 0 1 0 52 3 0 0 20 0 15 0 63871900 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139721230715904 139721219163509 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28356] ppid=28346 vsize=13980732 memory=7660992781704452449 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28356/stat : 28356 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720827079824 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28358] ppid=28346 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28358/stat : 28358 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720826027024 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28359] ppid=28346 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28359/stat : 28359 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720824974224 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28362] ppid=28346 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28362/stat : 28362 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720823921424 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28364] ppid=28346 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28364/stat : 28364 (java) S 28346 28346 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63871902 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720705005936 139721226496642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28366] ppid=28346 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28366/stat : 28366 (java) S 28346 28346 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63871902 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720703951904 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28368] ppid=28346 vsize=13980732 memory=3585 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28368/stat : 28368 (java) S 28346 28346 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63871903 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720702899056 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28370] ppid=28346 vsize=13980732 memory=734378360886880355 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28370/stat : 28370 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720701847376 139721226504091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28371] ppid=28346 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/28352/task/28371/stat : 28371 (java) R 28346 28346 17093 0 -1 4202560 1137 0 0 0 14 0 0 0 20 0 15 0 63871905 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720700795760 139721226497430 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28374] ppid=28346 vsize=13980732 memory=48628 CPUtime=0.12 cores=1,3,5,7
/proc/28352/task/28374/stat : 28374 (java) R 28346 28346 17093 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 63871905 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720699742960 139721226496642 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28376] ppid=28346 vsize=13980732 memory=-8774313645642428999 CPUtime=0.3 cores=1,3,5,7
/proc/28352/task/28376/stat : 28376 (java) S 28346 28346 17093 0 -1 1077944384 1382 0 0 0 30 0 0 0 20 0 15 0 63871905 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720698690160 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28378] ppid=28346 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28378/stat : 28378 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720697637600 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28380] ppid=28346 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28380/stat : 28380 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871909 14316269568 17215 18446744073709551615 4194304 4196468 140728624816256 139720696584880 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70240 KiB
[startup+1.50084 s]
/proc/loadavg: 1.00 1.05 1.40 7/211 28381
/proc/meminfo: memFree=31432932/32770624 swapFree=67108860/67108860
[pid=28346] ppid=28342 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28346/stat : 28346 (xcsp3-exec) S 28342 28346 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63871890 9740288 345 18446744073709551615 4194304 5098028 140732727613456 140732727611560 140330452984444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29937664 140732727619966 140732727620170 140732727620170 140732727623659 0
/proc/28346/statm: 2378 345 289 221 0 87 0
[pid=28352] ppid=28346 vsize=13980732 memory=111592 CPUtime=3.62 cores=1,3,5,7
/proc/28352/stat : 28352 (java) S 28346 28346 17093 0 -1 1077944320 33110 0 1 0 354 8 0 0 20 0 15 0 63871900 14316269568 27898 18446744073709551615 4194304 4196468 140728624816256 140728624798800 139721226485495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
/proc/28352/statm: 3495183 27898 3183 1 0 3483476 0
[pid=28352/tid=28354] ppid=28346 vsize=13980732 memory=1380 CPUtime=1.34 cores=1,3,5,7
/proc/28352/task/28354/stat : 28354 (java) R 28346 28346 17093 0 -1 4202560 9409 0 1 0 131 3 0 0 20 0 15 0 63871900 14316269568 27898 18446744073709551615 4194304 4196468 140728624816256 139721230720984 139720872489283 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28356] ppid=28346 vsize=13980732 memory=68860 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28356/stat : 28356 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 27898 18446744073709551615 4194304 4196468 140728624816256 139720827079824 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28358] ppid=28346 vsize=13980732 memory=281350825409248 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28358/stat : 28358 (java) S 28346 28346 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 27898 18446744073709551615 4194304 4196468 140728624816256 139720826027024 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28359] ppid=28346 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28359/stat : 28359 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 27898 18446744073709551615 4194304 4196468 140728624816256 139720824974224 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28362] ppid=28346 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28362/stat : 28362 (java) S 28346 28346 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 27898 18446744073709551615 4194304 4196468 140728624816256 139720823921424 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28364] ppid=28346 vsize=13980732 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28364/stat : 28364 (java) S 28346 28346 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63871902 14316269568 27898 18446744073709551615 4194304 4196468 140728624816256 139720705005936 139721226496642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28366] ppid=28346 vsize=13980732 memory=-9001733975035373671 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28366/stat : 28366 (java) S 28346 28346 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63871902 14316269568 27898 18446744073709551615 4194304 4196468 140728624816256 139720703951904 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28368] ppid=28346 vsize=13980732 memory=6485400618202 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=28352/tid=28364] ppid=28346 vsize=13980732 memory=4028 CPUtime=0.01 cores=1,3,5,7
/proc/28352/task/28364/stat : 28364 (java) S 28346 28346 17093 0 -1 1077944384 517 0 0 0 0 1 0 0 20 0 15 0 63871902 14316269568 48783 18446744073709551615 4194304 4196468 140728624816256 139720705005936 139721226496642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28366] ppid=28346 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28366/stat : 28366 (java) S 28346 28346 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63871902 14316269568 48783 18446744073709551615 4194304 4196468 140728624816256 139720703951904 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28368] ppid=28346 vsize=13980732 memory=193060 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28368/stat : 28368 (java) S 28346 28346 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63871903 14316269568 48783 18446744073709551615 4194304 4196468 140728624816256 139720702899056 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28370] ppid=28346 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28370/stat : 28370 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 48783 18446744073709551615 4194304 4196468 140728624816256 139720701847376 139721226504091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28371] ppid=28346 vsize=13980732 memory=1 CPUtime=2.51 cores=1,3,5,7
/proc/28352/task/28371/stat : 28371 (java) S 28346 28346 17093 0 -1 1077944384 15798 0 0 0 250 1 0 0 20 0 15 0 63871905 14316269568 48783 18446744073709551615 4194304 4196468 140728624816256 139720700795760 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28374] ppid=28346 vsize=13980732 memory=0 CPUtime=2.57 cores=1,3,5,7
/proc/28352/task/28374/stat : 28374 (java) S 28346 28346 17093 0 -1 1077944384 19063 0 1 0 255 2 0 0 20 0 15 0 63871905 14316269568 48783 18446744073709551615 4194304 4196468 140728624816256 139720699742960 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28376] ppid=28346 vsize=13980732 memory=8326441112149131695 CPUtime=0.54 cores=1,3,5,7
/proc/28352/task/28376/stat : 28376 (java) S 28346 28346 17093 0 -1 1077944384 6767 0 0 0 53 1 0 0 20 0 15 0 63871905 14316269568 48783 18446744073709551615 4194304 4196468 140728624816256 139720698690160 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28378] ppid=28346 vsize=13980732 memory=188908 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28378/stat : 28378 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 48783 18446744073709551615 4194304 4196468 140728624816256 139720697637600 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28380] ppid=28346 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/28352/task/28380/stat : 28380 (java) S 28346 28346 17093 0 -1 1077944384 1027 0 0 0 0 1 0 0 20 0 15 0 63871909 14316269568 48783 18446744073709551615 4194304 4196468 140728624816256 139720696584880 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
Current children cumulated CPU time: 107.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 196512 KiB
[startup+162.301 s]
/proc/loadavg: 1.97 1.51 1.52 3/215 28401
/proc/meminfo: memFree=31139248/32770624 swapFree=67108860/67108860
[pid=28346] ppid=28342 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28346/stat : 28346 (xcsp3-exec) S 28342 28346 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63871890 9740288 345 18446744073709551615 4194304 5098028 140732727613456 140732727611560 140330452984444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29937664 140732727619966 140732727620170 140732727620170 140732727623659 0
/proc/28346/statm: 2378 345 289 221 0 87 0
[pid=28352] ppid=28346 vsize=13980732 memory=238320 CPUtime=167.93 cores=1,3,5,7
/proc/28352/stat : 28352 (java) S 28346 28346 17093 0 -1 1077944320 61414 0 2 0 16776 17 0 0 20 0 15 0 63871900 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 140728624798800 139721226485495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
/proc/28352/statm: 3495183 59580 3239 1 0 3483476 0
[pid=28352/tid=28354] ppid=28346 vsize=13980732 memory=238320 CPUtime=162.12 cores=1,3,5,7
/proc/28352/task/28354/stat : 28354 (java) R 28346 28346 17093 0 -1 4202560 14549 0 1 0 16207 5 0 0 20 0 15 0 63871900 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139721230721360 139720875468710 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28356] ppid=28346 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28356/stat : 28356 (java) S 28346 28346 17093 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720827079824 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28358] ppid=28346 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28358/stat : 28358 (java) S 28346 28346 17093 0 -1 1077944384 722 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720826027024 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28359] ppid=28346 vsize=13980732 memory=238320 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28359/stat : 28359 (java) S 28346 28346 17093 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720824974224 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28362] ppid=28346 vsize=13980732 memory=238320 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28362/stat : 28362 (java) S 28346 28346 17093 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720823921424 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28364] ppid=28346 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/28352/task/28364/stat : 28364 (java) S 28346 28346 17093 0 -1 1077944384 714 0 0 0 0 1 0 0 20 0 15 0 63871902 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720705005936 139721226496642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28366] ppid=28346 vsize=13980732 memory=238320 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28366/stat : 28366 (java) S 28346 28346 17093 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 63871902 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720703951904 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28368] ppid=28346 vsize=13980732 memory=172444 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28368/stat : 28368 (java) S 28346 28346 17093 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 63871903 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720702899056 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28370] ppid=28346 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28370/stat : 28370 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720701847376 139721226504091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28371] ppid=28346 vsize=13980732 memory=3472328296227679313 CPUtime=2.56 cores=1,3,5,7
/proc/28352/task/28371/stat : 28371 (java) S 28346 28346 17093 0 -1 1077944384 15987 0 0 0 255 1 0 0 20 0 15 0 63871905 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720700795760 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28374] ppid=28346 vsize=13980732 memory=-1088251628401078322 CPUtime=2.57 cores=1,3,5,7
/proc/28352/task/28374/stat : 28374 (java) S 28346 28346 17093 0 -1 1077944384 19066 0 1 0 255 2 0 0 20 0 15 0 63871905 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720699742960 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28376] ppid=28346 vsize=13980732 memory=281350826360992 CPUtime=0.55 cores=1,3,5,7
/proc/28352/task/28376/stat : 28376 (java) S 28346 28346 17093 0 -1 1077944384 7462 0 0 0 54 1 0 0 20 0 15 0 63871905 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720698690160 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28378] ppid=28346 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28378/stat : 28378 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720697637600 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28380] ppid=28346 vsize=13980732 memory=36120 CPUtime=0.02 cores=1,3,5,7
/proc/28352/task/28380/stat : 28380 (java) S 28346 28346 17093 0 -1 1077944384 1032 0 0 0 0 2 0 0 20 0 15 0 63871909 14316269568 59580 18446744073709551615 4194304 4196468 140728624816256 139720696584880 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
Current children cumulated CPU time: 167.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 239700 KiB
[startup+222.301 s]
/proc/loadavg: 1.99 1.60 1.55 3/212 28403
/proc/meminfo: memFree=31141384/32770624 swapFree=67108860/67108860
[pid=28346] ppid=28342 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28346/stat : 28346 (xcsp3-exec) S 28342 28346 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63871890 9740288 345 18446744073709551615 4194304 5098028 140732727613456 140732727611560 140330452984444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29937664 140732727619966 140732727620170 140732727620170 140732727623659 0
/proc/28346/statm: 2378 345 289 221 0 87 0
[pid=28352] ppid=28346 vsize=13980732 memory=238420 CPUtime=227.95 cores=1,3,5,7
/proc/28352/stat : 28352 (java) S 28346 28346 17093 0 -1 1077944320 61808 0 2 0 22778 17 0 0 20 0 15 0 63871900 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 140728624798800 139721226485495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
/proc/28352/statm: 3495183 59605 3244 1 0 3483476 0
[pid=28352/tid=28354] ppid=28346 vsize=13980732 memory=238420 CPUtime=222.11 cores=1,3,5,7
/proc/28352/task/28354/stat : 28354 (java) R 28346 28346 17093 0 -1 4202560 14781 0 1 0 22206 5 0 0 20 0 15 0 63871900 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139721230721744 139720873870304 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28356] ppid=28346 vsize=13980732 memory=238368 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28356/stat : 28356 (java) S 28346 28346 17093 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720827079824 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28358] ppid=28346 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28358/stat : 28358 (java) S 28346 28346 17093 0 -1 1077944384 722 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720826027024 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28359] ppid=28346 vsize=13980732 memory=238420 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28359/stat : 28359 (java) S 28346 28346 17093 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720824974224 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28362] ppid=28346 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28362/stat : 28362 (java) S 28346 28346 17093 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720823921424 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28364] ppid=28346 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/28352/task/28364/stat : 28364 (java) S 28346 28346 17093 0 -1 1077944384 746 0 0 0 0 1 0 0 20 0 15 0 63871902 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720705005936 139721226496642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28366] ppid=28346 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28366/stat : 28366 (java) S 28346 28346 17093 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 63871902 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720703951904 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28368] ppid=28346 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28368/stat : 28368 (java) S 28346 28346 17093 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 63871903 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720702899056 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28370] ppid=28346 vsize=13980732 memory=238420 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28370/stat : 28370 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720701847376 139721226504091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28371] ppid=28346 vsize=13980732 memory=238420 CPUtime=2.57 cores=1,3,5,7
/proc/28352/task/28371/stat : 28371 (java) S 28346 28346 17093 0 -1 1077944384 16074 0 0 0 256 1 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720700795760 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28374] ppid=28346 vsize=13980732 memory=288230574492221466 CPUtime=2.58 cores=1,3,5,7
/proc/28352/task/28374/stat : 28374 (java) S 28346 28346 17093 0 -1 1077944384 19081 0 1 0 256 2 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720699742960 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28376] ppid=28346 vsize=13980732 memory=288230621803970871 CPUtime=0.55 cores=1,3,5,7
/proc/28352/task/28376/stat : 28376 (java) S 28346 28346 17093 0 -1 1077944384 7465 0 0 0 54 1 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720698690160 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28378] ppid=28346 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28378/stat : 28378 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720697637600 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28380] ppid=28346 vsize=13980732 memory=238368 CPUtime=0.04 cores=1,3,5,7
/proc/28352/task/28380/stat : 28380 (java) S 28346 28346 17093 0 -1 1077944384 1057 0 0 0 1 3 0 0 20 0 15 0 63871909 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720696584880 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
Current children cumulated CPU time: 227.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 239800 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.99 1.62 1.56 3/212 28403
/proc/meminfo: memFree=31140452/32770624 swapFree=67108860/67108860
[pid=28346] ppid=28342 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28346/stat : 28346 (xcsp3-exec) S 28342 28346 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63871890 9740288 345 18446744073709551615 4194304 5098028 140732727613456 140732727611560 140330452984444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 29937664 140732727619966 140732727620170 140732727620170 140732727623659 0
/proc/28346/statm: 2378 345 289 221 0 87 0
[pid=28352] ppid=28346 vsize=13980732 memory=238420 CPUtime=245.65 cores=1,3,5,7
/proc/28352/stat : 28352 (java) S 28346 28346 17093 0 -1 1077944320 61821 0 2 0 24548 17 0 0 20 0 15 0 63871900 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 140728624798800 139721226485495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
/proc/28352/statm: 3495183 59605 3244 1 0 3483476 0
[pid=28352/tid=28354] ppid=28346 vsize=13980732 memory=-8774313645642428999 CPUtime=239.82 cores=1,3,5,7
/proc/28352/task/28354/stat : 28354 (java) R 28346 28346 17093 0 -1 4202560 14794 0 1 0 23977 5 0 0 20 0 15 0 63871900 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139721230721744 139720873870289 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28356] ppid=28346 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28356/stat : 28356 (java) S 28346 28346 17093 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720827079824 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28358] ppid=28346 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28358/stat : 28358 (java) S 28346 28346 17093 0 -1 1077944384 722 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720826027024 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28359] ppid=28346 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28359/stat : 28359 (java) S 28346 28346 17093 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720824974224 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28362] ppid=28346 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28362/stat : 28362 (java) S 28346 28346 17093 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 63871901 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720823921424 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28364] ppid=28346 vsize=13980732 memory=1296 CPUtime=0.01 cores=1,3,5,7
/proc/28352/task/28364/stat : 28364 (java) S 28346 28346 17093 0 -1 1077944384 746 0 0 0 0 1 0 0 20 0 15 0 63871902 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720705005936 139721226496642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28366] ppid=28346 vsize=13980732 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28366/stat : 28366 (java) S 28346 28346 17093 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 63871902 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720703951904 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28368] ppid=28346 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28368/stat : 28368 (java) S 28346 28346 17093 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 63871903 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720702899056 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28370] ppid=28346 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28370/stat : 28370 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720701847376 139721226504091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28371] ppid=28346 vsize=13980732 memory=4612 CPUtime=2.57 cores=1,3,5,7
/proc/28352/task/28371/stat : 28371 (java) S 28346 28346 17093 0 -1 1077944384 16074 0 0 0 256 1 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720700795760 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28374] ppid=28346 vsize=13980732 memory=1708 CPUtime=2.58 cores=1,3,5,7
/proc/28352/task/28374/stat : 28374 (java) S 28346 28346 17093 0 -1 1077944384 19081 0 1 0 256 2 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720699742960 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28376] ppid=28346 vsize=13980732 memory=-8774313645642428999 CPUtime=0.55 cores=1,3,5,7
/proc/28352/task/28376/stat : 28376 (java) S 28346 28346 17093 0 -1 1077944384 7465 0 0 0 54 1 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720698690160 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28378] ppid=28346 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28352/task/28378/stat : 28378 (java) S 28346 28346 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63871905 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720697637600 139721226495701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
[pid=28352/tid=28380] ppid=28346 vsize=13980732 memory=1788 CPUtime=0.04 cores=1,3,5,7
/proc/28352/task/28380/stat : 28380 (java) S 28346 28346 17093 0 -1 1077944384 1057 0 0 0 1 3 0 0 20 0 15 0 63871909 14316269568 59605 18446744073709551615 4194304 4196468 140728624816256 139720696584880 139721226496642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 8941568 140728624824759 140728624824934 140728624824934 140728624828367 0
Current children cumulated CPU time: 245.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 239800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 28346 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.499 s, system=0.183069 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.019
CPU time (s): 245.682
CPU user time (s): 245.499
CPU system time (s): 0.183069
CPU usage (%): 102.36
Max. virtual memory (cumulated for all children) (KiB): 13992260
Max. memory (cumulated for all children) (KiB): 239800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.499
system time used= 0.183069
maximum resident set size= 238884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62552
page faults= 2
swaps= 0
block input operations= 1056
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8022
involuntary context switches= 281
# summary of solver processes directly reported to runsolver:
# pid: 28346
# total CPU time (s): 245.682
# total CPU user time (s): 245.499
# total CPU system time (s): 0.183069
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42269 second user time and 2.03032 second system time
The end