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 (4103 MiB free)
memory of node 1: 16384 MiB (3114 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403388-1568990524/watcher-4403388-1568990524 -o /var/tmp/evaluation-result-4403388-1568990524/solver-4403388-1568990524 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1864340657 HOME/instance-4403388-1568990524.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=27200, runsolver pid=27197
[startup+0.100147 s]*
/proc/loadavg: 7.90 8.40 8.04 7/234 27216
/proc/meminfo: memFree=7373248/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
[pid=27202] ppid=27200 vsize=15144776 memory=30072 CPUtime=0.11 cores=0,2,4,6
/proc/27202/stat : 27202 (java) S 27200 27200 25111 0 -1 1077944320 5474 0 0 0 10 1 0 0 20 0 15 0 475301037 15508250624 7518 33554432000 4194304 4196468 140732760089264 140732760071808 140099860254455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
/proc/27202/statm: 3786194 7518 3121 1 0 3748377 0
[pid=27202/tid=27203] ppid=27200 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/27202/task/27203/stat : 27203 (java) R 27200 27200 25111 0 -1 4202560 3390 0 0 0 7 1 0 0 20 0 15 0 475301037 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099864476928 140099846265089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27204] ppid=27200 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27204/stat : 27204 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301038 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099821214608 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27205] ppid=27200 vsize=15144776 memory=140509988787840 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27205/stat : 27205 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301038 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099451853584 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27206] ppid=27200 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27206/stat : 27206 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301038 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099450801296 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27207] ppid=27200 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27207/stat : 27207 (java) S 27200 27200 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301038 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099449748496 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27208] ppid=27200 vsize=15144776 memory=140509988787840 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27208/stat : 27208 (java) S 27200 27200 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301040 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099328870512 140099860265602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27209] ppid=27200 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27209/stat : 27209 (java) S 27200 27200 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475301040 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099327816480 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27210] ppid=27200 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27210/stat : 27210 (java) S 27200 27200 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475301040 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099326764144 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27211] ppid=27200 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27211/stat : 27211 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099325712464 140099860273051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27212] ppid=27200 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27212/stat : 27212 (java) S 27200 27200 25111 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 475301043 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099324660336 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27213] ppid=27200 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27213/stat : 27213 (java) S 27200 27200 25111 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 475301043 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099323607536 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27214] ppid=27200 vsize=15144776 memory=140509988787840 CPUtime=0.01 cores=0,2,4,6
/proc/27202/task/27214/stat : 27214 (java) R 27200 27200 25111 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 15 0 475301043 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099322555248 140099838913583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27215] ppid=27200 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27215/stat : 27215 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099321502688 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27216] ppid=27200 vsize=15144776 memory=140509988787840 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27216/stat : 27216 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301044 15508250624 7518 33554432000 4194304 4196468 140732760089264 140099320449456 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31528 KiB
[startup+0.210534 s]*
/proc/loadavg: 7.90 8.40 8.04 8/234 27216
/proc/meminfo: memFree=7361332/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
[pid=27202] ppid=27200 vsize=15144776 memory=40452 CPUtime=0.33 cores=0,2,4,6
/proc/27202/stat : 27202 (java) S 27200 27200 25111 0 -1 1077944320 8847 0 0 0 30 3 0 0 20 0 15 0 475301037 15508250624 10113 33554432000 4194304 4196468 140732760089264 140732760071808 140099860254455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
/proc/27202/statm: 3786194 10113 3296 1 0 3748377 0
[pid=27202/tid=27203] ppid=27200 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/27202/task/27203/stat : 27203 (java) R 27200 27200 25111 0 -1 4202560 6148 0 0 0 17 2 0 0 20 0 15 0 475301037 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099864486368 140099844334942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27204] ppid=27200 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27204/stat : 27204 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301038 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099821214608 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27205] ppid=27200 vsize=15144776 memory=140509992313398 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27205/stat : 27205 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301038 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099451853584 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27206] ppid=27200 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27206/stat : 27206 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301038 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099450801296 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27207] ppid=27200 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27207/stat : 27207 (java) S 27200 27200 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301038 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099449748496 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27208] ppid=27200 vsize=15144776 memory=140509988787840 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27208/stat : 27208 (java) S 27200 27200 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475301040 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099328870512 140099860265602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27209] ppid=27200 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27209/stat : 27209 (java) S 27200 27200 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475301040 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099327816480 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27210] ppid=27200 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27210/stat : 27210 (java) S 27200 27200 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475301040 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099326764144 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27211] ppid=27200 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27211/stat : 27211 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099325712464 140099860273051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27212] ppid=27200 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27202/task/27212/stat : 27212 (java) S 27200 27200 25111 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 475301043 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099324660336 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27213] ppid=27200 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27202/task/27213/stat : 27213 (java) S 27200 27200 25111 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 15 0 475301043 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099323607536 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27214] ppid=27200 vsize=15144776 memory=140509988787840 CPUtime=0.07 cores=0,2,4,6
/proc/27202/task/27214/stat : 27214 (java) R 27200 27200 25111 0 -1 4202560 779 0 0 0 7 0 0 0 20 0 15 0 475301043 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099322555248 140099860266390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27215] ppid=27200 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27215/stat : 27215 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099321502688 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27216] ppid=27200 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27216/stat : 27216 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301044 15508250624 10113 33554432000 4194304 4196468 140732760089264 140099320449456 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41908 KiB
[startup+0.310677 s]*
/proc/loadavg: 7.90 8.40 8.04 7/234 27216
/proc/meminfo: memFree=7356604/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
[pid=27202] ppid=27200 vsize=15149032 memory=49104 CPUtime=0.52 cores=0,2,4,6
/proc/27202/stat : 27202 (java) S 27200 27200 25111 0 -1 1077944320 10164 0 0 0 48 4 0 0 20 0 15 0 475301037 15512608768 12276 33554432000 4194304 4196468 140732760089264 140732760071808 140099860254455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
/proc/27202/statm: 3787258 12276 3355 1 0 3748377 0
[pid=27202/tid=27203] ppid=27200 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/27202/task/27203/stat : 27203 (java) R 27200 27200 25111 0 -1 4202560 7198 0 0 0 26 3 0 0 20 0 15 0 475301037 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099864488240 140099844334942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27204] ppid=27200 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27204/stat : 27204 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301038 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099821214608 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27205] ppid=27200 vsize=15149032 memory=3546595 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27205/stat : 27205 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301038 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099451853584 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27206] ppid=27200 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27206/stat : 27206 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301038 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099450801296 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27207] ppid=27200 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27207/stat : 27207 (java) S 27200 27200 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475301038 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099449748496 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27208] ppid=27200 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27208/stat : 27208 (java) S 27200 27200 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475301040 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099328870512 140099860265602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27209] ppid=27200 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27209/stat : 27209 (java) S 27200 27200 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475301040 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099327816480 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27210] ppid=27200 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27210/stat : 27210 (java) S 27200 27200 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475301040 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099326764144 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27211] ppid=27200 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27211/stat : 27211 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099325712464 140099860273051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27212] ppid=27200 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27202/task/27212/stat : 27212 (java) R 27200 27200 25111 0 -1 1077944384 330 0 0 0 3 0 0 0 20 0 15 0 475301043 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099324660432 140099860264661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27213] ppid=27200 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/27202/task/27213/stat : 27213 (java) R 27200 27200 25111 0 -1 4202560 385 0 0 0 5 0 0 0 20 0 15 0 475301043 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099323607536 140099845149531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27214] ppid=27200 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27202/task/27214/stat : 27214 (java) S 27200 27200 25111 0 -1 1077944384 948 0 0 0 12 0 0 0 20 0 15 0 475301043 15512608768 12276 33554432000 4194304 4196468 140732760089264 140099322555248 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27215] ppid=27200 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27215/stat : 27215 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15512608768 12342 33554432000 4194304 4196468 140732760089264 140099321502688 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27216] ppid=27200 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27216/stat : 27216 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301044 15512608768 12342 33554432000 4194304 4196468 140732760089264 140099320449456 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50560 KiB
[startup+0.700886 s]
/proc/loadavg: 7.90 8.40 8.04 8/234 27216
/proc/meminfo: memFree=7316224/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
[pid=27202] ppid=27200 vsize=15149032 memory=202620 CPUtime=1.34 cores=0,2,4,6
/proc/27202/stat : 27202 (java) S 27200 27200 25111 0 -1 1077944320 12719 0 0 0 125 9 0 0 20 0 15 0 475301037 15512608768 50655 33554432000 4194304 4196468 140732760089264 140732760071808 140099860254455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
/proc/27202/statm: 3787258 50655 3400 1 0 3748377 0
[pid=27202/tid=27203] ppid=27200 vsize=15149032 memory=29916 CPUtime=0.65 cores=0,2,4,6
/proc/27202/task/27203/stat : 27203 (java) S 27200 27200 25111 0 -1 1077944384 7544 0 0 0 60 5 0 0 20 0 15 0 475301037 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099864493456 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27204] ppid=27200 vsize=15149032 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27204/stat : 27204 (java) R 27200 27200 25111 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 15 0 475301038 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099821214808 140099853351156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27205] ppid=27200 vsize=15149032 memory=500 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27205/stat : 27205 (java) R 27200 27200 25111 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 475301038 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099451853584 140099853351156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27206] ppid=27200 vsize=15149032 memory=932 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27206/stat : 27206 (java) R 27200 27200 25111 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 15 0 475301038 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099450801296 140099853354155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27207] ppid=27200 vsize=15149032 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27207/stat : 27207 (java) R 27200 27200 25111 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 15 0 475301038 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099449748696 140099853351156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27208] ppid=27200 vsize=15149032 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27208/stat : 27208 (java) S 27200 27200 25111 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 475301040 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099328869024 140099860264661 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27209] ppid=27200 vsize=15149032 memory=804 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27209/stat : 27209 (java) S 27200 27200 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475301040 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099327816480 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27210] ppid=27200 vsize=15149032 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27210/stat : 27210 (java) S 27200 27200 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475301040 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099326764144 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27211] ppid=27200 vsize=15149032 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27211/stat : 27211 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099325712464 140099860273051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27212] ppid=27200 vsize=15149032 memory=2676 CPUtime=0.18 cores=0,2,4,6
/proc/27202/task/27212/stat : 27212 (java) S 27200 27200 25111 0 -1 1077944384 1266 0 0 0 18 0 0 0 20 0 15 0 475301043 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099324660336 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27213] ppid=27200 vsize=15149032 memory=1764 CPUtime=0.24 cores=0,2,4,6
/proc/27202/task/27213/stat : 27213 (java) S 27200 27200 25111 0 -1 1077944384 988 0 0 0 24 0 0 0 20 0 15 0 475301043 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099323607536 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27214] ppid=27200 vsize=15149032 memory=111632 CPUtime=0.18 cores=0,2,4,6
/proc/27202/task/27214/stat : 27214 (java) S 27200 27200 25111 0 -1 1077944384 1530 0 0 0 18 0 0 0 20 0 15 0 475301043 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099322555248 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27215] ppid=27200 vsize=15149032 memory=796 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27215/stat : 27215 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099321502688 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27216] ppid=27200 vsize=15149032 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27216/stat : 27216 (java) S 27200 27200 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475301044 15512608768 50655 33554432000 4194304 4196468 140732760089264 140099320449456 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 204076 KiB
[startup+1.50089 s]
/proc/loadavg: 7.90 8.40 8.04 6/234 27216
/proc/meminfo: memFree=7106584/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/27202/task/27210/stat : 27210 (java) S 27200 27200 25111 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 475301040 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099326764160 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27211] ppid=27200 vsize=15151156 memory=15779709848649 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27211/stat : 27211 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099325712464 140099860273051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27212] ppid=27200 vsize=15151156 memory=7306916055891837008 CPUtime=2.79 cores=0,2,4,6
/proc/27202/task/27212/stat : 27212 (java) S 27200 27200 25111 0 -1 1077944384 18987 0 0 0 277 2 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099324660384 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27213] ppid=27200 vsize=15151156 memory=288289974007366481 CPUtime=1.81 cores=0,2,4,6
/proc/27202/task/27213/stat : 27213 (java) S 27200 27200 25111 0 -1 1077944384 7702 0 0 0 180 1 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099323607584 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27214] ppid=27200 vsize=15151156 memory=6791534058613427641 CPUtime=0.6 cores=0,2,4,6
/proc/27202/task/27214/stat : 27214 (java) S 27200 27200 25111 0 -1 1077944384 7781 0 0 0 59 1 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099322555008 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27215] ppid=27200 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27215/stat : 27215 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099321502688 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27216] ppid=27200 vsize=15151156 memory=2676 CPUtime=0.1 cores=0,2,4,6
/proc/27202/task/27216/stat : 27216 (java) S 27200 27200 25111 0 -1 1077944384 1048 0 0 0 4 6 0 0 20 0 15 0 475301044 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099320449456 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
Current children cumulated CPU time: 598.16 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12805048 KiB
[startup+236.801 s]
/proc/loadavg: 7.88 7.77 7.83 9/233 27323
/proc/meminfo: memFree=203856/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
[pid=27202] ppid=27200 vsize=15151156 memory=12803592 CPUtime=623.19 cores=0,2,4,6
/proc/27202/stat : 27202 (java) S 27200 27200 25111 0 -1 1077944320 8032710 0 0 0 59466 2853 0 0 20 0 15 0 475301037 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140732760071808 140099860254455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
/proc/27202/statm: 3787789 3200898 3515 1 0 3748889 0
[pid=27202/tid=27203] ppid=27200 vsize=15151156 memory=3608 CPUtime=65.69 cores=0,2,4,6
/proc/27202/task/27203/stat : 27203 (java) S 27200 27200 25111 0 -1 1077944384 45145 0 0 0 6551 18 0 0 20 0 15 0 475301037 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099864491504 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27204] ppid=27200 vsize=15151156 memory=12803592 CPUtime=127.89 cores=0,2,4,6
/proc/27202/task/27204/stat : 27204 (java) R 27200 27200 25111 0 -1 4202560 1723189 0 0 0 12082 707 0 0 20 0 15 0 475301038 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099821214416 140099852882663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27205] ppid=27200 vsize=15151156 memory=1456 CPUtime=127.6 cores=0,2,4,6
/proc/27202/task/27205/stat : 27205 (java) R 27200 27200 25111 0 -1 4202560 2143707 0 0 0 12069 691 0 0 20 0 15 0 475301038 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099451853392 140099852882663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27206] ppid=27200 vsize=15151156 memory=1764 CPUtime=126.98 cores=0,2,4,6
/proc/27202/task/27206/stat : 27206 (java) R 27200 27200 25111 0 -1 4202560 1485838 0 0 0 12035 663 0 0 20 0 15 0 475301038 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099450801416 140099852882663 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27207] ppid=27200 vsize=15151156 memory=111632 CPUtime=127.22 cores=0,2,4,6
/proc/27202/task/27207/stat : 27207 (java) R 27200 27200 25111 0 -1 4202560 2347425 0 0 0 11983 739 0 0 20 0 15 0 475301038 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099449748696 140099853357469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27208] ppid=27200 vsize=15151156 memory=1456 CPUtime=42.39 cores=0,2,4,6
/proc/27202/task/27208/stat : 27208 (java) S 27200 27200 25111 0 -1 1077944384 250646 0 0 0 4215 24 0 0 20 0 15 0 475301040 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099328869072 140099860264661 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27209] ppid=27200 vsize=15151156 memory=12803592 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27209/stat : 27209 (java) S 27200 27200 25111 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 475301040 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099327816544 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27210] ppid=27200 vsize=15151156 memory=55324 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27210/stat : 27210 (java) S 27200 27200 25111 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 475301040 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099326764160 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27211] ppid=27200 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27211/stat : 27211 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099325712464 140099860273051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27212] ppid=27200 vsize=15151156 memory=2024 CPUtime=2.79 cores=0,2,4,6
/proc/27202/task/27212/stat : 27212 (java) S 27200 27200 25111 0 -1 1077944384 18987 0 0 0 277 2 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099324660384 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27213] ppid=27200 vsize=15151156 memory=6791534058613427641 CPUtime=1.81 cores=0,2,4,6
/proc/27202/task/27213/stat : 27213 (java) S 27200 27200 25111 0 -1 1077944384 7702 0 0 0 180 1 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099323607584 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27214] ppid=27200 vsize=15151156 memory=12803588 CPUtime=0.6 cores=0,2,4,6
/proc/27202/task/27214/stat : 27214 (java) S 27200 27200 25111 0 -1 1077944384 7781 0 0 0 59 1 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099322555008 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27215] ppid=27200 vsize=15151156 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27215/stat : 27215 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099321502688 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27216] ppid=27200 vsize=15151156 memory=6944656592455360604 CPUtime=0.1 cores=0,2,4,6
/proc/27202/task/27216/stat : 27216 (java) S 27200 27200 25111 0 -1 1077944384 1048 0 0 0 4 6 0 0 20 0 15 0 475301044 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099320449456 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
Current children cumulated CPU time: 623.19 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12805048 KiB
[startup+238.401 s]
/proc/loadavg: 7.88 7.77 7.83 9/233 27323
/proc/meminfo: memFree=204016/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
[pid=27202] ppid=27200 vsize=15151156 memory=12803592 CPUtime=629.22 cores=0,2,4,6
/proc/27202/stat : 27202 (java) S 27200 27200 25111 0 -1 1077944320 8095969 0 0 0 60061 2861 0 0 20 0 15 0 475301037 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140732760071808 140099860254455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
/proc/27202/statm: 3787789 3200898 3515 1 0 3748889 0
[pid=27202/tid=27203] ppid=27200 vsize=15151156 memory=2024 CPUtime=65.69 cores=0,2,4,6
/proc/27202/task/27203/stat : 27203 (java) S 27200 27200 25111 0 -1 1077944384 45145 0 0 0 6551 18 0 0 20 0 15 0 475301037 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099864491504 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27204] ppid=27200 vsize=15151156 memory=1416 CPUtime=129.36 cores=0,2,4,6
/proc/27202/task/27204/stat : 27204 (java) S 27200 27200 25111 0 -1 1077944384 1723189 0 0 0 12229 707 0 0 20 0 15 0 475301038 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099821214608 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27205] ppid=27200 vsize=15151156 memory=1456 CPUtime=129.1 cores=0,2,4,6
/proc/27202/task/27205/stat : 27205 (java) S 27200 27200 25111 0 -1 1077944384 2143707 0 0 0 12218 692 0 0 20 0 15 0 475301038 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099451853584 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27206] ppid=27200 vsize=15151156 memory=6791534058613427641 CPUtime=128.46 cores=0,2,4,6
/proc/27202/task/27206/stat : 27206 (java) S 27200 27200 25111 0 -1 1077944384 1485838 0 0 0 12182 664 0 0 20 0 15 0 475301038 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099450801296 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27207] ppid=27200 vsize=15151156 memory=1736 CPUtime=128.77 cores=0,2,4,6
/proc/27202/task/27207/stat : 27207 (java) S 27200 27200 25111 0 -1 1077944384 2410599 0 0 0 12132 745 0 0 20 0 15 0 475301038 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099449748496 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27208] ppid=27200 vsize=15151156 memory=6064 CPUtime=42.44 cores=0,2,4,6
/proc/27202/task/27208/stat : 27208 (java) R 27200 27200 25111 0 -1 4202560 250646 0 0 0 4220 24 0 0 20 0 15 0 475301040 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099328869072 140099845250836 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27209] ppid=27200 vsize=15151156 memory=636 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27209/stat : 27209 (java) S 27200 27200 25111 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 475301040 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099327816544 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27210] ppid=27200 vsize=15151156 memory=2836 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27210/stat : 27210 (java) S 27200 27200 25111 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 475301040 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099326764160 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27211] ppid=27200 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27211/stat : 27211 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099325712464 140099860273051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27212] ppid=27200 vsize=15151156 memory=29916 CPUtime=2.79 cores=0,2,4,6
/proc/27202/task/27212/stat : 27212 (java) S 27200 27200 25111 0 -1 1077944384 18987 0 0 0 277 2 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099324660384 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27213] ppid=27200 vsize=15151156 memory=1556 CPUtime=1.81 cores=0,2,4,6
/proc/27202/task/27213/stat : 27213 (java) S 27200 27200 25111 0 -1 1077944384 7702 0 0 0 180 1 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099323607584 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27214] ppid=27200 vsize=15151156 memory=500 CPUtime=0.6 cores=0,2,4,6
/proc/27202/task/27214/stat : 27214 (java) S 27200 27200 25111 0 -1 1077944384 7781 0 0 0 59 1 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099322555008 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27215] ppid=27200 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27215/stat : 27215 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099321502688 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27216] ppid=27200 vsize=15151156 memory=1776 CPUtime=0.1 cores=0,2,4,6
/proc/27202/task/27216/stat : 27216 (java) S 27200 27200 25111 0 -1 1077944384 1048 0 0 0 4 6 0 0 20 0 15 0 475301044 15514783744 3200898 33554432000 4194304 4196468 140732760089264 140099320449456 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
Current children cumulated CPU time: 629.22 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12805048 KiB
[startup+239.201 s]
/proc/loadavg: 7.88 7.77 7.83 6/233 27323
/proc/meminfo: memFree=202940/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
[pid=27202] ppid=27200 vsize=15151156 memory=12803596 CPUtime=630.02 cores=0,2,4,6
/proc/27202/stat : 27202 (java) S 27200 27200 25111 0 -1 1077944320 8111703 0 0 0 60140 2862 0 0 20 0 15 0 475301037 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140732760071808 140099860254455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
/proc/27202/statm: 3787789 3200899 3515 1 0 3748889 0
[pid=27202/tid=27203] ppid=27200 vsize=15151156 memory=6791534058613427641 CPUtime=65.69 cores=0,2,4,6
/proc/27202/task/27203/stat : 27203 (java) S 27200 27200 25111 0 -1 1077944384 45145 0 0 0 6551 18 0 0 20 0 15 0 475301037 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099864491504 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27204] ppid=27200 vsize=15151156 memory=2836 CPUtime=129.36 cores=0,2,4,6
/proc/27202/task/27204/stat : 27204 (java) S 27200 27200 25111 0 -1 1077944384 1723189 0 0 0 12229 707 0 0 20 0 15 0 475301038 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099821214608 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27205] ppid=27200 vsize=15151156 memory=1056 CPUtime=129.1 cores=0,2,4,6
/proc/27202/task/27205/stat : 27205 (java) S 27200 27200 25111 0 -1 1077944384 2143707 0 0 0 12218 692 0 0 20 0 15 0 475301038 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099451853584 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27206] ppid=27200 vsize=15151156 memory=1568 CPUtime=128.46 cores=0,2,4,6
/proc/27202/task/27206/stat : 27206 (java) S 27200 27200 25111 0 -1 1077944384 1485838 0 0 0 12182 664 0 0 20 0 15 0 475301038 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099450801296 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27207] ppid=27200 vsize=15151156 memory=1048 CPUtime=128.77 cores=0,2,4,6
/proc/27202/task/27207/stat : 27207 (java) S 27200 27200 25111 0 -1 1077944384 2410599 0 0 0 12132 745 0 0 20 0 15 0 475301038 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099449748496 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27208] ppid=27200 vsize=15151156 memory=55324 CPUtime=43.24 cores=0,2,4,6
/proc/27202/task/27208/stat : 27208 (java) R 27200 27200 25111 0 -1 4202560 266380 0 0 0 4299 25 0 0 20 0 15 0 475301040 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099328869072 140099844712075 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27209] ppid=27200 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27209/stat : 27209 (java) S 27200 27200 25111 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 475301040 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099327816544 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27210] ppid=27200 vsize=15151156 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27210/stat : 27210 (java) S 27200 27200 25111 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 475301040 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099326764160 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27211] ppid=27200 vsize=15151156 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27211/stat : 27211 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099325712464 140099860273051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27212] ppid=27200 vsize=15151156 memory=776 CPUtime=2.79 cores=0,2,4,6
/proc/27202/task/27212/stat : 27212 (java) S 27200 27200 25111 0 -1 1077944384 18987 0 0 0 277 2 0 0 20 0 15 0 475301043 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099324660384 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27213] ppid=27200 vsize=15151156 memory=13976 CPUtime=1.81 cores=0,2,4,6
/proc/27202/task/27213/stat : 27213 (java) S 27200 27200 25111 0 -1 1077944384 7702 0 0 0 180 1 0 0 20 0 15 0 475301043 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099323607584 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27214] ppid=27200 vsize=15151156 memory=12040 CPUtime=0.6 cores=0,2,4,6
/proc/27202/task/27214/stat : 27214 (java) S 27200 27200 25111 0 -1 1077944384 7781 0 0 0 59 1 0 0 20 0 15 0 475301043 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099322555008 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27215] ppid=27200 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/27202/task/27215/stat : 27215 (java) S 27200 27200 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475301043 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099321502688 140099860264661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
[pid=27202/tid=27216] ppid=27200 vsize=15151156 memory=29916 CPUtime=0.1 cores=0,2,4,6
/proc/27202/task/27216/stat : 27216 (java) S 27200 27200 25111 0 -1 1077944384 1048 0 0 0 4 6 0 0 20 0 15 0 475301044 15514783744 3200899 33554432000 4194304 4196468 140732760089264 140099320449456 140099860265602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140732760093659 140732760093834 140732760093834 140732760096719 0
Current children cumulated CPU time: 630.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12805052 KiB
[startup+240.001 s]*
/proc/loadavg: 7.88 7.77 7.83 6/220 27324
/proc/meminfo: memFree=859076/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
[startup+240.4 s]
/proc/loadavg: 7.88 7.77 7.83 6/220 27324
/proc/meminfo: memFree=859076/32770624 swapFree=67002248/67108860
[pid=27200] ppid=27197 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27200/stat : 27200 (xcsp3-exec) S 27197 27200 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475301037 115843072 364 33554432000 4194304 5098028 140736229984864 140736229982968 140501981327996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20443136 140736229987158 140736229987417 140736229987417 140736229990342 0
/proc/27200/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 1
Real time (s): 240.493
CPU time (s): 631.331
CPU user time (s): 602.196
CPU system time (s): 29.135
CPU usage (%): 262.515
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12805052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 602.196
system time used= 29.135
maximum resident set size= 12803996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8112499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11722
involuntary context switches= 12772
# summary of solver processes directly reported to runsolver:
# pid: 27200
# total CPU time (s): 631.331
# total CPU user time (s): 602.196
# total CPU system time (s): 29.135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65446 second user time and 2.35961 second system time
The end