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 (14988 MiB free)
memory of node 1: 16384 MiB (15439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270247-1502616221/watcher-4270247-1502616221 -o /tmp/evaluation-result-4270247-1502616221/solver-4270247-1502616221 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 763636774 HOME/instance-4270247-1502616221.xml
running on 4 cores: 0,2,4,6
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=20720, runsolver pid=20717
[startup+0.10017 s]*
/proc/loadavg: 1.90 2.00 2.03 2/184 20730
/proc/meminfo: memFree=31146932/32770624 swapFree=67108860/67108860
[pid=20720] ppid=20717 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20720/stat : 20720 (xcsp3-exec) S 20717 20720 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63842763 9740288 345 18446744073709551615 4194304 5098028 140723405400064 140723405398168 140345241195132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 16740352 140723405406591 140723405406794 140723405406794 140723405410283 0
/proc/20720/statm: 2378 345 289 221 0 87 0
[pid=20722] ppid=20720 vsize=13574484 memory=21648 CPUtime=0.04 cores=0,2,4,6
/proc/20722/stat : 20722 (java) S 20720 20720 897 0 -1 1077944320 4224 0 0 0 3 1 0 0 20 0 9 0 63842769 13900271616 5412 18446744073709551615 4194304 4196468 140728309714992 140728309697536 139875058667255 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
/proc/20722/statm: 3393621 5412 2137 1 0 3383118 0
[pid=20722/tid=20723] ppid=20720 vsize=13574484 memory=7310027617963868211 CPUtime=0.03 cores=0,2,4,6
/proc/20722/task/20723/stat : 20723 (java) R 20720 20720 897 0 -1 4202560 2955 0 0 0 3 0 0 0 20 0 9 0 63842769 13900271616 5412 18446744073709551615 4194304 4196468 140728309714992 139875062902648 139875038943083 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20724] ppid=20720 vsize=13574484 memory=288230608969400343 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20724/stat : 20724 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 63842770 13900271616 5412 18446744073709551615 4194304 4196468 140728309714992 139875015633808 139875058677461 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20725] ppid=20720 vsize=13574484 memory=140441594974658 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20725/stat : 20725 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 63842770 13900271616 5412 18446744073709551615 4194304 4196468 140728309714992 139875014581008 139875058677461 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20726] ppid=20720 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20726/stat : 20726 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 63842770 13900271616 5412 18446744073709551615 4194304 4196468 140728309714992 139875013528720 139875058677461 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20727] ppid=20720 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20727/stat : 20727 (java) S 20720 20720 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 63842770 13900271616 5412 18446744073709551615 4194304 4196468 140728309714992 139875012475920 139875058677461 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20728] ppid=20720 vsize=13574484 memory=140441594386048 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20728/stat : 20728 (java) S 20720 20720 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 63842771 13900271616 5412 18446744073709551615 4194304 4196468 140728309714992 139874604308592 139875058678402 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20729] ppid=20720 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20729/stat : 20729 (java) S 20720 20720 897 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 9 0 63842772 13900271616 5412 18446744073709551615 4194304 4196468 140728309714992 139873973691168 139875058677461 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20730] ppid=20720 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20730/stat : 20730 (java) S 20720 20720 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 63842772 13900271616 5412 18446744073709551615 4194304 4196468 140728309714992 139873972638832 139875058677461 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 23028 KiB
[startup+0.214097 s]*
/proc/loadavg: 1.90 2.00 2.03 3/191 20737
/proc/meminfo: memFree=31141164/32770624 swapFree=67108860/67108860
[pid=20720] ppid=20717 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20720/stat : 20720 (xcsp3-exec) S 20717 20720 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63842763 9740288 345 18446744073709551615 4194304 5098028 140723405400064 140723405398168 140345241195132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 16740352 140723405406591 140723405406794 140723405406794 140723405410283 0
/proc/20720/statm: 2378 345 289 221 0 87 0
[pid=20722] ppid=20720 vsize=13974352 memory=29480 CPUtime=0.09 cores=0,2,4,6
/proc/20722/stat : 20722 (java) S 20720 20720 897 0 -1 1077944320 5243 0 0 0 8 1 0 0 20 0 15 0 63842769 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 140728309697536 139875058667255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
/proc/20722/statm: 3493588 7370 2749 1 0 3482964 0
[pid=20722/tid=20723] ppid=20720 vsize=13974352 memory=7310027617963868211 CPUtime=0.08 cores=0,2,4,6
/proc/20722/task/20723/stat : 20723 (java) R 20720 20720 897 0 -1 4202560 3412 0 0 0 7 1 0 0 20 0 15 0 63842769 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139875062892704 139875058689181 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20724] ppid=20720 vsize=13974352 memory=288230608969400343 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20724/stat : 20724 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139875015633808 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20725] ppid=20720 vsize=13974352 memory=140441594974658 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20725/stat : 20725 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139875014581008 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20726] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20726/stat : 20726 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139875013528720 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20727] ppid=20720 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20727/stat : 20727 (java) S 20720 20720 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63842770 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139875012475920 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20728] ppid=20720 vsize=13974352 memory=140441594386048 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20728/stat : 20728 (java) S 20720 20720 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63842771 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139874604308592 139875058678402 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20729] ppid=20720 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20729/stat : 20729 (java) S 20720 20720 897 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 63842772 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139873973691168 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20730] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20730/stat : 20730 (java) S 20720 20720 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63842772 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139873972638832 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20732] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20732/stat : 20732 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139873971587152 139875058685851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20733] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20733/stat : 20733 (java) S 20720 20720 897 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 63842775 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139873970535024 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20734] ppid=20720 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20734/stat : 20734 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842775 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139873969482224 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20735] ppid=20720 vsize=13974352 memory=140441594386048 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20735/stat : 20735 (java) S 20720 20720 897 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 63842775 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139873968429936 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20736] ppid=20720 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20736/stat : 20736 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139873967377376 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20737] ppid=20720 vsize=13974352 memory=140441594386048 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20737/stat : 20737 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842782 14309736448 7370 18446744073709551615 4194304 4196468 140728309714992 139873966324144 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30860 KiB
[startup+0.309951 s]*
/proc/loadavg: 1.90 2.00 2.03 3/196 20751
/proc/meminfo: memFree=31121768/32770624 swapFree=67108860/67108860
[pid=20720] ppid=20717 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20720/stat : 20720 (xcsp3-exec) S 20717 20720 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63842763 9740288 345 18446744073709551615 4194304 5098028 140723405400064 140723405398168 140345241195132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 16740352 140723405406591 140723405406794 140723405406794 140723405410283 0
/proc/20720/statm: 2378 345 289 221 0 87 0
[pid=20722] ppid=20720 vsize=13974352 memory=38676 CPUtime=0.27 cores=0,2,4,6
/proc/20722/stat : 20722 (java) S 20720 20720 897 0 -1 1077944320 8745 0 0 0 24 3 0 0 20 0 15 0 63842769 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 140728309697536 139875058667255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
/proc/20722/statm: 3493588 9669 2957 1 0 3482964 0
[pid=20722/tid=20723] ppid=20720 vsize=13974352 memory=-5059952977386882957 CPUtime=0.17 cores=0,2,4,6
/proc/20722/task/20723/stat : 20723 (java) R 20720 20720 897 0 -1 4202560 6058 0 0 0 15 2 0 0 20 0 15 0 63842769 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139875062889632 139875044360751 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20724] ppid=20720 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20724/stat : 20724 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139875015633808 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20725] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20725/stat : 20725 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139875014581008 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20726] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20726/stat : 20726 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139875013528720 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20727] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20727/stat : 20727 (java) S 20720 20720 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63842770 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139875012475920 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20728] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20728/stat : 20728 (java) S 20720 20720 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63842771 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139874604308592 139875058678402 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20729] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20729/stat : 20729 (java) S 20720 20720 897 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 63842772 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139873973691168 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20730] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20730/stat : 20730 (java) S 20720 20720 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63842772 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139873972638832 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20732] ppid=20720 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20732/stat : 20732 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139873971587152 139875058685851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20733] ppid=20720 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20733/stat : 20733 (java) S 20720 20720 897 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 15 0 63842775 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139873970535024 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20734] ppid=20720 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20734/stat : 20734 (java) R 20720 20720 897 0 -1 4202560 158 0 0 0 1 0 0 0 20 0 15 0 63842775 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139873969482224 139875042198876 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20735] ppid=20720 vsize=13974352 memory=140441594386048 CPUtime=0.06 cores=0,2,4,6
/proc/20722/task/20735/stat : 20735 (java) S 20720 20720 897 0 -1 1077944384 743 0 0 0 6 0 0 0 20 0 15 0 63842775 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139873968429936 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20736] ppid=20720 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20736/stat : 20736 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139873967377376 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20737] ppid=20720 vsize=13974352 memory=140441594386048 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20737/stat : 20737 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842782 14309736448 9669 18446744073709551615 4194304 4196468 140728309714992 139873966324144 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40056 KiB
[startup+0.700747 s]
/proc/loadavg: 1.90 2.00 2.03 7/211 20766
/proc/meminfo: memFree=31092912/32770624 swapFree=67108860/67108860
[pid=20720] ppid=20717 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20720/stat : 20720 (xcsp3-exec) S 20717 20720 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63842763 9740288 345 18446744073709551615 4194304 5098028 140723405400064 140723405398168 140345241195132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 16740352 140723405406591 140723405406794 140723405406794 140723405410283 0
/proc/20720/statm: 2378 345 289 221 0 87 0
[pid=20722] ppid=20720 vsize=13980732 memory=65736 CPUtime=1.1 cores=0,2,4,6
/proc/20722/stat : 20722 (java) S 20720 20720 897 0 -1 1077944320 13333 0 0 0 105 5 0 0 20 0 15 0 63842769 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 140728309697536 139875058667255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
/proc/20722/statm: 3495183 16434 3169 1 0 3483476 0
[pid=20722/tid=20723] ppid=20720 vsize=13980732 memory=97 CPUtime=0.54 cores=0,2,4,6
/proc/20722/task/20723/stat : 20723 (java) R 20720 20720 897 0 -1 4202560 8915 0 0 0 51 3 0 0 20 0 15 0 63842769 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139875062892800 139874686500108 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20724] ppid=20720 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20724/stat : 20724 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139875015633808 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20725] ppid=20720 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20725/stat : 20725 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139875014581008 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20726] ppid=20720 vsize=13980732 memory=10976 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20726/stat : 20726 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139875013528720 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20727] ppid=20720 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20727/stat : 20727 (java) S 20720 20720 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63842770 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139875012475920 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20728] ppid=20720 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20728/stat : 20728 (java) S 20720 20720 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63842771 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139874604308592 139875058678402 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20729] ppid=20720 vsize=13980732 memory=20164 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20729/stat : 20729 (java) S 20720 20720 897 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 63842772 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139873973691168 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20730] ppid=20720 vsize=13980732 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20730/stat : 20730 (java) S 20720 20720 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63842772 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139873972638832 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20732] ppid=20720 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20732/stat : 20732 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139873971587152 139875058685851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20733] ppid=20720 vsize=13980732 memory=1792 CPUtime=0.12 cores=0,2,4,6
/proc/20722/task/20733/stat : 20733 (java) S 20720 20720 897 0 -1 1077944384 1067 0 0 0 12 0 0 0 20 0 15 0 63842775 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139873970535024 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20734] ppid=20720 vsize=13980732 memory=2316 CPUtime=0.13 cores=0,2,4,6
/proc/20722/task/20734/stat : 20734 (java) S 20720 20720 897 0 -1 1077944384 678 0 0 0 13 0 0 0 20 0 15 0 63842775 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139873969482224 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20735] ppid=20720 vsize=13980732 memory=1728 CPUtime=0.27 cores=0,2,4,6
/proc/20722/task/20735/stat : 20735 (java) S 20720 20720 897 0 -1 1077944384 1386 0 0 0 27 0 0 0 20 0 15 0 63842775 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139873968429936 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20736] ppid=20720 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20736/stat : 20736 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139873967377376 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20737] ppid=20720 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20737/stat : 20737 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842782 14316269568 16434 18446744073709551615 4194304 4196468 140728309714992 139873966324144 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67116 KiB
[startup+1.5008 s]
/proc/loadavg: 1.90 2.00 2.03 8/211 20766
/proc/meminfo: memFree=31021812/32770624 swapFree=67108860/67108860
[pid=20720] ppid=20717 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20720/stat : 20720 (xcsp3-exec) S 20717 20720 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63842763 9740288 345 18446744073709551615 4194304 5098028 140723405400064 140723405398168 140345241195132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 16740352 140723405406591 140723405406794 140723405406794 140723405410283 0
/proc/20720/statm: 2378 345 289 221 0 87 0
[pid=20722] ppid=20720 vsize=13983640 memory=118576 CPUtime=3.5 cores=0,2,4,6
/proc/20722/stat : 20722 (java) S 20720 20720 897 0 -1 1077944320 31456 0 0 0 343 7 0 0 20 0 15 0 63842769 14319247360 29644 18446744073709551615 4194304 4196468 140728309714992 140728309697536 139875058667255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
/proc/20722/statm: 3495910 29644 3180 1 0 3484203 0
[pid=20722/tid=20723] ppid=20720 vsize=13983640 memory=6628 CPUtime=1.35 cores=0,2,4,6
/proc/20722/task/20723/stat : 20723 (java) R 20720 20720 897 0 -1 4202560 9246 0 0 0 131 4 0 0 20 0 15 0 63842769 14319247360 29644 18446744073709551615 4194304 4196468 140728309714992 139875062905048 139874690527166 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20724] ppid=20720 vsize=13983640 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20724/stat : 20724 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14319247360 29644 18446744073709551615 4194304 4196468 140728309714992 139875015633808 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20725] ppid=20720 vsize=13983640 memory=56 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20725/stat : 20725 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14319247360 29644 18446744073709551615 4194304 4196468 140728309714992 139875014581008 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20726] ppid=20720 vsize=13983640 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20726/stat : 20726 (java) S 20720 20720 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63842770 14319247360 29644 18446744073709551615 4194304 4196468 140728309714992 139875013528720 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20727] ppid=20720 vsize=13983640 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20722/task/20730/stat : 20730 (java) S 20720 20720 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 63842772 14316269568 59583 18446744073709551615 4194304 4196468 140728309714992 139873972638832 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20732] ppid=20720 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20732/stat : 20732 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 59583 18446744073709551615 4194304 4196468 140728309714992 139873971587152 139875058685851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20733] ppid=20720 vsize=13980732 memory=238332 CPUtime=3.09 cores=0,2,4,6
/proc/20722/task/20733/stat : 20733 (java) S 20720 20720 897 0 -1 1077944384 17889 0 0 0 308 1 0 0 20 0 15 0 63842775 14316269568 59583 18446744073709551615 4194304 4196468 140728309714992 139873970535024 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20734] ppid=20720 vsize=13980732 memory=1624 CPUtime=3.27 cores=0,2,4,6
/proc/20722/task/20734/stat : 20734 (java) S 20720 20720 897 0 -1 1077944384 23048 0 0 0 324 3 0 0 20 0 15 0 63842775 14316269568 59583 18446744073709551615 4194304 4196468 140728309714992 139873969482224 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20735] ppid=20720 vsize=13980732 memory=33 CPUtime=0.51 cores=0,2,4,6
/proc/20722/task/20735/stat : 20735 (java) S 20720 20720 897 0 -1 1077944384 6028 0 0 0 50 1 0 0 20 0 15 0 63842775 14316269568 59583 18446744073709551615 4194304 4196468 140728309714992 139873968429936 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20736] ppid=20720 vsize=13980732 memory=6370181601366786409 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20736/stat : 20736 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 59583 18446744073709551615 4194304 4196468 140728309714992 139873967377376 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20737] ppid=20720 vsize=13980732 memory=2323973201709523566 CPUtime=0.04 cores=0,2,4,6
/proc/20722/task/20737/stat : 20737 (java) S 20720 20720 897 0 -1 1077944384 1516 0 0 0 2 2 0 0 20 0 15 0 63842782 14316269568 59583 18446744073709551615 4194304 4196468 140728309714992 139873966324144 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
Current children cumulated CPU time: 169.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 239712 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 2.03 3/211 20787
/proc/meminfo: memFree=30758040/32770624 swapFree=67108860/67108860
[pid=20720] ppid=20717 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20720/stat : 20720 (xcsp3-exec) S 20717 20720 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63842763 9740288 345 18446744073709551615 4194304 5098028 140723405400064 140723405398168 140345241195132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 16740352 140723405406591 140723405406794 140723405406794 140723405410283 0
/proc/20720/statm: 2378 345 289 221 0 87 0
[pid=20722] ppid=20720 vsize=13980732 memory=234836 CPUtime=229.31 cores=0,2,4,6
/proc/20722/stat : 20722 (java) S 20720 20720 897 0 -1 1077944320 69357 0 0 0 22915 16 0 0 20 0 15 0 63842769 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 140728309697536 139875058667255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
/proc/20722/statm: 3495183 58709 3234 1 0 3483476 0
[pid=20722/tid=20723] ppid=20720 vsize=13980732 memory=1440 CPUtime=222.14 cores=0,2,4,6
/proc/20722/task/20723/stat : 20723 (java) R 20720 20720 897 0 -1 4202560 14639 0 0 0 22208 6 0 0 20 0 15 0 63842769 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875062905744 139874691396874 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20724] ppid=20720 vsize=13980732 memory=4116 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20724/stat : 20724 (java) S 20720 20720 897 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875015633808 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20725] ppid=20720 vsize=13980732 memory=36160 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20725/stat : 20725 (java) S 20720 20720 897 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875014581008 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20726] ppid=20720 vsize=13980732 memory=304556123141439514 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20726/stat : 20726 (java) S 20720 20720 897 0 -1 1077944384 1006 0 0 0 0 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875013528720 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20727] ppid=20720 vsize=13980732 memory=288230617509003574 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20727/stat : 20727 (java) S 20720 20720 897 0 -1 1077944384 672 0 0 0 1 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875012475920 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20728] ppid=20720 vsize=13980732 memory=15536310592997909 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20728/stat : 20728 (java) S 20720 20720 897 0 -1 1077944384 1128 0 0 0 1 0 0 0 20 0 15 0 63842771 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139874604308592 139875058678402 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20729] ppid=20720 vsize=13980732 memory=177556 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20729/stat : 20729 (java) S 20720 20720 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63842772 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873973691168 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20730] ppid=20720 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20730/stat : 20730 (java) S 20720 20720 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 63842772 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873972638832 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20732] ppid=20720 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20732/stat : 20732 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873971587152 139875058685851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20733] ppid=20720 vsize=13980732 memory=1712 CPUtime=3.12 cores=0,2,4,6
/proc/20722/task/20733/stat : 20733 (java) S 20720 20720 897 0 -1 1077944384 17989 0 0 0 311 1 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873970535024 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20734] ppid=20720 vsize=13980732 memory=1156 CPUtime=3.35 cores=0,2,4,6
/proc/20722/task/20734/stat : 20734 (java) S 20720 20720 897 0 -1 1077944384 23312 0 0 0 332 3 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873969482224 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20735] ppid=20720 vsize=13980732 memory=3008 CPUtime=0.52 cores=0,2,4,6
/proc/20722/task/20735/stat : 20735 (java) S 20720 20720 897 0 -1 1077944384 6423 0 0 0 51 1 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873968429936 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20736] ppid=20720 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20736/stat : 20736 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873967377376 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20737] ppid=20720 vsize=13980732 memory=238372 CPUtime=0.06 cores=0,2,4,6
/proc/20722/task/20737/stat : 20737 (java) S 20720 20720 897 0 -1 1077944384 1521 0 0 0 3 3 0 0 20 0 15 0 63842782 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873966324144 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
Current children cumulated CPU time: 229.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 236216 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.06 2.00 2.03 3/211 20787
/proc/meminfo: memFree=30756108/32770624 swapFree=67108860/67108860
[pid=20720] ppid=20717 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20720/stat : 20720 (xcsp3-exec) S 20717 20720 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63842763 9740288 345 18446744073709551615 4194304 5098028 140723405400064 140723405398168 140345241195132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 16740352 140723405406591 140723405406794 140723405406794 140723405410283 0
/proc/20720/statm: 2378 345 289 221 0 87 0
[pid=20722] ppid=20720 vsize=13980732 memory=234836 CPUtime=247.01 cores=0,2,4,6
/proc/20722/stat : 20722 (java) S 20720 20720 897 0 -1 1077944320 69357 0 0 0 24685 16 0 0 20 0 15 0 63842769 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 140728309697536 139875058667255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
/proc/20722/statm: 3495183 58709 3234 1 0 3483476 0
[pid=20722/tid=20723] ppid=20720 vsize=13980732 memory=234836 CPUtime=239.84 cores=0,2,4,6
/proc/20722/task/20723/stat : 20723 (java) R 20720 20720 897 0 -1 4202560 14639 0 0 0 23978 6 0 0 20 0 15 0 63842769 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875062904664 139874693797746 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20724] ppid=20720 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20724/stat : 20724 (java) S 20720 20720 897 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875015633808 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20725] ppid=20720 vsize=13980732 memory=234836 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20725/stat : 20725 (java) S 20720 20720 897 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875014581008 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20726] ppid=20720 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20726/stat : 20726 (java) S 20720 20720 897 0 -1 1077944384 1006 0 0 0 0 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875013528720 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20727] ppid=20720 vsize=13980732 memory=234836 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20727/stat : 20727 (java) S 20720 20720 897 0 -1 1077944384 672 0 0 0 1 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875012475920 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20728] ppid=20720 vsize=13980732 memory=234836 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20728/stat : 20728 (java) S 20720 20720 897 0 -1 1077944384 1128 0 0 0 1 0 0 0 20 0 15 0 63842771 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139874604308592 139875058678402 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20729] ppid=20720 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20729/stat : 20729 (java) S 20720 20720 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63842772 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873973691168 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20730] ppid=20720 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20730/stat : 20730 (java) S 20720 20720 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 63842772 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873972638832 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20732] ppid=20720 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20732/stat : 20732 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873971587152 139875058685851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20733] ppid=20720 vsize=13980732 memory=1380 CPUtime=3.12 cores=0,2,4,6
/proc/20722/task/20733/stat : 20733 (java) S 20720 20720 897 0 -1 1077944384 17989 0 0 0 311 1 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873970535024 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20734] ppid=20720 vsize=13980732 memory=234836 CPUtime=3.35 cores=0,2,4,6
/proc/20722/task/20734/stat : 20734 (java) S 20720 20720 897 0 -1 1077944384 23312 0 0 0 332 3 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873969482224 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20735] ppid=20720 vsize=13980732 memory=1380 CPUtime=0.52 cores=0,2,4,6
/proc/20722/task/20735/stat : 20735 (java) S 20720 20720 897 0 -1 1077944384 6423 0 0 0 51 1 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873968429936 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20736] ppid=20720 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20736/stat : 20736 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873967377376 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20737] ppid=20720 vsize=13980732 memory=4116 CPUtime=0.07 cores=0,2,4,6
/proc/20722/task/20737/stat : 20737 (java) S 20720 20720 897 0 -1 1077944384 1521 0 0 0 3 4 0 0 20 0 15 0 63842782 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873966324144 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
Current children cumulated CPU time: 247.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 236216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.01 s]
# the end of solver process 20720 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001837 s
[startup+240.011 s]
# the end of solver process 20722 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.865 s, system=0.170935 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
[startup+240.001 s]
/proc/loadavg: 2.06 2.00 2.03 3/211 20787
/proc/meminfo: memFree=30756108/32770624 swapFree=67108860/67108860
[pid=20720] ppid=20717 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20720/stat : 20720 (xcsp3-exec) S 20717 20720 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 63842763 9740288 345 18446744073709551615 4194304 5098028 140723405400064 140723405398168 140345241195132 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 16740352 140723405406591 140723405406794 140723405406794 140723405410283 0
/proc/20720/statm: 2378 345 289 221 0 87 0
[pid=20722] ppid=20720 vsize=13980732 memory=234836 CPUtime=247.01 cores=0,2,4,6
/proc/20722/stat : 20722 (java) S 20720 20720 897 0 -1 1077944320 69357 0 0 0 24685 16 0 0 20 0 15 0 63842769 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 140728309697536 139875058667255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
/proc/20722/statm: 3495183 58709 3234 1 0 3483476 0
[pid=20722/tid=20723] ppid=20720 vsize=13980732 memory=234836 CPUtime=239.84 cores=0,2,4,6
/proc/20722/task/20723/stat : 20723 (java) R 20720 20720 897 0 -1 4202560 14639 0 0 0 23978 6 0 0 20 0 15 0 63842769 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875062904664 139874693797746 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20724] ppid=20720 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20724/stat : 20724 (java) S 20720 20720 897 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875015633808 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20725] ppid=20720 vsize=13980732 memory=234836 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20725/stat : 20725 (java) S 20720 20720 897 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875014581008 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20726] ppid=20720 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20726/stat : 20726 (java) S 20720 20720 897 0 -1 1077944384 1006 0 0 0 0 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875013528720 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20727] ppid=20720 vsize=13980732 memory=234836 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20727/stat : 20727 (java) S 20720 20720 897 0 -1 1077944384 672 0 0 0 1 0 0 0 20 0 15 0 63842770 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139875012475920 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20728] ppid=20720 vsize=13980732 memory=234836 CPUtime=0.01 cores=0,2,4,6
/proc/20722/task/20728/stat : 20728 (java) S 20720 20720 897 0 -1 1077944384 1128 0 0 0 1 0 0 0 20 0 15 0 63842771 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139874604308592 139875058678402 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20729] ppid=20720 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20729/stat : 20729 (java) S 20720 20720 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63842772 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873973691168 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20730] ppid=20720 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20730/stat : 20730 (java) S 20720 20720 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 63842772 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873972638832 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20732] ppid=20720 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20732/stat : 20732 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873971587152 139875058685851 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20733] ppid=20720 vsize=13980732 memory=1380 CPUtime=3.12 cores=0,2,4,6
/proc/20722/task/20733/stat : 20733 (java) S 20720 20720 897 0 -1 1077944384 17989 0 0 0 311 1 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873970535024 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20734] ppid=20720 vsize=13980732 memory=234836 CPUtime=3.35 cores=0,2,4,6
/proc/20722/task/20734/stat : 20734 (java) S 20720 20720 897 0 -1 1077944384 23312 0 0 0 332 3 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873969482224 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20735] ppid=20720 vsize=13980732 memory=1380 CPUtime=0.52 cores=0,2,4,6
/proc/20722/task/20735/stat : 20735 (java) S 20720 20720 897 0 -1 1077944384 6423 0 0 0 51 1 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873968429936 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20736] ppid=20720 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20722/task/20736/stat : 20736 (java) S 20720 20720 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63842775 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873967377376 139875058677461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
[pid=20722/tid=20737] ppid=20720 vsize=13980732 memory=4116 CPUtime=0.07 cores=0,2,4,6
/proc/20722/task/20737/stat : 20737 (java) S 20720 20720 897 0 -1 1077944384 1521 0 0 0 3 4 0 0 20 0 15 0 63842782 14316269568 58709 18446744073709551615 4194304 4196468 140728309714992 139873966324144 139875058678402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 11292672 140728309723575 140728309723750 140728309723750 140728309727183 0
Current children cumulated CPU time: 247.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 236216 KiB
Child status: 143
Real time (s): 240.011
CPU time (s): 247.036
CPU user time (s): 246.865
CPU system time (s): 0.170935
CPU usage (%): 102.927
Max. virtual memory (cumulated for all children) (KiB): 13993152
Max. memory (cumulated for all children) (KiB): 239824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.865
system time used= 0.170935
maximum resident set size= 238460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7986
involuntary context switches= 182
# summary of solver processes directly reported to runsolver:
# pid: 20720,20722
# total CPU time (s): 247.036
# total CPU user time (s): 246.865
# total CPU system time (s): 0.170935
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.63235 second user time and 1.92892 second system time
The end