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 (12902 MiB free)
memory of node 1: 16384 MiB (10181 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282109-1503121829/watcher-4282109-1503121829 -o /tmp/evaluation-result-4282109-1503121829/solver-4282109-1503121829 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8615 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 475044900 HOME/instance-4282109-1503121829.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13169, runsolver pid=13166
[startup+0.100088 s]*
/proc/loadavg: 1.58 1.71 1.77 3/205 13179
/proc/meminfo: memFree=23624596/32770624 swapFree=67105588/67108860
[pid=13169] ppid=13166 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (xcsp3-exec) S 13166 13169 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114378053 9740288 345 18446744073709551615 4194304 5098028 140732568564768 140732568562872 139765356823164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 17321984 140732568568185 140732568568389 140732568568389 140732568571883 0
/proc/13169/statm: 2378 345 289 221 0 87 0
[pid=13171] ppid=13169 vsize=13574484 memory=21652 CPUtime=0.04 cores=0,2,4,6
/proc/13171/stat : 13171 (java) S 13169 13169 8557 0 -1 1077944320 4238 0 0 0 3 1 0 0 20 0 9 0 114378059 13900271616 5413 18446744073709551615 4194304 4196468 140734506091200 140734506073744 139649707511543 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
/proc/13171/statm: 3393621 5413 2138 1 0 3383118 0
[pid=13171/tid=13172] ppid=13169 vsize=13574484 memory=-8713483618642459742 CPUtime=0.03 cores=0,2,4,6
/proc/13171/task/13172/stat : 13172 (java) R 13169 13169 8557 0 -1 4202560 2966 0 0 0 3 0 0 0 20 0 9 0 114378059 13900271616 5413 18446744073709551615 4194304 4196468 140734506091200 139649711746936 139649707533469 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13173] ppid=13169 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13173/stat : 13173 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114378060 13900271616 5413 18446744073709551615 4194304 4196468 140734506091200 139649664477968 139649707521749 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13174] ppid=13169 vsize=13574484 memory=139998745745024 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13174/stat : 13174 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114378060 13900271616 5413 18446744073709551615 4194304 4196468 140734506091200 139649663425424 139649707521749 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13175] ppid=13169 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13175/stat : 13175 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114378060 13900271616 5413 18446744073709551615 4194304 4196468 140734506091200 139649662372880 139649707521749 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13176] ppid=13169 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13176/stat : 13176 (java) S 13169 13169 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 114378060 13900271616 5413 18446744073709551615 4194304 4196468 140734506091200 139649661320336 139649707521749 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13177] ppid=13169 vsize=13574484 memory=139998745745024 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13177/stat : 13177 (java) S 13169 13169 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 114378061 13900271616 5413 18446744073709551615 4194304 4196468 140734506091200 139649253255152 139649707522690 0 0 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13178] ppid=13169 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13178/stat : 13178 (java) S 13169 13169 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 114378062 13900271616 5413 18446744073709551615 4194304 4196468 140734506091200 139649252201376 139649707521749 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13179] ppid=13169 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13179/stat : 13179 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114378062 13900271616 5413 18446744073709551615 4194304 4196468 140734506091200 139648622126064 139649707521749 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 23032 KiB
[startup+0.209977 s]*
/proc/loadavg: 1.58 1.71 1.77 5/211 13185
/proc/meminfo: memFree=23618100/32770624 swapFree=67105588/67108860
[pid=13169] ppid=13166 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (xcsp3-exec) S 13166 13169 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114378053 9740288 345 18446744073709551615 4194304 5098028 140732568564768 140732568562872 139765356823164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 17321984 140732568568185 140732568568389 140732568568389 140732568571883 0
/proc/13169/statm: 2378 345 289 221 0 87 0
[pid=13171] ppid=13169 vsize=13974352 memory=33460 CPUtime=0.18 cores=0,2,4,6
/proc/13171/stat : 13171 (java) S 13169 13169 8557 0 -1 1077944320 6210 0 0 0 16 2 0 0 20 0 15 0 114378059 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 140734506073744 139649707511543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
/proc/13171/statm: 3493588 8365 2964 1 0 3482964 0
[pid=13171/tid=13172] ppid=13169 vsize=13974352 memory=7311146985107750967 CPUtime=0.11 cores=0,2,4,6
/proc/13171/task/13172/stat : 13172 (java) S 13169 13169 8557 0 -1 1077944384 3517 0 0 0 10 1 0 0 20 0 15 0 114378059 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139649711744592 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13173] ppid=13169 vsize=13974352 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13173/stat : 13173 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139649664477968 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13174] ppid=13169 vsize=13974352 memory=4050903778764150432 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13174/stat : 13174 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139649663425424 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13175] ppid=13169 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13175/stat : 13175 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139649662372880 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13176] ppid=13169 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13176/stat : 13176 (java) S 13169 13169 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114378060 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139649661320336 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13177] ppid=13169 vsize=13974352 memory=139998745745024 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13177/stat : 13177 (java) S 13169 13169 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114378061 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139649253255152 139649707522690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13178] ppid=13169 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13178/stat : 13178 (java) S 13169 13169 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114378062 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139649252201376 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13179] ppid=13169 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13179/stat : 13179 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378062 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139648622126064 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13180] ppid=13169 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13180/stat : 13180 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139648621074640 139649707530139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13181] ppid=13169 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13171/task/13181/stat : 13181 (java) R 13169 13169 8557 0 -1 4202560 677 0 0 0 1 0 0 0 20 0 15 0 114378064 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139648620002856 139649687752790 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13182] ppid=13169 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13182/stat : 13182 (java) R 13169 13169 8557 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 114378064 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139648618969712 139649707522690 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13183] ppid=13169 vsize=13974352 memory=139998745745024 CPUtime=0.03 cores=0,2,4,6
/proc/13171/task/13183/stat : 13183 (java) R 13169 13169 8557 0 -1 1077944384 665 0 0 0 3 0 0 0 20 0 15 0 114378064 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139648617917168 139649707522690 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13184] ppid=13169 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13184/stat : 13184 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139648616864864 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13185] ppid=13169 vsize=13974352 memory=139998745745024 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13185/stat : 13185 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378068 14309736448 8365 18446744073709551615 4194304 4196468 140734506091200 139648615811376 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 34840 KiB
[startup+0.310402 s]*
/proc/loadavg: 1.58 1.71 1.77 3/211 13185
/proc/meminfo: memFree=23605960/32770624 swapFree=67105588/67108860
[pid=13169] ppid=13166 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (xcsp3-exec) S 13166 13169 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114378053 9740288 345 18446744073709551615 4194304 5098028 140732568564768 140732568562872 139765356823164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 17321984 140732568568185 140732568568389 140732568568389 140732568571883 0
/proc/13169/statm: 2378 345 289 221 0 87 0
[pid=13171] ppid=13169 vsize=13978608 memory=42380 CPUtime=0.36 cores=0,2,4,6
/proc/13171/stat : 13171 (java) S 13169 13169 8557 0 -1 1077944320 9801 0 0 0 32 4 0 0 20 0 15 0 114378059 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 140734506073744 139649707511543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
/proc/13171/statm: 3494652 10595 3036 1 0 3482964 0
[pid=13171/tid=13172] ppid=13169 vsize=13978608 memory=-8774313645642428999 CPUtime=0.21 cores=0,2,4,6
/proc/13171/task/13172/stat : 13172 (java) R 13169 13169 8557 0 -1 4202560 6938 0 0 0 18 3 0 0 20 0 15 0 114378059 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139649711722448 139649691592030 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13173] ppid=13169 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13173/stat : 13173 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139649664477968 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13174] ppid=13169 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13174/stat : 13174 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139649663425424 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13175] ppid=13169 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13175/stat : 13175 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139649662372880 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13176] ppid=13169 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13176/stat : 13176 (java) S 13169 13169 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114378060 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139649661320336 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13177] ppid=13169 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13177/stat : 13177 (java) S 13169 13169 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114378061 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139649253255152 139649707522690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13178] ppid=13169 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13178/stat : 13178 (java) S 13169 13169 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114378062 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139649252201376 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13179] ppid=13169 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13179/stat : 13179 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378062 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139648622126064 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13180] ppid=13169 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13180/stat : 13180 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139648621074640 139649707530139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13181] ppid=13169 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13171/task/13181/stat : 13181 (java) S 13169 13169 8557 0 -1 1077944384 754 0 0 0 2 0 0 0 20 0 15 0 114378064 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139648620022256 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13182] ppid=13169 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13171/task/13182/stat : 13182 (java) S 13169 13169 8557 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 15 0 114378064 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139648618969712 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13183] ppid=13169 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13171/task/13183/stat : 13183 (java) S 13169 13169 8557 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 15 0 114378064 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139648617917168 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13184] ppid=13169 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13184/stat : 13184 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139648616864864 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13185] ppid=13169 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13185/stat : 13185 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378068 14314094592 10595 18446744073709551615 4194304 4196468 140734506091200 139648615811376 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 43760 KiB
[startup+0.701517 s]
/proc/loadavg: 1.58 1.71 1.77 6/211 13185
/proc/meminfo: memFree=23594300/32770624 swapFree=67105588/67108860
[pid=13169] ppid=13166 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (xcsp3-exec) S 13166 13169 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114378053 9740288 345 18446744073709551615 4194304 5098028 140732568564768 140732568562872 139765356823164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 17321984 140732568568185 140732568568389 140732568568389 140732568571883 0
/proc/13169/statm: 2378 345 289 221 0 87 0
[pid=13171] ppid=13169 vsize=13980732 memory=76468 CPUtime=1.45 cores=0,2,4,6
/proc/13171/stat : 13171 (java) S 13169 13169 8557 0 -1 1077944320 13282 0 0 0 140 5 0 0 20 0 15 0 114378059 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 140734506073744 139649707511543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
/proc/13171/statm: 3495183 19117 3177 1 0 3483476 0
[pid=13171/tid=13172] ppid=13169 vsize=13980732 memory=6298654963688298593 CPUtime=0.59 cores=0,2,4,6
/proc/13171/task/13172/stat : 13172 (java) S 13169 13169 8557 0 -1 1077944384 8063 0 0 0 55 4 0 0 20 0 15 0 114378059 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139649711733040 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13173] ppid=13169 vsize=13980732 memory=5937270905093056086 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13173/stat : 13173 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139649664477968 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13174] ppid=13169 vsize=13980732 memory=7739276948477859686 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13174/stat : 13174 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139649663425424 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13175] ppid=13169 vsize=13980732 memory=-8382737753049505125 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13175/stat : 13175 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139649662372880 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13176] ppid=13169 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13176/stat : 13176 (java) S 13169 13169 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114378060 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139649661320336 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13177] ppid=13169 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13177/stat : 13177 (java) S 13169 13169 8557 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 114378061 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139649253255152 139649707522690 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13178] ppid=13169 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13178/stat : 13178 (java) S 13169 13169 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114378062 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139649252201376 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13179] ppid=13169 vsize=13980732 memory=6378026435750 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13179/stat : 13179 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378062 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139648622126064 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13180] ppid=13169 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13180/stat : 13180 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139648621074640 139649707530139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13181] ppid=13169 vsize=13980732 memory=15540738687502695 CPUtime=0.23 cores=0,2,4,6
/proc/13171/task/13181/stat : 13181 (java) R 13169 13169 8557 0 -1 4202560 1425 0 0 0 23 0 0 0 20 0 15 0 114378064 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139648620011872 139649686768520 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13182] ppid=13169 vsize=13980732 memory=644 CPUtime=0.24 cores=0,2,4,6
/proc/13171/task/13182/stat : 13182 (java) R 13169 13169 8557 0 -1 4202560 792 0 0 0 24 0 0 0 20 0 15 0 114378064 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139648618956176 139649691048104 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13183] ppid=13169 vsize=13980732 memory=1740 CPUtime=0.36 cores=0,2,4,6
/proc/13171/task/13183/stat : 13183 (java) R 13169 13169 8557 0 -1 4202560 1714 0 0 0 36 0 0 0 20 0 15 0 114378064 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139648617913896 139649687227227 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13184] ppid=13169 vsize=13980732 memory=956 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13184/stat : 13184 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139648616864864 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13185] ppid=13169 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13185/stat : 13185 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378068 14316269568 19117 18446744073709551615 4194304 4196468 140734506091200 139648615811376 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 77848 KiB
[startup+1.50079 s]
/proc/loadavg: 1.58 1.71 1.77 5/211 13185
/proc/meminfo: memFree=23555756/32770624 swapFree=67105588/67108860
[pid=13169] ppid=13166 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (xcsp3-exec) S 13166 13169 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114378053 9740288 345 18446744073709551615 4194304 5098028 140732568564768 140732568562872 139765356823164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 17321984 140732568568185 140732568568389 140732568568389 140732568571883 0
/proc/13169/statm: 2378 345 289 221 0 87 0
[pid=13171] ppid=13169 vsize=13980732 memory=130172 CPUtime=4 cores=0,2,4,6
/proc/13171/stat : 13171 (java) S 13169 13169 8557 0 -1 1077944320 26017 0 0 0 392 8 0 0 20 0 15 0 114378059 14316269568 32543 18446744073709551615 4194304 4196468 140734506091200 140734506073744 139649707511543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
/proc/13171/statm: 3495183 32543 3191 1 0 3483476 0
[pid=13171/tid=13172] ppid=13169 vsize=13980732 memory=-8774313645642428999 CPUtime=1.38 cores=0,2,4,6
/proc/13171/task/13172/stat : 13172 (java) R 13169 13169 8557 0 -1 4202560 8564 0 0 0 133 5 0 0 20 0 15 0 114378059 14316269568 32543 18446744073709551615 4194304 4196468 140734506091200 139649711742800 139649340688407 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13173] ppid=13169 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13173/stat : 13173 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14316269568 32543 18446744073709551615 4194304 4196468 140734506091200 139649664477968 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13174] ppid=13169 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13174/stat : 13174 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14316269568 32543 18446744073709551615 4194304 4196468 140734506091200 139649663425424 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13175] ppid=13169 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13175/stat : 13175 (java) S 13169 13169 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114378060 14316269568 32543 18446744073709551615 4194304 4196468 140734506091200 139649662372880 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13176] ppid=13169 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/13171/task/13179/stat : 13179 (java) S 13169 13169 8557 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 114378062 14316269568 349964 18446744073709551615 4194304 4196468 140734506091200 139648622126064 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13180] ppid=13169 vsize=13980732 memory=872 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13180/stat : 13180 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 349964 18446744073709551615 4194304 4196468 140734506091200 139648621074640 139649707530139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13181] ppid=13169 vsize=13980732 memory=1992 CPUtime=1.93 cores=0,2,4,6
/proc/13171/task/13181/stat : 13181 (java) S 13169 13169 8557 0 -1 1077944384 13283 0 0 0 191 2 0 0 20 0 15 0 114378064 14316269568 349964 18446744073709551615 4194304 4196468 140734506091200 139648620022256 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13182] ppid=13169 vsize=13980732 memory=4144 CPUtime=2.04 cores=0,2,4,6
/proc/13171/task/13182/stat : 13182 (java) S 13169 13169 8557 0 -1 1077944384 12050 0 0 0 202 2 0 0 20 0 15 0 114378064 14316269568 349964 18446744073709551615 4194304 4196468 140734506091200 139648618969712 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13183] ppid=13169 vsize=13980732 memory=62276 CPUtime=0.66 cores=0,2,4,6
/proc/13171/task/13183/stat : 13183 (java) S 13169 13169 8557 0 -1 1077944384 9805 0 0 0 65 1 0 0 20 0 15 0 114378064 14316269568 349964 18446744073709551615 4194304 4196468 140734506091200 139648617917168 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13184] ppid=13169 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13184/stat : 13184 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 349964 18446744073709551615 4194304 4196468 140734506091200 139648616864864 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13185] ppid=13169 vsize=13980732 memory=1398320 CPUtime=0.83 cores=0,2,4,6
/proc/13171/task/13185/stat : 13185 (java) S 13169 13169 8557 0 -1 1077944384 1529 0 0 0 40 43 0 0 20 0 15 0 114378068 14316269568 349964 18446744073709551615 4194304 4196468 140734506091200 139648615811376 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
Current children cumulated CPU time: 2405.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1401236 KiB
[startup+2442.3 s]
/proc/loadavg: 1.88 1.76 1.76 3/211 13428
/proc/meminfo: memFree=28307620/32770624 swapFree=67105588/67108860
[pid=13169] ppid=13166 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (xcsp3-exec) S 13166 13169 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114378053 9740288 345 18446744073709551615 4194304 5098028 140732568564768 140732568562872 139765356823164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 17321984 140732568568185 140732568568389 140732568568389 140732568571883 0
/proc/13169/statm: 2378 345 289 221 0 87 0
[pid=13171] ppid=13169 vsize=13980732 memory=1398816 CPUtime=2466.04 cores=0,2,4,6
/proc/13171/stat : 13171 (java) S 13169 13169 8557 0 -1 1077944320 196451 0 0 0 246386 218 0 0 20 0 15 0 114378059 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 140734506073744 139649707511543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
/proc/13171/statm: 3495183 349704 3251 1 0 3483476 0
[pid=13171/tid=13172] ppid=13169 vsize=13980732 memory=1380 CPUtime=2433.64 cores=0,2,4,6
/proc/13171/task/13172/stat : 13172 (java) R 13169 13169 8557 0 -1 4202560 103564 0 0 0 243245 119 0 0 20 0 15 0 114378059 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139649711751280 139649342395654 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13173] ppid=13169 vsize=13980732 memory=1398816 CPUtime=6.4 cores=0,2,4,6
/proc/13171/task/13173/stat : 13173 (java) S 13169 13169 8557 0 -1 1077944384 11419 0 0 0 629 11 0 0 20 0 15 0 114378060 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139649664477968 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13174] ppid=13169 vsize=13980732 memory=1380 CPUtime=6.39 cores=0,2,4,6
/proc/13171/task/13174/stat : 13174 (java) S 13169 13169 8557 0 -1 1077944384 11787 0 0 0 625 14 0 0 20 0 15 0 114378060 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139649663425424 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13175] ppid=13169 vsize=13980732 memory=1398816 CPUtime=6.37 cores=0,2,4,6
/proc/13171/task/13175/stat : 13175 (java) S 13169 13169 8557 0 -1 1077944384 10310 0 0 0 626 11 0 0 20 0 15 0 114378060 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139649662372880 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13176] ppid=13169 vsize=13980732 memory=1397280 CPUtime=6.38 cores=0,2,4,6
/proc/13171/task/13176/stat : 13176 (java) S 13169 13169 8557 0 -1 1077944384 10916 0 0 0 625 13 0 0 20 0 15 0 114378060 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139649661320336 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13177] ppid=13169 vsize=13980732 memory=1380 CPUtime=1.29 cores=0,2,4,6
/proc/13171/task/13177/stat : 13177 (java) S 13169 13169 8557 0 -1 1077944384 10430 0 0 0 115 14 0 0 20 0 15 0 114378061 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139649253255152 139649707522690 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13178] ppid=13169 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13178/stat : 13178 (java) S 13169 13169 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 114378062 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139649252201376 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13179] ppid=13169 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13179/stat : 13179 (java) S 13169 13169 8557 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 114378062 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139648622126064 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13180] ppid=13169 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13180/stat : 13180 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139648621074640 139649707530139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13181] ppid=13169 vsize=13980732 memory=1396768 CPUtime=1.93 cores=0,2,4,6
/proc/13171/task/13181/stat : 13181 (java) S 13169 13169 8557 0 -1 1077944384 13285 0 0 0 191 2 0 0 20 0 15 0 114378064 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139648620022256 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13182] ppid=13169 vsize=13980732 memory=1380 CPUtime=2.04 cores=0,2,4,6
/proc/13171/task/13182/stat : 13182 (java) S 13169 13169 8557 0 -1 1077944384 12052 0 0 0 202 2 0 0 20 0 15 0 114378064 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139648618969712 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13183] ppid=13169 vsize=13980732 memory=1398816 CPUtime=0.66 cores=0,2,4,6
/proc/13171/task/13183/stat : 13183 (java) S 13169 13169 8557 0 -1 1077944384 9807 0 0 0 65 1 0 0 20 0 15 0 114378064 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139648617917168 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13184] ppid=13169 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13184/stat : 13184 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139648616864864 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13185] ppid=13169 vsize=13980732 memory=1398816 CPUtime=0.86 cores=0,2,4,6
/proc/13171/task/13185/stat : 13185 (java) S 13169 13169 8557 0 -1 1077944384 1558 0 0 0 41 45 0 0 20 0 15 0 114378068 14316269568 349704 18446744073709551615 4194304 4196468 140734506091200 139648615811376 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
Current children cumulated CPU time: 2466.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1400196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.5 s]
/proc/loadavg: 1.83 1.77 1.77 3/211 13430
/proc/meminfo: memFree=28285020/32770624 swapFree=67105588/67108860
[pid=13169] ppid=13166 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (xcsp3-exec) S 13166 13169 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114378053 9740288 345 18446744073709551615 4194304 5098028 140732568564768 140732568562872 139765356823164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 17321984 140732568568185 140732568568389 140732568568389 140732568571883 0
/proc/13169/statm: 2378 345 289 221 0 87 0
[pid=13171] ppid=13169 vsize=13980732 memory=1422432 CPUtime=2520.08 cores=0,2,4,6
/proc/13171/stat : 13171 (java) S 13169 13169 8557 0 -1 1077944320 205307 0 0 0 251787 221 0 0 20 0 15 0 114378059 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 140734506073744 139649707511543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
/proc/13171/statm: 3495183 355608 3251 1 0 3483476 0
[pid=13171/tid=13172] ppid=13169 vsize=13980732 memory=1422432 CPUtime=2486.5 cores=0,2,4,6
/proc/13171/task/13172/stat : 13172 (java) R 13169 13169 8557 0 -1 4202560 109741 0 0 0 248530 120 0 0 20 0 15 0 114378059 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649711750976 139649342395455 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13173] ppid=13169 vsize=13980732 memory=1380 CPUtime=6.68 cores=0,2,4,6
/proc/13171/task/13173/stat : 13173 (java) S 13169 13169 8557 0 -1 1077944384 12103 0 0 0 657 11 0 0 20 0 15 0 114378060 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649664477968 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13174] ppid=13169 vsize=13980732 memory=1395736 CPUtime=6.68 cores=0,2,4,6
/proc/13171/task/13174/stat : 13174 (java) S 13169 13169 8557 0 -1 1077944384 12179 0 0 0 653 15 0 0 20 0 15 0 114378060 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649663425424 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13175] ppid=13169 vsize=13980732 memory=1164 CPUtime=6.65 cores=0,2,4,6
/proc/13171/task/13175/stat : 13175 (java) S 13169 13169 8557 0 -1 1077944384 11001 0 0 0 654 11 0 0 20 0 15 0 114378060 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649662372880 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13176] ppid=13169 vsize=13980732 memory=2384 CPUtime=6.66 cores=0,2,4,6
/proc/13171/task/13176/stat : 13176 (java) S 13169 13169 8557 0 -1 1077944384 11599 0 0 0 653 13 0 0 20 0 15 0 114378060 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649661320336 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13177] ppid=13169 vsize=13980732 memory=1380 CPUtime=1.31 cores=0,2,4,6
/proc/13171/task/13177/stat : 13177 (java) S 13169 13169 8557 0 -1 1077944384 10627 0 0 0 117 14 0 0 20 0 15 0 114378061 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649253255152 139649707522690 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13178] ppid=13169 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13178/stat : 13178 (java) S 13169 13169 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 114378062 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649252201376 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13179] ppid=13169 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13179/stat : 13179 (java) S 13169 13169 8557 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 114378062 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648622126064 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13180] ppid=13169 vsize=13980732 memory=7332 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13180/stat : 13180 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648621074640 139649707530139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13181] ppid=13169 vsize=13980732 memory=7332 CPUtime=1.93 cores=0,2,4,6
/proc/13171/task/13181/stat : 13181 (java) S 13169 13169 8557 0 -1 1077944384 13287 0 0 0 191 2 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648620022256 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13182] ppid=13169 vsize=13980732 memory=1628 CPUtime=2.04 cores=0,2,4,6
/proc/13171/task/13182/stat : 13182 (java) S 13169 13169 8557 0 -1 1077944384 12054 0 0 0 202 2 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648618969712 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13183] ppid=13169 vsize=13980732 memory=1380 CPUtime=0.66 cores=0,2,4,6
/proc/13171/task/13183/stat : 13183 (java) S 13169 13169 8557 0 -1 1077944384 9809 0 0 0 65 1 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648617917168 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13184] ppid=13169 vsize=13980732 memory=1421300 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13184/stat : 13184 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648616864864 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13185] ppid=13169 vsize=13980732 memory=1380 CPUtime=0.88 cores=0,2,4,6
/proc/13171/task/13185/stat : 13185 (java) S 13169 13169 8557 0 -1 1077944384 1584 0 0 0 42 46 0 0 20 0 15 0 114378068 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648615811376 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1423812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.51 s]
# the end of solver process 13169 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001916 s
[startup+2495.52 s]
# the end of solver process 13171 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.89 s, system=2.22606 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+2495.5 s]
/proc/loadavg: 1.83 1.77 1.77 3/211 13430
/proc/meminfo: memFree=28285020/32770624 swapFree=67105588/67108860
[pid=13169] ppid=13166 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (xcsp3-exec) S 13166 13169 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114378053 9740288 345 18446744073709551615 4194304 5098028 140732568564768 140732568562872 139765356823164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 17321984 140732568568185 140732568568389 140732568568389 140732568571883 0
/proc/13169/statm: 2378 345 289 221 0 87 0
[pid=13171] ppid=13169 vsize=13980732 memory=1422432 CPUtime=2520.08 cores=0,2,4,6
/proc/13171/stat : 13171 (java) S 13169 13169 8557 0 -1 1077944320 205307 0 0 0 251787 221 0 0 20 0 15 0 114378059 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 140734506073744 139649707511543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
/proc/13171/statm: 3495183 355608 3251 1 0 3483476 0
[pid=13171/tid=13172] ppid=13169 vsize=13980732 memory=1422432 CPUtime=2486.5 cores=0,2,4,6
/proc/13171/task/13172/stat : 13172 (java) R 13169 13169 8557 0 -1 4202560 109741 0 0 0 248530 120 0 0 20 0 15 0 114378059 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649711750976 139649342395455 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13173] ppid=13169 vsize=13980732 memory=1380 CPUtime=6.68 cores=0,2,4,6
/proc/13171/task/13173/stat : 13173 (java) S 13169 13169 8557 0 -1 1077944384 12103 0 0 0 657 11 0 0 20 0 15 0 114378060 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649664477968 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13174] ppid=13169 vsize=13980732 memory=1395736 CPUtime=6.68 cores=0,2,4,6
/proc/13171/task/13174/stat : 13174 (java) S 13169 13169 8557 0 -1 1077944384 12179 0 0 0 653 15 0 0 20 0 15 0 114378060 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649663425424 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13175] ppid=13169 vsize=13980732 memory=1164 CPUtime=6.65 cores=0,2,4,6
/proc/13171/task/13175/stat : 13175 (java) S 13169 13169 8557 0 -1 1077944384 11001 0 0 0 654 11 0 0 20 0 15 0 114378060 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649662372880 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13176] ppid=13169 vsize=13980732 memory=2384 CPUtime=6.66 cores=0,2,4,6
/proc/13171/task/13176/stat : 13176 (java) S 13169 13169 8557 0 -1 1077944384 11599 0 0 0 653 13 0 0 20 0 15 0 114378060 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649661320336 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13177] ppid=13169 vsize=13980732 memory=1380 CPUtime=1.31 cores=0,2,4,6
/proc/13171/task/13177/stat : 13177 (java) S 13169 13169 8557 0 -1 1077944384 10627 0 0 0 117 14 0 0 20 0 15 0 114378061 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649253255152 139649707522690 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13178] ppid=13169 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13178/stat : 13178 (java) S 13169 13169 8557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 114378062 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139649252201376 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13179] ppid=13169 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13179/stat : 13179 (java) S 13169 13169 8557 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 114378062 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648622126064 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13180] ppid=13169 vsize=13980732 memory=7332 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13180/stat : 13180 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648621074640 139649707530139 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13181] ppid=13169 vsize=13980732 memory=7332 CPUtime=1.93 cores=0,2,4,6
/proc/13171/task/13181/stat : 13181 (java) S 13169 13169 8557 0 -1 1077944384 13287 0 0 0 191 2 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648620022256 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13182] ppid=13169 vsize=13980732 memory=1628 CPUtime=2.04 cores=0,2,4,6
/proc/13171/task/13182/stat : 13182 (java) S 13169 13169 8557 0 -1 1077944384 12054 0 0 0 202 2 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648618969712 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13183] ppid=13169 vsize=13980732 memory=1380 CPUtime=0.66 cores=0,2,4,6
/proc/13171/task/13183/stat : 13183 (java) S 13169 13169 8557 0 -1 1077944384 9809 0 0 0 65 1 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648617917168 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13184] ppid=13169 vsize=13980732 memory=1421300 CPUtime=0 cores=0,2,4,6
/proc/13171/task/13184/stat : 13184 (java) S 13169 13169 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114378064 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648616864864 139649707521749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
[pid=13171/tid=13185] ppid=13169 vsize=13980732 memory=1380 CPUtime=0.88 cores=0,2,4,6
/proc/13171/task/13185/stat : 13185 (java) S 13169 13169 8557 0 -1 1077944384 1584 0 0 0 42 46 0 0 20 0 15 0 114378068 14316269568 355608 18446744073709551615 4194304 4196468 140734506091200 139648615811376 139649707522690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 15904768 140734506095025 140734506095201 140734506095201 140734506098639 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1423812 KiB
Child status: 143
Real time (s): 2495.52
CPU time (s): 2520.11
CPU user time (s): 2517.89
CPU system time (s): 2.22606
CPU usage (%): 100.986
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2236896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.89
system time used= 2.22606
maximum resident set size= 2239600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87402
involuntary context switches= 3822
# summary of solver processes directly reported to runsolver:
# pid: 13169,13171
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.89
# total CPU system time (s): 2.22606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1105 second user time and 22.3106 second system time
The end