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 (13947 MiB free)
memory of node 1: 16384 MiB (10954 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406003-1569414195/watcher-4406003-1569414195 -o /var/tmp/evaluation-result-4406003-1569414195/solver-4406003-1569414195 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569411628-1828 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1586007435 HOME/instance-4406003-1569414195.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3080, runsolver pid=3077
[startup+0.101586 s]*
/proc/loadavg: 2.47 2.00 1.91 4/230 3096
/proc/meminfo: memFree=25482756/32770624 swapFree=66997188/67108860
[pid=3080] ppid=3077 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3080/stat : 3080 (xcsp3-exec) S 3077 3080 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517357802 115843072 363 33554432000 4194304 5098028 140729814969856 140729814967960 140536388723324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21843968 140729814975318 140729814975577 140729814975577 140729814978502 0
/proc/3080/statm: 28282 363 304 221 0 87 0
[pid=3082] ppid=3080 vsize=15144776 memory=29164 CPUtime=0.13 cores=1,3,5,7
/proc/3082/stat : 3082 (java) S 3080 3080 1796 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 517357802 15508250624 7291 33554432000 4194304 4196468 140728074597920 140728074580464 140638043946743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
/proc/3082/statm: 3786194 7291 3148 1 0 3748377 0
[pid=3082/tid=3083] ppid=3080 vsize=15144776 memory=8188570651445138267 CPUtime=0.09 cores=1,3,5,7
/proc/3082/task/3083/stat : 3083 (java) R 3080 3080 1796 0 -1 4202560 3594 0 0 0 9 0 0 0 20 0 15 0 517357803 15508250624 7291 33554432000 4194304 4196468 140728074597920 140638048176496 140638043958678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3084] ppid=3080 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3084/stat : 3084 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15508250624 7291 33554432000 4194304 4196468 140728074597920 140637971987344 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3085] ppid=3080 vsize=15144776 memory=139874451756672 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3085/stat : 3085 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15508250624 7291 33554432000 4194304 4196468 140728074597920 140637970934544 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3086] ppid=3080 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3086/stat : 3086 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15508250624 7291 33554432000 4194304 4196468 140728074597920 140637969882256 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3087] ppid=3080 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3087/stat : 3087 (java) S 3080 3080 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357803 15508250624 7291 33554432000 4194304 4196468 140728074597920 140637968829456 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3088] ppid=3080 vsize=15144776 memory=139874451756672 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3088/stat : 3088 (java) S 3080 3080 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357805 15508250624 7291 33554432000 4194304 4196468 140728074597920 140636916967536 140638043957890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3089] ppid=3080 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3089/stat : 3089 (java) S 3080 3080 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357805 15508250624 7291 33554432000 4194304 4196468 140728074597920 140636915913504 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3090] ppid=3080 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3090/stat : 3090 (java) S 3080 3080 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357805 15508250624 7291 33554432000 4194304 4196468 140728074597920 140636914861168 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3091] ppid=3080 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3091/stat : 3091 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15508250624 7291 33554432000 4194304 4196468 140728074597920 140636913809488 140638043965339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3092] ppid=3080 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3092/stat : 3092 (java) R 3080 3080 1796 0 -1 4202560 353 0 0 0 0 0 0 0 20 0 15 0 517357808 15508250624 7291 33554432000 4194304 4196468 140728074597920 140636912757360 140638029609472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3093] ppid=3080 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3093/stat : 3093 (java) R 3080 3080 1796 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 517357808 15508250624 7291 33554432000 4194304 4196468 140728074597920 140636911704560 140638043957890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3094] ppid=3080 vsize=15144776 memory=139874451756672 CPUtime=0.02 cores=1,3,5,7
/proc/3082/task/3094/stat : 3094 (java) R 3080 3080 1796 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 15 0 517357808 15508250624 7291 33554432000 4194304 4196468 140728074597920 140636910652272 140638043958678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3095] ppid=3080 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3095/stat : 3095 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15508250624 7291 33554432000 4194304 4196468 140728074597920 140636909599712 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3096] ppid=3080 vsize=15144776 memory=139874451756672 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3096/stat : 3096 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357808 15508250624 7291 33554432000 4194304 4196468 140728074597920 140636908546480 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30616 KiB
[startup+0.210849 s]*
/proc/loadavg: 2.47 2.00 1.91 4/230 3096
/proc/meminfo: memFree=25469776/32770624 swapFree=66997188/67108860
[pid=3080] ppid=3077 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3080/stat : 3080 (xcsp3-exec) S 3077 3080 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517357802 115843072 363 33554432000 4194304 5098028 140729814969856 140729814967960 140536388723324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21843968 140729814975318 140729814975577 140729814975577 140729814978502 0
/proc/3080/statm: 28282 363 304 221 0 87 0
[pid=3082] ppid=3080 vsize=15144776 memory=40540 CPUtime=0.35 cores=1,3,5,7
/proc/3082/stat : 3082 (java) S 3080 3080 1796 0 -1 1077944320 9351 0 0 0 32 3 0 0 20 0 15 0 517357802 15508250624 10135 33554432000 4194304 4196468 140728074597920 140728074580464 140638043946743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
/proc/3082/statm: 3786194 10135 3311 1 0 3748377 0
[pid=3082/tid=3083] ppid=3080 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3082/task/3083/stat : 3083 (java) R 3080 3080 1796 0 -1 4202560 6600 0 0 0 18 2 0 0 20 0 15 0 517357803 15508250624 10135 33554432000 4194304 4196468 140728074597920 140638048181728 140638027990373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3084] ppid=3080 vsize=15144776 memory=2128866 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3084/stat : 3084 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15508250624 10135 33554432000 4194304 4196468 140728074597920 140637971987344 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3085] ppid=3080 vsize=15144776 memory=139874455366893 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3085/stat : 3085 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15508250624 10135 33554432000 4194304 4196468 140728074597920 140637970934544 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3086] ppid=3080 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3086/stat : 3086 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15508250624 10135 33554432000 4194304 4196468 140728074597920 140637969882256 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3087] ppid=3080 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3087/stat : 3087 (java) S 3080 3080 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357803 15508250624 10135 33554432000 4194304 4196468 140728074597920 140637968829456 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3088] ppid=3080 vsize=15144776 memory=139874451756672 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3088/stat : 3088 (java) S 3080 3080 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517357805 15508250624 10135 33554432000 4194304 4196468 140728074597920 140636916967536 140638043957890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3089] ppid=3080 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3089/stat : 3089 (java) S 3080 3080 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357805 15508250624 10135 33554432000 4194304 4196468 140728074597920 140636915913504 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3090] ppid=3080 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3090/stat : 3090 (java) S 3080 3080 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357805 15508250624 10135 33554432000 4194304 4196468 140728074597920 140636914861168 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3091] ppid=3080 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3091/stat : 3091 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15508250624 10135 33554432000 4194304 4196468 140728074597920 140636913809488 140638043965339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3092] ppid=3080 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3082/task/3092/stat : 3092 (java) S 3080 3080 1796 0 -1 1077944384 482 0 0 0 3 0 0 0 20 0 15 0 517357808 15508250624 10135 33554432000 4194304 4196468 140728074597920 140636912757360 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3093] ppid=3080 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3082/task/3093/stat : 3093 (java) S 3080 3080 1796 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 517357808 15508250624 10135 33554432000 4194304 4196468 140728074597920 140636911704560 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3094] ppid=3080 vsize=15144776 memory=139874451756672 CPUtime=0.08 cores=1,3,5,7
/proc/3082/task/3094/stat : 3094 (java) R 3080 3080 1796 0 -1 4202560 811 0 0 0 8 0 0 0 20 0 15 0 517357808 15508250624 10135 33554432000 4194304 4196468 140728074597920 140636910652272 140638022741024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3095] ppid=3080 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3095/stat : 3095 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15508250624 10135 33554432000 4194304 4196468 140728074597920 140636909599712 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3096] ppid=3080 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3096/stat : 3096 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357808 15508250624 10135 33554432000 4194304 4196468 140728074597920 140636908546480 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41992 KiB
[startup+0.314075 s]*
/proc/loadavg: 2.47 2.00 1.91 4/230 3096
/proc/meminfo: memFree=25462356/32770624 swapFree=66997188/67108860
[pid=3080] ppid=3077 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3080/stat : 3080 (xcsp3-exec) S 3077 3080 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517357802 115843072 363 33554432000 4194304 5098028 140729814969856 140729814967960 140536388723324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21843968 140729814975318 140729814975577 140729814975577 140729814978502 0
/proc/3080/statm: 28282 363 304 221 0 87 0
[pid=3082] ppid=3080 vsize=15149032 memory=50212 CPUtime=0.53 cores=1,3,5,7
/proc/3082/stat : 3082 (java) S 3080 3080 1796 0 -1 1077944320 10860 0 0 0 50 3 0 0 20 0 15 0 517357802 15512608768 12553 33554432000 4194304 4196468 140728074597920 140728074580464 140638043946743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
/proc/3082/statm: 3787258 12553 3366 1 0 3748377 0
[pid=3082/tid=3083] ppid=3080 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/3082/task/3083/stat : 3083 (java) R 3080 3080 1796 0 -1 4202560 7842 0 0 0 28 2 0 0 20 0 15 0 517357803 15512608768 12562 33554432000 4194304 4196468 140728074597920 140638048180528 140638036663706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3084] ppid=3080 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3084/stat : 3084 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15512608768 12562 33554432000 4194304 4196468 140728074597920 140637971987344 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3085] ppid=3080 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3085/stat : 3085 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15512608768 12562 33554432000 4194304 4196468 140728074597920 140637970934544 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3086] ppid=3080 vsize=15149032 memory=-7022074515825631275 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3086/stat : 3086 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15512608768 12562 33554432000 4194304 4196468 140728074597920 140637969882256 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3087] ppid=3080 vsize=15149032 memory=7521901370507621794 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3087/stat : 3087 (java) S 3080 3080 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357803 15512608768 12562 33554432000 4194304 4196468 140728074597920 140637968829456 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3088] ppid=3080 vsize=15149032 memory=-9001733975035308135 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3088/stat : 3088 (java) S 3080 3080 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517357805 15512608768 12562 33554432000 4194304 4196468 140728074597920 140636916967536 140638043957890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3089] ppid=3080 vsize=15149032 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3089/stat : 3089 (java) S 3080 3080 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357805 15512608768 12562 33554432000 4194304 4196468 140728074597920 140636915913504 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3090] ppid=3080 vsize=15149032 memory=7824336315716348491 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3090/stat : 3090 (java) S 3080 3080 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357805 15512608768 12562 33554432000 4194304 4196468 140728074597920 140636914861168 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3091] ppid=3080 vsize=15149032 memory=8226496019563508123 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3091/stat : 3091 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15512608768 12562 33554432000 4194304 4196468 140728074597920 140636913809488 140638043965339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3092] ppid=3080 vsize=15149032 memory=8325818968683490714 CPUtime=0.06 cores=1,3,5,7
/proc/3082/task/3092/stat : 3092 (java) R 3080 3080 1796 0 -1 1077944384 599 0 0 0 6 0 0 0 20 0 15 0 517357808 15512608768 12562 33554432000 4194304 4196468 140728074597920 140636912757360 140638043968090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3093] ppid=3080 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3082/task/3093/stat : 3093 (java) S 3080 3080 1796 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 15 0 517357808 15512608768 12562 33554432000 4194304 4196468 140728074597920 140636911704560 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3094] ppid=3080 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/3082/task/3094/stat : 3094 (java) R 3080 3080 1796 0 -1 4202560 951 0 0 0 13 0 0 0 20 0 15 0 517357808 15512608768 12562 33554432000 4194304 4196468 140728074597920 140636910652272 140638043958678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3095] ppid=3080 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3095/stat : 3095 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15512608768 12562 33554432000 4194304 4196468 140728074597920 140636909599712 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3096] ppid=3080 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3096/stat : 3096 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357808 15512608768 12562 33554432000 4194304 4196468 140728074597920 140636908546480 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51664 KiB
[startup+0.700837 s]
/proc/loadavg: 2.47 2.00 1.91 6/230 3096
/proc/meminfo: memFree=25434492/32770624 swapFree=66997188/67108860
[pid=3080] ppid=3077 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3080/stat : 3080 (xcsp3-exec) S 3077 3080 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517357802 115843072 363 33554432000 4194304 5098028 140729814969856 140729814967960 140536388723324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21843968 140729814975318 140729814975577 140729814975577 140729814978502 0
/proc/3080/statm: 28282 363 304 221 0 87 0
[pid=3082] ppid=3080 vsize=15151156 memory=90736 CPUtime=1.65 cores=1,3,5,7
/proc/3082/stat : 3082 (java) S 3080 3080 1796 0 -1 1077944320 14338 0 0 0 160 5 0 0 20 0 15 0 517357802 15514783744 22684 33554432000 4194304 4196468 140728074597920 140728074580464 140638043946743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
/proc/3082/statm: 3787789 22684 3454 1 0 3748889 0
[pid=3082/tid=3083] ppid=3080 vsize=15151156 memory=1428 CPUtime=0.67 cores=1,3,5,7
/proc/3082/task/3083/stat : 3083 (java) R 3080 3080 1796 0 -1 4202560 8997 0 0 0 64 3 0 0 20 0 15 0 517357803 15514783744 22684 33554432000 4194304 4196468 140728074597920 140638048186000 140637651011785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3084] ppid=3080 vsize=15151156 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3084/stat : 3084 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 22684 33554432000 4194304 4196468 140728074597920 140637971987344 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3085] ppid=3080 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3085/stat : 3085 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 22684 33554432000 4194304 4196468 140728074597920 140637970934544 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3086] ppid=3080 vsize=15151156 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3086/stat : 3086 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 22684 33554432000 4194304 4196468 140728074597920 140637969882256 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3087] ppid=3080 vsize=15151156 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3087/stat : 3087 (java) S 3080 3080 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 22684 33554432000 4194304 4196468 140728074597920 140637968829456 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3088] ppid=3080 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3088/stat : 3088 (java) S 3080 3080 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 22684 33554432000 4194304 4196468 140728074597920 140636916967536 140638043957890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3089] ppid=3080 vsize=15151156 memory=3628 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3089/stat : 3089 (java) S 3080 3080 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 22684 33554432000 4194304 4196468 140728074597920 140636915913504 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3090] ppid=3080 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3090/stat : 3090 (java) S 3080 3080 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 22684 33554432000 4194304 4196468 140728074597920 140636914861168 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3091] ppid=3080 vsize=15151156 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3091/stat : 3091 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 22684 33554432000 4194304 4196468 140728074597920 140636913809488 140638043965339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3092] ppid=3080 vsize=15151156 memory=6140 CPUtime=0.34 cores=1,3,5,7
/proc/3082/task/3092/stat : 3092 (java) R 3080 3080 1796 0 -1 4202560 1203 0 0 0 34 0 0 0 20 0 15 0 517357808 15514783744 22684 33554432000 4194304 4196468 140728074597920 140636912735680 140638025471857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3093] ppid=3080 vsize=15151156 memory=612 CPUtime=0.29 cores=1,3,5,7
/proc/3082/task/3093/stat : 3093 (java) R 3080 3080 1796 0 -1 4202560 985 0 0 0 29 0 0 0 20 0 15 0 517357808 15514783744 22684 33554432000 4194304 4196468 140728074597920 140636911691248 140638027432765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3094] ppid=3080 vsize=15151156 memory=1220 CPUtime=0.32 cores=1,3,5,7
/proc/3082/task/3094/stat : 3094 (java) S 3080 3080 1796 0 -1 1077944384 1845 0 0 0 32 0 0 0 20 0 15 0 517357808 15514783744 22684 33554432000 4194304 4196468 140728074597920 140636910652272 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3095] ppid=3080 vsize=15151156 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3095/stat : 3095 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 22684 33554432000 4194304 4196468 140728074597920 140636909599712 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3096] ppid=3080 vsize=15151156 memory=14060 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3096/stat : 3096 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 22684 33554432000 4194304 4196468 140728074597920 140636908546480 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92188 KiB
[startup+1.50087 s]
/proc/loadavg: 2.47 2.00 1.91 5/230 3096
/proc/meminfo: memFree=25410456/32770624 swapFree=66997188/67108860
[pid=3080] ppid=3077 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3080/stat : 3080 (xcsp3-exec) S 3077 3080 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517357802 115843072 363 33554432000 4194304 5098028 140729814969856 140729814967960 140536388723324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21843968 140729814975318 140729814975577 140729814975577 140729814978502 0
/proc/3080/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/3082/task/3084/stat : 3084 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26981 33554432000 4194304 4196468 140728074597920 140637971987344 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3085] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3085/stat : 3085 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26981 33554432000 4194304 4196468 140728074597920 140637970934544 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3086] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3086/stat : 3086 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26981 33554432000 4194304 4196468 140728074597920 140637969882256 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3087] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3087/stat : 3087 (java) S 3080 3080 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26981 33554432000 4194304 4196468 140728074597920 140637968829456 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3088] ppid=3080 vsize=15151156 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3088/stat : 3088 (java) S 3080 3080 1796 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 26981 33554432000 4194304 4196468 140728074597920 140636916967536 140638043957890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3089] ppid=3080 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3089/stat : 3089 (java) S 3080 3080 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 26981 33554432000 4194304 4196468 140728074597920 140636915913504 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3090] ppid=3080 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3090/stat : 3090 (java) S 3080 3080 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 26981 33554432000 4194304 4196468 140728074597920 140636914861168 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3091] ppid=3080 vsize=15151156 memory=6645459911560372124 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3091/stat : 3091 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 26981 33554432000 4194304 4196468 140728074597920 140636913809488 140638043965339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3092] ppid=3080 vsize=15151156 memory=6944656592455088490 CPUtime=0.86 cores=1,3,5,7
/proc/3082/task/3092/stat : 3092 (java) S 3080 3080 1796 0 -1 1077944384 6318 0 0 0 85 1 0 0 20 0 15 0 517357808 15514783744 26981 33554432000 4194304 4196468 140728074597920 140636912757360 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3093] ppid=3080 vsize=15151156 memory=6655300316396806240 CPUtime=0.68 cores=1,3,5,7
/proc/3082/task/3093/stat : 3093 (java) R 3080 3080 1796 0 -1 4202560 4341 0 0 0 67 1 0 0 20 0 15 0 517357808 15514783744 26981 33554432000 4194304 4196468 140728074597920 140636911704560 140638023798870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3094] ppid=3080 vsize=15151156 memory=6656426216303648864 CPUtime=0.37 cores=1,3,5,7
/proc/3082/task/3094/stat : 3094 (java) S 3080 3080 1796 0 -1 1077944384 2141 0 0 0 36 1 0 0 20 0 15 0 517357808 15514783744 26981 33554432000 4194304 4196468 140728074597920 140636910652272 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3095] ppid=3080 vsize=15151156 memory=279748668648096 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3095/stat : 3095 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 26981 33554432000 4194304 4196468 140728074597920 140636909599712 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3096] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3096/stat : 3096 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 26981 33554432000 4194304 4196468 140728074597920 140636908546480 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
Current children cumulated CPU time: 3.41 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 109376 KiB
[startup+1.92605 s]
# the end of solver process 3080 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.94771 s, system=0.079939 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60097 s]
/proc/loadavg: 2.47 2.00 1.91 5/230 3096
/proc/meminfo: memFree=25410456/32770624 swapFree=66997188/67108860
[pid=3080] ppid=3077 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3080/stat : 3080 (xcsp3-exec) S 3077 3080 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517357802 115843072 363 33554432000 4194304 5098028 140729814969856 140729814967960 140536388723324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21843968 140729814975318 140729814975577 140729814975577 140729814978502 0
/proc/3080/statm: 28282 363 304 221 0 87 0
[pid=3082] ppid=3080 vsize=15151156 memory=107988 CPUtime=3.61 cores=1,3,5,7
/proc/3082/stat : 3082 (java) S 3080 3080 1796 0 -1 1077944320 23365 0 0 0 354 7 0 0 20 0 15 0 517357802 15514783744 26997 33554432000 4194304 4196468 140728074597920 140728074580464 140638043946743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
/proc/3082/statm: 3787789 26997 3463 1 0 3748889 0
[pid=3082/tid=3083] ppid=3080 vsize=15151156 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/3082/task/3083/stat : 3083 (java) R 3080 3080 1796 0 -1 4202560 9226 0 0 0 154 3 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140638048181008 140637651699460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3084] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3084/stat : 3084 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140637971987344 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3085] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3085/stat : 3085 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140637970934544 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3086] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3086/stat : 3086 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140637969882256 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3087] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3087/stat : 3087 (java) S 3080 3080 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140637968829456 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3088] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3088/stat : 3088 (java) S 3080 3080 1796 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636916967536 140638043957890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3089] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3089/stat : 3089 (java) S 3080 3080 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636915913504 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3090] ppid=3080 vsize=15151156 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3090/stat : 3090 (java) S 3080 3080 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636914861168 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3091] ppid=3080 vsize=15151156 memory=65360 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3091/stat : 3091 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636913809488 140638043965339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3092] ppid=3080 vsize=15151156 memory=988 CPUtime=0.9 cores=1,3,5,7
/proc/3082/task/3092/stat : 3092 (java) S 3080 3080 1796 0 -1 1077944384 6327 0 0 0 89 1 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636912757360 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3093] ppid=3080 vsize=15151156 memory=14004 CPUtime=0.75 cores=1,3,5,7
/proc/3082/task/3093/stat : 3093 (java) S 3080 3080 1796 0 -1 1077944384 4351 0 0 0 74 1 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636911704560 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3094] ppid=3080 vsize=15151156 memory=14060 CPUtime=0.37 cores=1,3,5,7
/proc/3082/task/3094/stat : 3094 (java) S 3080 3080 1796 0 -1 1077944384 2141 0 0 0 36 1 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636910652272 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3095] ppid=3080 vsize=15151156 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3095/stat : 3095 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636909599712 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3096] ppid=3080 vsize=15151156 memory=33936 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3096/stat : 3096 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636908546480 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 109440 KiB
[startup+1.80067 s]
/proc/loadavg: 2.47 2.00 1.91 5/230 3096
/proc/meminfo: memFree=25410456/32770624 swapFree=66997188/67108860
[pid=3080] ppid=3077 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3080/stat : 3080 (xcsp3-exec) S 3077 3080 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517357802 115843072 363 33554432000 4194304 5098028 140729814969856 140729814967960 140536388723324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21843968 140729814975318 140729814975577 140729814975577 140729814978502 0
/proc/3080/statm: 28282 363 304 221 0 87 0
[pid=3082] ppid=3080 vsize=15151156 memory=107988 CPUtime=3.83 cores=1,3,5,7
/proc/3082/stat : 3082 (java) S 3080 3080 1796 0 -1 1077944320 23371 0 0 0 376 7 0 0 20 0 15 0 517357802 15514783744 26997 33554432000 4194304 4196468 140728074597920 140728074580464 140638043946743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
/proc/3082/statm: 3787789 26997 3463 1 0 3748889 0
[pid=3082/tid=3083] ppid=3080 vsize=15151156 memory=932 CPUtime=1.77 cores=1,3,5,7
/proc/3082/task/3083/stat : 3083 (java) R 3080 3080 1796 0 -1 4202560 9226 0 0 0 174 3 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140638048185512 140637651062838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3084] ppid=3080 vsize=15151156 memory=3680 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3084/stat : 3084 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140637971987344 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3085] ppid=3080 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3085/stat : 3085 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140637970934544 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3086] ppid=3080 vsize=15151156 memory=836 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3086/stat : 3086 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140637969882256 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3087] ppid=3080 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3087/stat : 3087 (java) S 3080 3080 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 26997 33554432000 4194304 4196468 140728074597920 140637968829456 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3088] ppid=3080 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3088/stat : 3088 (java) S 3080 3080 1796 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636916967536 140638043957890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3089] ppid=3080 vsize=15151156 memory=916 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3089/stat : 3089 (java) S 3080 3080 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636915913504 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3090] ppid=3080 vsize=15151156 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3090/stat : 3090 (java) S 3080 3080 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636914861168 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3091] ppid=3080 vsize=15151156 memory=2604 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3091/stat : 3091 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636913809488 140638043965339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3092] ppid=3080 vsize=15151156 memory=2652 CPUtime=0.91 cores=1,3,5,7
/proc/3082/task/3092/stat : 3092 (java) S 3080 3080 1796 0 -1 1077944384 6329 0 0 0 90 1 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636912757360 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3093] ppid=3080 vsize=15151156 memory=1720 CPUtime=0.76 cores=1,3,5,7
/proc/3082/task/3093/stat : 3093 (java) S 3080 3080 1796 0 -1 1077944384 4353 0 0 0 75 1 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636911704560 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3094] ppid=3080 vsize=15151156 memory=1980 CPUtime=0.37 cores=1,3,5,7
/proc/3082/task/3094/stat : 3094 (java) S 3080 3080 1796 0 -1 1077944384 2143 0 0 0 36 1 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636910652272 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3095] ppid=3080 vsize=15151156 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3095/stat : 3095 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636909599712 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3096] ppid=3080 vsize=15151156 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3096/stat : 3096 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 26997 33554432000 4194304 4196468 140728074597920 140636908546480 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
Current children cumulated CPU time: 3.83 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 109440 KiB
[startup+1.90075 s]
/proc/loadavg: 2.47 2.00 1.91 5/230 3096
/proc/meminfo: memFree=25410456/32770624 swapFree=66997188/67108860
[pid=3080] ppid=3077 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3080/stat : 3080 (xcsp3-exec) S 3077 3080 1796 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517357802 115843072 363 33554432000 4194304 5098028 140729814969856 140729814967960 140536388723324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21843968 140729814975318 140729814975577 140729814975577 140729814978502 0
/proc/3080/statm: 28282 363 304 221 0 87 0
[pid=3082] ppid=3080 vsize=15151156 memory=110076 CPUtime=3.99 cores=1,3,5,7
/proc/3082/stat : 3082 (java) S 3080 3080 1796 0 -1 1077944320 23387 0 0 0 392 7 0 0 20 0 15 0 517357802 15514783744 27519 33554432000 4194304 4196468 140728074597920 140728074580464 140638043946743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
/proc/3082/statm: 3787789 27519 3463 1 0 3748889 0
[pid=3082/tid=3083] ppid=3080 vsize=15151156 memory=0 CPUtime=1.87 cores=1,3,5,7
/proc/3082/task/3083/stat : 3083 (java) R 3080 3080 1796 0 -1 4202560 9227 0 0 0 184 3 0 0 20 0 15 0 517357803 15514783744 27519 33554432000 4194304 4196468 140728074597920 140638048185512 140637651027385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3084] ppid=3080 vsize=15151156 memory=107924 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3084/stat : 3084 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 27519 33554432000 4194304 4196468 140728074597920 140637971987344 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3085] ppid=3080 vsize=15151156 memory=6944656592452807320 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3085/stat : 3085 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 27519 33554432000 4194304 4196468 140728074597920 140637970934544 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3086] ppid=3080 vsize=15151156 memory=279748668296592 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3086/stat : 3086 (java) S 3080 3080 1796 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 27519 33554432000 4194304 4196468 140728074597920 140637969882256 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3087] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3087/stat : 3087 (java) S 3080 3080 1796 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517357803 15514783744 27519 33554432000 4194304 4196468 140728074597920 140637968829456 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3088] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3088/stat : 3088 (java) S 3080 3080 1796 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 27519 33554432000 4194304 4196468 140728074597920 140636916967536 140638043957890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3089] ppid=3080 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3089/stat : 3089 (java) S 3080 3080 1796 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 27519 33554432000 4194304 4196468 140728074597920 140636915913504 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3090] ppid=3080 vsize=15151156 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3090/stat : 3090 (java) S 3080 3080 1796 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517357805 15514783744 27519 33554432000 4194304 4196468 140728074597920 140636914861168 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3091] ppid=3080 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3091/stat : 3091 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 27519 33554432000 4194304 4196468 140728074597920 140636913809488 140638043965339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3092] ppid=3080 vsize=15151156 memory=6656426216303648864 CPUtime=0.93 cores=1,3,5,7
/proc/3082/task/3092/stat : 3092 (java) S 3080 3080 1796 0 -1 1077944384 6339 0 0 0 92 1 0 0 20 0 15 0 517357808 15514783744 27519 33554432000 4194304 4196468 140728074597920 140636912757360 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3093] ppid=3080 vsize=15151156 memory=6645459911560372124 CPUtime=0.79 cores=1,3,5,7
/proc/3082/task/3093/stat : 3093 (java) S 3080 3080 1796 0 -1 1077944384 4358 0 0 0 78 1 0 0 20 0 15 0 517357808 15514783744 27519 33554432000 4194304 4196468 140728074597920 140636911704560 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3094] ppid=3080 vsize=15151156 memory=6944656592455088490 CPUtime=0.37 cores=1,3,5,7
/proc/3082/task/3094/stat : 3094 (java) S 3080 3080 1796 0 -1 1077944384 2143 0 0 0 36 1 0 0 20 0 15 0 517357808 15514783744 27519 33554432000 4194304 4196468 140728074597920 140636910652272 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3095] ppid=3080 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3095/stat : 3095 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 27519 33554432000 4194304 4196468 140728074597920 140636909599712 140638043956949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
[pid=3082/tid=3096] ppid=3080 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3082/task/3096/stat : 3096 (java) S 3080 3080 1796 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517357808 15514783744 27519 33554432000 4194304 4196468 140728074597920 140636908546480 140638043957890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140728074605531 140728074605706 140728074605706 140728074608591 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 111528 KiB
Child status: 0
Real time (s): 1.92609
CPU time (s): 4.02765
CPU user time (s): 3.94771
CPU system time (s): 0.079939
CPU usage (%): 209.11
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 111528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.94771
system time used= 0.079939
maximum resident set size= 112476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1782
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 3080
# total CPU time (s): 4.02765
# total CPU user time (s): 3.94771
# total CPU system time (s): 0.079939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029626 second user time and 0.064942 second system time
The end