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 (8492 MiB free)
memory of node 1: 16384 MiB (6272 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403405-1568993170/watcher-4403405-1568993170 -o /var/tmp/evaluation-result-4403405-1568993170/solver-4403405-1568993170 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1641934254 HOME/instance-4403405-1568993170.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11117, runsolver pid=11114
[startup+0.100058 s]*
/proc/loadavg: 8.34 8.45 8.37 7/234 11133
/proc/meminfo: memFree=15103516/32770624 swapFree=66952608/67108860
[pid=11117] ppid=11114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11117/stat : 11117 (xcsp3-exec) S 11114 11117 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475572596 115843072 364 33554432000 4194304 5098028 140734147736928 140734147735032 139924993528444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23773184 140734147740502 140734147740761 140734147740761 140734147743686 0
/proc/11117/statm: 28282 364 305 221 0 87 0
[pid=11119] ppid=11117 vsize=15144776 memory=28756 CPUtime=0.13 cores=1,3,5,7
/proc/11119/stat : 11119 (java) S 11117 11117 1883 0 -1 1077944320 5666 0 0 0 12 1 0 0 20 0 15 0 475572597 15508250624 7189 33554432000 4194304 4196468 140731597487776 140731597470320 139972126056183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
/proc/11119/statm: 3786194 7189 3148 1 0 3748377 0
[pid=11119/tid=11120] ppid=11117 vsize=15144776 memory=-2698087569006908830 CPUtime=0.08 cores=1,3,5,7
/proc/11119/task/11120/stat : 11120 (java) R 11117 11117 1883 0 -1 4202560 3552 0 0 0 8 0 0 0 20 0 15 0 475572597 15508250624 7189 33554432000 4194304 4196468 140731597487776 139972130285776 139972126068118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11121] ppid=11117 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11121/stat : 11121 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572598 15508250624 7189 33554432000 4194304 4196468 140731597487776 139972054096144 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11122] ppid=11117 vsize=15144776 memory=140048210523776 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11122/stat : 11122 (java) S 11117 11117 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475572598 15508250624 7189 33554432000 4194304 4196468 140731597487776 139972053043600 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11123] ppid=11117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11123/stat : 11123 (java) S 11117 11117 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475572598 15508250624 7189 33554432000 4194304 4196468 140731597487776 139972051991056 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11124] ppid=11117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11124/stat : 11124 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572598 15508250624 7189 33554432000 4194304 4196468 140731597487776 139972050938512 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11125] ppid=11117 vsize=15144776 memory=140048210523776 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11125/stat : 11125 (java) S 11117 11117 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475572599 15508250624 7189 33554432000 4194304 4196468 140731597487776 139971268577776 139972126067330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11126] ppid=11117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11126/stat : 11126 (java) S 11117 11117 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475572599 15508250624 7189 33554432000 4194304 4196468 140731597487776 139971267524000 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11127] ppid=11117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11127/stat : 11127 (java) S 11117 11117 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475572600 15508250624 7189 33554432000 4194304 4196468 140731597487776 139971266471408 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11128] ppid=11117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11128/stat : 11128 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475572602 15508250624 7189 33554432000 4194304 4196468 140731597487776 139971265419984 139972126074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11129] ppid=11117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11129/stat : 11129 (java) S 11117 11117 1883 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 475572602 15508250624 7189 33554432000 4194304 4196468 140731597487776 139971264366576 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11130] ppid=11117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11130/stat : 11130 (java) S 11117 11117 1883 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 475572602 15508250624 7189 33554432000 4194304 4196468 140731597487776 139971263314032 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11131] ppid=11117 vsize=15144776 memory=140048210523776 CPUtime=0.02 cores=1,3,5,7
/proc/11119/task/11131/stat : 11131 (java) R 11117 11117 1883 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 475572602 15508250624 7189 33554432000 4194304 4196468 140731597487776 139971262261488 139972110136670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11132] ppid=11117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11132/stat : 11132 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475572602 15508250624 7189 33554432000 4194304 4196468 140731597487776 139971261209184 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11133] ppid=11117 vsize=15144776 memory=140048210523776 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11133/stat : 11133 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572602 15508250624 7189 33554432000 4194304 4196468 140731597487776 139971260156720 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30212 KiB
[startup+0.212698 s]*
/proc/loadavg: 8.34 8.45 8.37 6/234 11133
/proc/meminfo: memFree=15090028/32770624 swapFree=66952608/67108860
[pid=11117] ppid=11114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11117/stat : 11117 (xcsp3-exec) S 11114 11117 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475572596 115843072 364 33554432000 4194304 5098028 140734147736928 140734147735032 139924993528444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23773184 140734147740502 140734147740761 140734147740761 140734147743686 0
/proc/11117/statm: 28282 364 305 221 0 87 0
[pid=11119] ppid=11117 vsize=15144776 memory=40320 CPUtime=0.34 cores=1,3,5,7
/proc/11119/stat : 11119 (java) S 11117 11117 1883 0 -1 1077944320 9320 0 0 0 32 2 0 0 20 0 15 0 475572597 15508250624 10080 33554432000 4194304 4196468 140731597487776 140731597470320 139972126056183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
/proc/11119/statm: 3786194 10080 3290 1 0 3748377 0
[pid=11119/tid=11120] ppid=11117 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11119/task/11120/stat : 11120 (java) R 11117 11117 1883 0 -1 4202560 6551 0 0 0 18 2 0 0 20 0 15 0 475572597 15508250624 10142 33554432000 4194304 4196468 140731597487776 139972130291168 139972110136670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11121] ppid=11117 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11121/stat : 11121 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572598 15508250624 10142 33554432000 4194304 4196468 140731597487776 139972054096144 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11122] ppid=11117 vsize=15144776 memory=140048210535147 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11122/stat : 11122 (java) S 11117 11117 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475572598 15508250624 10142 33554432000 4194304 4196468 140731597487776 139972053043600 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11123] ppid=11117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11123/stat : 11123 (java) S 11117 11117 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475572598 15508250624 10142 33554432000 4194304 4196468 140731597487776 139972051991056 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11124] ppid=11117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11124/stat : 11124 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572598 15508250624 10142 33554432000 4194304 4196468 140731597487776 139972050938512 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11125] ppid=11117 vsize=15144776 memory=140048210523776 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11125/stat : 11125 (java) S 11117 11117 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475572599 15508250624 10142 33554432000 4194304 4196468 140731597487776 139971268577776 139972126067330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11126] ppid=11117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11126/stat : 11126 (java) S 11117 11117 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475572599 15508250624 10142 33554432000 4194304 4196468 140731597487776 139971267524000 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11127] ppid=11117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11127/stat : 11127 (java) S 11117 11117 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475572600 15508250624 10142 33554432000 4194304 4196468 140731597487776 139971266471408 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11128] ppid=11117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11128/stat : 11128 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475572602 15508250624 10142 33554432000 4194304 4196468 140731597487776 139971265419984 139972126074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11129] ppid=11117 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11119/task/11129/stat : 11129 (java) S 11117 11117 1883 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 475572602 15508250624 10142 33554432000 4194304 4196468 140731597487776 139971264366576 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11130] ppid=11117 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11119/task/11130/stat : 11130 (java) S 11117 11117 1883 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 475572602 15508250624 10142 33554432000 4194304 4196468 140731597487776 139971263314032 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11131] ppid=11117 vsize=15144776 memory=140048210523776 CPUtime=0.08 cores=1,3,5,7
/proc/11119/task/11131/stat : 11131 (java) R 11117 11117 1883 0 -1 4202560 822 0 0 0 8 0 0 0 20 0 15 0 475572602 15508250624 10142 33554432000 4194304 4196468 140731597487776 139971262261488 139972105396785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11132] ppid=11117 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11132/stat : 11132 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475572602 15508250624 10142 33554432000 4194304 4196468 140731597487776 139971261209184 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11133] ppid=11117 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11133/stat : 11133 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572602 15508250624 10142 33554432000 4194304 4196468 140731597487776 139971260156720 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41776 KiB
[startup+0.31826 s]*
/proc/loadavg: 8.34 8.45 8.37 6/234 11133
/proc/meminfo: memFree=15083108/32770624 swapFree=66952608/67108860
[pid=11117] ppid=11114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11117/stat : 11117 (xcsp3-exec) S 11114 11117 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475572596 115843072 364 33554432000 4194304 5098028 140734147736928 140734147735032 139924993528444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23773184 140734147740502 140734147740761 140734147740761 140734147743686 0
/proc/11117/statm: 28282 364 305 221 0 87 0
[pid=11119] ppid=11117 vsize=15149032 memory=49564 CPUtime=0.52 cores=1,3,5,7
/proc/11119/stat : 11119 (java) S 11117 11117 1883 0 -1 1077944320 10764 0 0 0 49 3 0 0 20 0 15 0 475572597 15512608768 12391 33554432000 4194304 4196468 140731597487776 140731597470320 139972126056183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
/proc/11119/statm: 3787258 12391 3324 1 0 3748377 0
[pid=11119/tid=11120] ppid=11117 vsize=15149032 memory=8317482817917895235 CPUtime=0.31 cores=1,3,5,7
/proc/11119/task/11120/stat : 11120 (java) R 11117 11117 1883 0 -1 4202560 7844 0 0 0 28 3 0 0 20 0 15 0 475572597 15512608768 12391 33554432000 4194304 4196468 140731597487776 139972130287432 139972109248899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11121] ppid=11117 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11121/stat : 11121 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572598 15512608768 12391 33554432000 4194304 4196468 140731597487776 139972054096144 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11122] ppid=11117 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11122/stat : 11122 (java) S 11117 11117 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475572598 15512608768 12391 33554432000 4194304 4196468 140731597487776 139972053043600 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11123] ppid=11117 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11123/stat : 11123 (java) S 11117 11117 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475572598 15512608768 12391 33554432000 4194304 4196468 140731597487776 139972051991056 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11124] ppid=11117 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11124/stat : 11124 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572598 15512608768 12391 33554432000 4194304 4196468 140731597487776 139972050938512 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11125] ppid=11117 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11125/stat : 11125 (java) S 11117 11117 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475572599 15512608768 12391 33554432000 4194304 4196468 140731597487776 139971268577776 139972126067330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11126] ppid=11117 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11126/stat : 11126 (java) S 11117 11117 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475572599 15512608768 12391 33554432000 4194304 4196468 140731597487776 139971267524000 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11127] ppid=11117 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11127/stat : 11127 (java) S 11117 11117 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475572600 15512608768 12391 33554432000 4194304 4196468 140731597487776 139971266471408 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11128] ppid=11117 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11128/stat : 11128 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475572602 15512608768 12391 33554432000 4194304 4196468 140731597487776 139971265419984 139972126074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11129] ppid=11117 vsize=15149032 memory=4426089072227881875 CPUtime=0.03 cores=1,3,5,7
/proc/11119/task/11129/stat : 11129 (java) S 11117 11117 1883 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 15 0 475572602 15512608768 12391 33554432000 4194304 4196468 140731597487776 139971264366576 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11130] ppid=11117 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11119/task/11130/stat : 11130 (java) S 11117 11117 1883 0 -1 1077944384 167 0 0 0 4 0 0 0 20 0 15 0 475572602 15512608768 12391 33554432000 4194304 4196468 140731597487776 139971263314032 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11131] ppid=11117 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11119/task/11131/stat : 11131 (java) S 11117 11117 1883 0 -1 1077944384 956 0 0 0 12 0 0 0 20 0 15 0 475572602 15512608768 12391 33554432000 4194304 4196468 140731597487776 139971262261488 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11132] ppid=11117 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11132/stat : 11132 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475572602 15512608768 12391 33554432000 4194304 4196468 140731597487776 139971261209184 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11133] ppid=11117 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11133/stat : 11133 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572602 15512608768 12391 33554432000 4194304 4196468 140731597487776 139971260156720 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51020 KiB
[startup+0.701262 s]
/proc/loadavg: 8.34 8.45 8.37 8/234 11133
/proc/meminfo: memFree=15061708/32770624 swapFree=66952608/67108860
[pid=11117] ppid=11114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11117/stat : 11117 (xcsp3-exec) S 11114 11117 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475572596 115843072 364 33554432000 4194304 5098028 140734147736928 140734147735032 139924993528444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23773184 140734147740502 140734147740761 140734147740761 140734147743686 0
/proc/11117/statm: 28282 364 305 221 0 87 0
[pid=11119] ppid=11117 vsize=15151156 memory=103308 CPUtime=1.73 cores=1,3,5,7
/proc/11119/stat : 11119 (java) S 11117 11117 1883 0 -1 1077944320 13893 0 0 0 168 5 0 0 20 0 15 0 475572597 15514783744 25827 33554432000 4194304 4196468 140731597487776 140731597470320 139972126056183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
/proc/11119/statm: 3787789 25827 3447 1 0 3748889 0
[pid=11119/tid=11120] ppid=11117 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/11119/task/11120/stat : 11120 (java) R 11117 11117 1883 0 -1 4202560 8367 0 0 0 64 4 0 0 20 0 15 0 475572597 15514783744 25827 33554432000 4194304 4196468 140731597487776 139972130290000 139971726030209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11121] ppid=11117 vsize=15151156 memory=164 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11121/stat : 11121 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572598 15514783744 25827 33554432000 4194304 4196468 140731597487776 139972054096144 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11122] ppid=11117 vsize=15151156 memory=6154848828556269427 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11122/stat : 11122 (java) S 11117 11117 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475572598 15514783744 25827 33554432000 4194304 4196468 140731597487776 139972053043600 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11123] ppid=11117 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11123/stat : 11123 (java) S 11117 11117 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475572598 15514783744 25827 33554432000 4194304 4196468 140731597487776 139972051991056 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11124] ppid=11117 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11124/stat : 11124 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572598 15514783744 25827 33554432000 4194304 4196468 140731597487776 139972050938512 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11125] ppid=11117 vsize=15151156 memory=40304 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11125/stat : 11125 (java) S 11117 11117 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475572599 15514783744 25827 33554432000 4194304 4196468 140731597487776 139971268577776 139972126067330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11126] ppid=11117 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11126/stat : 11126 (java) S 11117 11117 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475572599 15514783744 25827 33554432000 4194304 4196468 140731597487776 139971267524000 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11127] ppid=11117 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11127/stat : 11127 (java) S 11117 11117 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475572600 15514783744 25827 33554432000 4194304 4196468 140731597487776 139971266471408 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11128] ppid=11117 vsize=15151156 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11128/stat : 11128 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475572602 15514783744 25827 33554432000 4194304 4196468 140731597487776 139971265419984 139972126074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11129] ppid=11117 vsize=15151156 memory=1044 CPUtime=0.35 cores=1,3,5,7
/proc/11119/task/11129/stat : 11129 (java) R 11117 11117 1883 0 -1 4202560 1285 0 0 0 35 0 0 0 20 0 15 0 475572602 15514783744 25827 33554432000 4194304 4196468 140731597487776 139971264356176 139972107232048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11130] ppid=11117 vsize=15151156 memory=708 CPUtime=0.36 cores=1,3,5,7
/proc/11119/task/11130/stat : 11130 (java) R 11117 11117 1883 0 -1 4202560 1192 0 0 0 36 0 0 0 20 0 15 0 475572602 15514783744 25827 33554432000 4194304 4196468 140731597487776 139971263295232 139972110345061 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11131] ppid=11117 vsize=15151156 memory=9364 CPUtime=0.32 cores=1,3,5,7
/proc/11119/task/11131/stat : 11131 (java) R 11117 11117 1883 0 -1 4202560 1741 0 0 0 32 0 0 0 20 0 15 0 475572602 15514783744 25827 33554432000 4194304 4196468 140731597487776 139971262261488 139972110099813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11132] ppid=11117 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11132/stat : 11132 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475572602 15514783744 25827 33554432000 4194304 4196468 140731597487776 139971261209184 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11133] ppid=11117 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11133/stat : 11133 (java) S 11117 11117 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475572602 15514783744 25827 33554432000 4194304 4196468 140731597487776 139971260156720 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 104764 KiB
[startup+1.50081 s]
/proc/loadavg: 8.34 8.45 8.37 9/234 11133
/proc/meminfo: memFree=14930884/32770624 swapFree=66952608/67108860
[pid=11117] ppid=11114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11117/stat : 11117 (xcsp3-exec) S 11114 11117 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475572596 115843072 364 33554432000 4194304 5098028 140734147736928 140734147735032 139924993528444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23773184 140734147740502 140734147740761 140734147740761 140734147743686 0
/proc/11117/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/11119/stat : 11119 (java) S 11117 11117 1883 0 -1 1077944320 61166 0 0 0 207637 62 0 0 20 0 19 0 475572597 15787429888 317506 33554432000 4194304 4196468 140731597487776 140731597470320 139972126056183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
/proc/11119/statm: 3854353 317506 3538 1 0 3815453 0
[pid=11119/tid=11120] ppid=11117 vsize=15417412 memory=1270024 CPUtime=1.56 cores=1,3,5,7
/proc/11119/task/11120/stat : 11120 (java) S 11117 11117 1883 0 -1 1077944384 9081 0 0 0 150 6 0 0 20 0 19 0 475572597 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972130296960 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11121] ppid=11117 vsize=15417412 memory=1270024 CPUtime=0.29 cores=1,3,5,7
/proc/11119/task/11121/stat : 11121 (java) S 11117 11117 1883 0 -1 1077944384 806 0 0 0 22 7 0 0 20 0 19 0 475572598 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972054096144 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11122] ppid=11117 vsize=15417412 memory=1456 CPUtime=0.28 cores=1,3,5,7
/proc/11119/task/11122/stat : 11122 (java) S 11117 11117 1883 0 -1 1077944384 741 0 0 0 21 7 0 0 20 0 19 0 475572598 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972053043600 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11123] ppid=11117 vsize=15417412 memory=1270024 CPUtime=0.29 cores=1,3,5,7
/proc/11119/task/11123/stat : 11123 (java) S 11117 11117 1883 0 -1 1077944384 2053 0 0 0 21 8 0 0 20 0 19 0 475572598 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972051991056 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11124] ppid=11117 vsize=15417412 memory=1456 CPUtime=0.28 cores=1,3,5,7
/proc/11119/task/11124/stat : 11124 (java) S 11117 11117 1883 0 -1 1077944384 886 0 0 0 21 7 0 0 20 0 19 0 475572598 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972050938512 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11125] ppid=11117 vsize=15417412 memory=27 CPUtime=0.02 cores=1,3,5,7
/proc/11119/task/11125/stat : 11125 (java) S 11117 11117 1883 0 -1 1077944384 2662 0 0 0 1 1 0 0 20 0 19 0 475572599 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971268577776 139972126067330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11126] ppid=11117 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11126/stat : 11126 (java) S 11117 11117 1883 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475572599 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971267524000 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11127] ppid=11117 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11127/stat : 11127 (java) S 11117 11117 1883 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475572600 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971266471408 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11128] ppid=11117 vsize=15417412 memory=8076 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11128/stat : 11128 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971265419984 139972126074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11129] ppid=11117 vsize=15417412 memory=3624 CPUtime=2.94 cores=1,3,5,7
/proc/11119/task/11129/stat : 11129 (java) S 11117 11117 1883 0 -1 1077944384 10622 0 0 0 293 1 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971264366576 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11130] ppid=11117 vsize=15417412 memory=1456 CPUtime=2.76 cores=1,3,5,7
/proc/11119/task/11130/stat : 11130 (java) S 11117 11117 1883 0 -1 1077944384 10007 0 0 0 275 1 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971263314032 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11131] ppid=11117 vsize=15417412 memory=1263708 CPUtime=0.77 cores=1,3,5,7
/proc/11119/task/11131/stat : 11131 (java) S 11117 11117 1883 0 -1 1077944384 8738 0 0 0 76 1 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971262261488 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11132] ppid=11117 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11132/stat : 11132 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971261209184 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11133] ppid=11117 vsize=15417412 memory=1263708 CPUtime=0.21 cores=1,3,5,7
/proc/11119/task/11133/stat : 11133 (java) S 11117 11117 1883 0 -1 1077944384 843 0 0 0 0 21 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971260156720 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11134] ppid=11117 vsize=15417412 memory=1456 CPUtime=515.33 cores=1,3,5,7
/proc/11119/task/11134/stat : 11134 (java) R 11117 11117 1883 0 -1 4202560 956 0 0 0 51531 2 0 0 20 0 19 0 475572766 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971250936704 139971734863701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11135] ppid=11117 vsize=15417412 memory=1456 CPUtime=518.29 cores=1,3,5,7
/proc/11119/task/11135/stat : 11135 (java) R 11117 11117 1883 0 -1 4202560 6961 0 0 0 51819 10 0 0 20 0 19 0 475572766 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971249888336 139971734393928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11136] ppid=11117 vsize=15417412 memory=3580 CPUtime=517.5 cores=1,3,5,7
/proc/11119/task/11136/stat : 11136 (java) R 11117 11117 1883 0 -1 4202560 1029 0 0 0 51748 2 0 0 20 0 19 0 475572766 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971248833064 139971734872376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11137] ppid=11117 vsize=15417412 memory=1456 CPUtime=516.35 cores=1,3,5,7
/proc/11119/task/11137/stat : 11137 (java) R 11117 11117 1883 0 -1 4202560 4482 0 0 0 51630 5 0 0 20 0 19 0 475572767 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971247779528 139971733107421 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
Current children cumulated CPU time: 2076.99 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1271480 KiB
[startup+582.301 s]
/proc/loadavg: 8.73 8.53 8.48 10/238 11287
/proc/meminfo: memFree=10605056/32770624 swapFree=66952608/67108860
[pid=11117] ppid=11114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11117/stat : 11117 (xcsp3-exec) S 11114 11117 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475572596 115843072 364 33554432000 4194304 5098028 140734147736928 140734147735032 139924993528444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23773184 140734147740502 140734147740761 140734147740761 140734147743686 0
/proc/11117/statm: 28282 364 305 221 0 87 0
[pid=11119] ppid=11117 vsize=15417412 memory=1270024 CPUtime=2315.81 cores=1,3,5,7
/proc/11119/stat : 11119 (java) S 11117 11117 1883 0 -1 1077944320 62590 0 0 0 231519 62 0 0 20 0 19 0 475572597 15787429888 317506 33554432000 4194304 4196468 140731597487776 140731597470320 139972126056183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
/proc/11119/statm: 3854353 317506 3538 1 0 3815453 0
[pid=11119/tid=11120] ppid=11117 vsize=15417412 memory=1270024 CPUtime=1.56 cores=1,3,5,7
/proc/11119/task/11120/stat : 11120 (java) S 11117 11117 1883 0 -1 1077944384 9081 0 0 0 150 6 0 0 20 0 19 0 475572597 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972130296960 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11121] ppid=11117 vsize=15417412 memory=1270024 CPUtime=0.29 cores=1,3,5,7
/proc/11119/task/11121/stat : 11121 (java) S 11117 11117 1883 0 -1 1077944384 806 0 0 0 22 7 0 0 20 0 19 0 475572598 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972054096144 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11122] ppid=11117 vsize=15417412 memory=1270024 CPUtime=0.28 cores=1,3,5,7
/proc/11119/task/11122/stat : 11122 (java) S 11117 11117 1883 0 -1 1077944384 741 0 0 0 21 7 0 0 20 0 19 0 475572598 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972053043600 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11123] ppid=11117 vsize=15417412 memory=1270024 CPUtime=0.29 cores=1,3,5,7
/proc/11119/task/11123/stat : 11123 (java) S 11117 11117 1883 0 -1 1077944384 2053 0 0 0 21 8 0 0 20 0 19 0 475572598 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972051991056 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11124] ppid=11117 vsize=15417412 memory=1270024 CPUtime=0.28 cores=1,3,5,7
/proc/11119/task/11124/stat : 11124 (java) S 11117 11117 1883 0 -1 1077944384 886 0 0 0 21 7 0 0 20 0 19 0 475572598 15787429888 317506 33554432000 4194304 4196468 140731597487776 139972050938512 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11125] ppid=11117 vsize=15417412 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/11119/task/11125/stat : 11125 (java) S 11117 11117 1883 0 -1 1077944384 2670 0 0 0 1 1 0 0 20 0 19 0 475572599 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971268577776 139972126067330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11126] ppid=11117 vsize=15417412 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11126/stat : 11126 (java) S 11117 11117 1883 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475572599 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971267524000 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11127] ppid=11117 vsize=15417412 memory=40320 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11127/stat : 11127 (java) S 11117 11117 1883 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475572600 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971266471408 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11128] ppid=11117 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11128/stat : 11128 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971265419984 139972126074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11129] ppid=11117 vsize=15417412 memory=1456 CPUtime=2.94 cores=1,3,5,7
/proc/11119/task/11129/stat : 11129 (java) S 11117 11117 1883 0 -1 1077944384 10625 0 0 0 293 1 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971264366576 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11130] ppid=11117 vsize=15417412 memory=1456 CPUtime=2.76 cores=1,3,5,7
/proc/11119/task/11130/stat : 11130 (java) S 11117 11117 1883 0 -1 1077944384 10010 0 0 0 275 1 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971263314032 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11131] ppid=11117 vsize=15417412 memory=1456 CPUtime=0.77 cores=1,3,5,7
/proc/11119/task/11131/stat : 11131 (java) S 11117 11117 1883 0 -1 1077944384 8746 0 0 0 76 1 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971262261488 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11132] ppid=11117 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11132/stat : 11132 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971261209184 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11133] ppid=11117 vsize=15417412 memory=1456 CPUtime=0.23 cores=1,3,5,7
/proc/11119/task/11133/stat : 11133 (java) S 11117 11117 1883 0 -1 1077944384 872 0 0 0 0 23 0 0 20 0 19 0 475572602 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971260156720 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11134] ppid=11117 vsize=15417412 memory=1270024 CPUtime=575.3 cores=1,3,5,7
/proc/11119/task/11134/stat : 11134 (java) R 11117 11117 1883 0 -1 4202560 1044 0 0 0 57528 2 0 0 20 0 19 0 475572766 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971250936704 139971733298540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11135] ppid=11117 vsize=15417412 memory=40320 CPUtime=578.25 cores=1,3,5,7
/proc/11119/task/11135/stat : 11135 (java) R 11117 11117 1883 0 -1 4202560 8062 0 0 0 57815 10 0 0 20 0 19 0 475572766 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971249888336 139971734872376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11136] ppid=11117 vsize=15417412 memory=1270024 CPUtime=577.49 cores=1,3,5,7
/proc/11119/task/11136/stat : 11136 (java) R 11117 11117 1883 0 -1 4202560 1122 0 0 0 57747 2 0 0 20 0 19 0 475572766 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971248833064 139971733298411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11137] ppid=11117 vsize=15417412 memory=1444 CPUtime=575.22 cores=1,3,5,7
/proc/11119/task/11137/stat : 11137 (java) R 11117 11117 1883 0 -1 4202560 4573 0 0 0 57517 5 0 0 20 0 19 0 475572767 15787429888 317506 33554432000 4194304 4196468 140731597487776 139971247779528 139971733107421 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
Current children cumulated CPU time: 2315.81 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1271480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.601 s]
/proc/loadavg: 8.58 8.53 8.48 9/238 11291
/proc/meminfo: memFree=10268592/32770624 swapFree=66952608/67108860
[pid=11117] ppid=11114 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11117/stat : 11117 (xcsp3-exec) S 11114 11117 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475572596 115843072 364 33554432000 4194304 5098028 140734147736928 140734147735032 139924993528444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23773184 140734147740502 140734147740761 140734147740761 140734147743686 0
/proc/11117/statm: 28282 364 305 221 0 87 0
[pid=11119] ppid=11117 vsize=15417412 memory=1614088 CPUtime=2520 cores=1,3,5,7
/proc/11119/stat : 11119 (java) S 11117 11117 1883 0 -1 1077944320 63211 0 0 0 251932 68 0 0 20 0 19 0 475572597 15787429888 403522 33554432000 4194304 4196468 140731597487776 140731597470320 139972126056183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
/proc/11119/statm: 3854353 403522 3538 1 0 3815453 0
[pid=11119/tid=11120] ppid=11117 vsize=15417412 memory=776 CPUtime=1.56 cores=1,3,5,7
/proc/11119/task/11120/stat : 11120 (java) S 11117 11117 1883 0 -1 1077944384 9081 0 0 0 150 6 0 0 20 0 19 0 475572597 15787429888 403522 33554432000 4194304 4196468 140731597487776 139972130296960 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11121] ppid=11117 vsize=15417412 memory=1724 CPUtime=0.29 cores=1,3,5,7
/proc/11119/task/11121/stat : 11121 (java) S 11117 11117 1883 0 -1 1077944384 806 0 0 0 22 7 0 0 20 0 19 0 475572598 15787429888 403522 33554432000 4194304 4196468 140731597487776 139972054096144 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11122] ppid=11117 vsize=15417412 memory=8076 CPUtime=0.28 cores=1,3,5,7
/proc/11119/task/11122/stat : 11122 (java) S 11117 11117 1883 0 -1 1077944384 741 0 0 0 21 7 0 0 20 0 19 0 475572598 15787429888 403522 33554432000 4194304 4196468 140731597487776 139972053043600 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11123] ppid=11117 vsize=15417412 memory=1509640 CPUtime=0.29 cores=1,3,5,7
/proc/11119/task/11123/stat : 11123 (java) S 11117 11117 1883 0 -1 1077944384 2053 0 0 0 21 8 0 0 20 0 19 0 475572598 15787429888 403522 33554432000 4194304 4196468 140731597487776 139972051991056 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11124] ppid=11117 vsize=15417412 memory=2120 CPUtime=0.28 cores=1,3,5,7
/proc/11119/task/11124/stat : 11124 (java) S 11117 11117 1883 0 -1 1077944384 886 0 0 0 21 7 0 0 20 0 19 0 475572598 15787429888 403522 33554432000 4194304 4196468 140731597487776 139972050938512 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11125] ppid=11117 vsize=15417412 memory=12036 CPUtime=0.02 cores=1,3,5,7
/proc/11119/task/11125/stat : 11125 (java) S 11117 11117 1883 0 -1 1077944384 2670 0 0 0 1 1 0 0 20 0 19 0 475572599 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971268577776 139972126067330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11126] ppid=11117 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11126/stat : 11126 (java) S 11117 11117 1883 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475572599 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971267524000 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11127] ppid=11117 vsize=15417412 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11127/stat : 11127 (java) S 11117 11117 1883 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475572600 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971266471408 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11128] ppid=11117 vsize=15417412 memory=7667774637960749669 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11128/stat : 11128 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475572602 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971265419984 139972126074779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11129] ppid=11117 vsize=15417412 memory=4427205132082312746 CPUtime=2.94 cores=1,3,5,7
/proc/11119/task/11129/stat : 11129 (java) S 11117 11117 1883 0 -1 1077944384 10625 0 0 0 293 1 0 0 20 0 19 0 475572602 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971264366576 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11130] ppid=11117 vsize=15417412 memory=-8412652152092201843 CPUtime=2.76 cores=1,3,5,7
/proc/11119/task/11130/stat : 11130 (java) S 11117 11117 1883 0 -1 1077944384 10010 0 0 0 275 1 0 0 20 0 19 0 475572602 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971263314032 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11131] ppid=11117 vsize=15417412 memory=7306056117395023209 CPUtime=0.77 cores=1,3,5,7
/proc/11119/task/11131/stat : 11131 (java) S 11117 11117 1883 0 -1 1077944384 8746 0 0 0 76 1 0 0 20 0 19 0 475572602 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971262261488 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11132] ppid=11117 vsize=15417412 memory=7306056117395023209 CPUtime=0 cores=1,3,5,7
/proc/11119/task/11132/stat : 11132 (java) S 11117 11117 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475572602 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971261209184 139972126066389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11133] ppid=11117 vsize=15417412 memory=928 CPUtime=0.26 cores=1,3,5,7
/proc/11119/task/11133/stat : 11133 (java) S 11117 11117 1883 0 -1 1077944384 874 0 0 0 0 26 0 0 20 0 19 0 475572602 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971260156720 139972126067330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11134] ppid=11117 vsize=15417412 memory=1680 CPUtime=626.31 cores=1,3,5,7
/proc/11119/task/11134/stat : 11134 (java) R 11117 11117 1883 0 -1 4202560 1052 0 0 0 62629 2 0 0 20 0 19 0 475572766 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971250936704 139971733297950 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11135] ppid=11117 vsize=15417412 memory=1808 CPUtime=629.52 cores=1,3,5,7
/proc/11119/task/11135/stat : 11135 (java) R 11117 11117 1883 0 -1 4202560 8634 0 0 0 62936 16 0 0 20 0 19 0 475572766 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971249888336 139971734398336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11136] ppid=11117 vsize=15417412 memory=924 CPUtime=628.77 cores=1,3,5,7
/proc/11119/task/11136/stat : 11136 (java) R 11117 11117 1883 0 -1 4202560 1133 0 0 0 62875 2 0 0 20 0 19 0 475572766 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971248833064 139971734872409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
[pid=11119/tid=11137] ppid=11117 vsize=15417412 memory=3848 CPUtime=625.83 cores=1,3,5,7
/proc/11119/task/11137/stat : 11137 (java) R 11117 11117 1883 0 -1 4202560 4601 0 0 0 62578 5 0 0 20 0 19 0 475572767 15787429888 403522 33554432000 4194304 4196468 140731597487776 139971247779528 139971734863589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33153024 140731597493211 140731597493386 140731597493386 140731597496271 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1615544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.625 s]
# the end of solver process 11117 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00114 s, system=0.00114 s
[startup+633.695 s]
# the end of solver process 11119 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.65 s, system=0.701715 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): 633.696
CPU time (s): 2520.35
CPU user time (s): 2519.65
CPU system time (s): 0.701715
CPU usage (%): 397.723
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1615544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.701715
maximum resident set size= 1618724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16327
involuntary context switches= 36418
# summary of solver processes directly reported to runsolver:
# pid: 11117,11119
# total CPU time (s): 2520.35
# total CPU user time (s): 2519.65
# total CPU system time (s): 0.701715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.3141 second user time and 7.35535 second system time
The end