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 (14962 MiB free)
memory of node 1: 16384 MiB (15613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269891-1502865989/watcher-4269891-1502865989 -o /tmp/evaluation-result-4269891-1502865989/solver-4269891-1502865989 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502839811-17222 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1307143809 HOME/instance-4269891-1502865989.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=21904, runsolver pid=21901
[startup+0.100092 s]*
/proc/loadavg: 1.92 1.97 1.95 3/218 21920
/proc/meminfo: memFree=31292940/32770624 swapFree=67108860/67108860
[pid=21904] ppid=21901 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21904/stat : 21904 (xcsp3-exec) S 21901 21904 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119686600 9740288 346 33554432000 4194304 5098028 140723730602448 140723730600552 140524089832060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37306368 140723730609262 140723730609467 140723730609467 140723730612203 0
/proc/21904/statm: 2378 346 289 221 0 87 0
[pid=21906] ppid=21904 vsize=13978596 memory=28108 CPUtime=0.12 cores=1,3,5,7
/proc/21906/stat : 21906 (java) S 21904 21904 17190 0 -1 1077944320 5374 0 0 0 11 1 0 0 20 0 15 0 119686601 14314082304 7027 33554432000 4194304 4196468 140728990846624 140728990829168 140589296291575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
/proc/21906/statm: 3494649 7027 2899 1 0 3482966 0
[pid=21906/tid=21907] ppid=21904 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/21906/task/21907/stat : 21907 (java) R 21904 21904 17190 0 -1 4202560 3320 0 0 0 8 1 0 0 20 0 15 0 119686601 14314082304 7093 33554432000 4194304 4196468 140728990846624 140589300523680 140589280821347 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21908] ppid=21904 vsize=13978596 memory=3472467761461826768 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21908/stat : 21908 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14314082304 7093 33554432000 4194304 4196468 140728990846624 140589248912272 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21909] ppid=21904 vsize=13978596 memory=139632566675072 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21909/stat : 21909 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14314082304 7093 33554432000 4194304 4196468 140728990846624 140589247859472 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21910] ppid=21904 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21910/stat : 21910 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14314082304 7093 33554432000 4194304 4196468 140728990846624 140589246807184 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21911] ppid=21904 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21911/stat : 21911 (java) S 21904 21904 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119686602 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588888550416 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21912] ppid=21904 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21912/stat : 21912 (java) S 21904 21904 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119686603 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588275177584 140589296302722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21913] ppid=21904 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21913/stat : 21913 (java) S 21904 21904 17190 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119686604 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588274123552 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21914] ppid=21904 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21914/stat : 21914 (java) S 21904 21904 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119686604 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588273071216 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21915] ppid=21904 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21915/stat : 21915 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588272019536 140589296310171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21916] ppid=21904 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21916/stat : 21916 (java) S 21904 21904 17190 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 119686606 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588270967408 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21917] ppid=21904 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21917/stat : 21917 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588269914608 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21918] ppid=21904 vsize=13978596 memory=139632566675072 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21918/stat : 21918 (java) R 21904 21904 17190 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 15 0 119686606 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588268862320 140589288528702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21919] ppid=21904 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21919/stat : 21919 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588267809760 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21920] ppid=21904 vsize=13978596 memory=139632566675072 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21920/stat : 21920 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686607 14314082304 7093 33554432000 4194304 4196468 140728990846624 140588266756528 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29492 KiB
[startup+0.210744 s]*
/proc/loadavg: 1.92 1.97 1.95 3/218 21920
/proc/meminfo: memFree=31280908/32770624 swapFree=67108860/67108860
[pid=21904] ppid=21901 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21904/stat : 21904 (xcsp3-exec) S 21901 21904 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119686600 9740288 346 33554432000 4194304 5098028 140723730602448 140723730600552 140524089832060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37306368 140723730609262 140723730609467 140723730609467 140723730612203 0
/proc/21904/statm: 2378 346 289 221 0 87 0
[pid=21906] ppid=21904 vsize=13982852 memory=40572 CPUtime=0.33 cores=1,3,5,7
/proc/21906/stat : 21906 (java) S 21904 21904 17190 0 -1 1077944320 8210 0 0 0 31 2 0 0 20 0 15 0 119686601 14318440448 10143 33554432000 4194304 4196468 140728990846624 140728990829168 140589296291575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
/proc/21906/statm: 3495713 10143 3043 1 0 3482966 0
[pid=21906/tid=21907] ppid=21904 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=1,3,5,7
/proc/21906/task/21907/stat : 21907 (java) R 21904 21904 17190 0 -1 4202560 5294 0 0 0 18 1 0 0 20 0 15 0 119686601 14318440448 10143 33554432000 4194304 4196468 140728990846624 140589300493264 140589288970797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21908] ppid=21904 vsize=13982884 memory=3472467761461826768 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21908/stat : 21908 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14318473216 10143 33554432000 4194304 4196468 140728990846624 140589248912272 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21909] ppid=21904 vsize=13982884 memory=139632566675072 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21909/stat : 21909 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14318473216 10143 33554432000 4194304 4196468 140728990846624 140589247859472 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21910] ppid=21904 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21910/stat : 21910 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14318440448 10143 33554432000 4194304 4196468 140728990846624 140589246807184 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21911] ppid=21904 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21911/stat : 21911 (java) S 21904 21904 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119686602 14318440448 10143 33554432000 4194304 4196468 140728990846624 140588888550416 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21912] ppid=21904 vsize=13982852 memory=139632566675072 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21912/stat : 21912 (java) S 21904 21904 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119686603 14318440448 10143 33554432000 4194304 4196468 140728990846624 140588275177584 140589296302722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21913] ppid=21904 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21913/stat : 21913 (java) S 21904 21904 17190 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119686604 14318440448 10143 33554432000 4194304 4196468 140728990846624 140588274123552 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21914] ppid=21904 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21914/stat : 21914 (java) S 21904 21904 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119686604 14318440448 10143 33554432000 4194304 4196468 140728990846624 140588273071216 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21915] ppid=21904 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21915/stat : 21915 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14318440448 10143 33554432000 4194304 4196468 140728990846624 140588272019536 140589296310171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21916] ppid=21904 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21906/task/21916/stat : 21916 (java) S 21904 21904 17190 0 -1 1077944384 782 0 0 0 2 0 0 0 20 0 15 0 119686606 14318440448 10143 33554432000 4194304 4196468 140728990846624 140588270967408 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21917] ppid=21904 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21906/task/21917/stat : 21917 (java) S 21904 21904 17190 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 15 0 119686606 14318440448 10143 33554432000 4194304 4196468 140728990846624 140588269914608 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21918] ppid=21904 vsize=13982884 memory=139632566675072 CPUtime=0.07 cores=1,3,5,7
/proc/21906/task/21918/stat : 21918 (java) S 21904 21904 17190 0 -1 1077944384 746 0 0 0 7 0 0 0 20 0 15 0 119686606 14318473216 10143 33554432000 4194304 4196468 140728990846624 140588268862320 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21919] ppid=21904 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21919/stat : 21919 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14318473216 10143 33554432000 4194304 4196468 140728990846624 140588267809760 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21920] ppid=21904 vsize=13982852 memory=139632566675072 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21920/stat : 21920 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686607 14318440448 10143 33554432000 4194304 4196468 140728990846624 140588266756528 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41956 KiB
[startup+0.310569 s]*
/proc/loadavg: 1.92 1.97 1.95 4/218 21920
/proc/meminfo: memFree=31274084/32770624 swapFree=67108860/67108860
[pid=21904] ppid=21901 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21904/stat : 21904 (xcsp3-exec) S 21901 21904 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119686600 9740288 346 33554432000 4194304 5098028 140723730602448 140723730600552 140524089832060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37306368 140723730609262 140723730609467 140723730609467 140723730612203 0
/proc/21904/statm: 2378 346 289 221 0 87 0
[pid=21906] ppid=21904 vsize=13982852 memory=47952 CPUtime=0.52 cores=1,3,5,7
/proc/21906/stat : 21906 (java) S 21904 21904 17190 0 -1 1077944320 9137 0 0 0 49 3 0 0 20 0 15 0 119686601 14318440448 11988 33554432000 4194304 4196468 140728990846624 140728990829168 140589296291575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
/proc/21906/statm: 3495713 11988 3104 1 0 3482966 0
[pid=21906/tid=21907] ppid=21904 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=1,3,5,7
/proc/21906/task/21907/stat : 21907 (java) R 21904 21904 17190 0 -1 4202560 5907 0 0 0 28 2 0 0 20 0 15 0 119686601 14318440448 11988 33554432000 4194304 4196468 140728990846624 140589300530352 140588926227274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21908] ppid=21904 vsize=13982852 memory=3472467761461826768 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21908/stat : 21908 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14318440448 11988 33554432000 4194304 4196468 140728990846624 140589248912272 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21909] ppid=21904 vsize=13982852 memory=139632566675072 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21909/stat : 21909 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14318440448 11988 33554432000 4194304 4196468 140728990846624 140589247859472 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21910] ppid=21904 vsize=13982852 memory=17 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21910/stat : 21910 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14318440448 11988 33554432000 4194304 4196468 140728990846624 140589246807184 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21911] ppid=21904 vsize=13982852 memory=139632406833183 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21911/stat : 21911 (java) S 21904 21904 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119686602 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588888550416 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21912] ppid=21904 vsize=13982852 memory=279264813627136 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21912/stat : 21912 (java) S 21904 21904 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119686603 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588275177584 140589296302722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21913] ppid=21904 vsize=13982852 memory=139632406810127 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21913/stat : 21913 (java) S 21904 21904 17190 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119686604 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588274123552 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21914] ppid=21904 vsize=13982852 memory=279264973494368 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21914/stat : 21914 (java) S 21904 21904 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119686604 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588273071216 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21915] ppid=21904 vsize=13982852 memory=139632406814735 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21915/stat : 21915 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588272019536 140589296310171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21916] ppid=21904 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21906/task/21916/stat : 21916 (java) R 21904 21904 17190 0 -1 4202560 931 0 0 0 4 0 0 0 20 0 15 0 119686606 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588270948424 140589274032048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21917] ppid=21904 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21906/task/21917/stat : 21917 (java) R 21904 21904 17190 0 -1 1077944384 119 0 0 0 3 0 0 0 20 0 15 0 119686606 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588269914608 140589296302722 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21918] ppid=21904 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21906/task/21918/stat : 21918 (java) R 21904 21904 17190 0 -1 4202560 875 0 0 0 12 0 0 0 20 0 15 0 119686606 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588268859496 140589288528702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21919] ppid=21904 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21919/stat : 21919 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588267809760 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21920] ppid=21904 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21920/stat : 21920 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686607 14318440448 11988 33554432000 4194304 4196468 140728990846624 140588266756528 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49336 KiB
[startup+0.701637 s]
/proc/loadavg: 1.92 1.97 1.95 6/218 21920
/proc/meminfo: memFree=31250448/32770624 swapFree=67108860/67108860
[pid=21904] ppid=21901 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21904/stat : 21904 (xcsp3-exec) S 21901 21904 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119686600 9740288 346 33554432000 4194304 5098028 140723730602448 140723730600552 140524089832060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37306368 140723730609262 140723730609467 140723730609467 140723730612203 0
/proc/21904/statm: 2378 346 289 221 0 87 0
[pid=21906] ppid=21904 vsize=13984976 memory=91252 CPUtime=1.76 cores=1,3,5,7
/proc/21906/stat : 21906 (java) S 21904 21904 17190 0 -1 1077944320 12367 0 0 0 172 4 0 0 20 0 15 0 119686601 14320615424 22813 33554432000 4194304 4196468 140728990846624 140728990829168 140589296291575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
/proc/21906/statm: 3496244 22813 3192 1 0 3483478 0
[pid=21906/tid=21907] ppid=21904 vsize=13984976 memory=5865469479800824941 CPUtime=0.67 cores=1,3,5,7
/proc/21906/task/21907/stat : 21907 (java) R 21904 21904 17190 0 -1 1077944384 6629 0 0 0 65 2 0 0 20 0 15 0 119686601 14320615424 22813 33554432000 4194304 4196468 140728990846624 140589300520880 140589296301781 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21908] ppid=21904 vsize=13984976 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21908/stat : 21908 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14320615424 22813 33554432000 4194304 4196468 140728990846624 140589248912272 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21909] ppid=21904 vsize=13984976 memory=6291616985311629651 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21909/stat : 21909 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14320615424 22813 33554432000 4194304 4196468 140728990846624 140589247859472 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21910] ppid=21904 vsize=13984976 memory=7747766295893256779 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21910/stat : 21910 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686602 14320615424 22813 33554432000 4194304 4196468 140728990846624 140589246807184 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21911] ppid=21904 vsize=13984976 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21911/stat : 21911 (java) S 21904 21904 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119686602 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588888550416 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21912] ppid=21904 vsize=13984976 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21912/stat : 21912 (java) S 21904 21904 17190 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119686603 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588275177584 140589296302722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21913] ppid=21904 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21913/stat : 21913 (java) S 21904 21904 17190 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119686604 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588274123552 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21914] ppid=21904 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21914/stat : 21914 (java) S 21904 21904 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119686604 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588273071216 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21915] ppid=21904 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21915/stat : 21915 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588272019536 140589296310171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21916] ppid=21904 vsize=13984976 memory=33544 CPUtime=0.34 cores=1,3,5,7
/proc/21906/task/21916/stat : 21916 (java) R 21904 21904 17190 0 -1 4202560 1664 0 0 0 34 0 0 0 20 0 15 0 119686606 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588270954144 140589280198544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21917] ppid=21904 vsize=13984976 memory=2332 CPUtime=0.34 cores=1,3,5,7
/proc/21906/task/21917/stat : 21917 (java) R 21904 21904 17190 0 -1 4202560 1059 0 0 0 34 0 0 0 20 0 15 0 119686606 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588269900704 140589275462816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21918] ppid=21904 vsize=13984976 memory=1292 CPUtime=0.38 cores=1,3,5,7
/proc/21906/task/21918/stat : 21918 (java) R 21904 21904 17190 0 -1 4202560 1708 0 0 0 37 1 0 0 20 0 15 0 119686606 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588268858048 140589288528702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21919] ppid=21904 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21919/stat : 21919 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588267809760 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21920] ppid=21904 vsize=13984976 memory=6083073826404724833 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21920/stat : 21920 (java) S 21904 21904 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119686607 14320615424 22813 33554432000 4194304 4196468 140728990846624 140588266756528 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 92636 KiB
[startup+1.50084 s]
/proc/loadavg: 1.92 1.97 1.95 4/218 21920
/proc/meminfo: memFree=31229724/32770624 swapFree=67108860/67108860
[pid=21904] ppid=21901 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21904/stat : 21904 (xcsp3-exec) S 21901 21904 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119686600 9740288 346 33554432000 4194304 5098028 140723730602448 140723730600552 140524089832060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37306368 140723730609262 140723730609467 140723730609467 140723730612203 0
/proc/21904/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/21906/task/21914/stat : 21914 (java) S 21904 21904 17190 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 119686604 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588273071216 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21915] ppid=21904 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21915/stat : 21915 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588272019536 140589296310171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21916] ppid=21904 vsize=13984976 memory=1200 CPUtime=2.33 cores=1,3,5,7
/proc/21906/task/21916/stat : 21916 (java) S 21904 21904 17190 0 -1 1077944384 18755 0 0 0 231 2 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588270967408 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21917] ppid=21904 vsize=13984976 memory=15872 CPUtime=2.27 cores=1,3,5,7
/proc/21906/task/21917/stat : 21917 (java) S 21904 21904 17190 0 -1 1077944384 19662 0 0 0 224 3 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588269914608 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21918] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.65 cores=1,3,5,7
/proc/21906/task/21918/stat : 21918 (java) S 21904 21904 17190 0 -1 1077944384 8385 0 0 0 63 2 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588268862320 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21919] ppid=21904 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21919/stat : 21919 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588267809760 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21920] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.47 cores=1,3,5,7
/proc/21906/task/21920/stat : 21920 (java) S 21904 21904 17190 0 -1 1077944384 1548 0 0 0 19 28 0 0 20 0 15 0 119686607 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588266756528 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
Current children cumulated CPU time: 2448.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 240040 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/218 22177
/proc/meminfo: memFree=31102812/32770624 swapFree=67108860/67108860
[pid=21904] ppid=21901 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21904/stat : 21904 (xcsp3-exec) S 21901 21904 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119686600 9740288 346 33554432000 4194304 5098028 140723730602448 140723730600552 140524089832060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37306368 140723730609262 140723730609467 140723730609467 140723730612203 0
/proc/21904/statm: 2378 346 289 221 0 87 0
[pid=21906] ppid=21904 vsize=13984976 memory=238656 CPUtime=2508.27 cores=1,3,5,7
/proc/21906/stat : 21906 (java) S 21904 21904 17190 0 -1 1077944320 71635 0 0 0 250790 37 0 0 20 0 15 0 119686601 14320615424 59664 33554432000 4194304 4196468 140728990846624 140728990829168 140589296291575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
/proc/21906/statm: 3496244 59664 3249 1 0 3483478 0
[pid=21906/tid=21907] ppid=21904 vsize=13984976 memory=238656 CPUtime=2502.35 cores=1,3,5,7
/proc/21906/task/21907/stat : 21907 (java) R 21904 21904 17190 0 -1 4202560 16589 0 0 0 250231 4 0 0 20 0 15 0 119686601 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589300528064 140588930892011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21908] ppid=21904 vsize=13984976 memory=238656 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21908/stat : 21908 (java) S 21904 21904 17190 0 -1 1077944384 665 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589248912272 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21909] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21909/stat : 21909 (java) S 21904 21904 17190 0 -1 1077944384 1193 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589247859472 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21910] ppid=21904 vsize=13984976 memory=238656 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21910/stat : 21910 (java) S 21904 21904 17190 0 -1 1077944384 1214 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589246807184 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21911] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21911/stat : 21911 (java) S 21904 21904 17190 0 -1 1077944384 677 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588888550416 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21912] ppid=21904 vsize=13984976 memory=56 CPUtime=0.03 cores=1,3,5,7
/proc/21906/task/21912/stat : 21912 (java) S 21904 21904 17190 0 -1 1077944384 1570 0 0 0 2 1 0 0 20 0 15 0 119686603 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588275177584 140589296302722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21913] ppid=21904 vsize=13984976 memory=8552 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21913/stat : 21913 (java) S 21904 21904 17190 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 119686604 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588274123552 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21914] ppid=21904 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21914/stat : 21914 (java) S 21904 21904 17190 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 119686604 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588273071216 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21915] ppid=21904 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21915/stat : 21915 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588272019536 140589296310171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21916] ppid=21904 vsize=13984976 memory=1384 CPUtime=2.33 cores=1,3,5,7
/proc/21906/task/21916/stat : 21916 (java) S 21904 21904 17190 0 -1 1077944384 18755 0 0 0 231 2 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588270967408 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21917] ppid=21904 vsize=13984976 memory=5788 CPUtime=2.27 cores=1,3,5,7
/proc/21906/task/21917/stat : 21917 (java) S 21904 21904 17190 0 -1 1077944384 19662 0 0 0 224 3 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588269914608 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21918] ppid=21904 vsize=13984976 memory=1228 CPUtime=0.65 cores=1,3,5,7
/proc/21906/task/21918/stat : 21918 (java) S 21904 21904 17190 0 -1 1077944384 8402 0 0 0 63 2 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588268862320 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21919] ppid=21904 vsize=13984976 memory=238656 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21919/stat : 21919 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588267809760 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21920] ppid=21904 vsize=13984976 memory=238656 CPUtime=0.49 cores=1,3,5,7
/proc/21906/task/21920/stat : 21920 (java) S 21904 21904 17190 0 -1 1077944384 1552 0 0 0 20 29 0 0 20 0 15 0 119686607 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588266756528 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
Current children cumulated CPU time: 2508.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 240040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.11 s]
/proc/loadavg: 2.03 2.05 2.05 3/218 22177
/proc/meminfo: memFree=31095976/32770624 swapFree=67108860/67108860
[pid=21904] ppid=21901 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21904/stat : 21904 (xcsp3-exec) S 21901 21904 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119686600 9740288 346 33554432000 4194304 5098028 140723730602448 140723730600552 140524089832060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37306368 140723730609262 140723730609467 140723730609467 140723730612203 0
/proc/21904/statm: 2378 346 289 221 0 87 0
[pid=21906] ppid=21904 vsize=13984976 memory=238656 CPUtime=2520.08 cores=1,3,5,7
/proc/21906/stat : 21906 (java) S 21904 21904 17190 0 -1 1077944320 71643 0 0 0 251971 37 0 0 20 0 15 0 119686601 14320615424 59664 33554432000 4194304 4196468 140728990846624 140728990829168 140589296291575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
/proc/21906/statm: 3496244 59664 3249 1 0 3483478 0
[pid=21906/tid=21907] ppid=21904 vsize=13984976 memory=238656 CPUtime=2514.16 cores=1,3,5,7
/proc/21906/task/21907/stat : 21907 (java) R 21904 21904 17190 0 -1 4202560 16595 0 0 0 251412 4 0 0 20 0 15 0 119686601 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589300528064 140588930891135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21908] ppid=21904 vsize=13984976 memory=238656 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21908/stat : 21908 (java) S 21904 21904 17190 0 -1 1077944384 665 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589248912272 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21909] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21909/stat : 21909 (java) S 21904 21904 17190 0 -1 1077944384 1193 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589247859472 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21910] ppid=21904 vsize=13984976 memory=960 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21910/stat : 21910 (java) S 21904 21904 17190 0 -1 1077944384 1214 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589246807184 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21911] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21911/stat : 21911 (java) S 21904 21904 17190 0 -1 1077944384 677 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588888550416 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21912] ppid=21904 vsize=13984976 memory=219228 CPUtime=0.03 cores=1,3,5,7
/proc/21906/task/21912/stat : 21912 (java) S 21904 21904 17190 0 -1 1077944384 1570 0 0 0 2 1 0 0 20 0 15 0 119686603 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588275177584 140589296302722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21913] ppid=21904 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21913/stat : 21913 (java) S 21904 21904 17190 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 119686604 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588274123552 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21914] ppid=21904 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21914/stat : 21914 (java) S 21904 21904 17190 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 119686604 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588273071216 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21915] ppid=21904 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21915/stat : 21915 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588272019536 140589296310171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21916] ppid=21904 vsize=13984976 memory=796 CPUtime=2.33 cores=1,3,5,7
/proc/21906/task/21916/stat : 21916 (java) S 21904 21904 17190 0 -1 1077944384 18755 0 0 0 231 2 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588270967408 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21917] ppid=21904 vsize=13984976 memory=1384 CPUtime=2.27 cores=1,3,5,7
/proc/21906/task/21917/stat : 21917 (java) S 21904 21904 17190 0 -1 1077944384 19662 0 0 0 224 3 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588269914608 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21918] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.65 cores=1,3,5,7
/proc/21906/task/21918/stat : 21918 (java) S 21904 21904 17190 0 -1 1077944384 8402 0 0 0 63 2 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588268862320 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21919] ppid=21904 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21919/stat : 21919 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588267809760 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21920] ppid=21904 vsize=13984976 memory=238656 CPUtime=0.49 cores=1,3,5,7
/proc/21906/task/21920/stat : 21920 (java) S 21904 21904 17190 0 -1 1077944384 1554 0 0 0 20 29 0 0 20 0 15 0 119686607 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588266756528 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 240040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.12 s]
# the end of solver process 21904 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000887 s, system=0.000887 s
[startup+2514.12 s]
# the end of solver process 21906 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.73 s, system=0.376947 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+2514.11 s]
/proc/loadavg: 2.03 2.05 2.05 3/218 22177
/proc/meminfo: memFree=31095976/32770624 swapFree=67108860/67108860
[pid=21904] ppid=21901 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21904/stat : 21904 (xcsp3-exec) S 21901 21904 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119686600 9740288 346 33554432000 4194304 5098028 140723730602448 140723730600552 140524089832060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37306368 140723730609262 140723730609467 140723730609467 140723730612203 0
/proc/21904/statm: 2378 346 289 221 0 87 0
[pid=21906] ppid=21904 vsize=13984976 memory=238656 CPUtime=2520.08 cores=1,3,5,7
/proc/21906/stat : 21906 (java) S 21904 21904 17190 0 -1 1077944320 71643 0 0 0 251971 37 0 0 20 0 15 0 119686601 14320615424 59664 33554432000 4194304 4196468 140728990846624 140728990829168 140589296291575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
/proc/21906/statm: 3496244 59664 3249 1 0 3483478 0
[pid=21906/tid=21907] ppid=21904 vsize=13984976 memory=238656 CPUtime=2514.16 cores=1,3,5,7
/proc/21906/task/21907/stat : 21907 (java) R 21904 21904 17190 0 -1 4202560 16595 0 0 0 251412 4 0 0 20 0 15 0 119686601 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589300528064 140588930891135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21908] ppid=21904 vsize=13984976 memory=238656 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21908/stat : 21908 (java) S 21904 21904 17190 0 -1 1077944384 665 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589248912272 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21909] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21909/stat : 21909 (java) S 21904 21904 17190 0 -1 1077944384 1193 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589247859472 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21910] ppid=21904 vsize=13984976 memory=960 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21910/stat : 21910 (java) S 21904 21904 17190 0 -1 1077944384 1214 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140589246807184 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21911] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/21906/task/21911/stat : 21911 (java) S 21904 21904 17190 0 -1 1077944384 677 0 0 0 1 0 0 0 20 0 15 0 119686602 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588888550416 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21912] ppid=21904 vsize=13984976 memory=219228 CPUtime=0.03 cores=1,3,5,7
/proc/21906/task/21912/stat : 21912 (java) S 21904 21904 17190 0 -1 1077944384 1570 0 0 0 2 1 0 0 20 0 15 0 119686603 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588275177584 140589296302722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21913] ppid=21904 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21913/stat : 21913 (java) S 21904 21904 17190 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 119686604 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588274123552 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21914] ppid=21904 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21914/stat : 21914 (java) S 21904 21904 17190 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 119686604 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588273071216 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21915] ppid=21904 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21915/stat : 21915 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588272019536 140589296310171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21916] ppid=21904 vsize=13984976 memory=796 CPUtime=2.33 cores=1,3,5,7
/proc/21906/task/21916/stat : 21916 (java) S 21904 21904 17190 0 -1 1077944384 18755 0 0 0 231 2 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588270967408 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21917] ppid=21904 vsize=13984976 memory=1384 CPUtime=2.27 cores=1,3,5,7
/proc/21906/task/21917/stat : 21917 (java) S 21904 21904 17190 0 -1 1077944384 19662 0 0 0 224 3 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588269914608 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21918] ppid=21904 vsize=13984976 memory=1384 CPUtime=0.65 cores=1,3,5,7
/proc/21906/task/21918/stat : 21918 (java) S 21904 21904 17190 0 -1 1077944384 8402 0 0 0 63 2 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588268862320 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21919] ppid=21904 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/21906/task/21919/stat : 21919 (java) S 21904 21904 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119686606 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588267809760 140589296301781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
[pid=21906/tid=21920] ppid=21904 vsize=13984976 memory=238656 CPUtime=0.49 cores=1,3,5,7
/proc/21906/task/21920/stat : 21920 (java) S 21904 21904 17190 0 -1 1077944384 1554 0 0 0 20 29 0 0 20 0 15 0 119686607 14320615424 59664 33554432000 4194304 4196468 140728990846624 140588266756528 140589296302722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15900672 140728990852247 140728990852423 140728990852423 140728990855119 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 240040 KiB
Child status: 143
Real time (s): 2514.12
CPU time (s): 2520.11
CPU user time (s): 2519.73
CPU system time (s): 0.376947
CPU usage (%): 100.238
Max. virtual memory (cumulated for all children) (KiB): 13996228
Max. memory (cumulated for all children) (KiB): 240560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.376947
maximum resident set size= 243272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72360
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57561
involuntary context switches= 848
# summary of solver processes directly reported to runsolver:
# pid: 21904,21906
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.73
# total CPU system time (s): 0.376947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6928 second user time and 19.3738 second system time
The end