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 (8776 MiB free)
memory of node 1: 16384 MiB (13720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393295-1568316972/watcher-4393295-1568316972 -o /tmp/evaluation-result-4393295-1568316972/solver-4393295-1568316972 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1410478596 HOME/instance-4393295-1568316972.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17097, runsolver pid=17094
[startup+0.100072 s]*
/proc/loadavg: 7.95 7.82 7.92 7/234 17113
/proc/meminfo: memFree=23021596/32770624 swapFree=66952812/67108860
[pid=17097] ppid=17094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17097/stat : 17097 (xcsp3-exec) S 17094 17097 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407639114 115843072 362 33554432000 4194304 5098028 140725908822784 140725908820888 139814130381436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31604736 140725908824954 140725908825197 140725908825197 140725908828106 0
/proc/17097/statm: 28282 362 304 221 0 87 0
[pid=17099] ppid=17097 vsize=15144768 memory=27996 CPUtime=0.13 cores=1,3,5,7
/proc/17099/stat : 17099 (java) S 17097 17097 11591 0 -1 1077944320 5896 0 0 0 12 1 0 0 20 0 15 0 407639115 15508242432 6999 33554432000 4194304 4196468 140725313401744 140725313384288 140657793154807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
/proc/17099/statm: 3786192 6999 3150 1 0 3748377 0
[pid=17099/tid=17100] ppid=17097 vsize=15144768 memory=7100839861498119282 CPUtime=0.09 cores=1,3,5,7
/proc/17099/task/17100/stat : 17100 (java) R 17097 17097 11591 0 -1 4202560 3767 0 0 0 9 0 0 0 20 0 15 0 407639115 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657797386128 140657775009231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17101] ppid=17097 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17101/stat : 17101 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657764997904 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17102] ppid=17097 vsize=15144768 memory=140272600843904 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17102/stat : 17102 (java) S 17097 17097 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407639116 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657384065936 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17103] ppid=17097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17103/stat : 17103 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657383013392 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17104] ppid=17097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17104/stat : 17104 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657381960848 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17105] ppid=17097 vsize=15144768 memory=140272600843904 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17105/stat : 17105 (java) S 17097 17097 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407639117 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657261311984 140657793165954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17106] ppid=17097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17106/stat : 17106 (java) S 17097 17097 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407639117 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657260258208 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17107] ppid=17097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17107/stat : 17107 (java) S 17097 17097 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407639118 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657259205616 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17108] ppid=17097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17108/stat : 17108 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407639120 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657258154192 140657793173403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17109] ppid=17097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17109/stat : 17109 (java) R 17097 17097 11591 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 407639120 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657257101808 140657793165954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17110] ppid=17097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17110/stat : 17110 (java) R 17097 17097 11591 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 15 0 407639120 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657256049560 140657776590545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17111] ppid=17097 vsize=15144768 memory=140272600843904 CPUtime=0.02 cores=1,3,5,7
/proc/17099/task/17111/stat : 17111 (java) R 17097 17097 11591 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 15 0 407639120 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657254996720 140657772504492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17112] ppid=17097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17112/stat : 17112 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407639120 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657253944416 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17113] ppid=17097 vsize=15144768 memory=140272600843904 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17113/stat : 17113 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639121 15508242432 6999 33554432000 4194304 4196468 140725313401744 140657252890928 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29444 KiB
[startup+0.210821 s]*
/proc/loadavg: 7.95 7.82 7.92 7/234 17113
/proc/meminfo: memFree=22999308/32770624 swapFree=66952812/67108860
[pid=17097] ppid=17094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17097/stat : 17097 (xcsp3-exec) S 17094 17097 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407639114 115843072 362 33554432000 4194304 5098028 140725908822784 140725908820888 139814130381436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31604736 140725908824954 140725908825197 140725908825197 140725908828106 0
/proc/17097/statm: 28282 362 304 221 0 87 0
[pid=17099] ppid=17097 vsize=15144768 memory=40032 CPUtime=0.34 cores=1,3,5,7
/proc/17099/stat : 17099 (java) S 17097 17097 11591 0 -1 1077944320 9721 0 0 0 32 2 0 0 20 0 15 0 407639115 15508242432 10008 33554432000 4194304 4196468 140725313401744 140725313384288 140657793154807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
/proc/17099/statm: 3786192 10008 3316 1 0 3748377 0
[pid=17099/tid=17100] ppid=17097 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17099/task/17100/stat : 17100 (java) R 17097 17097 11591 0 -1 4202560 6698 0 0 0 18 2 0 0 20 0 15 0 407639115 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657797387536 140657793166742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17101] ppid=17097 vsize=15144768 memory=13655 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17101/stat : 17101 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657764997904 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17102] ppid=17097 vsize=15144768 memory=288370648752555648 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17102/stat : 17102 (java) S 17097 17097 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407639116 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657384065936 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17103] ppid=17097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17103/stat : 17103 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657383013392 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17104] ppid=17097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17104/stat : 17104 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657381960848 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17105] ppid=17097 vsize=15144768 memory=140272600843904 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17105/stat : 17105 (java) S 17097 17097 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407639117 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657261311984 140657793165954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17106] ppid=17097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17106/stat : 17106 (java) S 17097 17097 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407639117 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657260258208 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17107] ppid=17097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17107/stat : 17107 (java) S 17097 17097 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407639118 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657259205616 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17108] ppid=17097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17108/stat : 17108 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407639120 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657258154192 140657793173403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17109] ppid=17097 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17099/task/17109/stat : 17109 (java) S 17097 17097 11591 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 15 0 407639120 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657257101808 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17110] ppid=17097 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17099/task/17110/stat : 17110 (java) S 17097 17097 11591 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 407639120 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657256049264 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17111] ppid=17097 vsize=15144768 memory=140272600843904 CPUtime=0.08 cores=1,3,5,7
/proc/17099/task/17111/stat : 17111 (java) S 17097 17097 11591 0 -1 1077944384 837 0 0 0 8 0 0 0 20 0 15 0 407639120 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657254996720 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17112] ppid=17097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17112/stat : 17112 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407639120 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657253944416 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17113] ppid=17097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17113/stat : 17113 (java) S 17097 17097 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407639121 15508242432 10008 33554432000 4194304 4196468 140725313401744 140657252890928 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41480 KiB
[startup+0.483431 s]*
/proc/loadavg: 7.95 7.82 7.92 9/234 17113
/proc/meminfo: memFree=22996032/32770624 swapFree=66952812/67108860
[pid=17097] ppid=17094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17097/stat : 17097 (xcsp3-exec) S 17094 17097 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407639114 115843072 362 33554432000 4194304 5098028 140725908822784 140725908820888 139814130381436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31604736 140725908824954 140725908825197 140725908825197 140725908828106 0
/proc/17097/statm: 28282 362 304 221 0 87 0
[pid=17099] ppid=17097 vsize=15151148 memory=54296 CPUtime=0.74 cores=1,3,5,7
/proc/17099/stat : 17099 (java) S 17097 17097 11591 0 -1 1077944320 11867 0 0 0 70 4 0 0 20 0 15 0 407639115 15514775552 13574 33554432000 4194304 4196468 140725313401744 140725313384288 140657793154807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
/proc/17099/statm: 3787787 13574 3397 1 0 3748889 0
[pid=17099/tid=17100] ppid=17097 vsize=15151148 memory=8317482817917895235 CPUtime=0.41 cores=1,3,5,7
/proc/17099/task/17100/stat : 17100 (java) R 17097 17097 11591 0 -1 4202560 8338 0 0 0 38 3 0 0 20 0 15 0 407639115 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657797391424 140657429066081 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17101] ppid=17097 vsize=15151148 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17101/stat : 17101 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657764997904 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17102] ppid=17097 vsize=15151148 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17102/stat : 17102 (java) S 17097 17097 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407639116 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657384065936 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17103] ppid=17097 vsize=15151148 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17103/stat : 17103 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657383013392 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17104] ppid=17097 vsize=15151148 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17104/stat : 17104 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657381960848 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17105] ppid=17097 vsize=15151148 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17105/stat : 17105 (java) S 17097 17097 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407639117 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657261311984 140657793165954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17106] ppid=17097 vsize=15151148 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17106/stat : 17106 (java) S 17097 17097 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407639117 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657260258208 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17107] ppid=17097 vsize=15151148 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17107/stat : 17107 (java) S 17097 17097 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407639118 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657259205616 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17108] ppid=17097 vsize=15151148 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17108/stat : 17108 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407639120 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657258154192 140657793173403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17109] ppid=17097 vsize=15151148 memory=7827413994055111515 CPUtime=0.07 cores=1,3,5,7
/proc/17099/task/17109/stat : 17109 (java) R 17097 17097 11591 0 -1 4202560 650 0 0 0 7 0 0 0 20 0 15 0 407639120 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657257092640 140657776398976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17110] ppid=17097 vsize=15151148 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/17099/task/17110/stat : 17110 (java) R 17097 17097 11591 0 -1 1077944384 411 0 0 0 6 0 0 0 20 0 15 0 407639120 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657256049360 140657793165013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17111] ppid=17097 vsize=15151148 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/17099/task/17111/stat : 17111 (java) R 17097 17097 11591 0 -1 4202560 1164 0 0 0 19 0 0 0 20 0 15 0 407639120 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657254993088 140657793166742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17112] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17112/stat : 17112 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407639120 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657253944416 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17113] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17113/stat : 17113 (java) S 17097 17097 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407639121 15514775552 13574 33554432000 4194304 4196468 140725313401744 140657252890928 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 55744 KiB
[startup+0.713624 s]
/proc/loadavg: 7.95 7.82 7.92 8/234 17113
/proc/meminfo: memFree=22986108/32770624 swapFree=66952812/67108860
[pid=17097] ppid=17094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17097/stat : 17097 (xcsp3-exec) S 17094 17097 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407639114 115843072 362 33554432000 4194304 5098028 140725908822784 140725908820888 139814130381436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31604736 140725908824954 140725908825197 140725908825197 140725908828106 0
/proc/17097/statm: 28282 362 304 221 0 87 0
[pid=17099] ppid=17097 vsize=15151148 memory=76212 CPUtime=1.35 cores=1,3,5,7
/proc/17099/stat : 17099 (java) S 17097 17097 11591 0 -1 1077944320 14254 0 0 0 130 5 0 0 20 0 15 0 407639115 15514775552 19053 33554432000 4194304 4196468 140725313401744 140725313384288 140657793154807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
/proc/17099/statm: 3787787 19053 3451 1 0 3748889 0
[pid=17099/tid=17100] ppid=17097 vsize=15151148 memory=14135532779211192 CPUtime=0.62 cores=1,3,5,7
/proc/17099/task/17100/stat : 17100 (java) R 17097 17097 11591 0 -1 4202560 9231 0 0 0 59 3 0 0 20 0 15 0 407639115 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657797390560 140657433160435 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17101] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17101/stat : 17101 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657764997904 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17102] ppid=17097 vsize=15151148 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17102/stat : 17102 (java) S 17097 17097 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407639116 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657384065936 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17103] ppid=17097 vsize=15151148 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17103/stat : 17103 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657383013392 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17104] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17104/stat : 17104 (java) S 17097 17097 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407639116 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657381960848 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17105] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17105/stat : 17105 (java) S 17097 17097 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407639117 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657261311984 140657793165954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17106] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17106/stat : 17106 (java) S 17097 17097 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407639117 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657260258208 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17107] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17107/stat : 17107 (java) S 17097 17097 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407639118 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657259205616 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17108] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17108/stat : 17108 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407639120 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657258154192 140657793173403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17109] ppid=17097 vsize=15151148 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/17099/task/17109/stat : 17109 (java) R 17097 17097 11591 0 -1 4202560 957 0 0 0 16 0 0 0 20 0 15 0 407639120 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657257101808 140657776686286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17110] ppid=17097 vsize=15151148 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/17099/task/17110/stat : 17110 (java) R 17097 17097 11591 0 -1 4202560 860 0 0 0 17 0 0 0 20 0 15 0 407639120 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657256041216 140657778279762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17111] ppid=17097 vsize=15151148 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/17099/task/17111/stat : 17111 (java) R 17097 17097 11591 0 -1 1077944384 1898 0 0 0 37 0 0 0 20 0 15 0 407639120 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657254992448 140657793165013 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17112] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17112/stat : 17112 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407639120 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657253944416 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17113] ppid=17097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17113/stat : 17113 (java) S 17097 17097 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407639121 15514775552 19053 33554432000 4194304 4196468 140725313401744 140657252890928 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 77660 KiB
[startup+1.50228 s]
/proc/loadavg: 7.95 7.82 7.92 8/234 17113
/proc/meminfo: memFree=22880436/32770624 swapFree=66952812/67108860
[pid=17097] ppid=17094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17097/stat : 17097 (xcsp3-exec) S 17094 17097 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407639114 115843072 362 33554432000 4194304 5098028 140725908822784 140725908820888 139814130381436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31604736 140725908824954 140725908825197 140725908825197 140725908828106 0
/proc/17097/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/17099/task/17113/stat : 17113 (java) S 17097 17097 11591 0 -1 1077944384 785 0 0 0 0 6 0 0 20 0 19 0 407639121 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657252890928 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17154] ppid=17097 vsize=15420480 memory=1984 CPUtime=123.52 cores=1,3,5,7
/proc/17099/task/17154/stat : 17154 (java) R 17097 17097 11591 0 -1 4202560 931 0 0 0 12352 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657243917256 140657435910069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17155] ppid=17097 vsize=15420480 memory=2492 CPUtime=123.75 cores=1,3,5,7
/proc/17099/task/17155/stat : 17155 (java) R 17097 17097 11591 0 -1 4202560 2668 0 0 0 12374 1 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657242865608 140657435793800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17156] ppid=17097 vsize=15420480 memory=1764 CPUtime=123.63 cores=1,3,5,7
/proc/17099/task/17156/stat : 17156 (java) R 17097 17097 11591 0 -1 4202560 3373 0 0 0 12363 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657237610104 140657435926856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17157] ppid=17097 vsize=15420480 memory=111636 CPUtime=123.6 cores=1,3,5,7
/proc/17099/task/17157/stat : 17157 (java) R 17097 17097 11591 0 -1 4202560 1529 0 0 0 12360 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657241812784 140657436657638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
Current children cumulated CPU time: 551.41 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 326820 KiB
[startup+140.101 s]*
/proc/loadavg: 8.47 8.03 7.99 6/237 17168
/proc/meminfo: memFree=22833424/32770624 swapFree=66952812/67108860
[pid=17097] ppid=17094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17097/stat : 17097 (xcsp3-exec) S 17094 17097 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407639114 115843072 362 33554432000 4194304 5098028 140725908822784 140725908820888 139814130381436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31604736 140725908824954 140725908825197 140725908825197 140725908828106 0
/proc/17097/statm: 28282 362 304 221 0 87 0
[pid=17099] ppid=17097 vsize=15420480 memory=325372 CPUtime=554.37 cores=1,3,5,7
/proc/17099/stat : 17099 (java) S 17097 17097 11591 0 -1 1077944320 88218 0 0 0 55401 36 0 0 20 0 19 0 407639115 15790571520 81343 33554432000 4194304 4196468 140725313401744 140725313384288 140657793154807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
/proc/17099/statm: 3855120 81343 3528 1 0 3816222 0
[pid=17099/tid=17100] ppid=17097 vsize=15420480 memory=8317482817917895235 CPUtime=1.06 cores=1,3,5,7
/proc/17099/task/17100/stat : 17100 (java) S 17097 17097 11591 0 -1 1077944384 11558 0 0 0 101 5 0 0 20 0 19 0 407639115 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657797395584 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17101] ppid=17097 vsize=15420480 memory=4126316290023845779 CPUtime=0.15 cores=1,3,5,7
/proc/17099/task/17101/stat : 17101 (java) S 17097 17097 11591 0 -1 1077944384 2417 0 0 0 12 3 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657764997904 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17102] ppid=17097 vsize=15420480 memory=1804 CPUtime=0.16 cores=1,3,5,7
/proc/17099/task/17102/stat : 17102 (java) S 17097 17097 11591 0 -1 1077944384 2527 0 0 0 12 4 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657384065936 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17103] ppid=17097 vsize=15420480 memory=1452 CPUtime=0.16 cores=1,3,5,7
/proc/17099/task/17103/stat : 17103 (java) S 17097 17097 11591 0 -1 1077944384 3017 0 0 0 12 4 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657383013392 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17104] ppid=17097 vsize=15420480 memory=864756 CPUtime=0.15 cores=1,3,5,7
/proc/17099/task/17104/stat : 17104 (java) S 17097 17097 11591 0 -1 1077944384 2587 0 0 0 12 3 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657381960848 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17105] ppid=17097 vsize=15420480 memory=1412 CPUtime=0.04 cores=1,3,5,7
/proc/17099/task/17105/stat : 17105 (java) S 17097 17097 11591 0 -1 1077944384 2519 0 0 0 3 1 0 0 20 0 19 0 407639117 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657261311984 140657793165954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17106] ppid=17097 vsize=15420480 memory=3084 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17106/stat : 17106 (java) S 17097 17097 11591 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407639117 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657260258272 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17107] ppid=17097 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17107/stat : 17107 (java) S 17097 17097 11591 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 407639118 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657259205632 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17108] ppid=17097 vsize=15420480 memory=325372 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17108/stat : 17108 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657258154192 140657793173403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17109] ppid=17097 vsize=15420480 memory=1744 CPUtime=3.02 cores=1,3,5,7
/proc/17099/task/17109/stat : 17109 (java) S 17097 17097 11591 0 -1 1077944384 18058 0 0 0 300 2 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657257101808 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17110] ppid=17097 vsize=15420480 memory=8317482817917895235 CPUtime=3.4 cores=1,3,5,7
/proc/17099/task/17110/stat : 17110 (java) S 17097 17097 11591 0 -1 1077944384 17545 0 0 0 338 2 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657256049264 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17111] ppid=17097 vsize=15420480 memory=4126316290023845779 CPUtime=0.91 cores=1,3,5,7
/proc/17099/task/17111/stat : 17111 (java) S 17097 17097 11591 0 -1 1077944384 11703 0 0 0 89 2 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657254996720 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17112] ppid=17097 vsize=15420480 memory=5868 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17112/stat : 17112 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657253944416 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17113] ppid=17097 vsize=15420480 memory=14012 CPUtime=0.06 cores=1,3,5,7
/proc/17099/task/17113/stat : 17113 (java) S 17097 17097 11591 0 -1 1077944384 785 0 0 0 0 6 0 0 20 0 19 0 407639121 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657252890928 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17154] ppid=17097 vsize=15420480 memory=20708 CPUtime=124.23 cores=1,3,5,7
/proc/17099/task/17154/stat : 17154 (java) S 17097 17097 11591 0 -1 1077944384 972 0 0 0 12423 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657243921776 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17155] ppid=17097 vsize=15420480 memory=12024 CPUtime=124.46 cores=1,3,5,7
/proc/17099/task/17155/stat : 17155 (java) S 17097 17097 11591 0 -1 1077944384 2766 0 0 0 12445 1 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657242870736 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17156] ppid=17097 vsize=15420480 memory=2120 CPUtime=124.44 cores=1,3,5,7
/proc/17099/task/17156/stat : 17156 (java) R 17097 17097 11591 0 -1 4202560 3426 0 0 0 12444 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657237610104 140657435909341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17157] ppid=17097 vsize=15420480 memory=3612 CPUtime=124.32 cores=1,3,5,7
/proc/17099/task/17157/stat : 17157 (java) S 17097 17097 11591 0 -1 1077944384 1555 0 0 0 12432 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657241818320 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
Current children cumulated CPU time: 554.37 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 326820 KiB
[startup+140.501 s]
/proc/loadavg: 8.47 8.03 7.99 6/237 17168
/proc/meminfo: memFree=22833424/32770624 swapFree=66952812/67108860
[pid=17097] ppid=17094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17097/stat : 17097 (xcsp3-exec) S 17094 17097 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407639114 115843072 362 33554432000 4194304 5098028 140725908822784 140725908820888 139814130381436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31604736 140725908824954 140725908825197 140725908825197 140725908828106 0
/proc/17097/statm: 28282 362 304 221 0 87 0
[pid=17099] ppid=17097 vsize=15420480 memory=325372 CPUtime=554.76 cores=1,3,5,7
/proc/17099/stat : 17099 (java) S 17097 17097 11591 0 -1 1077944320 88226 0 0 0 55440 36 0 0 20 0 19 0 407639115 15790571520 81343 33554432000 4194304 4196468 140725313401744 140725313384288 140657793154807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
/proc/17099/statm: 3855120 81343 3528 1 0 3816222 0
[pid=17099/tid=17100] ppid=17097 vsize=15420480 memory=11624 CPUtime=1.06 cores=1,3,5,7
/proc/17099/task/17100/stat : 17100 (java) S 17097 17097 11591 0 -1 1077944384 11558 0 0 0 101 5 0 0 20 0 19 0 407639115 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657797395584 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17101] ppid=17097 vsize=15420480 memory=752 CPUtime=0.15 cores=1,3,5,7
/proc/17099/task/17101/stat : 17101 (java) S 17097 17097 11591 0 -1 1077944384 2417 0 0 0 12 3 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657764997904 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17102] ppid=17097 vsize=15420480 memory=1056 CPUtime=0.16 cores=1,3,5,7
/proc/17099/task/17102/stat : 17102 (java) S 17097 17097 11591 0 -1 1077944384 2527 0 0 0 12 4 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657384065936 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17103] ppid=17097 vsize=15420480 memory=1552 CPUtime=0.16 cores=1,3,5,7
/proc/17099/task/17103/stat : 17103 (java) S 17097 17097 11591 0 -1 1077944384 3017 0 0 0 12 4 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657383013392 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17104] ppid=17097 vsize=15420480 memory=944 CPUtime=0.15 cores=1,3,5,7
/proc/17099/task/17104/stat : 17104 (java) S 17097 17097 11591 0 -1 1077944384 2587 0 0 0 12 3 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657381960848 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17105] ppid=17097 vsize=15420480 memory=4004 CPUtime=0.04 cores=1,3,5,7
/proc/17099/task/17105/stat : 17105 (java) S 17097 17097 11591 0 -1 1077944384 2519 0 0 0 3 1 0 0 20 0 19 0 407639117 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657261311984 140657793165954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17106] ppid=17097 vsize=15420480 memory=780 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17106/stat : 17106 (java) S 17097 17097 11591 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407639117 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657260258272 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17107] ppid=17097 vsize=15420480 memory=14135532779211192 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17107/stat : 17107 (java) S 17097 17097 11591 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 407639118 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657259205632 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17108] ppid=17097 vsize=15420480 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17108/stat : 17108 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657258154192 140657793173403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17109] ppid=17097 vsize=15420480 memory=920 CPUtime=3.02 cores=1,3,5,7
/proc/17099/task/17109/stat : 17109 (java) S 17097 17097 11591 0 -1 1077944384 18058 0 0 0 300 2 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657257101808 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17110] ppid=17097 vsize=15420480 memory=3848 CPUtime=3.4 cores=1,3,5,7
/proc/17099/task/17110/stat : 17110 (java) S 17097 17097 11591 0 -1 1077944384 17545 0 0 0 338 2 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657256049264 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17111] ppid=17097 vsize=15420480 memory=2596 CPUtime=0.91 cores=1,3,5,7
/proc/17099/task/17111/stat : 17111 (java) S 17097 17097 11591 0 -1 1077944384 11703 0 0 0 89 2 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657254996720 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17112] ppid=17097 vsize=15420480 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17112/stat : 17112 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657253944416 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17113] ppid=17097 vsize=15420480 memory=804 CPUtime=0.06 cores=1,3,5,7
/proc/17099/task/17113/stat : 17113 (java) S 17097 17097 11591 0 -1 1077944384 785 0 0 0 0 6 0 0 20 0 19 0 407639121 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657252890928 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17154] ppid=17097 vsize=15420480 memory=4104 CPUtime=124.23 cores=1,3,5,7
/proc/17099/task/17154/stat : 17154 (java) S 17097 17097 11591 0 -1 1077944384 972 0 0 0 12423 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657243921776 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17155] ppid=17097 vsize=15420480 memory=1804 CPUtime=124.46 cores=1,3,5,7
/proc/17099/task/17155/stat : 17155 (java) S 17097 17097 11591 0 -1 1077944384 2766 0 0 0 12445 1 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657242870736 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17156] ppid=17097 vsize=15420480 memory=920 CPUtime=124.83 cores=1,3,5,7
/proc/17099/task/17156/stat : 17156 (java) R 17097 17097 11591 0 -1 4202560 3434 0 0 0 12483 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657237610104 140657436210325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17157] ppid=17097 vsize=15420480 memory=3848 CPUtime=124.32 cores=1,3,5,7
/proc/17099/task/17157/stat : 17157 (java) S 17097 17097 11591 0 -1 1077944384 1555 0 0 0 12432 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657241818320 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
Current children cumulated CPU time: 554.76 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 326820 KiB
[startup+140.601 s]
/proc/loadavg: 8.47 8.03 7.99 6/237 17168
/proc/meminfo: memFree=22833424/32770624 swapFree=66952812/67108860
[pid=17097] ppid=17094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17097/stat : 17097 (xcsp3-exec) S 17094 17097 11591 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407639114 115843072 362 33554432000 4194304 5098028 140725908822784 140725908820888 139814130381436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31604736 140725908824954 140725908825197 140725908825197 140725908828106 0
/proc/17097/statm: 28282 362 304 221 0 87 0
[pid=17099] ppid=17097 vsize=15420480 memory=325372 CPUtime=554.86 cores=1,3,5,7
/proc/17099/stat : 17099 (java) S 17097 17097 11591 0 -1 1077944320 88227 0 0 0 55450 36 0 0 20 0 19 0 407639115 15790571520 81343 33554432000 4194304 4196468 140725313401744 140725313384288 140657793154807 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
/proc/17099/statm: 3855120 81343 3528 1 0 3816222 0
[pid=17099/tid=17100] ppid=17097 vsize=15420480 memory=325372 CPUtime=1.06 cores=1,3,5,7
/proc/17099/task/17100/stat : 17100 (java) S 17097 17097 11591 0 -1 1077944384 11558 0 0 0 101 5 0 0 20 0 19 0 407639115 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657797395584 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17101] ppid=17097 vsize=15420480 memory=1448 CPUtime=0.15 cores=1,3,5,7
/proc/17099/task/17101/stat : 17101 (java) S 17097 17097 11591 0 -1 1077944384 2417 0 0 0 12 3 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657764997904 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17102] ppid=17097 vsize=15420480 memory=332040 CPUtime=0.16 cores=1,3,5,7
/proc/17099/task/17102/stat : 17102 (java) S 17097 17097 11591 0 -1 1077944384 2527 0 0 0 12 4 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657384065936 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17103] ppid=17097 vsize=15420480 memory=332040 CPUtime=0.16 cores=1,3,5,7
/proc/17099/task/17103/stat : 17103 (java) S 17097 17097 11591 0 -1 1077944384 3017 0 0 0 12 4 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657383013392 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17104] ppid=17097 vsize=15420480 memory=332040 CPUtime=0.15 cores=1,3,5,7
/proc/17099/task/17104/stat : 17104 (java) S 17097 17097 11591 0 -1 1077944384 2587 0 0 0 12 3 0 0 20 0 19 0 407639116 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657381960848 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17105] ppid=17097 vsize=15420480 memory=345892 CPUtime=0.04 cores=1,3,5,7
/proc/17099/task/17105/stat : 17105 (java) S 17097 17097 11591 0 -1 1077944384 2519 0 0 0 3 1 0 0 20 0 19 0 407639117 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657261311984 140657793165954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17106] ppid=17097 vsize=15420480 memory=325372 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17106/stat : 17106 (java) S 17097 17097 11591 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407639117 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657260258272 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17107] ppid=17097 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17107/stat : 17107 (java) S 17097 17097 11591 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 407639118 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657259205632 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17108] ppid=17097 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17108/stat : 17108 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657258154192 140657793173403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17109] ppid=17097 vsize=15420480 memory=361256 CPUtime=3.02 cores=1,3,5,7
/proc/17099/task/17109/stat : 17109 (java) S 17097 17097 11591 0 -1 1077944384 18058 0 0 0 300 2 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657257101808 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17110] ppid=17097 vsize=15420480 memory=345892 CPUtime=3.4 cores=1,3,5,7
/proc/17099/task/17110/stat : 17110 (java) S 17097 17097 11591 0 -1 1077944384 17545 0 0 0 338 2 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657256049264 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17111] ppid=17097 vsize=15420480 memory=361256 CPUtime=0.91 cores=1,3,5,7
/proc/17099/task/17111/stat : 17111 (java) S 17097 17097 11591 0 -1 1077944384 11703 0 0 0 89 2 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657254996720 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17112] ppid=17097 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17099/task/17112/stat : 17112 (java) S 17097 17097 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407639120 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657253944416 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17113] ppid=17097 vsize=15420480 memory=338712 CPUtime=0.06 cores=1,3,5,7
/proc/17099/task/17113/stat : 17113 (java) S 17097 17097 11591 0 -1 1077944384 785 0 0 0 0 6 0 0 20 0 19 0 407639121 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657252890928 140657793165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17154] ppid=17097 vsize=15420480 memory=338712 CPUtime=124.23 cores=1,3,5,7
/proc/17099/task/17154/stat : 17154 (java) S 17097 17097 11591 0 -1 1077944384 972 0 0 0 12423 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657243921776 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17155] ppid=17097 vsize=15420480 memory=1448 CPUtime=124.46 cores=1,3,5,7
/proc/17099/task/17155/stat : 17155 (java) S 17097 17097 11591 0 -1 1077944384 2766 0 0 0 12445 1 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657242870736 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17156] ppid=17097 vsize=15420480 memory=6791534058613427641 CPUtime=124.93 cores=1,3,5,7
/proc/17099/task/17156/stat : 17156 (java) R 17097 17097 11591 0 -1 4202560 3435 0 0 0 12493 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657237610104 140657437982954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
[pid=17099/tid=17157] ppid=17097 vsize=15420480 memory=345892 CPUtime=124.32 cores=1,3,5,7
/proc/17099/task/17157/stat : 17157 (java) S 17097 17097 11591 0 -1 1077944384 1555 0 0 0 12432 0 0 0 20 0 19 0 407640589 15790571520 81343 33554432000 4194304 4196468 140725313401744 140657241818320 140657793165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140725313405935 140725313406106 140725313406106 140725313408975 0
Current children cumulated CPU time: 554.86 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 326820 KiB
Child status: 0
Real time (s): 140.651
CPU time (s): 554.927
CPU user time (s): 554.552
CPU system time (s): 0.375433
CPU usage (%): 394.542
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 452448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 554.552
system time used= 0.375433
maximum resident set size= 451008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7252
involuntary context switches= 11301
# summary of solver processes directly reported to runsolver:
# pid: 17097
# total CPU time (s): 554.927
# total CPU user time (s): 554.552
# total CPU system time (s): 0.375433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.991969 second user time and 1.6412 second system time
The end