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 (3744 MiB free)
memory of node 1: 16384 MiB (3058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404199-1568988760/watcher-4404199-1568988760 -o /var/tmp/evaluation-result-4404199-1568988760/solver-4404199-1568988760 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568988114-19952 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 643358179 HOME/instance-4404199-1568988760.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=20212, runsolver pid=20209
[startup+0.100129 s]*
/proc/loadavg: 8.66 7.77 4.59 4/225 20247
/proc/meminfo: memFree=6936576/32770624 swapFree=66953200/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 19920 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474790792 115843072 364 33554432000 4194304 5098028 140731727091504 140731727089608 140398226678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27602944 140731727094615 140731727094873 140731727094873 140731727097798 0
/proc/20212/statm: 28282 364 305 221 0 87 0
[pid=20214] ppid=20212 vsize=15144776 memory=29356 CPUtime=0.12 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20212 20212 19920 0 -1 1077944320 5825 0 0 0 11 1 0 0 20 0 15 0 474790793 15508250624 7339 33554432000 4194304 4196468 140732901348480 140732901331024 139814256250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
/proc/20214/statm: 3786194 7339 3141 1 0 3748377 0
[pid=20214/tid=20215] ppid=20212 vsize=15144776 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) R 20212 20212 19920 0 -1 4202560 3704 0 0 0 8 1 0 0 20 0 15 0 474790793 15508250624 7339 33554432000 4194304 4196468 140732901348480 139814260480992 139814256262550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20216] ppid=20212 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15508250624 7339 33554432000 4194304 4196468 140732901348480 139814208870800 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20217] ppid=20212 vsize=15144776 memory=140475769616000 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15508250624 7339 33554432000 4194304 4196468 140732901348480 139814207818000 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20218] ppid=20212 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15508250624 7339 33554432000 4194304 4196468 140732901348480 139814206765712 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20219] ppid=20212 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474790794 15508250624 7339 33554432000 4194304 4196468 140732901348480 139814205712912 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20221] ppid=20212 vsize=15144776 memory=140475769616000 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474790795 15508250624 7339 33554432000 4194304 4196468 140732901348480 139813724822128 139814256261762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20225] ppid=20212 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474790795 15508250624 7339 33554432000 4194304 4196468 140732901348480 139813723768096 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20226] ppid=20212 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474790796 15508250624 7339 33554432000 4194304 4196468 140732901348480 139813722715760 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20239] ppid=20212 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20239/stat : 20239 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474790798 15508250624 7339 33554432000 4194304 4196468 140732901348480 139813721664080 139814256269211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20240] ppid=20212 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20240/stat : 20240 (java) S 20212 20212 19920 0 -1 1077944384 368 0 0 0 0 0 0 0 20 0 15 0 474790798 15508250624 7339 33554432000 4194304 4196468 140732901348480 139813720610928 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20241] ppid=20212 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20241/stat : 20241 (java) S 20212 20212 19920 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 474790798 15508250624 7339 33554432000 4194304 4196468 140732901348480 139813719558128 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20242] ppid=20212 vsize=15144776 memory=140475769616000 CPUtime=0.02 cores=1,3,5,7
/proc/20214/task/20242/stat : 20242 (java) R 20212 20212 19920 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 474790798 15508250624 7339 33554432000 4194304 4196468 140732901348480 139813718505840 139814256262550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20243] ppid=20212 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20243/stat : 20243 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474790798 15508250624 7339 33554432000 4194304 4196468 140732901348480 139813717453280 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20244] ppid=20212 vsize=15144776 memory=140475769616000 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20244/stat : 20244 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790799 15508250624 7339 33554432000 4194304 4196468 140732901348480 139813716401072 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30812 KiB
[startup+0.210967 s]*
/proc/loadavg: 8.66 7.77 4.59 4/231 20253
/proc/meminfo: memFree=6908688/32770624 swapFree=66953200/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 19920 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474790792 115843072 364 33554432000 4194304 5098028 140731727091504 140731727089608 140398226678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27602944 140731727094615 140731727094873 140731727094873 140731727097798 0
/proc/20212/statm: 28282 364 305 221 0 87 0
[pid=20214] ppid=20212 vsize=15144776 memory=40916 CPUtime=0.34 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20212 20212 19920 0 -1 1077944320 9440 0 0 0 31 3 0 0 20 0 15 0 474790793 15508250624 10229 33554432000 4194304 4196468 140732901348480 140732901331024 139814256250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
/proc/20214/statm: 3786194 10229 3304 1 0 3748377 0
[pid=20214/tid=20215] ppid=20212 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) R 20212 20212 19920 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 15 0 474790793 15508250624 10229 33554432000 4194304 4196468 140732901348480 139814260485600 139814240294245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20216] ppid=20212 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15508250624 10229 33554432000 4194304 4196468 140732901348480 139814208870800 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20217] ppid=20212 vsize=15144776 memory=3580807 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15508250624 10229 33554432000 4194304 4196468 140732901348480 139814207818000 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20218] ppid=20212 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15508250624 10229 33554432000 4194304 4196468 140732901348480 139814206765712 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20219] ppid=20212 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474790794 15508250624 10229 33554432000 4194304 4196468 140732901348480 139814205712912 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20221] ppid=20212 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474790795 15508250624 10229 33554432000 4194304 4196468 140732901348480 139813724822128 139814256261762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20225] ppid=20212 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474790795 15508250624 10229 33554432000 4194304 4196468 140732901348480 139813723768096 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20226] ppid=20212 vsize=15144776 memory=140475769616000 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474790796 15508250624 10229 33554432000 4194304 4196468 140732901348480 139813722715760 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20239] ppid=20212 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20239/stat : 20239 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474790798 15508250624 10229 33554432000 4194304 4196468 140732901348480 139813721664080 139814256269211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20240] ppid=20212 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20214/task/20240/stat : 20240 (java) S 20212 20212 19920 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 474790798 15508250624 10229 33554432000 4194304 4196468 140732901348480 139813720610928 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20241] ppid=20212 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20214/task/20241/stat : 20241 (java) S 20212 20212 19920 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 15 0 474790798 15508250624 10229 33554432000 4194304 4196468 140732901348480 139813719558128 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20242] ppid=20212 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20214/task/20242/stat : 20242 (java) R 20212 20212 19920 0 -1 4202560 755 0 0 0 8 0 0 0 20 0 15 0 474790798 15508250624 10229 33554432000 4194304 4196468 140732901348480 139813718505840 139814240331102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20243] ppid=20212 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20243/stat : 20243 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474790798 15508250624 10229 33554432000 4194304 4196468 140732901348480 139813717453280 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20244] ppid=20212 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20244/stat : 20244 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790799 15508250624 10229 33554432000 4194304 4196468 140732901348480 139813716401072 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42372 KiB
[startup+0.316717 s]*
/proc/loadavg: 8.66 7.77 4.59 5/231 20253
/proc/meminfo: memFree=6894032/32770624 swapFree=66953200/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 19920 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474790792 115843072 364 33554432000 4194304 5098028 140731727091504 140731727089608 140398226678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27602944 140731727094615 140731727094873 140731727094873 140731727097798 0
/proc/20212/statm: 28282 364 305 221 0 87 0
[pid=20214] ppid=20212 vsize=15149032 memory=50564 CPUtime=0.54 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20212 20212 19920 0 -1 1077944320 10939 0 0 0 50 4 0 0 20 0 15 0 474790793 15512608768 12641 33554432000 4194304 4196468 140732901348480 140732901331024 139814256250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
/proc/20214/statm: 3787258 12641 3355 1 0 3748377 0
[pid=20214/tid=20215] ppid=20212 vsize=15149032 memory=280951259326368 CPUtime=0.31 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) R 20212 20212 19920 0 -1 4202560 7872 0 0 0 28 3 0 0 20 0 15 0 474790793 15512608768 12649 33554432000 4194304 4196468 140732901348480 139814260485552 139814240331102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20216] ppid=20212 vsize=15149032 memory=67 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15512608768 12649 33554432000 4194304 4196468 140732901348480 139814208870800 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20217] ppid=20212 vsize=15149032 memory=280951399279184 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15512608768 12649 33554432000 4194304 4196468 140732901348480 139814207818000 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20218] ppid=20212 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15512608768 12649 33554432000 4194304 4196468 140732901348480 139814206765712 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20219] ppid=20212 vsize=15149032 memory=67 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474790794 15512608768 12649 33554432000 4194304 4196468 140732901348480 139814205712912 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20221] ppid=20212 vsize=15149032 memory=140475769616000 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474790795 15512608768 12649 33554432000 4194304 4196468 140732901348480 139813724822128 139814256261762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20225] ppid=20212 vsize=15149032 memory=67 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474790795 15512608768 12649 33554432000 4194304 4196468 140732901348480 139813723768096 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20226] ppid=20212 vsize=15149032 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474790796 15512608768 12649 33554432000 4194304 4196468 140732901348480 139813722715760 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20239] ppid=20212 vsize=15149032 memory=69604 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20239/stat : 20239 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474790798 15512608768 12649 33554432000 4194304 4196468 140732901348480 139813721664080 139814256269211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20240] ppid=20212 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20214/task/20240/stat : 20240 (java) S 20212 20212 19920 0 -1 1077944384 544 0 0 0 4 0 0 0 20 0 15 0 474790798 15512608768 12649 33554432000 4194304 4196468 140732901348480 139813720610928 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20241] ppid=20212 vsize=15149032 memory=140475629683983 CPUtime=0.04 cores=1,3,5,7
/proc/20214/task/20241/stat : 20241 (java) S 20212 20212 19920 0 -1 1077944384 363 0 0 0 4 0 0 0 20 0 15 0 474790798 15512608768 12649 33554432000 4194304 4196468 140732901348480 139813719558128 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20242] ppid=20212 vsize=15149032 memory=280951399309152 CPUtime=0.12 cores=1,3,5,7
/proc/20214/task/20242/stat : 20242 (java) S 20212 20212 19920 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 474790798 15512608768 12649 33554432000 4194304 4196468 140732901348480 139813718505840 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20243] ppid=20212 vsize=15149032 memory=140475629688591 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20243/stat : 20243 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474790798 15512608768 12649 33554432000 4194304 4196468 140732901348480 139813717453280 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20244] ppid=20212 vsize=15149032 memory=140475769616000 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20244/stat : 20244 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790799 15512608768 12649 33554432000 4194304 4196468 140732901348480 139813716401072 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52020 KiB
[startup+0.701026 s]
/proc/loadavg: 8.66 7.77 4.59 8/231 20253
/proc/meminfo: memFree=6867472/32770624 swapFree=66953200/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 19920 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474790792 115843072 364 33554432000 4194304 5098028 140731727091504 140731727089608 140398226678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27602944 140731727094615 140731727094873 140731727094873 140731727097798 0
/proc/20212/statm: 28282 364 305 221 0 87 0
[pid=20214] ppid=20212 vsize=15151156 memory=85276 CPUtime=1.65 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20212 20212 19920 0 -1 1077944320 14612 0 0 0 159 6 0 0 20 0 15 0 474790793 15514783744 21319 33554432000 4194304 4196468 140732901348480 140732901331024 139814256250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
/proc/20214/statm: 3787789 21319 3455 1 0 3748889 0
[pid=20214/tid=20215] ppid=20212 vsize=15151156 memory=148 CPUtime=0.68 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) R 20212 20212 19920 0 -1 4202560 8807 0 0 0 64 4 0 0 20 0 15 0 474790793 15514783744 21319 33554432000 4194304 4196468 140732901348480 139814260484992 139814240331102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20216] ppid=20212 vsize=15151156 memory=8320808402719749941 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15514783744 21319 33554432000 4194304 4196468 140732901348480 139814208870800 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20217] ppid=20212 vsize=15151156 memory=5789201851176276832 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15514783744 21319 33554432000 4194304 4196468 140732901348480 139814207818000 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20218] ppid=20212 vsize=15151156 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790794 15514783744 21319 33554432000 4194304 4196468 140732901348480 139814206765712 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20219] ppid=20212 vsize=15151156 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474790794 15514783744 21319 33554432000 4194304 4196468 140732901348480 139814205712912 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20221] ppid=20212 vsize=15151156 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 19920 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 474790795 15514783744 21319 33554432000 4194304 4196468 140732901348480 139813724822128 139814256261762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20225] ppid=20212 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474790795 15514783744 21319 33554432000 4194304 4196468 140732901348480 139813723768096 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20226] ppid=20212 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474790796 15514783744 21319 33554432000 4194304 4196468 140732901348480 139813722715760 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20239] ppid=20212 vsize=15151156 memory=668 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20239/stat : 20239 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474790798 15514783744 21319 33554432000 4194304 4196468 140732901348480 139813721664080 139814256269211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20240] ppid=20212 vsize=15151156 memory=1256 CPUtime=0.26 cores=1,3,5,7
/proc/20214/task/20240/stat : 20240 (java) S 20212 20212 19920 0 -1 1077944384 1204 0 0 0 26 0 0 0 20 0 15 0 474790798 15514783744 21319 33554432000 4194304 4196468 140732901348480 139813720610928 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20241] ppid=20212 vsize=15151156 memory=1076 CPUtime=0.23 cores=1,3,5,7
/proc/20214/task/20241/stat : 20241 (java) S 20212 20212 19920 0 -1 1077944384 1153 0 0 0 23 0 0 0 20 0 15 0 474790798 15514783744 21319 33554432000 4194304 4196468 140732901348480 139813719558128 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20242] ppid=20212 vsize=15151156 memory=14008 CPUtime=0.44 cores=1,3,5,7
/proc/20214/task/20242/stat : 20242 (java) R 20212 20212 19920 0 -1 4202560 2138 0 0 0 44 0 0 0 20 0 15 0 474790798 15514783744 21319 33554432000 4194304 4196468 140732901348480 139813718505840 139814234242171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20243] ppid=20212 vsize=15151156 memory=30364 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20243/stat : 20243 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474790798 15514783744 21319 33554432000 4194304 4196468 140732901348480 139813717453280 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20244] ppid=20212 vsize=15151156 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20244/stat : 20244 (java) S 20212 20212 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474790799 15514783744 21319 33554432000 4194304 4196468 140732901348480 139813716401072 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 86732 KiB
[startup+1.50824 s]
/proc/loadavg: 8.66 7.77 4.59 11/235 20265
/proc/meminfo: memFree=6723988/32770624 swapFree=66953200/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 19920 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474790792 115843072 364 33554432000 4194304 5098028 140731727091504 140731727089608 140398226678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27602944 140731727094615 140731727094873 140731727094873 140731727097798 0
/proc/20212/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/20214/stat : 20214 (java) S 20212 20212 19920 0 -1 1077944320 109804 0 0 0 231277 55 0 0 20 0 19 0 474790793 15789527040 68040 33554432000 4194304 4196468 140732901348480 140732901331024 139814256250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
/proc/20214/statm: 3854865 68040 3541 1 0 3815965 0
[pid=20214/tid=20215] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.99 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) S 20212 20212 19920 0 -1 1077944384 9450 0 0 0 94 5 0 0 20 0 19 0 474790793 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814260491392 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20216] ppid=20212 vsize=15419460 memory=1456 CPUtime=0.67 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 19920 0 -1 1077944384 2707 0 0 0 63 4 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814208870800 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20217] ppid=20212 vsize=15419460 memory=6944656592455097440 CPUtime=0.67 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 19920 0 -1 1077944384 3439 0 0 0 64 3 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814207818000 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20218] ppid=20212 vsize=15419460 memory=1456 CPUtime=0.68 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 19920 0 -1 1077944384 4531 0 0 0 64 4 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814206765712 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20219] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.69 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 19920 0 -1 1077944384 2493 0 0 0 64 5 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814205712912 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20221] ppid=20212 vsize=15419460 memory=1456 CPUtime=0.5 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 19920 0 -1 1077944384 3268 0 0 0 34 16 0 0 20 0 19 0 474790795 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813724822128 139814256261762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20225] ppid=20212 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 19920 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 474790795 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813723768160 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20226] ppid=20212 vsize=15419460 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 19920 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 474790796 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813722715776 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20239] ppid=20212 vsize=15419460 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20239/stat : 20239 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813721664080 139814256269211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20240] ppid=20212 vsize=15419460 memory=1456 CPUtime=5.87 cores=1,3,5,7
/proc/20214/task/20240/stat : 20240 (java) S 20212 20212 19920 0 -1 1077944384 29408 0 0 0 585 2 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813720610928 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20241] ppid=20212 vsize=15419460 memory=273652 CPUtime=6.35 cores=1,3,5,7
/proc/20214/task/20241/stat : 20241 (java) S 20212 20212 19920 0 -1 1077944384 25703 0 0 0 632 3 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813719558128 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20242] ppid=20212 vsize=15419460 memory=1456 CPUtime=1.11 cores=1,3,5,7
/proc/20214/task/20242/stat : 20242 (java) S 20212 20212 19920 0 -1 1077944384 13316 0 0 0 109 2 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813718505840 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20243] ppid=20212 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20243/stat : 20243 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813717453280 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20244] ppid=20212 vsize=15419460 memory=1456 CPUtime=0.16 cores=1,3,5,7
/proc/20214/task/20244/stat : 20244 (java) S 20212 20212 19920 0 -1 1077944384 1725 0 0 0 0 16 0 0 20 0 19 0 474790799 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813716401072 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20266] ppid=20212 vsize=15419460 memory=272160 CPUtime=574.59 cores=1,3,5,7
/proc/20214/task/20266/stat : 20266 (java) R 20212 20212 19920 0 -1 4202560 2730 0 0 0 57457 2 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813705083696 139813892851444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20267] ppid=20212 vsize=15419460 memory=6944656425123485561 CPUtime=573.47 cores=1,3,5,7
/proc/20214/task/20267/stat : 20267 (java) R 20212 20212 19920 0 -1 4202560 4299 0 0 0 57344 3 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813704032560 139813896283491 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20268] ppid=20212 vsize=15419460 memory=-7531822216215551788 CPUtime=574.61 cores=1,3,5,7
/proc/20214/task/20268/stat : 20268 (java) R 20212 20212 19920 0 -1 4202560 2455 0 0 0 57459 2 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813702980448 139813897021693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20269] ppid=20212 vsize=15419460 memory=6791534058613427641 CPUtime=572.82 cores=1,3,5,7
/proc/20214/task/20269/stat : 20269 (java) R 20212 20212 19920 0 -1 4202560 2859 0 0 0 57279 3 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813701929040 139813896282936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
Current children cumulated CPU time: 2313.32 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 273616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.112 s]
/proc/loadavg: 8.26 8.47 6.54 9/239 21749
/proc/meminfo: memFree=6118296/32770624 swapFree=66953200/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 19920 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474790792 115843072 364 33554432000 4194304 5098028 140731727091504 140731727089608 140398226678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27602944 140731727094615 140731727094873 140731727094873 140731727097798 0
/proc/20212/statm: 28282 364 305 221 0 87 0
[pid=20214] ppid=20212 vsize=15419460 memory=272160 CPUtime=2400.05 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20212 20212 19920 0 -1 1077944320 109877 0 0 0 239950 55 0 0 20 0 19 0 474790793 15789527040 68040 33554432000 4194304 4196468 140732901348480 140732901331024 139814256250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
/proc/20214/statm: 3854865 68040 3541 1 0 3815965 0
[pid=20214/tid=20215] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.99 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) S 20212 20212 19920 0 -1 1077944384 9450 0 0 0 94 5 0 0 20 0 19 0 474790793 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814260491392 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20216] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.69 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 19920 0 -1 1077944384 2711 0 0 0 65 4 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814208870800 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20217] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.69 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 19920 0 -1 1077944384 3442 0 0 0 66 3 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814207818000 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20218] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.7 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 19920 0 -1 1077944384 4535 0 0 0 66 4 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814206765712 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20219] ppid=20212 vsize=15419460 memory=1456 CPUtime=0.71 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 19920 0 -1 1077944384 2503 0 0 0 66 5 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814205712912 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20221] ppid=20212 vsize=15419460 memory=6944656592455097440 CPUtime=0.51 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 19920 0 -1 1077944384 3277 0 0 0 35 16 0 0 20 0 19 0 474790795 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813724822128 139814256261762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20225] ppid=20212 vsize=15419460 memory=15607911156877 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 19920 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 474790795 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813723768160 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20226] ppid=20212 vsize=15419460 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 19920 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 474790796 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813722715776 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20239] ppid=20212 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20239/stat : 20239 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813721664080 139814256269211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20240] ppid=20212 vsize=15419460 memory=1456 CPUtime=5.87 cores=1,3,5,7
/proc/20214/task/20240/stat : 20240 (java) S 20212 20212 19920 0 -1 1077944384 29408 0 0 0 585 2 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813720610928 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20241] ppid=20212 vsize=15419460 memory=6791534058613427641 CPUtime=6.35 cores=1,3,5,7
/proc/20214/task/20241/stat : 20241 (java) S 20212 20212 19920 0 -1 1077944384 25703 0 0 0 632 3 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813719558128 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20242] ppid=20212 vsize=15419460 memory=3760561988245206673 CPUtime=1.11 cores=1,3,5,7
/proc/20214/task/20242/stat : 20242 (java) S 20212 20212 19920 0 -1 1077944384 13316 0 0 0 109 2 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813718505840 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20243] ppid=20212 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20243/stat : 20243 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813717453280 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20244] ppid=20212 vsize=15419460 memory=1456 CPUtime=0.16 cores=1,3,5,7
/proc/20214/task/20244/stat : 20244 (java) S 20212 20212 19920 0 -1 1077944384 1727 0 0 0 0 16 0 0 20 0 19 0 474790799 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813716401072 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20266] ppid=20212 vsize=15419460 memory=1456 CPUtime=596.17 cores=1,3,5,7
/proc/20214/task/20266/stat : 20266 (java) R 20212 20212 19920 0 -1 4202560 2739 0 0 0 59615 2 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813705086624 139813897376545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20267] ppid=20212 vsize=15419460 memory=272160 CPUtime=595 cores=1,3,5,7
/proc/20214/task/20267/stat : 20267 (java) R 20212 20212 19920 0 -1 4202560 4308 0 0 0 59497 3 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813704032416 139813892637736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20268] ppid=20212 vsize=15419460 memory=1456 CPUtime=596.36 cores=1,3,5,7
/proc/20214/task/20268/stat : 20268 (java) R 20212 20212 19920 0 -1 4202560 2465 0 0 0 59634 2 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813702979872 139813894277616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20269] ppid=20212 vsize=15419460 memory=1456 CPUtime=594.59 cores=1,3,5,7
/proc/20214/task/20269/stat : 20269 (java) R 20212 20212 19920 0 -1 4202560 2872 0 0 0 59456 3 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813701926288 139813893805225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 273616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.146 s]
# the end of solver process 20212 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002238 s, system=0 s
[startup+604.186 s]
# the end of solver process 20214 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.79 s, system=0.55793 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+604.112 s]
/proc/loadavg: 8.26 8.47 6.54 9/239 21749
/proc/meminfo: memFree=6118296/32770624 swapFree=66953200/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 19920 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474790792 115843072 364 33554432000 4194304 5098028 140731727091504 140731727089608 140398226678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27602944 140731727094615 140731727094873 140731727094873 140731727097798 0
/proc/20212/statm: 28282 364 305 221 0 87 0
[pid=20214] ppid=20212 vsize=15419460 memory=272160 CPUtime=2400.05 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20212 20212 19920 0 -1 1077944320 109877 0 0 0 239950 55 0 0 20 0 19 0 474790793 15789527040 68040 33554432000 4194304 4196468 140732901348480 140732901331024 139814256250615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
/proc/20214/statm: 3854865 68040 3541 1 0 3815965 0
[pid=20214/tid=20215] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.99 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) S 20212 20212 19920 0 -1 1077944384 9450 0 0 0 94 5 0 0 20 0 19 0 474790793 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814260491392 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20216] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.69 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 19920 0 -1 1077944384 2711 0 0 0 65 4 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814208870800 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20217] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.69 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 19920 0 -1 1077944384 3442 0 0 0 66 3 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814207818000 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20218] ppid=20212 vsize=15419460 memory=272160 CPUtime=0.7 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 19920 0 -1 1077944384 4535 0 0 0 66 4 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814206765712 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20219] ppid=20212 vsize=15419460 memory=1456 CPUtime=0.71 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 19920 0 -1 1077944384 2503 0 0 0 66 5 0 0 20 0 19 0 474790794 15789527040 68040 33554432000 4194304 4196468 140732901348480 139814205712912 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20221] ppid=20212 vsize=15419460 memory=6944656592455097440 CPUtime=0.51 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 19920 0 -1 1077944384 3277 0 0 0 35 16 0 0 20 0 19 0 474790795 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813724822128 139814256261762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20225] ppid=20212 vsize=15419460 memory=15607911156877 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 19920 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 474790795 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813723768160 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20226] ppid=20212 vsize=15419460 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 19920 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 474790796 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813722715776 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20239] ppid=20212 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20239/stat : 20239 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813721664080 139814256269211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20240] ppid=20212 vsize=15419460 memory=1456 CPUtime=5.87 cores=1,3,5,7
/proc/20214/task/20240/stat : 20240 (java) S 20212 20212 19920 0 -1 1077944384 29408 0 0 0 585 2 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813720610928 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20241] ppid=20212 vsize=15419460 memory=6791534058613427641 CPUtime=6.35 cores=1,3,5,7
/proc/20214/task/20241/stat : 20241 (java) S 20212 20212 19920 0 -1 1077944384 25703 0 0 0 632 3 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813719558128 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20242] ppid=20212 vsize=15419460 memory=3760561988245206673 CPUtime=1.11 cores=1,3,5,7
/proc/20214/task/20242/stat : 20242 (java) S 20212 20212 19920 0 -1 1077944384 13316 0 0 0 109 2 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813718505840 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20243] ppid=20212 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20243/stat : 20243 (java) S 20212 20212 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474790798 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813717453280 139814256260821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20244] ppid=20212 vsize=15419460 memory=1456 CPUtime=0.16 cores=1,3,5,7
/proc/20214/task/20244/stat : 20244 (java) S 20212 20212 19920 0 -1 1077944384 1727 0 0 0 0 16 0 0 20 0 19 0 474790799 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813716401072 139814256261762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20266] ppid=20212 vsize=15419460 memory=1456 CPUtime=596.17 cores=1,3,5,7
/proc/20214/task/20266/stat : 20266 (java) R 20212 20212 19920 0 -1 4202560 2739 0 0 0 59615 2 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813705086624 139813897376545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20267] ppid=20212 vsize=15419460 memory=272160 CPUtime=595 cores=1,3,5,7
/proc/20214/task/20267/stat : 20267 (java) R 20212 20212 19920 0 -1 4202560 4308 0 0 0 59497 3 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813704032416 139813892637736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20268] ppid=20212 vsize=15419460 memory=1456 CPUtime=596.36 cores=1,3,5,7
/proc/20214/task/20268/stat : 20268 (java) R 20212 20212 19920 0 -1 4202560 2465 0 0 0 59634 2 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813702979872 139813894277616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
[pid=20214/tid=20269] ppid=20212 vsize=15419460 memory=1456 CPUtime=594.59 cores=1,3,5,7
/proc/20214/task/20269/stat : 20269 (java) R 20212 20212 19920 0 -1 4202560 2872 0 0 0 59456 3 0 0 20 0 19 0 474790894 15789527040 68040 33554432000 4194304 4196468 140732901348480 139813701926288 139813893805225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27152384 140732901352411 140732901352586 140732901352586 140732901355471 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 273616 KiB
Child status: 143
Real time (s): 604.186
CPU time (s): 2400.34
CPU user time (s): 2399.79
CPU system time (s): 0.55793
CPU usage (%): 397.285
Max. virtual memory (cumulated for all children) (KiB): 15535572
Max. memory (cumulated for all children) (KiB): 319904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.79
system time used= 0.55793
maximum resident set size= 320496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29999
involuntary context switches= 43504
# summary of solver processes directly reported to runsolver:
# pid: 20212,20214
# total CPU time (s): 2400.34
# total CPU user time (s): 2399.79
# total CPU system time (s): 0.55793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.10181 second user time and 6.8654 second system time
The end