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 (3678 MiB free)
memory of node 1: 16384 MiB (4826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403960-1568992392/watcher-4403960-1568992392 -o /tmp/evaluation-result-4403960-1568992392/solver-4403960-1568992392 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 146805369 HOME/instance-4403960-1568992392.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6353, runsolver pid=6350
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.77 8.53 7.30 7/234 6369
/proc/meminfo: memFree=8692848/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
[pid=6355] ppid=6353 vsize=15144776 memory=30084 CPUtime=0.13 cores=0,2,4,6
/proc/6355/stat : 6355 (java) S 6353 6353 2739 0 -1 1077944320 5483 0 0 0 12 1 0 0 20 0 15 0 475400785 15508250624 7521 33554432000 4194304 4196468 140730520354720 140730520337264 140637200490231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
/proc/6355/statm: 3786194 7521 3122 1 0 3748377 0
[pid=6355/tid=6356] ppid=6353 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/6355/task/6356/stat : 6356 (java) R 6353 6353 2739 0 -1 4202560 3398 0 0 0 9 0 0 0 20 0 15 0 475400786 15508250624 7587 33554432000 4194304 4196468 140730520354720 140637204716064 140637184570718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6357] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6357/stat : 6357 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400786 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636792527632 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6358] ppid=6353 vsize=15144776 memory=140347375518671 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6358/stat : 6358 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400786 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636791475088 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6359] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6359/stat : 6359 (java) S 6353 6353 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400786 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636790422544 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6360] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6360/stat : 6360 (java) S 6353 6353 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400786 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636789370000 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6361] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6361/stat : 6361 (java) S 6353 6353 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400788 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636668762096 140637200501378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6362] ppid=6353 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6362/stat : 6362 (java) S 6353 6353 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475400788 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636667708320 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6363] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6363/stat : 6363 (java) S 6353 6353 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475400788 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636666655728 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6364] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6364/stat : 6364 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636665604304 140637200508827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6365] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6365/stat : 6365 (java) R 6353 6353 2739 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 475400791 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636664552016 140637200500437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6366] ppid=6353 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6366/stat : 6366 (java) R 6353 6353 2739 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 475400791 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636663490880 140637186156384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6367] ppid=6353 vsize=15144776 memory=140347372242560 CPUtime=0.02 cores=0,2,4,6
/proc/6355/task/6367/stat : 6367 (java) R 6353 6353 2739 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 475400791 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636662446832 140637179428327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6368] ppid=6353 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6368/stat : 6368 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636661394528 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6369] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6369/stat : 6369 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400791 15508250624 7587 33554432000 4194304 4196468 140730520354720 140636660341040 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31536 KiB
[startup+0.210795 s]*
/proc/loadavg: 8.77 8.53 7.30 7/234 6369
/proc/meminfo: memFree=8679936/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
[pid=6355] ppid=6353 vsize=15144776 memory=40628 CPUtime=0.34 cores=0,2,4,6
/proc/6355/stat : 6355 (java) S 6353 6353 2739 0 -1 1077944320 8884 0 0 0 32 2 0 0 20 0 15 0 475400785 15508250624 10157 33554432000 4194304 4196468 140730520354720 140730520337264 140637200490231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
/proc/6355/statm: 3786194 10157 3304 1 0 3748377 0
[pid=6355/tid=6356] ppid=6353 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/6355/task/6356/stat : 6356 (java) R 6353 6353 2739 0 -1 4202560 6198 0 0 0 18 1 0 0 20 0 15 0 475400786 15508250624 10157 33554432000 4194304 4196468 140730520354720 140637204724352 140637200502166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6357] ppid=6353 vsize=15144776 memory=14645 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6357/stat : 6357 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400786 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636792527632 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6358] ppid=6353 vsize=15144776 memory=3834453173130004128 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6358/stat : 6358 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400786 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636791475088 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6359] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6359/stat : 6359 (java) S 6353 6353 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400786 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636790422544 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6360] ppid=6353 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6360/stat : 6360 (java) S 6353 6353 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400786 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636789370000 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6361] ppid=6353 vsize=15144776 memory=140347372242560 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6361/stat : 6361 (java) S 6353 6353 2739 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475400788 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636668762096 140637200501378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6362] ppid=6353 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6362/stat : 6362 (java) S 6353 6353 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475400788 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636667708320 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6363] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6363/stat : 6363 (java) S 6353 6353 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475400788 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636666655728 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6364] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6364/stat : 6364 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636665604304 140637200508827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6365] ppid=6353 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6355/task/6365/stat : 6365 (java) S 6353 6353 2739 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 475400791 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636664551920 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6366] ppid=6353 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/6355/task/6366/stat : 6366 (java) S 6353 6353 2739 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 475400791 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636663499376 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6367] ppid=6353 vsize=15144776 memory=140347372242560 CPUtime=0.08 cores=0,2,4,6
/proc/6355/task/6367/stat : 6367 (java) R 6353 6353 2739 0 -1 4202560 772 0 0 0 8 0 0 0 20 0 15 0 475400791 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636662446832 140637192727358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6368] ppid=6353 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6368/stat : 6368 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636661394528 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6369] ppid=6353 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6369/stat : 6369 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400791 15508250624 10157 33554432000 4194304 4196468 140730520354720 140636660341040 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42080 KiB
[startup+0.311593 s]*
/proc/loadavg: 8.77 8.53 7.30 7/234 6369
/proc/meminfo: memFree=8673160/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
[pid=6355] ppid=6353 vsize=15149032 memory=49996 CPUtime=0.53 cores=0,2,4,6
/proc/6355/stat : 6355 (java) S 6353 6353 2739 0 -1 1077944320 10326 0 0 0 50 3 0 0 20 0 15 0 475400785 15512608768 12499 33554432000 4194304 4196468 140730520354720 140730520337264 140637200490231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
/proc/6355/statm: 3787258 12499 3360 1 0 3748377 0
[pid=6355/tid=6356] ppid=6353 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/6355/task/6356/stat : 6356 (java) R 6353 6353 2739 0 -1 4202560 7343 0 0 0 28 2 0 0 20 0 15 0 475400786 15512608768 12568 33554432000 4194304 4196468 140730520354720 140637204721344 140637184570718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6357] ppid=6353 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6357/stat : 6357 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400786 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636792527632 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6358] ppid=6353 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6358/stat : 6358 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400786 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636791475088 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6359] ppid=6353 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6359/stat : 6359 (java) S 6353 6353 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400786 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636790422544 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6360] ppid=6353 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6360/stat : 6360 (java) S 6353 6353 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400786 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636789370000 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6361] ppid=6353 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6361/stat : 6361 (java) S 6353 6353 2739 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475400788 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636668762096 140637200501378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6362] ppid=6353 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6362/stat : 6362 (java) S 6353 6353 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475400788 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636667708320 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6363] ppid=6353 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6363/stat : 6363 (java) S 6353 6353 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475400788 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636666655728 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6364] ppid=6353 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6364/stat : 6364 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636665604304 140637200508827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6365] ppid=6353 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/6355/task/6365/stat : 6365 (java) R 6353 6353 2739 0 -1 4202560 487 0 0 0 4 0 0 0 20 0 15 0 475400791 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636664551920 140637185418552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6366] ppid=6353 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6355/task/6366/stat : 6366 (java) S 6353 6353 2739 0 -1 1077944384 297 0 0 0 4 0 0 0 20 0 15 0 475400791 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636663499376 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6367] ppid=6353 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6355/task/6367/stat : 6367 (java) S 6353 6353 2739 0 -1 1077944384 909 0 0 0 13 0 0 0 20 0 15 0 475400791 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636662446832 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6368] ppid=6353 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6368/stat : 6368 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636661394528 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6369] ppid=6353 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6369/stat : 6369 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400791 15512608768 12568 33554432000 4194304 4196468 140730520354720 140636660341040 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51448 KiB
[startup+0.700805 s]
/proc/loadavg: 8.77 8.53 7.30 7/234 6369
/proc/meminfo: memFree=8663108/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
[pid=6355] ppid=6353 vsize=15151156 memory=129764 CPUtime=1.25 cores=0,2,4,6
/proc/6355/stat : 6355 (java) S 6353 6353 2739 0 -1 1077944320 12324 0 0 0 120 5 0 0 20 0 15 0 475400785 15514783744 32441 33554432000 4194304 4196468 140730520354720 140730520337264 140637200490231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
/proc/6355/statm: 3787789 32441 3433 1 0 3748889 0
[pid=6355/tid=6356] ppid=6353 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/6355/task/6356/stat : 6356 (java) R 6353 6353 2739 0 -1 4202560 8567 0 0 0 63 4 0 0 20 0 15 0 475400786 15514783744 32441 33554432000 4194304 4196468 140730520354720 140637204725488 140636840852651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6357] ppid=6353 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6357/stat : 6357 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400786 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636792527632 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6358] ppid=6353 vsize=15151156 memory=3617 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6358/stat : 6358 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400786 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636791475088 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6359] ppid=6353 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6359/stat : 6359 (java) S 6353 6353 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400786 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636790422544 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6360] ppid=6353 vsize=15151156 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6360/stat : 6360 (java) S 6353 6353 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400786 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636789370000 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6361] ppid=6353 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6361/stat : 6361 (java) S 6353 6353 2739 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475400788 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636668762096 140637200501378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6362] ppid=6353 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6362/stat : 6362 (java) S 6353 6353 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475400788 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636667708320 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6363] ppid=6353 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6363/stat : 6363 (java) S 6353 6353 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475400788 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636666655728 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6364] ppid=6353 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6364/stat : 6364 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636665604304 140637200508827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6365] ppid=6353 vsize=15151156 memory=1160 CPUtime=0.14 cores=0,2,4,6
/proc/6355/task/6365/stat : 6365 (java) S 6353 6353 2739 0 -1 1077944384 625 0 0 0 14 0 0 0 20 0 15 0 475400791 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636664551920 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6366] ppid=6353 vsize=15151156 memory=1716 CPUtime=0.15 cores=0,2,4,6
/proc/6355/task/6366/stat : 6366 (java) S 6353 6353 2739 0 -1 1077944384 531 0 0 0 15 0 0 0 20 0 15 0 475400791 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636663499376 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6367] ppid=6353 vsize=15151156 memory=1096 CPUtime=0.27 cores=0,2,4,6
/proc/6355/task/6367/stat : 6367 (java) S 6353 6353 2739 0 -1 1077944384 1292 0 0 0 27 0 0 0 20 0 15 0 475400791 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636662446832 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6368] ppid=6353 vsize=15151156 memory=6128 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6368/stat : 6368 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636661394528 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6369] ppid=6353 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6369/stat : 6369 (java) S 6353 6353 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 32441 33554432000 4194304 4196468 140730520354720 140636660341040 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 131216 KiB
[startup+1.50081 s]
/proc/loadavg: 8.77 8.53 7.30 8/234 6369
/proc/meminfo: memFree=8494244/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/6355/task/6368/stat : 6368 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 3090313 33554432000 4194304 4196468 140730520354720 140636661394528 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6369] ppid=6353 vsize=15151156 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/6355/task/6369/stat : 6369 (java) S 6353 6353 2739 0 -1 1077944384 192 0 0 0 5 3 0 0 20 0 15 0 475400791 15514783744 3090313 33554432000 4194304 4196468 140730520354720 140636660341040 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
Current children cumulated CPU time: 293.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12362704 KiB
[startup+128.001 s]*
/proc/loadavg: 6.84 7.81 7.20 9/234 6383
/proc/meminfo: memFree=241632/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
[pid=6355] ppid=6353 vsize=15151156 memory=12361256 CPUtime=317.53 cores=0,2,4,6
/proc/6355/stat : 6355 (java) S 6353 6353 2739 0 -1 1077944320 4768563 0 0 0 29671 2082 0 0 20 0 15 0 475400785 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140730520337264 140637200490231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
/proc/6355/statm: 3787789 3090314 3502 1 0 3748889 0
[pid=6355/tid=6356] ppid=6353 vsize=15151156 memory=1398722017469774279 CPUtime=36.83 cores=0,2,4,6
/proc/6355/task/6356/stat : 6356 (java) S 6353 6353 2739 0 -1 1077944384 16177 0 0 0 3674 9 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140637204728480 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6357] ppid=6353 vsize=15151156 memory=2596 CPUtime=63.17 cores=0,2,4,6
/proc/6355/task/6357/stat : 6357 (java) R 6353 6353 2739 0 -1 4202560 1665503 0 0 0 5749 568 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636792527440 140637193118439 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6358] ppid=6353 vsize=15151156 memory=2596 CPUtime=62.92 cores=0,2,4,6
/proc/6355/task/6358/stat : 6358 (java) R 6353 6353 2739 0 -1 4202560 705734 0 0 0 5826 466 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636791475208 140637193118439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6359] ppid=6353 vsize=15151156 memory=1412 CPUtime=62.82 cores=0,2,4,6
/proc/6355/task/6359/stat : 6359 (java) R 6353 6353 2739 0 -1 4202560 1025929 0 0 0 5804 478 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636790422664 140637193118439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6360] ppid=6353 vsize=15151156 memory=3308 CPUtime=63.26 cores=0,2,4,6
/proc/6355/task/6360/stat : 6360 (java) R 6353 6353 2739 0 -1 4202560 1270132 0 0 0 5778 548 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636789370200 140637193593868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6361] ppid=6353 vsize=15151156 memory=1448 CPUtime=27.32 cores=0,2,4,6
/proc/6355/task/6361/stat : 6361 (java) S 6353 6353 2739 0 -1 1077944384 75978 0 0 0 2725 7 0 0 20 0 15 0 475400788 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636668760656 140637200500437 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6362] ppid=6353 vsize=15151156 memory=2589652 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6362/stat : 6362 (java) S 6353 6353 2739 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475400788 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636667708384 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6363] ppid=6353 vsize=15151156 memory=12361256 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6363/stat : 6363 (java) S 6353 6353 2739 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475400788 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636666655744 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6364] ppid=6353 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6364/stat : 6364 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636665604304 140637200508827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6365] ppid=6353 vsize=15151156 memory=1964 CPUtime=0.35 cores=0,2,4,6
/proc/6355/task/6365/stat : 6365 (java) S 6353 6353 2739 0 -1 1077944384 2790 0 0 0 35 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636664551968 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6366] ppid=6353 vsize=15151156 memory=2456 CPUtime=0.29 cores=0,2,4,6
/proc/6355/task/6366/stat : 6366 (java) S 6353 6353 2739 0 -1 1077944384 1679 0 0 0 29 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636663499424 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6367] ppid=6353 vsize=15151156 memory=1760 CPUtime=0.41 cores=0,2,4,6
/proc/6355/task/6367/stat : 6367 (java) S 6353 6353 2739 0 -1 1077944384 3564 0 0 0 41 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636662446592 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6368] ppid=6353 vsize=15151156 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6368/stat : 6368 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636661394528 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6369] ppid=6353 vsize=15151156 memory=4104 CPUtime=0.08 cores=0,2,4,6
/proc/6355/task/6369/stat : 6369 (java) S 6353 6353 2739 0 -1 1077944384 194 0 0 0 5 3 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636660341040 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
Current children cumulated CPU time: 317.53 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12362708 KiB
[startup+129.601 s]
/proc/loadavg: 6.84 7.81 7.20 9/234 6383
/proc/meminfo: memFree=228488/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
[pid=6355] ppid=6353 vsize=15151156 memory=12361256 CPUtime=323.41 cores=0,2,4,6
/proc/6355/stat : 6355 (java) S 6353 6353 2739 0 -1 1077944320 5160477 0 0 0 30233 2108 0 0 20 0 15 0 475400785 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140730520337264 140637200490231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
/proc/6355/statm: 3787789 3090314 3502 1 0 3748889 0
[pid=6355/tid=6356] ppid=6353 vsize=15151156 memory=12361256 CPUtime=36.83 cores=0,2,4,6
/proc/6355/task/6356/stat : 6356 (java) S 6353 6353 2739 0 -1 1077944384 16177 0 0 0 3674 9 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140637204728480 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6357] ppid=6353 vsize=15151156 memory=8112282956445269571 CPUtime=64.6 cores=0,2,4,6
/proc/6355/task/6357/stat : 6357 (java) S 6353 6353 2739 0 -1 1077944384 1665503 0 0 0 5892 568 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636792527632 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6358] ppid=6353 vsize=15151156 memory=2832 CPUtime=64.33 cores=0,2,4,6
/proc/6355/task/6358/stat : 6358 (java) S 6353 6353 2739 0 -1 1077944384 705734 0 0 0 5966 467 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636791475088 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6359] ppid=6353 vsize=15151156 memory=776 CPUtime=64.25 cores=0,2,4,6
/proc/6355/task/6359/stat : 6359 (java) S 6353 6353 2739 0 -1 1077944384 1025929 0 0 0 5947 478 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636790422544 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6360] ppid=6353 vsize=15151156 memory=1160 CPUtime=64.74 cores=0,2,4,6
/proc/6355/task/6360/stat : 6360 (java) S 6353 6353 2739 0 -1 1077944384 1661630 0 0 0 5903 571 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636789370000 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6361] ppid=6353 vsize=15151156 memory=1716 CPUtime=27.42 cores=0,2,4,6
/proc/6355/task/6361/stat : 6361 (java) R 6353 6353 2739 0 -1 4202560 75978 0 0 0 2735 7 0 0 20 0 15 0 475400788 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636668760656 140637184947801 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6362] ppid=6353 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6362/stat : 6362 (java) S 6353 6353 2739 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475400788 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636667708384 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6363] ppid=6353 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6363/stat : 6363 (java) S 6353 6353 2739 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475400788 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636666655744 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6364] ppid=6353 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6364/stat : 6364 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636665604304 140637200508827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6365] ppid=6353 vsize=15151156 memory=1052 CPUtime=0.35 cores=0,2,4,6
/proc/6355/task/6365/stat : 6365 (java) S 6353 6353 2739 0 -1 1077944384 2790 0 0 0 35 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636664551968 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6366] ppid=6353 vsize=15151156 memory=7548 CPUtime=0.29 cores=0,2,4,6
/proc/6355/task/6366/stat : 6366 (java) S 6353 6353 2739 0 -1 1077944384 1679 0 0 0 29 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636663499424 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6367] ppid=6353 vsize=15151156 memory=7548 CPUtime=0.41 cores=0,2,4,6
/proc/6355/task/6367/stat : 6367 (java) S 6353 6353 2739 0 -1 1077944384 3564 0 0 0 41 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636662446592 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6368] ppid=6353 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6368/stat : 6368 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636661394528 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6369] ppid=6353 vsize=15151156 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/6355/task/6369/stat : 6369 (java) S 6353 6353 2739 0 -1 1077944384 194 0 0 0 5 3 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636660341040 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
Current children cumulated CPU time: 323.41 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12362708 KiB
[startup+130.401 s]
/proc/loadavg: 6.84 7.81 7.20 6/234 6383
/proc/meminfo: memFree=204980/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
[pid=6355] ppid=6353 vsize=15151156 memory=12361256 CPUtime=324.2 cores=0,2,4,6
/proc/6355/stat : 6355 (java) S 6353 6353 2739 0 -1 1077944320 5161189 0 0 0 30312 2108 0 0 20 0 15 0 475400785 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140730520337264 140637200490231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
/proc/6355/statm: 3787789 3090314 3502 1 0 3748889 0
[pid=6355/tid=6356] ppid=6353 vsize=15151156 memory=1452 CPUtime=36.83 cores=0,2,4,6
/proc/6355/task/6356/stat : 6356 (java) S 6353 6353 2739 0 -1 1077944384 16177 0 0 0 3674 9 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140637204728480 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6357] ppid=6353 vsize=15151156 memory=12361256 CPUtime=64.6 cores=0,2,4,6
/proc/6355/task/6357/stat : 6357 (java) S 6353 6353 2739 0 -1 1077944384 1665503 0 0 0 5892 568 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636792527632 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6358] ppid=6353 vsize=15151156 memory=14012 CPUtime=64.33 cores=0,2,4,6
/proc/6355/task/6358/stat : 6358 (java) S 6353 6353 2739 0 -1 1077944384 705734 0 0 0 5966 467 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636791475088 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6359] ppid=6353 vsize=15151156 memory=1452 CPUtime=64.25 cores=0,2,4,6
/proc/6355/task/6359/stat : 6359 (java) S 6353 6353 2739 0 -1 1077944384 1025929 0 0 0 5947 478 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636790422544 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6360] ppid=6353 vsize=15151156 memory=12361236 CPUtime=64.74 cores=0,2,4,6
/proc/6355/task/6360/stat : 6360 (java) S 6353 6353 2739 0 -1 1077944384 1661630 0 0 0 5903 571 0 0 20 0 15 0 475400786 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636789370000 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6361] ppid=6353 vsize=15151156 memory=12348216 CPUtime=28.22 cores=0,2,4,6
/proc/6355/task/6361/stat : 6361 (java) R 6353 6353 2739 0 -1 4202560 76714 0 0 0 2815 7 0 0 20 0 15 0 475400788 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636668760544 140637184947862 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6362] ppid=6353 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6362/stat : 6362 (java) S 6353 6353 2739 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475400788 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636667708384 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6363] ppid=6353 vsize=15151156 memory=12361256 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6363/stat : 6363 (java) S 6353 6353 2739 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475400788 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636666655744 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6364] ppid=6353 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6364/stat : 6364 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636665604304 140637200508827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6365] ppid=6353 vsize=15151156 memory=1096 CPUtime=0.35 cores=0,2,4,6
/proc/6355/task/6365/stat : 6365 (java) S 6353 6353 2739 0 -1 1077944384 2790 0 0 0 35 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636664551968 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6366] ppid=6353 vsize=15151156 memory=6128 CPUtime=0.29 cores=0,2,4,6
/proc/6355/task/6366/stat : 6366 (java) S 6353 6353 2739 0 -1 1077944384 1679 0 0 0 29 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636663499424 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6367] ppid=6353 vsize=15151156 memory=8112282956445269571 CPUtime=0.41 cores=0,2,4,6
/proc/6355/task/6367/stat : 6367 (java) S 6353 6353 2739 0 -1 1077944384 3564 0 0 0 41 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636662446592 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6368] ppid=6353 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/6355/task/6368/stat : 6368 (java) S 6353 6353 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636661394528 140637200500437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
[pid=6355/tid=6369] ppid=6353 vsize=15151156 memory=3200 CPUtime=0.08 cores=0,2,4,6
/proc/6355/task/6369/stat : 6369 (java) S 6353 6353 2739 0 -1 1077944384 194 0 0 0 5 3 0 0 20 0 15 0 475400791 15514783744 3090314 33554432000 4194304 4196468 140730520354720 140636660341040 140637200501378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 37392384 140730520355823 140730520355994 140730520355994 140730520358863 0
Current children cumulated CPU time: 324.2 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12362708 KiB
[startup+130.802 s]
/proc/loadavg: 6.84 7.81 7.20 6/234 6383
/proc/meminfo: memFree=204980/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
[startup+131.002 s]*
/proc/loadavg: 6.84 7.81 7.20 6/221 6384
/proc/meminfo: memFree=6905368/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
[startup+131.11 s]
/proc/loadavg: 6.84 7.81 7.20 6/221 6384
/proc/meminfo: memFree=6905368/32770624 swapFree=67002128/67108860
[pid=6353] ppid=6350 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6353/stat : 6353 (xcsp3-exec) S 6350 6353 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475400785 115843072 363 33554432000 4194304 5098028 140725944997712 140725944995816 139887737049724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39055360 140725945004923 140725945005165 140725945005165 140725945008074 0
/proc/6353/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 131.182
CPU time (s): 324.997
CPU user time (s): 303.467
CPU system time (s): 21.5303
CPU usage (%): 247.744
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12362708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 303.467
system time used= 21.5303
maximum resident set size= 12361556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5168213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11104
involuntary context switches= 9400
# summary of solver processes directly reported to runsolver:
# pid: 6353
# total CPU time (s): 324.997
# total CPU user time (s): 303.467
# total CPU system time (s): 21.5303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.860084 second user time and 1.3701 second system time
The end