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 (13474 MiB free)
memory of node 1: 16384 MiB (12009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406034-1569396670/watcher-4406034-1569396670 -o /var/tmp/evaluation-result-4406034-1569396670/solver-4406034-1569396670 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18883 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1936863015 HOME/instance-4406034-1569396670.xml
running on 4 cores: 0,2,4,6
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
solver pid=18907, runsolver pid=18904
Current StackSize limit: 8192 KiB
[startup+0.103661 s]*
/proc/loadavg: 0.00 0.01 0.05 4/228 18944
/proc/meminfo: memFree=26064944/32770624 swapFree=66956944/67108860
[pid=18907] ppid=18904 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18907/stat : 18907 (xcsp3-exec) S 18904 18907 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140728768418864 140728768416968 140516897387132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39235584 140728768422742 140728768423001 140728768423001 140728768425926 0
/proc/18907/statm: 28282 363 304 221 0 87 0
[pid=18910] ppid=18907 vsize=15144776 memory=27792 CPUtime=0.08 cores=0,2,4,6
/proc/18910/stat : 18910 (java) S 18907 18907 18852 0 -1 1077944320 5407 0 0 0 7 1 0 0 20 0 15 0 515924793 15508250624 6948 33554432000 4194304 4196468 140726755762912 140726755745456 139942226505463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
/proc/18910/statm: 3786194 6948 2999 1 0 3748377 0
[pid=18910/tid=18917] ppid=18907 vsize=15144776 memory=-2698085374278620574 CPUtime=0.06 cores=0,2,4,6
/proc/18910/task/18917/stat : 18917 (java) R 18907 18907 18852 0 -1 4202560 3561 0 0 0 5 1 0 0 20 0 15 0 515924794 15508250624 6948 33554432000 4194304 4196468 140726755762912 139942230730304 139942219183477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18922] ppid=18907 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18922/stat : 18922 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 6948 33554432000 4194304 4196468 140726755762912 139942183057808 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18924] ppid=18907 vsize=15144776 memory=139993846191744 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18924/stat : 18924 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941817538832 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18925] ppid=18907 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18925/stat : 18925 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941816486544 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18926] ppid=18907 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18926/stat : 18926 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941815433744 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18928] ppid=18907 vsize=15144776 memory=139993846191744 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18928/stat : 18928 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924798 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941301418608 139942226516610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18929] ppid=18907 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18929/stat : 18929 (java) S 18907 18907 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941300364576 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18931] ppid=18907 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18931/stat : 18931 (java) S 18907 18907 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941299312240 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18935] ppid=18907 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18935/stat : 18935 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941298260560 139942226524059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18937] ppid=18907 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18937/stat : 18937 (java) S 18907 18907 18852 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941297207408 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18939] ppid=18907 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18939/stat : 18939 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941296154608 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18940] ppid=18907 vsize=15144776 memory=139993846191744 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18940/stat : 18940 (java) S 18907 18907 18852 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941295102320 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18942] ppid=18907 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18942/stat : 18942 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941294049760 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18943] ppid=18907 vsize=15144776 memory=139993846191744 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18943/stat : 18943 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924802 15508250624 6948 33554432000 4194304 4196468 140726755762912 139941292997552 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29244 KiB
[startup+0.210705 s]*
/proc/loadavg: 0.00 0.01 0.05 3/228 18944
/proc/meminfo: memFree=26038648/32770624 swapFree=66956944/67108860
[pid=18907] ppid=18904 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18907/stat : 18907 (xcsp3-exec) S 18904 18907 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140728768418864 140728768416968 140516897387132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39235584 140728768422742 140728768423001 140728768423001 140728768425926 0
/proc/18907/statm: 28282 363 304 221 0 87 0
[pid=18910] ppid=18907 vsize=15144776 memory=39760 CPUtime=0.29 cores=0,2,4,6
/proc/18910/stat : 18910 (java) S 18907 18907 18852 0 -1 1077944320 9050 0 0 0 26 3 0 0 20 0 15 0 515924793 15508250624 9940 33554432000 4194304 4196468 140726755762912 140726755745456 139942226505463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
/proc/18910/statm: 3786194 9940 3281 1 0 3748377 0
[pid=18910/tid=18917] ppid=18907 vsize=15144776 memory=7883960649037381690 CPUtime=0.17 cores=0,2,4,6
/proc/18910/task/18917/stat : 18917 (java) R 18907 18907 18852 0 -1 4202560 6313 0 0 0 15 2 0 0 20 0 15 0 515924794 15508250624 9940 33554432000 4194304 4196468 140726755762912 139942230742592 139942206102056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18922] ppid=18907 vsize=15144776 memory=1899191 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18922/stat : 18922 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 9940 33554432000 4194304 4196468 140726755762912 139942183057808 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18924] ppid=18907 vsize=15144776 memory=288370369997903488 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18924/stat : 18924 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941817538832 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18925] ppid=18907 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18925/stat : 18925 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941816486544 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18926] ppid=18907 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18926/stat : 18926 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941815433744 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18928] ppid=18907 vsize=15144776 memory=139993846191744 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18928/stat : 18928 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924798 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941301418608 139942226516610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18929] ppid=18907 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18929/stat : 18929 (java) S 18907 18907 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941300364576 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18931] ppid=18907 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18931/stat : 18931 (java) S 18907 18907 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941299312240 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18935] ppid=18907 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18935/stat : 18935 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941298260560 139942226524059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18937] ppid=18907 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18910/task/18937/stat : 18937 (java) S 18907 18907 18852 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 15 0 515924801 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941297207408 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18939] ppid=18907 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18910/task/18939/stat : 18939 (java) S 18907 18907 18852 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 15 0 515924801 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941296154608 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18940] ppid=18907 vsize=15144776 memory=139993846191744 CPUtime=0.06 cores=0,2,4,6
/proc/18910/task/18940/stat : 18940 (java) R 18907 18907 18852 0 -1 4202560 784 0 0 0 6 0 0 0 20 0 15 0 515924801 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941295102320 139942226526810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18942] ppid=18907 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18942/stat : 18942 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941294049760 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18943] ppid=18907 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18943/stat : 18943 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924802 15508250624 9940 33554432000 4194304 4196468 140726755762912 139941292997552 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41212 KiB
[startup+0.310668 s]*
/proc/loadavg: 0.00 0.01 0.05 5/228 18944
/proc/meminfo: memFree=26029212/32770624 swapFree=66956944/67108860
[pid=18907] ppid=18904 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18907/stat : 18907 (xcsp3-exec) S 18904 18907 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140728768418864 140728768416968 140516897387132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39235584 140728768422742 140728768423001 140728768423001 140728768425926 0
/proc/18907/statm: 28282 363 304 221 0 87 0
[pid=18910] ppid=18907 vsize=15149032 memory=46016 CPUtime=0.47 cores=0,2,4,6
/proc/18910/stat : 18910 (java) S 18907 18907 18852 0 -1 1077944320 10305 0 0 0 44 3 0 0 20 0 15 0 515924793 15512608768 11504 33554432000 4194304 4196468 140726755762912 140726755745456 139942226505463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
/proc/18910/statm: 3787258 11504 3346 1 0 3748377 0
[pid=18910/tid=18917] ppid=18907 vsize=15149032 memory=8317482817917895235 CPUtime=0.27 cores=0,2,4,6
/proc/18910/task/18917/stat : 18917 (java) R 18907 18907 18852 0 -1 4202560 7514 0 0 0 24 3 0 0 20 0 15 0 515924794 15512608768 11569 33554432000 4194304 4196468 140726755762912 139942230726976 139942212711752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18922] ppid=18907 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18922/stat : 18922 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15512608768 11569 33554432000 4194304 4196468 140726755762912 139942183057808 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18924] ppid=18907 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18924/stat : 18924 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941817538832 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18925] ppid=18907 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18925/stat : 18925 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941816486544 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18926] ppid=18907 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18926/stat : 18926 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941815433744 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18928] ppid=18907 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18928/stat : 18928 (java) S 18907 18907 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515924798 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941301418608 139942226516610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18929] ppid=18907 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18929/stat : 18929 (java) S 18907 18907 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941300364576 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18931] ppid=18907 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18931/stat : 18931 (java) S 18907 18907 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941299312240 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18935] ppid=18907 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18935/stat : 18935 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941298260560 139942226524059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18937] ppid=18907 vsize=15149032 memory=4500088463514900084 CPUtime=0.03 cores=0,2,4,6
/proc/18910/task/18937/stat : 18937 (java) S 18907 18907 18852 0 -1 1077944384 522 0 0 0 3 0 0 0 20 0 15 0 515924801 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941297207408 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18939] ppid=18907 vsize=15149032 memory=6944613755495348631 CPUtime=0.04 cores=0,2,4,6
/proc/18910/task/18939/stat : 18939 (java) S 18907 18907 18852 0 -1 1077944384 138 0 0 0 4 0 0 0 20 0 15 0 515924801 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941296154608 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18940] ppid=18907 vsize=15149032 memory=7893295687695687954 CPUtime=0.11 cores=0,2,4,6
/proc/18910/task/18940/stat : 18940 (java) R 18907 18907 18852 0 -1 4202560 904 0 0 0 11 0 0 0 20 0 15 0 515924801 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941295102320 139942205466399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18942] ppid=18907 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18942/stat : 18942 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941294049760 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18943] ppid=18907 vsize=15149032 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18943/stat : 18943 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924802 15512608768 11569 33554432000 4194304 4196468 140726755762912 139941292997552 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47468 KiB
[startup+0.700741 s]
/proc/loadavg: 0.00 0.01 0.05 4/228 18944
/proc/meminfo: memFree=26006168/32770624 swapFree=66956944/67108860
[pid=18907] ppid=18904 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18907/stat : 18907 (xcsp3-exec) S 18904 18907 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140728768418864 140728768416968 140516897387132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39235584 140728768422742 140728768423001 140728768423001 140728768425926 0
/proc/18907/statm: 28282 363 304 221 0 87 0
[pid=18910] ppid=18907 vsize=15151156 memory=69260 CPUtime=1.49 cores=0,2,4,6
/proc/18910/stat : 18910 (java) S 18907 18907 18852 0 -1 1077944320 14577 0 0 0 144 5 0 0 20 0 15 0 515924793 15514783744 17315 33554432000 4194304 4196468 140726755762912 140726755745456 139942226505463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
/proc/18910/statm: 3787789 17315 3450 1 0 3748889 0
[pid=18910/tid=18917] ppid=18907 vsize=15151156 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/18910/task/18917/stat : 18917 (java) R 18907 18907 18852 0 -1 1077944384 9231 0 0 0 61 4 0 0 20 0 15 0 515924794 15514783744 17315 33554432000 4194304 4196468 140726755762912 139942230742320 139942226515669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18922] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18922/stat : 18922 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 17315 33554432000 4194304 4196468 140726755762912 139942183057808 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18924] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18924/stat : 18924 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941817538832 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18925] ppid=18907 vsize=15151156 memory=352 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18925/stat : 18925 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941816486544 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18926] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18926/stat : 18926 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941815433744 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18928] ppid=18907 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18928/stat : 18928 (java) S 18907 18907 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941301418608 139942226516610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18929] ppid=18907 vsize=15151156 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18929/stat : 18929 (java) S 18907 18907 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941300364576 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18931] ppid=18907 vsize=15151156 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18931/stat : 18931 (java) S 18907 18907 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941299312240 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18935] ppid=18907 vsize=15151156 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18935/stat : 18935 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941298260560 139942226524059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18937] ppid=18907 vsize=15151156 memory=6196 CPUtime=0.25 cores=0,2,4,6
/proc/18910/task/18937/stat : 18937 (java) R 18907 18907 18852 0 -1 4202560 1381 0 0 0 25 0 0 0 20 0 15 0 515924801 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941297196880 139942209717701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18939] ppid=18907 vsize=15151156 memory=784 CPUtime=0.23 cores=0,2,4,6
/proc/18910/task/18939/stat : 18939 (java) R 18907 18907 18852 0 -1 4202560 788 0 0 0 23 0 0 0 20 0 15 0 515924801 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941296141888 139942226517398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18940] ppid=18907 vsize=15151156 memory=1060 CPUtime=0.34 cores=0,2,4,6
/proc/18910/task/18940/stat : 18940 (java) R 18907 18907 18852 0 -1 4202560 1869 0 0 0 34 0 0 0 20 0 15 0 515924801 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941295097824 139942219611190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18942] ppid=18907 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18942/stat : 18942 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941294049760 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18943] ppid=18907 vsize=15151156 memory=25948 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18943/stat : 18943 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 17315 33554432000 4194304 4196468 140726755762912 139941292997552 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 70712 KiB
[startup+1.50087 s]
/proc/loadavg: 0.00 0.01 0.05 7/228 18944
/proc/meminfo: memFree=25950396/32770624 swapFree=66956944/67108860
[pid=18907] ppid=18904 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18907/stat : 18907 (xcsp3-exec) S 18904 18907 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140728768418864 140728768416968 140516897387132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39235584 140728768422742 140728768423001 140728768423001 140728768425926 0
/proc/18907/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/18910/task/18922/stat : 18922 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 29983 33554432000 4194304 4196468 140726755762912 139942183057808 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18924] ppid=18907 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18924/stat : 18924 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941817538832 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18925] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18925/stat : 18925 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941816486544 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18926] ppid=18907 vsize=15151156 memory=221195110749125 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18926/stat : 18926 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941815433744 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18928] ppid=18907 vsize=15151156 memory=139993721031665 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18928/stat : 18928 (java) S 18907 18907 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941301418608 139942226516610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18929] ppid=18907 vsize=15151156 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18929/stat : 18929 (java) S 18907 18907 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941300364576 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18931] ppid=18907 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18931/stat : 18931 (java) S 18907 18907 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941299312240 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18935] ppid=18907 vsize=15151156 memory=104436 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18935/stat : 18935 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941298260560 139942226524059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18937] ppid=18907 vsize=15151156 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/18910/task/18937/stat : 18937 (java) S 18907 18907 18852 0 -1 1077944384 5877 0 0 0 97 1 0 0 20 0 15 0 515924801 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941297207408 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18939] ppid=18907 vsize=15151156 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/18910/task/18939/stat : 18939 (java) R 18907 18907 18852 0 -1 4202560 7776 0 0 0 100 1 0 0 20 0 15 0 515924801 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941296142720 139942208049186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18940] ppid=18907 vsize=15151156 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/18910/task/18940/stat : 18940 (java) S 18907 18907 18852 0 -1 1077944384 2462 0 0 0 39 0 0 0 20 0 15 0 515924801 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941295102320 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18942] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18942/stat : 18942 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 29983 33554432000 4194304 4196468 140726755762912 139941294049760 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18943] ppid=18907 vsize=15151156 memory=15521 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18943/stat : 18943 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 30049 33554432000 4194304 4196468 140726755762912 139941292997552 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
Current children cumulated CPU time: 3.86 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 121384 KiB
[startup+1.95795 s]
# the end of solver process 18907 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.6111 s, system=0.094172 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60101 s]
/proc/loadavg: 0.00 0.01 0.05 7/228 18944
/proc/meminfo: memFree=25950396/32770624 swapFree=66956944/67108860
[pid=18907] ppid=18904 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18907/stat : 18907 (xcsp3-exec) S 18904 18907 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140728768418864 140728768416968 140516897387132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39235584 140728768422742 140728768423001 140728768423001 140728768425926 0
/proc/18907/statm: 28282 363 304 221 0 87 0
[pid=18910] ppid=18907 vsize=15151156 memory=124556 CPUtime=4.14 cores=0,2,4,6
/proc/18910/stat : 18910 (java) S 18907 18907 18852 0 -1 1077944320 27106 0 0 0 406 8 0 0 20 0 15 0 515924793 15514783744 31139 33554432000 4194304 4196468 140726755762912 140726755745456 139942226505463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
/proc/18910/statm: 3787789 31139 3463 1 0 3748889 0
[pid=18910/tid=18917] ppid=18907 vsize=15151156 memory=8836 CPUtime=1.54 cores=0,2,4,6
/proc/18910/task/18917/stat : 18917 (java) R 18907 18907 18852 0 -1 4202560 9569 0 0 0 150 4 0 0 20 0 15 0 515924794 15514783744 31139 33554432000 4194304 4196468 140726755762912 139942230743904 139941866622792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18922] ppid=18907 vsize=15151156 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18922/stat : 18922 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 31139 33554432000 4194304 4196468 140726755762912 139942183057808 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18924] ppid=18907 vsize=15151156 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18924/stat : 18924 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941817538832 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18925] ppid=18907 vsize=15151156 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18925/stat : 18925 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941816486544 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18926] ppid=18907 vsize=15151156 memory=279987442004624 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18926/stat : 18926 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941815433744 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18928] ppid=18907 vsize=15151156 memory=4470322759425 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18928/stat : 18928 (java) S 18907 18907 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941301418608 139942226516610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18929] ppid=18907 vsize=15151156 memory=6385878173441 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18929/stat : 18929 (java) S 18907 18907 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941300364576 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18931] ppid=18907 vsize=15151156 memory=9216261621505 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18931/stat : 18931 (java) S 18907 18907 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941299312240 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18935] ppid=18907 vsize=15151156 memory=9220556588801 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18935/stat : 18935 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941298260560 139942226524059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18937] ppid=18907 vsize=15151156 memory=9443894888193 CPUtime=1.05 cores=0,2,4,6
/proc/18910/task/18937/stat : 18937 (java) R 18907 18907 18852 0 -1 4202560 5895 0 0 0 104 1 0 0 20 0 15 0 515924801 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941297207408 139942211613134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18939] ppid=18907 vsize=15151156 memory=9452484822785 CPUtime=1.11 cores=0,2,4,6
/proc/18910/task/18939/stat : 18939 (java) R 18907 18907 18852 0 -1 4202560 7870 0 0 0 110 1 0 0 20 0 15 0 515924801 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941296142720 139942205762099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18940] ppid=18907 vsize=15151156 memory=9985060767489 CPUtime=0.39 cores=0,2,4,6
/proc/18910/task/18940/stat : 18940 (java) S 18907 18907 18852 0 -1 1077944384 2462 0 0 0 39 0 0 0 20 0 15 0 515924801 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941295102320 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18942] ppid=18907 vsize=15151156 memory=10285708478209 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18942/stat : 18942 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941294049760 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18943] ppid=18907 vsize=15151156 memory=10371607824129 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18943/stat : 18943 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 31139 33554432000 4194304 4196468 140726755762912 139941292997552 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 126008 KiB
[startup+1.80076 s]
/proc/loadavg: 0.00 0.01 0.05 7/228 18944
/proc/meminfo: memFree=25950396/32770624 swapFree=66956944/67108860
[pid=18907] ppid=18904 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18907/stat : 18907 (xcsp3-exec) S 18904 18907 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140728768418864 140728768416968 140516897387132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39235584 140728768422742 140728768423001 140728768423001 140728768425926 0
/proc/18907/statm: 28282 363 304 221 0 87 0
[pid=18910] ppid=18907 vsize=15151156 memory=134316 CPUtime=4.46 cores=0,2,4,6
/proc/18910/stat : 18910 (java) S 18907 18907 18852 0 -1 1077944320 27591 0 0 0 438 8 0 0 20 0 15 0 515924793 15514783744 33579 33554432000 4194304 4196468 140726755762912 140726755745456 139942226505463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
/proc/18910/statm: 3787789 33579 3466 1 0 3748889 0
[pid=18910/tid=18917] ppid=18907 vsize=15151156 memory=83257202838250 CPUtime=1.75 cores=0,2,4,6
/proc/18910/task/18917/stat : 18917 (java) R 18907 18907 18852 0 -1 4202560 9574 0 0 0 170 5 0 0 20 0 15 0 515924794 15514783744 33579 33554432000 4194304 4196468 140726755762912 139942230744464 139941866782802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18922] ppid=18907 vsize=15151156 memory=83261497805546 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18922/stat : 18922 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 33579 33554432000 4194304 4196468 140726755762912 139942183057808 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18924] ppid=18907 vsize=15151156 memory=83278677674730 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18924/stat : 18924 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941817538832 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18925] ppid=18907 vsize=15151156 memory=83282972642026 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18925/stat : 18925 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941816486544 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18926] ppid=18907 vsize=15151156 memory=83364577020394 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18926/stat : 18926 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941815433744 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18928] ppid=18907 vsize=15151156 memory=626221880 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18928/stat : 18928 (java) S 18907 18907 18852 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941301418608 139942226516610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18929] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18929/stat : 18929 (java) S 18907 18907 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941300364576 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18931] ppid=18907 vsize=15151156 memory=4628973225547555219 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18931/stat : 18931 (java) S 18907 18907 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941299312240 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18935] ppid=18907 vsize=15151156 memory=-8772885032202440803 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18935/stat : 18935 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941298260560 139942226524059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18937] ppid=18907 vsize=15151156 memory=-6000919503509141558 CPUtime=1.12 cores=0,2,4,6
/proc/18910/task/18937/stat : 18937 (java) S 18907 18907 18852 0 -1 1077944384 6253 0 0 0 111 1 0 0 20 0 15 0 515924801 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941297207408 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18939] ppid=18907 vsize=15151156 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/18910/task/18939/stat : 18939 (java) S 18907 18907 18852 0 -1 1077944384 7982 0 0 0 116 1 0 0 20 0 15 0 515924801 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941296154608 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18940] ppid=18907 vsize=15151156 memory=4641074187873313646 CPUtime=0.39 cores=0,2,4,6
/proc/18910/task/18940/stat : 18940 (java) S 18907 18907 18852 0 -1 1077944384 2462 0 0 0 39 0 0 0 20 0 15 0 515924801 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941295102320 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18942] ppid=18907 vsize=15151156 memory=7235424611564151407 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18942/stat : 18942 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941294049760 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18943] ppid=18907 vsize=15151156 memory=5792307971826475881 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18943/stat : 18943 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 33579 33554432000 4194304 4196468 140726755762912 139941292997552 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
Current children cumulated CPU time: 4.46 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 135768 KiB
[startup+1.90067 s]
/proc/loadavg: 0.00 0.01 0.05 7/228 18944
/proc/meminfo: memFree=25950396/32770624 swapFree=66956944/67108860
[pid=18907] ppid=18904 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18907/stat : 18907 (xcsp3-exec) S 18904 18907 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515924793 115843072 363 33554432000 4194304 5098028 140728768418864 140728768416968 140516897387132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39235584 140728768422742 140728768423001 140728768423001 140728768425926 0
/proc/18907/statm: 28282 363 304 221 0 87 0
[pid=18910] ppid=18907 vsize=15151156 memory=138412 CPUtime=4.62 cores=0,2,4,6
/proc/18910/stat : 18910 (java) S 18907 18907 18852 0 -1 1077944320 27595 0 0 0 454 8 0 0 20 0 15 0 515924793 15514783744 34603 33554432000 4194304 4196468 140726755762912 140726755745456 139942226505463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
/proc/18910/statm: 3787789 34603 3466 1 0 3748889 0
[pid=18910/tid=18917] ppid=18907 vsize=15151156 memory=119932 CPUtime=1.85 cores=0,2,4,6
/proc/18910/task/18917/stat : 18917 (java) R 18907 18907 18852 0 -1 4202560 9576 0 0 0 180 5 0 0 20 0 15 0 515924794 15514783744 34603 33554432000 4194304 4196468 140726755762912 139942230742776 139941866623584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18922] ppid=18907 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18922/stat : 18922 (java) S 18907 18907 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 34603 33554432000 4194304 4196468 140726755762912 139942183057808 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18924] ppid=18907 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18924/stat : 18924 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941817538832 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18925] ppid=18907 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18925/stat : 18925 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941816486544 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18926] ppid=18907 vsize=15151156 memory=130220 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18926/stat : 18926 (java) S 18907 18907 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924797 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941815433744 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18928] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18928/stat : 18928 (java) S 18907 18907 18852 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941301418608 139942226516610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18929] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18929/stat : 18929 (java) S 18907 18907 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924798 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941300364576 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18931] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18931/stat : 18931 (java) S 18907 18907 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924799 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941299312240 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18935] ppid=18907 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18935/stat : 18935 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924801 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941298260560 139942226524059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18937] ppid=18907 vsize=15151156 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/18910/task/18937/stat : 18937 (java) R 18907 18907 18852 0 -1 4202560 6254 0 0 0 114 1 0 0 20 0 15 0 515924801 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941297207408 139942211432105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18939] ppid=18907 vsize=15151156 memory=279987442021600 CPUtime=1.21 cores=0,2,4,6
/proc/18910/task/18939/stat : 18939 (java) R 18907 18907 18852 0 -1 4202560 7983 0 0 0 120 1 0 0 20 0 15 0 515924801 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941296154904 139942208027325 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18940] ppid=18907 vsize=15151156 memory=139993722936998 CPUtime=0.39 cores=0,2,4,6
/proc/18910/task/18940/stat : 18940 (java) S 18907 18907 18852 0 -1 1077944384 2462 0 0 0 39 0 0 0 20 0 15 0 515924801 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941295102320 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18942] ppid=18907 vsize=15151156 memory=304333863091085763 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18942/stat : 18942 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941294049760 139942226515669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
[pid=18910/tid=18943] ppid=18907 vsize=15151156 memory=8696068768769627350 CPUtime=0 cores=0,2,4,6
/proc/18910/task/18943/stat : 18943 (java) S 18907 18907 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924802 15514783744 34603 33554432000 4194304 4196468 140726755762912 139941292997552 139942226516610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7815168 140726755771355 140726755771530 140726755771530 140726755774415 0
Current children cumulated CPU time: 4.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 139864 KiB
Child status: 0
Real time (s): 1.95799
CPU time (s): 4.70527
CPU user time (s): 4.6111
CPU system time (s): 0.094172
CPU usage (%): 240.312
Max. virtual memory (cumulated for all children) (KiB): 15266392
Max. memory (cumulated for all children) (KiB): 139864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.6111
system time used= 0.094172
maximum resident set size= 141216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1959
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 18907
# total CPU time (s): 4.70527
# total CPU user time (s): 4.6111
# total CPU system time (s): 0.094172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032813 second user time and 0.062452 second system time
The end