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 (10838 MiB free)
memory of node 1: 16384 MiB (12043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405724-1569415886/watcher-4405724-1569415886 -o /tmp/evaluation-result-4405724-1569415886/solver-4405724-1569415886 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569407822-5223 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1694944136 HOME/instance-4405724-1569415886.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
Current StackSize limit: 8192 KiB
solver pid=6905, runsolver pid=6902
[startup+0.101153 s]*
/proc/loadavg: 1.97 2.02 1.98 3/229 6921
/proc/meminfo: memFree=23416108/32770624 swapFree=66999860/67108860
[pid=6905] ppid=6902 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6905/stat : 6905 (xcsp3-exec) S 6902 6905 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517853400 115843072 363 33554432000 4194304 5098028 140736767704144 140736767702248 140589226623612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30371840 140736767710074 140736767710317 140736767710317 140736767713226 0
/proc/6905/statm: 28282 363 304 221 0 87 0
[pid=6907] ppid=6905 vsize=15144776 memory=28992 CPUtime=0.13 cores=0,2,4,6
/proc/6907/stat : 6907 (java) S 6905 6905 5192 0 -1 1077944320 5686 0 0 0 12 1 0 0 20 0 15 0 517853401 15508250624 7248 33554432000 4194304 4196468 140725835463328 140725835445872 140311055322871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
/proc/6907/statm: 3786194 7248 3148 1 0 3748377 0
[pid=6907/tid=6908] ppid=6905 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/6907/task/6908/stat : 6908 (java) R 6905 6905 5192 0 -1 4202560 3570 0 0 0 8 1 0 0 20 0 15 0 517853401 15508250624 7248 33554432000 4194304 4196468 140725835463328 140311059555648 140311033455473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6909] ppid=6905 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6909/stat : 6909 (java) S 6905 6905 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517853402 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310647855888 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6910] ppid=6905 vsize=15144776 memory=139971074479744 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6910/stat : 6910 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853402 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310646803344 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6911] ppid=6905 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6911/stat : 6911 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853402 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310645750800 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6912] ppid=6905 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6912/stat : 6912 (java) S 6905 6905 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517853402 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310644698256 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6913] ppid=6905 vsize=15144776 memory=139971074479744 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6913/stat : 6913 (java) S 6905 6905 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517853403 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310130681840 140311055334018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6914] ppid=6905 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6914/stat : 6914 (java) S 6905 6905 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517853404 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310129628064 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6915] ppid=6905 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6915/stat : 6915 (java) S 6905 6905 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517853404 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310128575472 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6916] ppid=6905 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6916/stat : 6916 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310127524048 140311055341467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6917] ppid=6905 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6917/stat : 6917 (java) S 6905 6905 5192 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 517853406 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310126471664 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6918] ppid=6905 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6918/stat : 6918 (java) S 6905 6905 5192 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 517853406 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310125419120 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6919] ppid=6905 vsize=15144776 memory=139971074479744 CPUtime=0.02 cores=0,2,4,6
/proc/6907/task/6919/stat : 6919 (java) R 6905 6905 5192 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 517853406 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310124366576 140311039403358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6920] ppid=6905 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6920/stat : 6920 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310123314272 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6921] ppid=6905 vsize=15144776 memory=139971074479744 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6921/stat : 6921 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853407 15508250624 7248 33554432000 4194304 4196468 140725835463328 140310122260784 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30444 KiB
[startup+0.210737 s]*
/proc/loadavg: 1.97 2.02 1.98 3/229 6921
/proc/meminfo: memFree=23402924/32770624 swapFree=66999860/67108860
[pid=6905] ppid=6902 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6905/stat : 6905 (xcsp3-exec) S 6902 6905 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517853400 115843072 363 33554432000 4194304 5098028 140736767704144 140736767702248 140589226623612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30371840 140736767710074 140736767710317 140736767710317 140736767713226 0
/proc/6905/statm: 28282 363 304 221 0 87 0
[pid=6907] ppid=6905 vsize=15144776 memory=40496 CPUtime=0.34 cores=0,2,4,6
/proc/6907/stat : 6907 (java) S 6905 6905 5192 0 -1 1077944320 9341 0 0 0 31 3 0 0 20 0 15 0 517853401 15508250624 10124 33554432000 4194304 4196468 140725835463328 140725835445872 140311055322871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
/proc/6907/statm: 3786194 10124 3300 1 0 3748377 0
[pid=6907/tid=6908] ppid=6905 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6907/task/6908/stat : 6908 (java) R 6905 6905 5192 0 -1 4202560 6589 0 0 0 18 2 0 0 20 0 15 0 517853401 15508250624 10124 33554432000 4194304 4196468 140725835463328 140311059552592 140311055334806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6909] ppid=6905 vsize=15144776 memory=9780 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6909/stat : 6909 (java) S 6905 6905 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517853402 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310647855888 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6910] ppid=6905 vsize=15144776 memory=139971077971958 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6910/stat : 6910 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853402 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310646803344 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6911] ppid=6905 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6911/stat : 6911 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853402 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310645750800 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6912] ppid=6905 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6912/stat : 6912 (java) S 6905 6905 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517853402 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310644698256 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6913] ppid=6905 vsize=15144776 memory=139971074479744 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6913/stat : 6913 (java) S 6905 6905 5192 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517853403 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310130681840 140311055334018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6914] ppid=6905 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6914/stat : 6914 (java) S 6905 6905 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517853404 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310129628064 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6915] ppid=6905 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6915/stat : 6915 (java) S 6905 6905 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517853404 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310128575472 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6916] ppid=6905 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6916/stat : 6916 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310127524048 140311055341467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6917] ppid=6905 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6907/task/6917/stat : 6917 (java) R 6905 6905 5192 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 517853406 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310126471664 140311055334018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6918] ppid=6905 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6907/task/6918/stat : 6918 (java) S 6905 6905 5192 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 15 0 517853406 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310125419120 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6919] ppid=6905 vsize=15144776 memory=139971074479744 CPUtime=0.08 cores=0,2,4,6
/proc/6907/task/6919/stat : 6919 (java) S 6905 6905 5192 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 15 0 517853406 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310124366576 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6920] ppid=6905 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6920/stat : 6920 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310123314272 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6921] ppid=6905 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6921/stat : 6921 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853407 15508250624 10124 33554432000 4194304 4196468 140725835463328 140310122260784 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41948 KiB
[startup+0.310578 s]*
/proc/loadavg: 1.97 2.02 1.98 4/229 6921
/proc/meminfo: memFree=23396452/32770624 swapFree=66999860/67108860
[pid=6905] ppid=6902 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6905/stat : 6905 (xcsp3-exec) S 6902 6905 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517853400 115843072 363 33554432000 4194304 5098028 140736767704144 140736767702248 140589226623612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30371840 140736767710074 140736767710317 140736767710317 140736767713226 0
/proc/6905/statm: 28282 363 304 221 0 87 0
[pid=6907] ppid=6905 vsize=15149032 memory=49800 CPUtime=0.52 cores=0,2,4,6
/proc/6907/stat : 6907 (java) S 6905 6905 5192 0 -1 1077944320 10827 0 0 0 49 3 0 0 20 0 15 0 517853401 15512608768 12450 33554432000 4194304 4196468 140725835463328 140725835445872 140311055322871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
/proc/6907/statm: 3787258 12450 3355 1 0 3748377 0
[pid=6907/tid=6908] ppid=6905 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/6907/task/6908/stat : 6908 (java) R 6905 6905 5192 0 -1 4202560 7730 0 0 0 27 3 0 0 20 0 15 0 517853401 15512608768 12450 33554432000 4194304 4196468 140725835463328 140311059552352 140311055344797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6909] ppid=6905 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6909/stat : 6909 (java) S 6905 6905 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517853402 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310647855888 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6910] ppid=6905 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6910/stat : 6910 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853402 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310646803344 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6911] ppid=6905 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6911/stat : 6911 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853402 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310645750800 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6912] ppid=6905 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6912/stat : 6912 (java) S 6905 6905 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517853402 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310644698256 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6913] ppid=6905 vsize=15149032 memory=7007700635973428626 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6913/stat : 6913 (java) S 6905 6905 5192 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517853403 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310130681840 140311055334018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6914] ppid=6905 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6914/stat : 6914 (java) S 6905 6905 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517853404 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310129628064 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6915] ppid=6905 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6915/stat : 6915 (java) S 6905 6905 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517853404 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310128575472 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6916] ppid=6905 vsize=15149032 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6916/stat : 6916 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310127524048 140311055341467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6917] ppid=6905 vsize=15149032 memory=7031125463459224206 CPUtime=0.04 cores=0,2,4,6
/proc/6907/task/6917/stat : 6917 (java) R 6905 6905 5192 0 -1 1077944384 575 0 0 0 4 0 0 0 20 0 15 0 517853406 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310126471664 140311055334018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6918] ppid=6905 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6907/task/6918/stat : 6918 (java) R 6905 6905 5192 0 -1 4202560 240 0 0 0 5 0 0 0 20 0 15 0 517853406 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310125400136 140311036844087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6919] ppid=6905 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6907/task/6919/stat : 6919 (java) S 6905 6905 5192 0 -1 1077944384 987 0 0 0 12 0 0 0 20 0 15 0 517853406 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310124366576 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6920] ppid=6905 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6920/stat : 6920 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310123314272 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6921] ppid=6905 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6921/stat : 6921 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853407 15512608768 12450 33554432000 4194304 4196468 140725835463328 140310122260784 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51252 KiB
[startup+0.700762 s]
/proc/loadavg: 1.97 2.02 1.98 6/229 6921
/proc/meminfo: memFree=23382884/32770624 swapFree=66999860/67108860
[pid=6905] ppid=6902 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6905/stat : 6905 (xcsp3-exec) S 6902 6905 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517853400 115843072 363 33554432000 4194304 5098028 140736767704144 140736767702248 140589226623612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30371840 140736767710074 140736767710317 140736767710317 140736767713226 0
/proc/6905/statm: 28282 363 304 221 0 87 0
[pid=6907] ppid=6905 vsize=15151156 memory=185492 CPUtime=1.45 cores=0,2,4,6
/proc/6907/stat : 6907 (java) S 6905 6905 5192 0 -1 1077944320 14547 0 0 0 137 8 0 0 20 0 15 0 517853401 15514783744 46373 33554432000 4194304 4196468 140725835463328 140725835445872 140311055322871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
/proc/6907/statm: 3787789 46373 3452 1 0 3748889 0
[pid=6907/tid=6908] ppid=6905 vsize=15151156 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/6907/task/6908/stat : 6908 (java) S 6905 6905 5192 0 -1 1077944384 9179 0 0 0 61 5 0 0 20 0 15 0 517853401 15514783744 46373 33554432000 4194304 4196468 140725835463328 140311059560768 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6909] ppid=6905 vsize=15151156 memory=65080 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6909/stat : 6909 (java) S 6905 6905 5192 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 517853402 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310647855888 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6910] ppid=6905 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6910/stat : 6910 (java) S 6905 6905 5192 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 517853402 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310646803344 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6911] ppid=6905 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6911/stat : 6911 (java) S 6905 6905 5192 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 517853402 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310645750800 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6912] ppid=6905 vsize=15151156 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6912/stat : 6912 (java) S 6905 6905 5192 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 517853402 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310644698256 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6913] ppid=6905 vsize=15151156 memory=9396 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6913/stat : 6913 (java) R 6905 6905 5192 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 517853403 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310130680352 140311048419465 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6914] ppid=6905 vsize=15151156 memory=656 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6914/stat : 6914 (java) S 6905 6905 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517853404 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310129628064 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6915] ppid=6905 vsize=15151156 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6915/stat : 6915 (java) S 6905 6905 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517853404 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310128575472 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6916] ppid=6905 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6916/stat : 6916 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310127524048 140311055341467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6917] ppid=6905 vsize=15151156 memory=1712 CPUtime=0.21 cores=0,2,4,6
/proc/6907/task/6917/stat : 6917 (java) S 6905 6905 5192 0 -1 1077944384 1189 0 0 0 21 0 0 0 20 0 15 0 517853406 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310126471664 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6918] ppid=6905 vsize=15151156 memory=1204 CPUtime=0.23 cores=0,2,4,6
/proc/6907/task/6918/stat : 6918 (java) S 6905 6905 5192 0 -1 1077944384 828 0 0 0 23 0 0 0 20 0 15 0 517853406 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310125419120 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6919] ppid=6905 vsize=15151156 memory=1072 CPUtime=0.29 cores=0,2,4,6
/proc/6907/task/6919/stat : 6919 (java) S 6905 6905 5192 0 -1 1077944384 1994 0 0 0 29 0 0 0 20 0 15 0 517853406 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310124366576 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6920] ppid=6905 vsize=15151156 memory=6220 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6920/stat : 6920 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310123314272 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6921] ppid=6905 vsize=15151156 memory=1544 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6921/stat : 6921 (java) S 6905 6905 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517853407 15514783744 46373 33554432000 4194304 4196468 140725835463328 140310122260784 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 186944 KiB
[startup+1.50083 s]
/proc/loadavg: 1.97 2.02 1.98 3/229 6921
/proc/meminfo: memFree=23103800/32770624 swapFree=66999860/67108860
[pid=6905] ppid=6902 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6905/stat : 6905 (xcsp3-exec) S 6902 6905 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517853400 115843072 363 33554432000 4194304 5098028 140736767704144 140736767702248 140589226623612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30371840 140736767710074 140736767710317 140736767710317 140736767713226 0
/proc/6905/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/6907/task/6915/stat : 6915 (java) S 6905 6905 5192 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 517853404 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310128575488 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6916] ppid=6905 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6916/stat : 6916 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310127524048 140311055341467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6917] ppid=6905 vsize=15151156 memory=1452 CPUtime=1.83 cores=0,2,4,6
/proc/6907/task/6917/stat : 6917 (java) S 6905 6905 5192 0 -1 1077944384 15170 0 0 0 180 3 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310126471664 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6918] ppid=6905 vsize=15151156 memory=1452 CPUtime=2.07 cores=0,2,4,6
/proc/6907/task/6918/stat : 6918 (java) S 6905 6905 5192 0 -1 1077944384 18714 0 0 0 205 2 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310125419120 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6919] ppid=6905 vsize=15151156 memory=11038748 CPUtime=0.66 cores=0,2,4,6
/proc/6907/task/6919/stat : 6919 (java) S 6905 6905 5192 0 -1 1077944384 13715 0 0 0 64 2 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310124366576 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6920] ppid=6905 vsize=15151156 memory=11038748 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6920/stat : 6920 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310123314272 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6921] ppid=6905 vsize=15151156 memory=3580 CPUtime=1.44 cores=0,2,4,6
/proc/6907/task/6921/stat : 6921 (java) S 6905 6905 5192 0 -1 1077944384 2404 0 0 0 68 76 0 0 20 0 15 0 517853407 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310122260784 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
Current children cumulated CPU time: 2392.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 11040200 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/207 7198
/proc/meminfo: memFree=14656200/32770624 swapFree=66999860/67108860
[pid=6905] ppid=6902 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6905/stat : 6905 (xcsp3-exec) S 6902 6905 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517853400 115843072 363 33554432000 4194304 5098028 140736767704144 140736767702248 140589226623612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30371840 140736767710074 140736767710317 140736767710317 140736767713226 0
/proc/6905/statm: 28282 363 304 221 0 87 0
[pid=6907] ppid=6905 vsize=15151156 memory=11038748 CPUtime=2452.73 cores=0,2,4,6
/proc/6907/stat : 6907 (java) S 6905 6905 5192 0 -1 1077944320 362857 0 0 0 244576 697 0 0 20 0 15 0 517853401 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140725835445872 140311055322871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
/proc/6907/statm: 3787789 2759687 3518 1 0 3748889 0
[pid=6907/tid=6908] ppid=6905 vsize=15151156 memory=11038748 CPUtime=2262.76 cores=0,2,4,6
/proc/6907/task/6908/stat : 6908 (java) R 6905 6905 5192 0 -1 4202560 142841 0 0 0 226214 62 0 0 20 0 15 0 517853401 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140311059560008 140310697632171 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6909] ppid=6905 vsize=15151156 memory=1452 CPUtime=41.54 cores=0,2,4,6
/proc/6907/task/6909/stat : 6909 (java) S 6905 6905 5192 0 -1 1077944384 23904 0 0 0 4035 119 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310647855888 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6910] ppid=6905 vsize=15151156 memory=1452 CPUtime=41.6 cores=0,2,4,6
/proc/6907/task/6910/stat : 6910 (java) S 6905 6905 5192 0 -1 1077944384 31314 0 0 0 4018 142 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310646803344 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6911] ppid=6905 vsize=15151156 memory=1452 CPUtime=41.52 cores=0,2,4,6
/proc/6907/task/6911/stat : 6911 (java) S 6905 6905 5192 0 -1 1077944384 35651 0 0 0 3993 159 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310645750800 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6912] ppid=6905 vsize=15151156 memory=1452 CPUtime=41.66 cores=0,2,4,6
/proc/6907/task/6912/stat : 6912 (java) S 6905 6905 5192 0 -1 1077944384 50733 0 0 0 4025 141 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310644698256 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6913] ppid=6905 vsize=15151156 memory=4872558044660077418 CPUtime=17.51 cores=0,2,4,6
/proc/6907/task/6913/stat : 6913 (java) S 6905 6905 5192 0 -1 1077944384 27067 0 0 0 1746 5 0 0 20 0 15 0 517853403 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310130681840 140311055334018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6914] ppid=6905 vsize=15151156 memory=35176 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6914/stat : 6914 (java) S 6905 6905 5192 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517853404 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310129628128 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6915] ppid=6905 vsize=15151156 memory=11038748 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6915/stat : 6915 (java) S 6905 6905 5192 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 517853404 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310128575488 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6916] ppid=6905 vsize=15151156 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6916/stat : 6916 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310127524048 140311055341467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6917] ppid=6905 vsize=15151156 memory=3580 CPUtime=1.83 cores=0,2,4,6
/proc/6907/task/6917/stat : 6917 (java) S 6905 6905 5192 0 -1 1077944384 15177 0 0 0 180 3 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310126471664 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6918] ppid=6905 vsize=15151156 memory=65160 CPUtime=2.07 cores=0,2,4,6
/proc/6907/task/6918/stat : 6918 (java) S 6905 6905 5192 0 -1 1077944384 18716 0 0 0 205 2 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310125419120 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6919] ppid=6905 vsize=15151156 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/6907/task/6919/stat : 6919 (java) S 6905 6905 5192 0 -1 1077944384 13721 0 0 0 64 2 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310124366576 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6920] ppid=6905 vsize=15151156 memory=11038748 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6920/stat : 6920 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310123314272 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6921] ppid=6905 vsize=15151156 memory=4486604260213485459 CPUtime=1.47 cores=0,2,4,6
/proc/6907/task/6921/stat : 6921 (java) S 6905 6905 5192 0 -1 1077944384 2434 0 0 0 69 78 0 0 20 0 15 0 517853407 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310122260784 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
Current children cumulated CPU time: 2452.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 11040200 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/208 7211
/proc/meminfo: memFree=14655452/32770624 swapFree=66999860/67108860
[pid=6905] ppid=6902 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6905/stat : 6905 (xcsp3-exec) S 6902 6905 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517853400 115843072 363 33554432000 4194304 5098028 140736767704144 140736767702248 140589226623612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30371840 140736767710074 140736767710317 140736767710317 140736767713226 0
/proc/6905/statm: 28282 363 304 221 0 87 0
[pid=6907] ppid=6905 vsize=15151156 memory=11038748 CPUtime=2512.77 cores=0,2,4,6
/proc/6907/stat : 6907 (java) S 6905 6905 5192 0 -1 1077944320 366242 0 0 0 250577 700 0 0 20 0 15 0 517853401 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140725835445872 140311055322871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
/proc/6907/statm: 3787789 2759687 3518 1 0 3748889 0
[pid=6907/tid=6908] ppid=6905 vsize=15151156 memory=1452 CPUtime=2322.76 cores=0,2,4,6
/proc/6907/task/6908/stat : 6908 (java) R 6905 6905 5192 0 -1 4202560 146122 0 0 0 232214 62 0 0 20 0 15 0 517853401 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140311059560008 140310697468031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6909] ppid=6905 vsize=15151156 memory=11038748 CPUtime=41.54 cores=0,2,4,6
/proc/6907/task/6909/stat : 6909 (java) S 6905 6905 5192 0 -1 1077944384 23904 0 0 0 4035 119 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310647855888 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6910] ppid=6905 vsize=15151156 memory=11038748 CPUtime=41.6 cores=0,2,4,6
/proc/6907/task/6910/stat : 6910 (java) S 6905 6905 5192 0 -1 1077944384 31314 0 0 0 4018 142 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310646803344 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6911] ppid=6905 vsize=15151156 memory=11038748 CPUtime=41.52 cores=0,2,4,6
/proc/6907/task/6911/stat : 6911 (java) S 6905 6905 5192 0 -1 1077944384 35651 0 0 0 3993 159 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310645750800 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6912] ppid=6905 vsize=15151156 memory=11038748 CPUtime=41.66 cores=0,2,4,6
/proc/6907/task/6912/stat : 6912 (java) S 6905 6905 5192 0 -1 1077944384 50733 0 0 0 4025 141 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310644698256 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6913] ppid=6905 vsize=15151156 memory=11038748 CPUtime=17.52 cores=0,2,4,6
/proc/6907/task/6913/stat : 6913 (java) S 6905 6905 5192 0 -1 1077944384 27091 0 0 0 1746 6 0 0 20 0 15 0 517853403 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310130681840 140311055334018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6914] ppid=6905 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6914/stat : 6914 (java) S 6905 6905 5192 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517853404 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310129628128 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6915] ppid=6905 vsize=15151156 memory=11038748 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6915/stat : 6915 (java) S 6905 6905 5192 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 517853404 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310128575488 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6916] ppid=6905 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6916/stat : 6916 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310127524048 140311055341467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6917] ppid=6905 vsize=15151156 memory=11038748 CPUtime=1.83 cores=0,2,4,6
/proc/6907/task/6917/stat : 6917 (java) S 6905 6905 5192 0 -1 1077944384 15187 0 0 0 180 3 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310126471664 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6918] ppid=6905 vsize=15151156 memory=1452 CPUtime=2.07 cores=0,2,4,6
/proc/6907/task/6918/stat : 6918 (java) S 6905 6905 5192 0 -1 1077944384 18720 0 0 0 205 2 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310125419120 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6919] ppid=6905 vsize=15151156 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/6907/task/6919/stat : 6919 (java) S 6905 6905 5192 0 -1 1077944384 13737 0 0 0 64 2 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310124366576 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6920] ppid=6905 vsize=15151156 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6920/stat : 6920 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310123314272 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6921] ppid=6905 vsize=15151156 memory=1452 CPUtime=1.51 cores=0,2,4,6
/proc/6907/task/6921/stat : 6921 (java) S 6905 6905 5192 0 -1 1077944384 2484 0 0 0 70 81 0 0 20 0 15 0 517853407 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310122260784 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
Current children cumulated CPU time: 2512.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 11040200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2389.6 s]
/proc/loadavg: 1.00 1.01 1.10 2/207 7211
/proc/meminfo: memFree=14655872/32770624 swapFree=66999860/67108860
[pid=6905] ppid=6902 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6905/stat : 6905 (xcsp3-exec) S 6902 6905 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517853400 115843072 363 33554432000 4194304 5098028 140736767704144 140736767702248 140589226623612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30371840 140736767710074 140736767710317 140736767710317 140736767713226 0
/proc/6905/statm: 28282 363 304 221 0 87 0
[pid=6907] ppid=6905 vsize=15151156 memory=11038748 CPUtime=2520.08 cores=0,2,4,6
/proc/6907/stat : 6907 (java) S 6905 6905 5192 0 -1 1077944320 366544 0 0 0 251308 700 0 0 20 0 15 0 517853401 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140725835445872 140311055322871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
/proc/6907/statm: 3787789 2759687 3518 1 0 3748889 0
[pid=6907/tid=6908] ppid=6905 vsize=15151156 memory=65176 CPUtime=2330.06 cores=0,2,4,6
/proc/6907/task/6908/stat : 6908 (java) R 6905 6905 5192 0 -1 4202560 146424 0 0 0 232944 62 0 0 20 0 15 0 517853401 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140311059560008 140310698317559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6909] ppid=6905 vsize=15151156 memory=8112282956445269571 CPUtime=41.54 cores=0,2,4,6
/proc/6907/task/6909/stat : 6909 (java) S 6905 6905 5192 0 -1 1077944384 23904 0 0 0 4035 119 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310647855888 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6910] ppid=6905 vsize=15151156 memory=1712 CPUtime=41.6 cores=0,2,4,6
/proc/6907/task/6910/stat : 6910 (java) S 6905 6905 5192 0 -1 1077944384 31314 0 0 0 4018 142 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310646803344 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6911] ppid=6905 vsize=15151156 memory=1204 CPUtime=41.52 cores=0,2,4,6
/proc/6907/task/6911/stat : 6911 (java) S 6905 6905 5192 0 -1 1077944384 35651 0 0 0 3993 159 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310645750800 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6912] ppid=6905 vsize=15151156 memory=1072 CPUtime=41.66 cores=0,2,4,6
/proc/6907/task/6912/stat : 6912 (java) S 6905 6905 5192 0 -1 1077944384 50733 0 0 0 4025 141 0 0 20 0 15 0 517853402 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310644698256 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6913] ppid=6905 vsize=15151156 memory=6220 CPUtime=17.52 cores=0,2,4,6
/proc/6907/task/6913/stat : 6913 (java) S 6905 6905 5192 0 -1 1077944384 27091 0 0 0 1746 6 0 0 20 0 15 0 517853403 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310130681840 140311055334018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6914] ppid=6905 vsize=15151156 memory=1544 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6914/stat : 6914 (java) S 6905 6905 5192 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517853404 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310129628128 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6915] ppid=6905 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6915/stat : 6915 (java) S 6905 6905 5192 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 517853404 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310128575488 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6916] ppid=6905 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6916/stat : 6916 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310127524048 140311055341467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6917] ppid=6905 vsize=15151156 memory=1432 CPUtime=1.83 cores=0,2,4,6
/proc/6907/task/6917/stat : 6917 (java) S 6905 6905 5192 0 -1 1077944384 15187 0 0 0 180 3 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310126471664 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6918] ppid=6905 vsize=15151156 memory=9396 CPUtime=2.07 cores=0,2,4,6
/proc/6907/task/6918/stat : 6918 (java) S 6905 6905 5192 0 -1 1077944384 18720 0 0 0 205 2 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310125419120 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6919] ppid=6905 vsize=15151156 memory=656 CPUtime=0.66 cores=0,2,4,6
/proc/6907/task/6919/stat : 6919 (java) S 6905 6905 5192 0 -1 1077944384 13737 0 0 0 64 2 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310124366576 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6920] ppid=6905 vsize=15151156 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/6907/task/6920/stat : 6920 (java) S 6905 6905 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517853406 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310123314272 140311055333077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
[pid=6907/tid=6921] ppid=6905 vsize=15151156 memory=1452 CPUtime=1.51 cores=0,2,4,6
/proc/6907/task/6921/stat : 6921 (java) S 6905 6905 5192 0 -1 1077944384 2484 0 0 0 70 81 0 0 20 0 15 0 517853407 15514783744 2759687 33554432000 4194304 4196468 140725835463328 140310122260784 140311055334018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140725835465711 140725835465882 140725835465882 140725835468751 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 11040200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.65 s]
# the end of solver process 6905 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000791 s, system=0.001583 s
[startup+2389.65 s]
# the end of solver process 6907 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.08 s, system=7.04963 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
Child status: 143
Real time (s): 2389.66
CPU time (s): 2520.13
CPU user time (s): 2513.08
CPU system time (s): 7.04963
CPU usage (%): 105.46
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 11046056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.08
system time used= 7.04963
maximum resident set size= 11044604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58130
involuntary context switches= 3529
# summary of solver processes directly reported to runsolver:
# pid: 6905,6907
# total CPU time (s): 2520.13
# total CPU user time (s): 2513.08
# total CPU system time (s): 7.04963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4287 second user time and 25.9101 second system time
The end