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 (15018 MiB free)
memory of node 1: 16384 MiB (9921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393051-1568352814/watcher-4393051-1568352814 -o /tmp/evaluation-result-4393051-1568352814/solver-4393051-1568352814 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22073 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1685839328 HOME/instance-4393051-1568352814.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
solver pid=24901, runsolver pid=24898
Current StackSize limit: 8192 KiB
[startup+0.100915 s]*
/proc/loadavg: 13.13 11.04 9.43 11/256 24917
/proc/meminfo: memFree=25520968/32770624 swapFree=66940772/67108860
[pid=24901] ppid=24898 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24901/stat : 24901 (xcsp3-exec) S 24898 24901 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411520096 115843072 362 33554432000 4194304 5098028 140723309017888 140723309015992 139978747744892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22695936 140723309024122 140723309024365 140723309024365 140723309027274 0
/proc/24901/statm: 28282 362 304 221 0 87 0
[pid=24903] ppid=24901 vsize=15144768 memory=30216 CPUtime=0.13 cores=0,2,4,6
/proc/24903/stat : 24903 (java) S 24901 24901 22042 0 -1 1077944320 5496 0 0 0 12 1 0 0 20 0 15 0 411520096 15508242432 7554 33554432000 4194304 4196468 140723500676768 140723500659312 140182055911159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
/proc/24903/statm: 3786192 7554 3143 1 0 3748377 0
[pid=24903/tid=24904] ppid=24901 vsize=15144768 memory=7533807676074704953 CPUtime=0.08 cores=0,2,4,6
/proc/24903/task/24904/stat : 24904 (java) R 24901 24901 22042 0 -1 4202560 3358 0 0 0 8 0 0 0 20 0 15 0 411520097 15508242432 7554 33554432000 4194304 4196468 140723500676768 140182060144736 140182035508424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24905] ppid=24901 vsize=15144768 memory=3472468976828053168 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24905/stat : 24905 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15508242432 7554 33554432000 4194304 4196468 140723500676768 140181967567120 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24906] ppid=24901 vsize=15144768 memory=140680600372864 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24906/stat : 24906 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15508242432 7554 33554432000 4194304 4196468 140723500676768 140181966514576 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24907] ppid=24901 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24907/stat : 24907 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15508242432 7554 33554432000 4194304 4196468 140723500676768 140181965462032 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24908] ppid=24901 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24908/stat : 24908 (java) S 24901 24901 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411520097 15508242432 7554 33554432000 4194304 4196468 140723500676768 140181964409488 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24909] ppid=24901 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24909/stat : 24909 (java) S 24901 24901 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411520099 15508242432 7554 33554432000 4194304 4196468 140723500676768 140180929927664 140182055922306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24910] ppid=24901 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24910/stat : 24910 (java) S 24901 24901 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411520099 15508242432 7554 33554432000 4194304 4196468 140723500676768 140180928873888 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24911] ppid=24901 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24911/stat : 24911 (java) S 24901 24901 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411520099 15508242432 7554 33554432000 4194304 4196468 140723500676768 140180927821296 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24912] ppid=24901 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24912/stat : 24912 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411520102 15508242432 7554 33554432000 4194304 4196468 140723500676768 140180926769872 140182055929755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24913] ppid=24901 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24913/stat : 24913 (java) S 24901 24901 22042 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 411520102 15508242432 7554 33554432000 4194304 4196468 140723500676768 140180925716464 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24914] ppid=24901 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24914/stat : 24914 (java) S 24901 24901 22042 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 411520102 15508242432 7554 33554432000 4194304 4196468 140723500676768 140180924663920 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24915] ppid=24901 vsize=15144768 memory=140680600372864 CPUtime=0.02 cores=0,2,4,6
/proc/24903/task/24915/stat : 24915 (java) R 24901 24901 22042 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 411520102 15508242432 7554 33554432000 4194304 4196468 140723500676768 140180923611376 140182055932506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24916] ppid=24901 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24916/stat : 24916 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411520102 15508242432 7554 33554432000 4194304 4196468 140723500676768 140180922559072 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24917] ppid=24901 vsize=15144768 memory=140680600372864 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24917/stat : 24917 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520102 15508242432 7554 33554432000 4194304 4196468 140723500676768 140180921506608 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31664 KiB
[startup+0.21105 s]*
/proc/loadavg: 13.13 11.04 9.43 11/256 24917
/proc/meminfo: memFree=25508280/32770624 swapFree=66940772/67108860
[pid=24901] ppid=24898 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24901/stat : 24901 (xcsp3-exec) S 24898 24901 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411520096 115843072 362 33554432000 4194304 5098028 140723309017888 140723309015992 139978747744892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22695936 140723309024122 140723309024365 140723309024365 140723309027274 0
/proc/24901/statm: 28282 362 304 221 0 87 0
[pid=24903] ppid=24901 vsize=15144768 memory=41228 CPUtime=0.35 cores=0,2,4,6
/proc/24903/stat : 24903 (java) S 24901 24901 22042 0 -1 1077944320 9027 0 0 0 32 3 0 0 20 0 15 0 411520096 15508242432 10307 33554432000 4194304 4196468 140723500676768 140723500659312 140182055911159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
/proc/24903/statm: 3786192 10307 3302 1 0 3748377 0
[pid=24903/tid=24904] ppid=24901 vsize=15144768 memory=8514701219881255588 CPUtime=0.2 cores=0,2,4,6
/proc/24903/task/24904/stat : 24904 (java) R 24901 24901 22042 0 -1 4202560 6158 0 0 0 18 2 0 0 20 0 15 0 411520097 15508242432 10307 33554432000 4194304 4196468 140723500676768 140182060144336 140182055923094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24905] ppid=24901 vsize=15144768 memory=3472468976828053168 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24905/stat : 24905 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15508242432 10373 33554432000 4194304 4196468 140723500676768 140181967567120 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24906] ppid=24901 vsize=15144768 memory=140680600372864 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24906/stat : 24906 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15508242432 10373 33554432000 4194304 4196468 140723500676768 140181966514576 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24907] ppid=24901 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24907/stat : 24907 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15508242432 10373 33554432000 4194304 4196468 140723500676768 140181965462032 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24908] ppid=24901 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24908/stat : 24908 (java) S 24901 24901 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411520097 15508242432 10373 33554432000 4194304 4196468 140723500676768 140181964409488 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24909] ppid=24901 vsize=15144768 memory=140680600372864 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24909/stat : 24909 (java) S 24901 24901 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411520099 15508242432 10373 33554432000 4194304 4196468 140723500676768 140180929927664 140182055922306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24910] ppid=24901 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24910/stat : 24910 (java) S 24901 24901 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411520099 15508242432 10373 33554432000 4194304 4196468 140723500676768 140180928873888 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24911] ppid=24901 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24911/stat : 24911 (java) S 24901 24901 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411520099 15508242432 10373 33554432000 4194304 4196468 140723500676768 140180927821296 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24912] ppid=24901 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24912/stat : 24912 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411520102 15508242432 10373 33554432000 4194304 4196468 140723500676768 140180926769872 140182055929755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24913] ppid=24901 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24903/task/24913/stat : 24913 (java) S 24901 24901 22042 0 -1 1077944384 667 0 0 0 3 0 0 0 20 0 15 0 411520102 15508242432 10373 33554432000 4194304 4196468 140723500676768 140180925716464 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24914] ppid=24901 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24903/task/24914/stat : 24914 (java) S 24901 24901 22042 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 411520102 15508242432 10373 33554432000 4194304 4196468 140723500676768 140180924663920 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24915] ppid=24901 vsize=15144768 memory=140680600372864 CPUtime=0.08 cores=0,2,4,6
/proc/24903/task/24915/stat : 24915 (java) R 24901 24901 22042 0 -1 4202560 726 0 0 0 8 0 0 0 20 0 15 0 411520102 15508242432 10373 33554432000 4194304 4196468 140723500676768 140180923611376 140182055923094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24916] ppid=24901 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24916/stat : 24916 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411520102 15508242432 10373 33554432000 4194304 4196468 140723500676768 140180922559072 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24917] ppid=24901 vsize=15144768 memory=140680600372864 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24917/stat : 24917 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520102 15508242432 10373 33554432000 4194304 4196468 140723500676768 140180921506608 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42676 KiB
[startup+0.315795 s]*
/proc/loadavg: 13.13 11.04 9.43 11/256 24917
/proc/meminfo: memFree=25500972/32770624 swapFree=66940772/67108860
[pid=24901] ppid=24898 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24901/stat : 24901 (xcsp3-exec) S 24898 24901 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411520096 115843072 362 33554432000 4194304 5098028 140723309017888 140723309015992 139978747744892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22695936 140723309024122 140723309024365 140723309024365 140723309027274 0
/proc/24901/statm: 28282 362 304 221 0 87 0
[pid=24903] ppid=24901 vsize=15149024 memory=50752 CPUtime=0.54 cores=0,2,4,6
/proc/24903/stat : 24903 (java) S 24901 24901 22042 0 -1 1077944320 10459 0 0 0 51 3 0 0 20 0 15 0 411520096 15512600576 12688 33554432000 4194304 4196468 140723500676768 140723500659312 140182055911159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
/proc/24903/statm: 3787256 12688 3358 1 0 3748377 0
[pid=24903/tid=24904] ppid=24901 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/24903/task/24904/stat : 24904 (java) R 24901 24901 22042 0 -1 4202560 7370 0 0 0 28 2 0 0 20 0 15 0 411520097 15512600576 12688 33554432000 4194304 4196468 140723500676768 140182060146704 140182039991646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24905] ppid=24901 vsize=15149024 memory=3472468976828053168 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24905/stat : 24905 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15512600576 12688 33554432000 4194304 4196468 140723500676768 140181967567120 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24906] ppid=24901 vsize=15149024 memory=140680600394933 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24906/stat : 24906 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15512600576 12688 33554432000 4194304 4196468 140723500676768 140181966514576 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24907] ppid=24901 vsize=15149024 memory=140680445958985 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24907/stat : 24907 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15512600576 12688 33554432000 4194304 4196468 140723500676768 140181965462032 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24908] ppid=24901 vsize=15149024 memory=140680445943759 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24908/stat : 24908 (java) S 24901 24901 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411520097 15512600576 12688 33554432000 4194304 4196468 140723500676768 140181964409488 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24909] ppid=24901 vsize=15149024 memory=140680600396897 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24909/stat : 24909 (java) S 24901 24901 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411520099 15512600576 12688 33554432000 4194304 4196468 140723500676768 140180929927664 140182055922306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24910] ppid=24901 vsize=15149024 memory=140680445943759 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24910/stat : 24910 (java) S 24901 24901 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411520099 15512600576 12688 33554432000 4194304 4196468 140723500676768 140180928873888 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24911] ppid=24901 vsize=15149024 memory=281360891880592 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24911/stat : 24911 (java) S 24901 24901 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411520099 15512600576 12688 33554432000 4194304 4196468 140723500676768 140180927821296 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24912] ppid=24901 vsize=15149024 memory=281360891905872 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24912/stat : 24912 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411520102 15512600576 12688 33554432000 4194304 4196468 140723500676768 140180926769872 140182055929755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24913] ppid=24901 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24903/task/24913/stat : 24913 (java) S 24901 24901 22042 0 -1 1077944384 690 0 0 0 4 0 0 0 20 0 15 0 411520102 15512600576 12688 33554432000 4194304 4196468 140723500676768 140180925716464 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24914] ppid=24901 vsize=15149024 memory=2240 CPUtime=0.04 cores=0,2,4,6
/proc/24903/task/24914/stat : 24914 (java) S 24901 24901 22042 0 -1 1077944384 293 0 0 0 4 0 0 0 20 0 15 0 411520102 15512600576 12688 33554432000 4194304 4196468 140723500676768 140180924663920 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24915] ppid=24901 vsize=15149024 memory=140680600372864 CPUtime=0.12 cores=0,2,4,6
/proc/24903/task/24915/stat : 24915 (java) S 24901 24901 22042 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 15 0 411520102 15512600576 12688 33554432000 4194304 4196468 140723500676768 140180923611376 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24916] ppid=24901 vsize=15149024 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24916/stat : 24916 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411520102 15512600576 12688 33554432000 4194304 4196468 140723500676768 140180922559072 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24917] ppid=24901 vsize=15149024 memory=140680600372864 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24917/stat : 24917 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520102 15512600576 12688 33554432000 4194304 4196468 140723500676768 140180921506608 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52200 KiB
[startup+0.700791 s]
/proc/loadavg: 13.13 11.04 9.43 13/256 24917
/proc/meminfo: memFree=25474612/32770624 swapFree=66940772/67108860
[pid=24901] ppid=24898 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24901/stat : 24901 (xcsp3-exec) S 24898 24901 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411520096 115843072 362 33554432000 4194304 5098028 140723309017888 140723309015992 139978747744892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22695936 140723309024122 140723309024365 140723309024365 140723309027274 0
/proc/24901/statm: 28282 362 304 221 0 87 0
[pid=24903] ppid=24901 vsize=15151148 memory=108604 CPUtime=1.75 cores=0,2,4,6
/proc/24903/stat : 24903 (java) S 24901 24901 22042 0 -1 1077944320 13662 0 0 0 171 4 0 0 20 0 15 0 411520096 15514775552 27151 33554432000 4194304 4196468 140723500676768 140723500659312 140182055911159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
/proc/24903/statm: 3787787 27151 3446 1 0 3748889 0
[pid=24903/tid=24904] ppid=24901 vsize=15151148 memory=5865469479800824941 CPUtime=0.67 cores=0,2,4,6
/proc/24903/task/24904/stat : 24904 (java) R 24901 24901 22042 0 -1 4202560 7819 0 0 0 64 3 0 0 20 0 15 0 411520097 15514775552 27151 33554432000 4194304 4196468 140723500676768 140182060145696 140181645603551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24905] ppid=24901 vsize=15151148 memory=5865465064658194540 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24905/stat : 24905 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15514775552 27151 33554432000 4194304 4196468 140723500676768 140181967567120 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24906] ppid=24901 vsize=15151148 memory=6935649255827793216 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24906/stat : 24906 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15514775552 27151 33554432000 4194304 4196468 140723500676768 140181966514576 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24907] ppid=24901 vsize=15151148 memory=8514726395715351173 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24907/stat : 24907 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520097 15514775552 27151 33554432000 4194304 4196468 140723500676768 140181965462032 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24908] ppid=24901 vsize=15151148 memory=-7395679465411339351 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24908/stat : 24908 (java) S 24901 24901 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411520097 15514775552 27151 33554432000 4194304 4196468 140723500676768 140181964409488 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24909] ppid=24901 vsize=15151148 memory=-9181546051567709026 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24909/stat : 24909 (java) S 24901 24901 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411520099 15514775552 27151 33554432000 4194304 4196468 140723500676768 140180929927664 140182055922306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24910] ppid=24901 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24910/stat : 24910 (java) S 24901 24901 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411520099 15514775552 27151 33554432000 4194304 4196468 140723500676768 140180928873888 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24911] ppid=24901 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24911/stat : 24911 (java) S 24901 24901 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411520099 15514775552 27151 33554432000 4194304 4196468 140723500676768 140180927821296 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24912] ppid=24901 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24912/stat : 24912 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411520102 15514775552 27151 33554432000 4194304 4196468 140723500676768 140180926769872 140182055929755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24913] ppid=24901 vsize=15151148 memory=9 CPUtime=0.36 cores=0,2,4,6
/proc/24903/task/24913/stat : 24913 (java) R 24901 24901 22042 0 -1 4202560 1637 0 0 0 36 0 0 0 20 0 15 0 411520102 15514775552 27151 33554432000 4194304 4196468 140723500676768 140180925703032 140182040687424 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24914] ppid=24901 vsize=15151148 memory=141 CPUtime=0.37 cores=0,2,4,6
/proc/24903/task/24914/stat : 24914 (java) R 24901 24901 22042 0 -1 4202560 1159 0 0 0 37 0 0 0 20 0 15 0 411520102 15514775552 27151 33554432000 4194304 4196468 140723500676768 140180924663920 140182039322054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24915] ppid=24901 vsize=15151148 memory=10 CPUtime=0.31 cores=0,2,4,6
/proc/24903/task/24915/stat : 24915 (java) S 24901 24901 22042 0 -1 1077944384 1741 0 0 0 31 0 0 0 20 0 15 0 411520102 15514775552 27151 33554432000 4194304 4196468 140723500676768 140180923611376 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24916] ppid=24901 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24916/stat : 24916 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411520102 15514775552 27151 33554432000 4194304 4196468 140723500676768 140180922559072 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24917] ppid=24901 vsize=15151148 memory=7447071859567650921 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24917/stat : 24917 (java) S 24901 24901 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411520102 15514775552 27151 33554432000 4194304 4196468 140723500676768 140180921506608 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 110052 KiB
[startup+1.51079 s]
/proc/loadavg: 13.13 11.04 9.43 12/256 24917
/proc/meminfo: memFree=25352436/32770624 swapFree=66940772/67108860
[pid=24901] ppid=24898 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24901/stat : 24901 (xcsp3-exec) S 24898 24901 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411520096 115843072 362 33554432000 4194304 5098028 140723309017888 140723309015992 139978747744892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22695936 140723309024122 140723309024365 140723309024365 140723309027274 0
/proc/24901/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24903/stat : 24903 (java) S 24901 24901 22042 0 -1 1077944320 238486 0 0 0 229270 446 0 0 20 0 19 0 411520096 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140723500659312 140182055911159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
/proc/24903/statm: 3854863 1417915 3552 1 0 3815965 0
[pid=24903/tid=24904] ppid=24901 vsize=15419452 memory=1448 CPUtime=4.66 cores=0,2,4,6
/proc/24903/task/24904/stat : 24904 (java) S 24901 24901 22042 0 -1 1077944384 12342 0 0 0 453 13 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140182060151936 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24905] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.53 cores=0,2,4,6
/proc/24903/task/24905/stat : 24905 (java) S 24901 24901 22042 0 -1 1077944384 16727 0 0 0 1854 99 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181967567120 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24906] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.4 cores=0,2,4,6
/proc/24903/task/24906/stat : 24906 (java) S 24901 24901 22042 0 -1 1077944384 14123 0 0 0 1839 101 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181966514576 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24907] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.39 cores=0,2,4,6
/proc/24903/task/24907/stat : 24907 (java) S 24901 24901 22042 0 -1 1077944384 17694 0 0 0 1837 102 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181965462032 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24908] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.44 cores=0,2,4,6
/proc/24903/task/24908/stat : 24908 (java) S 24901 24901 22042 0 -1 1077944384 12525 0 0 0 1842 102 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181964409488 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24909] ppid=24901 vsize=15419452 memory=1448 CPUtime=4.39 cores=0,2,4,6
/proc/24903/task/24909/stat : 24909 (java) S 24901 24901 22042 0 -1 1077944384 12824 0 0 0 438 1 0 0 20 0 19 0 411520099 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180929927664 140182055922306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24910] ppid=24901 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24910/stat : 24910 (java) S 24901 24901 22042 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 411520099 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180928873952 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24911] ppid=24901 vsize=15419452 memory=5671660 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24911/stat : 24911 (java) S 24901 24901 22042 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 411520099 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180927821312 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24912] ppid=24901 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24912/stat : 24912 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180926769872 140182055929755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24913] ppid=24901 vsize=15419452 memory=5671660 CPUtime=6.07 cores=0,2,4,6
/proc/24903/task/24913/stat : 24913 (java) S 24901 24901 22042 0 -1 1077944384 28215 0 0 0 605 2 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180925716464 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24914] ppid=24901 vsize=15419452 memory=1448 CPUtime=6.23 cores=0,2,4,6
/proc/24903/task/24914/stat : 24914 (java) S 24901 24901 22042 0 -1 1077944384 24278 0 0 0 620 3 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180924663920 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24915] ppid=24901 vsize=15419452 memory=3620 CPUtime=1.27 cores=0,2,4,6
/proc/24903/task/24915/stat : 24915 (java) S 24901 24901 22042 0 -1 1077944384 17145 0 0 0 125 2 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180923611376 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24916] ppid=24901 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24916/stat : 24916 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180922559072 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24917] ppid=24901 vsize=15419452 memory=1448 CPUtime=0.22 cores=0,2,4,6
/proc/24903/task/24917/stat : 24917 (java) S 24901 24901 22042 0 -1 1077944384 1492 0 0 0 0 22 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180921506608 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24918] ppid=24901 vsize=15419452 memory=1428 CPUtime=547.98 cores=0,2,4,6
/proc/24903/task/24918/stat : 24918 (java) R 24901 24901 22042 0 -1 4202560 11410 0 0 0 54795 3 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180910197928 140181654894699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24919] ppid=24901 vsize=15419452 memory=1772 CPUtime=549.86 cores=0,2,4,6
/proc/24903/task/24919/stat : 24919 (java) R 24901 24901 22042 0 -1 4202560 31956 0 0 0 54978 8 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180909147048 140181646363607 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24920] ppid=24901 vsize=15419452 memory=1448 CPUtime=549.58 cores=0,2,4,6
/proc/24903/task/24920/stat : 24920 (java) R 24901 24901 22042 0 -1 4202560 7877 0 0 0 54956 2 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180908093728 140181654708287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24921] ppid=24901 vsize=15419452 memory=1448 CPUtime=549.02 cores=0,2,4,6
/proc/24903/task/24921/stat : 24921 (java) R 24901 24901 22042 0 -1 4202560 28530 0 0 0 54899 3 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180907042648 140181654975183 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
Current children cumulated CPU time: 2297.16 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 5673108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+638.302 s]
/proc/loadavg: 9.10 9.76 9.75 10/239 24980
/proc/meminfo: memFree=20573076/32770624 swapFree=66940776/67108860
[pid=24901] ppid=24898 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24901/stat : 24901 (xcsp3-exec) S 24898 24901 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411520096 115843072 362 33554432000 4194304 5098028 140723309017888 140723309015992 139978747744892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22695936 140723309024122 140723309024365 140723309024365 140723309027274 0
/proc/24901/statm: 28282 362 304 221 0 87 0
[pid=24903] ppid=24901 vsize=15419452 memory=5671660 CPUtime=2520.11 cores=0,2,4,6
/proc/24903/stat : 24903 (java) S 24901 24901 22042 0 -1 1077944320 242809 0 0 0 251564 447 0 0 20 0 19 0 411520096 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140723500659312 140182055911159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
/proc/24903/statm: 3854863 1417915 3552 1 0 3815965 0
[pid=24903/tid=24904] ppid=24901 vsize=15419452 memory=2596 CPUtime=4.66 cores=0,2,4,6
/proc/24903/task/24904/stat : 24904 (java) S 24901 24901 22042 0 -1 1077944384 12342 0 0 0 453 13 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140182060151936 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24905] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.53 cores=0,2,4,6
/proc/24903/task/24905/stat : 24905 (java) S 24901 24901 22042 0 -1 1077944384 16727 0 0 0 1854 99 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181967567120 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24906] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.4 cores=0,2,4,6
/proc/24903/task/24906/stat : 24906 (java) S 24901 24901 22042 0 -1 1077944384 14123 0 0 0 1839 101 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181966514576 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24907] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.39 cores=0,2,4,6
/proc/24903/task/24907/stat : 24907 (java) S 24901 24901 22042 0 -1 1077944384 17694 0 0 0 1837 102 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181965462032 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24908] ppid=24901 vsize=15419452 memory=1448 CPUtime=19.44 cores=0,2,4,6
/proc/24903/task/24908/stat : 24908 (java) S 24901 24901 22042 0 -1 1077944384 12525 0 0 0 1842 102 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181964409488 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24909] ppid=24901 vsize=15419452 memory=5671660 CPUtime=4.39 cores=0,2,4,6
/proc/24903/task/24909/stat : 24909 (java) S 24901 24901 22042 0 -1 1077944384 12829 0 0 0 438 1 0 0 20 0 19 0 411520099 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180929927664 140182055922306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24910] ppid=24901 vsize=15419452 memory=5671660 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24910/stat : 24910 (java) S 24901 24901 22042 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 411520099 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180928873952 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24911] ppid=24901 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24911/stat : 24911 (java) S 24901 24901 22042 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 411520099 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180927821312 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24912] ppid=24901 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24912/stat : 24912 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180926769872 140182055929755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24913] ppid=24901 vsize=15419452 memory=1448 CPUtime=6.07 cores=0,2,4,6
/proc/24903/task/24913/stat : 24913 (java) S 24901 24901 22042 0 -1 1077944384 28219 0 0 0 605 2 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180925716464 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24914] ppid=24901 vsize=15419452 memory=1448 CPUtime=6.23 cores=0,2,4,6
/proc/24903/task/24914/stat : 24914 (java) S 24901 24901 22042 0 -1 1077944384 24280 0 0 0 620 3 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180924663920 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24915] ppid=24901 vsize=15419452 memory=1448 CPUtime=1.27 cores=0,2,4,6
/proc/24903/task/24915/stat : 24915 (java) S 24901 24901 22042 0 -1 1077944384 17154 0 0 0 125 2 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180923611376 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24916] ppid=24901 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24916/stat : 24916 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180922559072 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24917] ppid=24901 vsize=15419452 memory=3620 CPUtime=0.24 cores=0,2,4,6
/proc/24903/task/24917/stat : 24917 (java) S 24901 24901 22042 0 -1 1077944384 1526 0 0 0 0 24 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180921506608 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24918] ppid=24901 vsize=15419452 memory=38364 CPUtime=603.98 cores=0,2,4,6
/proc/24903/task/24918/stat : 24918 (java) R 24901 24901 22042 0 -1 4202560 12206 0 0 0 60395 3 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180910197928 140181654894988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24919] ppid=24901 vsize=15419452 memory=148 CPUtime=605.84 cores=0,2,4,6
/proc/24903/task/24919/stat : 24919 (java) R 24901 24901 22042 0 -1 4202560 32898 0 0 0 60576 8 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180909147048 140181646363598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24920] ppid=24901 vsize=15419452 memory=7375037282243800938 CPUtime=605.56 cores=0,2,4,6
/proc/24903/task/24920/stat : 24920 (java) R 24901 24901 22042 0 -1 4202560 8413 0 0 0 60554 2 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180908093728 140181654708094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24921] ppid=24901 vsize=15419452 memory=1448 CPUtime=603.98 cores=0,2,4,6
/proc/24903/task/24921/stat : 24921 (java) R 24901 24901 22042 0 -1 4202560 30525 0 0 0 60395 3 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180907042648 140181655092714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 5673108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+638.329 s]
# the end of solver process 24901 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001133 s, system=0.001133 s
[startup+638.391 s]
# the end of solver process 24903 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.9 s, system=4.49876 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+638.302 s]
/proc/loadavg: 9.10 9.76 9.75 10/239 24980
/proc/meminfo: memFree=20573076/32770624 swapFree=66940776/67108860
[pid=24901] ppid=24898 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24901/stat : 24901 (xcsp3-exec) S 24898 24901 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411520096 115843072 362 33554432000 4194304 5098028 140723309017888 140723309015992 139978747744892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22695936 140723309024122 140723309024365 140723309024365 140723309027274 0
/proc/24901/statm: 28282 362 304 221 0 87 0
[pid=24903] ppid=24901 vsize=15419452 memory=5671660 CPUtime=2520.11 cores=0,2,4,6
/proc/24903/stat : 24903 (java) S 24901 24901 22042 0 -1 1077944320 242809 0 0 0 251564 447 0 0 20 0 19 0 411520096 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140723500659312 140182055911159 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
/proc/24903/statm: 3854863 1417915 3552 1 0 3815965 0
[pid=24903/tid=24904] ppid=24901 vsize=15419452 memory=2596 CPUtime=4.66 cores=0,2,4,6
/proc/24903/task/24904/stat : 24904 (java) S 24901 24901 22042 0 -1 1077944384 12342 0 0 0 453 13 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140182060151936 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24905] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.53 cores=0,2,4,6
/proc/24903/task/24905/stat : 24905 (java) S 24901 24901 22042 0 -1 1077944384 16727 0 0 0 1854 99 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181967567120 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24906] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.4 cores=0,2,4,6
/proc/24903/task/24906/stat : 24906 (java) S 24901 24901 22042 0 -1 1077944384 14123 0 0 0 1839 101 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181966514576 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24907] ppid=24901 vsize=15419452 memory=5671660 CPUtime=19.39 cores=0,2,4,6
/proc/24903/task/24907/stat : 24907 (java) S 24901 24901 22042 0 -1 1077944384 17694 0 0 0 1837 102 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181965462032 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24908] ppid=24901 vsize=15419452 memory=1448 CPUtime=19.44 cores=0,2,4,6
/proc/24903/task/24908/stat : 24908 (java) S 24901 24901 22042 0 -1 1077944384 12525 0 0 0 1842 102 0 0 20 0 19 0 411520097 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140181964409488 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24909] ppid=24901 vsize=15419452 memory=5671660 CPUtime=4.39 cores=0,2,4,6
/proc/24903/task/24909/stat : 24909 (java) S 24901 24901 22042 0 -1 1077944384 12829 0 0 0 438 1 0 0 20 0 19 0 411520099 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180929927664 140182055922306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24910] ppid=24901 vsize=15419452 memory=5671660 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24910/stat : 24910 (java) S 24901 24901 22042 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 411520099 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180928873952 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24911] ppid=24901 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24911/stat : 24911 (java) S 24901 24901 22042 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 411520099 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180927821312 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24912] ppid=24901 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24912/stat : 24912 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180926769872 140182055929755 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24913] ppid=24901 vsize=15419452 memory=1448 CPUtime=6.07 cores=0,2,4,6
/proc/24903/task/24913/stat : 24913 (java) S 24901 24901 22042 0 -1 1077944384 28219 0 0 0 605 2 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180925716464 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24914] ppid=24901 vsize=15419452 memory=1448 CPUtime=6.23 cores=0,2,4,6
/proc/24903/task/24914/stat : 24914 (java) S 24901 24901 22042 0 -1 1077944384 24280 0 0 0 620 3 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180924663920 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24915] ppid=24901 vsize=15419452 memory=1448 CPUtime=1.27 cores=0,2,4,6
/proc/24903/task/24915/stat : 24915 (java) S 24901 24901 22042 0 -1 1077944384 17154 0 0 0 125 2 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180923611376 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24916] ppid=24901 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24903/task/24916/stat : 24916 (java) S 24901 24901 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180922559072 140182055921365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24917] ppid=24901 vsize=15419452 memory=3620 CPUtime=0.24 cores=0,2,4,6
/proc/24903/task/24917/stat : 24917 (java) S 24901 24901 22042 0 -1 1077944384 1526 0 0 0 0 24 0 0 20 0 19 0 411520102 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180921506608 140182055922306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24918] ppid=24901 vsize=15419452 memory=38364 CPUtime=603.98 cores=0,2,4,6
/proc/24903/task/24918/stat : 24918 (java) R 24901 24901 22042 0 -1 4202560 12206 0 0 0 60395 3 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180910197928 140181654894988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24919] ppid=24901 vsize=15419452 memory=148 CPUtime=605.84 cores=0,2,4,6
/proc/24903/task/24919/stat : 24919 (java) R 24901 24901 22042 0 -1 4202560 32898 0 0 0 60576 8 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180909147048 140181646363598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24920] ppid=24901 vsize=15419452 memory=7375037282243800938 CPUtime=605.56 cores=0,2,4,6
/proc/24903/task/24920/stat : 24920 (java) R 24901 24901 22042 0 -1 4202560 8413 0 0 0 60554 2 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180908093728 140181654708094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
[pid=24903/tid=24921] ppid=24901 vsize=15419452 memory=1448 CPUtime=603.98 cores=0,2,4,6
/proc/24903/task/24921/stat : 24921 (java) R 24901 24901 22042 0 -1 4202560 30525 0 0 0 60395 3 0 0 20 0 19 0 411520781 15789518848 1417915 33554432000 4194304 4196468 140723500676768 140180907042648 140181655092714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140723500680175 140723500680346 140723500680346 140723500683215 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 5673108 KiB
Child status: 143
Real time (s): 638.391
CPU time (s): 2520.39
CPU user time (s): 2515.9
CPU system time (s): 4.49876
CPU usage (%): 394.804
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 5673108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.9
system time used= 4.49876
maximum resident set size= 5672280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18666
involuntary context switches= 54424
# summary of solver processes directly reported to runsolver:
# pid: 24901,24903
# total CPU time (s): 2520.39
# total CPU user time (s): 2515.9
# total CPU system time (s): 4.49876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90602 second user time and 7.46494 second system time
The end