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 (15167 MiB free)
memory of node 1: 16384 MiB (15550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269168-1502730242/watcher-4269168-1502730242 -o /tmp/evaluation-result-4269168-1502730242/solver-4269168-1502730242 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1167960424 HOME/instance-4269168-1502730242.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
solver pid=5079, runsolver pid=5076
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.91 1.98 2.00 2/204 5080
/proc/meminfo: memFree=31455024/32770624 swapFree=67108764/67108860
[pid=5079] ppid=5076 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/5079/stat : 5079 (runsolver) D 5076 5079 4674 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 120530686 34791424 114 18446744073709551615 4194304 4346622 140732667880352 140732667876984 140114318815959 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 11771904 140732667887670 140732667888164 140732667888164 140732667891658 0
/proc/5079/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209722 s]*
/proc/loadavg: 1.91 1.98 2.00 2/218 5094
/proc/meminfo: memFree=31443576/32770624 swapFree=67108764/67108860
[pid=5079] ppid=5076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5079/stat : 5079 (xcsp3-exec) S 5076 5079 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120530686 9740288 345 18446744073709551615 4194304 5098028 140721629211008 140721629209112 139992070320764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 13 0 0 7196144 7232144 11231232 140721629213048 140721629213253 140721629213253 140721629216747 0
/proc/5079/statm: 2378 345 289 221 0 87 0
[pid=5081] ppid=5079 vsize=13907304 memory=21476 CPUtime=0.05 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5079 5079 4674 0 -1 1077944320 4817 0 0 0 4 1 0 0 20 0 14 0 120530700 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 140735874818464 139715325464311 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
/proc/5081/statm: 3476826 5369 2555 1 0 3466323 0
[pid=5081/tid=5082] ppid=5079 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/5081/task/5082/stat : 5082 (java) D 5079 5079 4674 0 -1 4202560 2996 0 0 0 4 0 0 0 20 0 14 0 120530700 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139715329701792 139715325486333 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5083] ppid=5079 vsize=13907304 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5083/stat : 5083 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714925882384 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5084] ppid=5079 vsize=13907304 memory=140114322812631 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5084/stat : 5084 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714924829840 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5085] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5085/stat : 5085 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714923776784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5086] ppid=5079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5086/stat : 5086 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714922724240 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5087] ppid=5079 vsize=13907304 memory=140114321766016 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5087/stat : 5087 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120530702 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714803738864 139715325475458 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5088] ppid=5079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5088/stat : 5088 (java) S 5079 5079 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 120530703 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714802685088 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5089] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5089/stat : 5089 (java) S 5079 5079 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 120530703 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714801631984 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5090] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5090/stat : 5090 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714800580560 139715325482907 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5091] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5091/stat : 5091 (java) S 5079 5079 4674 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714799528688 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5092] ppid=5079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5092/stat : 5092 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714798476144 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5093] ppid=5079 vsize=13907304 memory=140114321766016 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5093/stat : 5093 (java) S 5079 5079 4674 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714797423088 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5094] ppid=5079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5094/stat : 5094 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714796370784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22856 KiB
[startup+0.310583 s]*
/proc/loadavg: 1.91 1.98 2.00 2/218 5094
/proc/meminfo: memFree=31443264/32770624 swapFree=67108764/67108860
[pid=5079] ppid=5076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5079/stat : 5079 (xcsp3-exec) S 5076 5079 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120530686 9740288 345 18446744073709551615 4194304 5098028 140721629211008 140721629209112 139992070320764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 13 0 0 7196144 7232144 11231232 140721629213048 140721629213253 140721629213253 140721629216747 0
/proc/5079/statm: 2378 345 289 221 0 87 0
[pid=5081] ppid=5079 vsize=13907304 memory=21476 CPUtime=0.05 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5079 5079 4674 0 -1 1077944320 4817 0 0 0 4 1 0 0 20 0 14 0 120530700 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 140735874818464 139715325464311 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
/proc/5081/statm: 3476826 5369 2555 1 0 3466323 0
[pid=5081/tid=5082] ppid=5079 vsize=13907304 memory=4278483708103473607 CPUtime=0.04 cores=1,3,5,7
/proc/5081/task/5082/stat : 5082 (java) D 5079 5079 4674 0 -1 4202560 2996 0 0 0 4 0 0 0 20 0 14 0 120530700 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139715329701792 139715325486333 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5083] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5083/stat : 5083 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714925882384 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5084] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5084/stat : 5084 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714924829840 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5085] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5085/stat : 5085 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714923776784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5086] ppid=5079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5086/stat : 5086 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714922724240 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5087] ppid=5079 vsize=13907304 memory=140114321766016 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5087/stat : 5087 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120530702 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714803738864 139715325475458 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5088] ppid=5079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5088/stat : 5088 (java) S 5079 5079 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 120530703 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714802685088 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5089] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5089/stat : 5089 (java) S 5079 5079 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 120530703 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714801631984 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5090] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5090/stat : 5090 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714800580560 139715325482907 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5091] ppid=5079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5091/stat : 5091 (java) S 5079 5079 4674 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714799528688 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5092] ppid=5079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5092/stat : 5092 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714798476144 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5093] ppid=5079 vsize=13907304 memory=140114321766016 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5093/stat : 5093 (java) S 5079 5079 4674 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714797423088 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5094] ppid=5079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5094/stat : 5094 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714796370784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22856 KiB
[startup+0.700711 s]
/proc/loadavg: 1.91 1.98 2.00 2/218 5094
/proc/meminfo: memFree=31443264/32770624 swapFree=67108764/67108860
[pid=5079] ppid=5076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5079/stat : 5079 (xcsp3-exec) S 5076 5079 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120530686 9740288 345 18446744073709551615 4194304 5098028 140721629211008 140721629209112 139992070320764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 13 0 0 7196144 7232144 11231232 140721629213048 140721629213253 140721629213253 140721629216747 0
/proc/5079/statm: 2378 345 289 221 0 87 0
[pid=5081] ppid=5079 vsize=13907304 memory=21476 CPUtime=0.05 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5079 5079 4674 0 -1 1077944320 4817 0 0 0 4 1 0 0 20 0 14 0 120530700 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 140735874818464 139715325464311 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
/proc/5081/statm: 3476826 5369 2555 1 0 3466323 0
[pid=5081/tid=5082] ppid=5079 vsize=13907304 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5081/task/5082/stat : 5082 (java) D 5079 5079 4674 0 -1 4202560 2996 0 0 0 4 0 0 0 20 0 14 0 120530700 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139715329701792 139715325486333 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5083] ppid=5079 vsize=13907304 memory=61 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5083/stat : 5083 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714925882384 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5084] ppid=5079 vsize=13907304 memory=280228362852416 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5084/stat : 5084 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714924829840 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5085] ppid=5079 vsize=13907304 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5085/stat : 5085 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714923776784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5086] ppid=5079 vsize=13907304 memory=14978858180937582 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5086/stat : 5086 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120530701 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714922724240 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5087] ppid=5079 vsize=13907304 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5087/stat : 5087 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120530702 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714803738864 139715325475458 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5088] ppid=5079 vsize=13907304 memory=34904 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5088/stat : 5088 (java) S 5079 5079 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 120530703 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714802685088 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5089] ppid=5079 vsize=13907304 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5089/stat : 5089 (java) S 5079 5079 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 120530703 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714801631984 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5090] ppid=5079 vsize=13907304 memory=644 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5090/stat : 5090 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714800580560 139715325482907 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5091] ppid=5079 vsize=13907304 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5091/stat : 5091 (java) S 5079 5079 4674 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714799528688 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5092] ppid=5079 vsize=13907304 memory=956 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5092/stat : 5092 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714798476144 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5093] ppid=5079 vsize=13907304 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5093/stat : 5093 (java) S 5079 5079 4674 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714797423088 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5094] ppid=5079 vsize=13907304 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5094/stat : 5094 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120530705 14241079296 5369 18446744073709551615 4194304 4196468 140735874835920 139714796370784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22856 KiB
[startup+1.50749 s]
/proc/loadavg: 1.91 1.98 2.00 4/219 5095
/proc/meminfo: memFree=31419224/32770624 swapFree=67108764/67108860
[pid=5079] ppid=5076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5079/stat : 5079 (xcsp3-exec) S 5076 5079 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120530686 9740288 345 18446744073709551615 4194304 5098028 140721629211008 140721629209112 139992070320764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 13 0 0 7196144 7232144 11231232 140721629213048 140721629213253 140721629213253 140721629216747 0
/proc/5079/statm: 2378 345 289 221 0 87 0
[pid=5081] ppid=5079 vsize=13980732 memory=83508 CPUtime=2.03 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5079 5079 4674 0 -1 1077944320 16555 0 0 0 196 7 0 0 20 0 15 0 120530700 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 140735874818464 139715325464311 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
/proc/5081/statm: 3495183 20877 3184 1 0 3483476 0
[pid=5081/tid=5082] ppid=5079 vsize=13980732 memory=280224604516848 CPUtime=0.81 cores=1,3,5,7
/proc/5081/task/5082/stat : 5082 (java) R 5079 5079 4674 0 -1 4202560 8582 0 0 0 77 4 0 0 20 0 15 0 120530700 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139715329702656 139714971023951 0 4 1 16800974 0 0 0 -1 5 0 0 53 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5083] ppid=5079 vsize=13980732 memory=280228362715904 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5083/stat : 5083 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120530701 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714925882384 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5084] ppid=5079 vsize=13980732 memory=-1664385933527516014 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5084/stat : 5084 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120530701 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714924829840 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5085] ppid=5079 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5085/stat : 5085 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120530701 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714923776784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5086] ppid=5079 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5086/stat : 5086 (java) S 5079 5079 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120530701 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714922724240 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5087] ppid=5079 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5087/stat : 5087 (java) S 5079 5079 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120530702 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714803738864 139715325475458 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5088] ppid=5079 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5088/stat : 5088 (java) S 5079 5079 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120530703 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714802685088 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5089] ppid=5079 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5089/stat : 5089 (java) S 5079 5079 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120530703 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714801631984 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5090] ppid=5079 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5090/stat : 5090 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714800580560 139715325482907 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5091] ppid=5079 vsize=13980732 memory=8325593796984580683 CPUtime=0.44 cores=1,3,5,7
/proc/5081/task/5091/stat : 5091 (java) R 5079 5079 4674 0 -1 4202560 2208 0 0 0 44 0 0 0 20 0 15 0 120530705 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714799514568 139715309854165 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5092] ppid=5079 vsize=13980732 memory=-8102431393132624720 CPUtime=0.42 cores=1,3,5,7
/proc/5081/task/5092/stat : 5092 (java) R 5079 5079 4674 0 -1 4202560 2749 0 0 0 42 0 0 0 20 0 15 0 120530705 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714798462168 139715306985593 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5093] ppid=5079 vsize=13980732 memory=-8180325096378178933 CPUtime=0.32 cores=1,3,5,7
/proc/5081/task/5093/stat : 5093 (java) S 5079 5079 4674 0 -1 1077944384 1707 0 0 0 31 1 0 0 20 0 15 0 120530705 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714797423088 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5094] ppid=5079 vsize=13980732 memory=-8182008457219906933 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5094/stat : 5094 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714796370784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5095] ppid=5079 vsize=13980732 memory=18983755451683 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5095/stat : 5095 (java) S 5079 5079 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120530760 14316269568 20877 18446744073709551615 4194304 4196468 140735874835920 139714795317808 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
Current children cumulated CPU time: 2.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 84888 KiB
[startup+3.11041 s]
/proc/loadavg: 1.91 1.98 2.00 5/219 5095
################
# More data... #
################
/proc/5081/task/5089/stat : 5089 (java) S 5079 5079 4674 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 120530703 14316269568 140623 18446744073709551615 4194304 4196468 140735874835920 139714801631984 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5090] ppid=5079 vsize=13980732 memory=2320 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5090/stat : 5090 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 140623 18446744073709551615 4194304 4196468 140735874835920 139714800580560 139715325482907 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5091] ppid=5079 vsize=13980732 memory=424736 CPUtime=1.44 cores=1,3,5,7
/proc/5081/task/5091/stat : 5091 (java) S 5079 5079 4674 0 -1 1077944384 12041 0 0 0 143 1 0 0 20 0 15 0 120530705 14316269568 140623 18446744073709551615 4194304 4196468 140735874835920 139714799528688 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5092] ppid=5079 vsize=13980732 memory=1380 CPUtime=1.18 cores=1,3,5,7
/proc/5081/task/5092/stat : 5092 (java) S 5079 5079 4674 0 -1 1077944384 11850 0 0 0 117 1 0 0 20 0 15 0 120530705 14316269568 140623 18446744073709551615 4194304 4196468 140735874835920 139714798476144 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5093] ppid=5079 vsize=13980732 memory=1380 CPUtime=0.47 cores=1,3,5,7
/proc/5081/task/5093/stat : 5093 (java) S 5079 5079 4674 0 -1 1077944384 7084 0 0 0 45 2 0 0 20 0 15 0 120530705 14316269568 140623 18446744073709551615 4194304 4196468 140735874835920 139714797423088 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5094] ppid=5079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5094/stat : 5094 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 140623 18446744073709551615 4194304 4196468 140735874835920 139714796370784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5095] ppid=5079 vsize=13980732 memory=1380 CPUtime=0.52 cores=1,3,5,7
/proc/5081/task/5095/stat : 5095 (java) S 5079 5079 4674 0 -1 1077944384 1242 0 0 0 19 33 0 0 20 0 15 0 120530760 14316269568 140623 18446744073709551615 4194304 4196468 140735874835920 139714795317808 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
Current children cumulated CPU time: 2447.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 563872 KiB
[startup+2502.3 s]
/proc/loadavg: 1.63 1.80 1.85 3/215 5351
/proc/meminfo: memFree=30280420/32770624 swapFree=67108764/67108860
[pid=5079] ppid=5076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5079/stat : 5079 (xcsp3-exec) S 5076 5079 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120530686 9740288 345 18446744073709551615 4194304 5098028 140721629211008 140721629209112 139992070320764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 13 0 0 7196144 7232144 11231232 140721629213048 140721629213253 140721629213253 140721629216747 0
/proc/5079/statm: 2378 345 289 221 0 87 0
[pid=5081] ppid=5079 vsize=13980732 memory=1330420 CPUtime=2507.8 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5079 5079 4674 0 -1 1077944320 112983 0 0 0 250493 287 0 0 20 0 15 0 120530700 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 140735874818464 139715325464311 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
/proc/5081/statm: 3495183 332605 3246 1 0 3483476 0
[pid=5081/tid=5082] ppid=5079 vsize=13980732 memory=839596 CPUtime=2499.84 cores=1,3,5,7
/proc/5081/task/5082/stat : 5082 (java) R 5079 5079 4674 0 -1 4202560 57003 0 0 0 249759 225 0 0 20 0 15 0 120530700 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139715329704192 139714971708825 0 4 1 16800974 0 0 0 -1 1 0 0 53 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5083] ppid=5079 vsize=13980732 memory=933592 CPUtime=0.91 cores=1,3,5,7
/proc/5081/task/5083/stat : 5083 (java) S 5079 5079 4674 0 -1 1077944384 3690 0 0 0 86 5 0 0 20 0 15 0 120530701 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714925882384 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5084] ppid=5079 vsize=13980732 memory=1102196 CPUtime=0.91 cores=1,3,5,7
/proc/5081/task/5084/stat : 5084 (java) S 5079 5079 4674 0 -1 1077944384 2972 0 0 0 87 4 0 0 20 0 15 0 120530701 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714924829840 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5085] ppid=5079 vsize=13980732 memory=1330420 CPUtime=0.92 cores=1,3,5,7
/proc/5081/task/5085/stat : 5085 (java) S 5079 5079 4674 0 -1 1077944384 3878 0 0 0 86 6 0 0 20 0 15 0 120530701 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714923776784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5086] ppid=5079 vsize=13980732 memory=618004 CPUtime=0.91 cores=1,3,5,7
/proc/5081/task/5086/stat : 5086 (java) S 5079 5079 4674 0 -1 1077944384 4015 0 0 0 86 5 0 0 20 0 15 0 120530701 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714922724240 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5087] ppid=5079 vsize=13980732 memory=1130980 CPUtime=0.61 cores=1,3,5,7
/proc/5081/task/5087/stat : 5087 (java) S 5079 5079 4674 0 -1 1077944384 7824 0 0 0 49 12 0 0 20 0 15 0 120530702 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714803738864 139715325475458 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5088] ppid=5079 vsize=13980732 memory=1301636 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5088/stat : 5088 (java) S 5079 5079 4674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 120530703 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714802685088 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5089] ppid=5079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5089/stat : 5089 (java) S 5079 5079 4674 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 120530703 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714801631984 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5090] ppid=5079 vsize=13980732 memory=1244068 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5090/stat : 5090 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714800580560 139715325482907 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5091] ppid=5079 vsize=13980732 memory=4148 CPUtime=1.44 cores=1,3,5,7
/proc/5081/task/5091/stat : 5091 (java) S 5079 5079 4674 0 -1 1077944384 12043 0 0 0 143 1 0 0 20 0 15 0 120530705 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714799528688 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5092] ppid=5079 vsize=13980732 memory=1075460 CPUtime=1.18 cores=1,3,5,7
/proc/5081/task/5092/stat : 5092 (java) S 5079 5079 4674 0 -1 1077944384 11852 0 0 0 117 1 0 0 20 0 15 0 120530705 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714798476144 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5093] ppid=5079 vsize=13980732 memory=1380 CPUtime=0.47 cores=1,3,5,7
/proc/5081/task/5093/stat : 5093 (java) S 5079 5079 4674 0 -1 1077944384 7086 0 0 0 45 2 0 0 20 0 15 0 120530705 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714797423088 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5094] ppid=5079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5094/stat : 5094 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714796370784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5095] ppid=5079 vsize=13980732 memory=678652 CPUtime=0.53 cores=1,3,5,7
/proc/5081/task/5095/stat : 5095 (java) S 5079 5079 4674 0 -1 1077944384 1263 0 0 0 19 34 0 0 20 0 15 0 120530760 14316269568 332605 18446744073709551615 4194304 4196468 140735874835920 139714795317808 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
Current children cumulated CPU time: 2507.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1331800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.5 s]
/proc/loadavg: 1.60 1.79 1.84 3/214 5352
/proc/meminfo: memFree=29941196/32770624 swapFree=67108764/67108860
[pid=5079] ppid=5076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5079/stat : 5079 (xcsp3-exec) S 5076 5079 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120530686 9740288 345 18446744073709551615 4194304 5098028 140721629211008 140721629209112 139992070320764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 13 0 0 7196144 7232144 11231232 140721629213048 140721629213253 140721629213253 140721629216747 0
/proc/5079/statm: 2378 345 289 221 0 87 0
[pid=5081] ppid=5079 vsize=13980732 memory=1642948 CPUtime=2520.06 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5079 5079 4674 0 -1 1077944320 113462 0 0 0 251714 292 0 0 20 0 15 0 120530700 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 140735874818464 139715325464311 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
/proc/5081/statm: 3495183 410737 3246 1 0 3483476 0
[pid=5081/tid=5082] ppid=5079 vsize=13980732 memory=1380 CPUtime=2512.01 cores=1,3,5,7
/proc/5081/task/5082/stat : 5082 (java) R 5079 5079 4674 0 -1 4202560 57468 0 0 0 250972 229 0 0 20 0 15 0 120530700 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139715329704080 139714971924125 0 4 1 16800974 0 0 0 -1 5 0 0 53 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5083] ppid=5079 vsize=13980732 memory=1556596 CPUtime=0.93 cores=1,3,5,7
/proc/5081/task/5083/stat : 5083 (java) S 5079 5079 4674 0 -1 1077944384 3692 0 0 0 88 5 0 0 20 0 15 0 120530701 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714925882384 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5084] ppid=5079 vsize=13980732 memory=1529860 CPUtime=0.92 cores=1,3,5,7
/proc/5081/task/5084/stat : 5084 (java) S 5079 5079 4674 0 -1 1077944384 2973 0 0 0 88 4 0 0 20 0 15 0 120530701 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714924829840 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5085] ppid=5079 vsize=13980732 memory=1472292 CPUtime=0.93 cores=1,3,5,7
/proc/5081/task/5085/stat : 5085 (java) S 5079 5079 4674 0 -1 1077944384 3880 0 0 0 87 6 0 0 20 0 15 0 120530701 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714923776784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5086] ppid=5079 vsize=13980732 memory=1642948 CPUtime=0.93 cores=1,3,5,7
/proc/5081/task/5086/stat : 5086 (java) S 5079 5079 4674 0 -1 1077944384 4020 0 0 0 88 5 0 0 20 0 15 0 120530701 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714922724240 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5087] ppid=5079 vsize=13980732 memory=1642948 CPUtime=0.61 cores=1,3,5,7
/proc/5081/task/5087/stat : 5087 (java) S 5079 5079 4674 0 -1 1077944384 7826 0 0 0 49 12 0 0 20 0 15 0 120530702 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714803738864 139715325475458 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5088] ppid=5079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5088/stat : 5088 (java) S 5079 5079 4674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 120530703 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714802685088 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5089] ppid=5079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5089/stat : 5089 (java) S 5079 5079 4674 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 120530703 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714801631984 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5090] ppid=5079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5090/stat : 5090 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714800580560 139715325482907 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5091] ppid=5079 vsize=13980732 memory=1642948 CPUtime=1.44 cores=1,3,5,7
/proc/5081/task/5091/stat : 5091 (java) S 5079 5079 4674 0 -1 1077944384 12043 0 0 0 143 1 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714799528688 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5092] ppid=5079 vsize=13980732 memory=4148 CPUtime=1.18 cores=1,3,5,7
/proc/5081/task/5092/stat : 5092 (java) S 5079 5079 4674 0 -1 1077944384 11852 0 0 0 117 1 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714798476144 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5093] ppid=5079 vsize=13980732 memory=58788 CPUtime=0.47 cores=1,3,5,7
/proc/5081/task/5093/stat : 5093 (java) S 5079 5079 4674 0 -1 1077944384 7086 0 0 0 45 2 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714797423088 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5094] ppid=5079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5094/stat : 5094 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714796370784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5095] ppid=5079 vsize=13980732 memory=1585380 CPUtime=0.53 cores=1,3,5,7
/proc/5081/task/5095/stat : 5095 (java) S 5079 5079 4674 0 -1 1077944384 1265 0 0 0 19 34 0 0 20 0 15 0 120530760 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714795317808 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1644328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.51 s]
# the end of solver process 5079 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000972 s, system=0.000972 s
[startup+2514.52 s]
# the end of solver process 5081 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.15 s, system=2.93675 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+2514.5 s]
/proc/loadavg: 1.60 1.79 1.84 3/214 5352
/proc/meminfo: memFree=29941196/32770624 swapFree=67108764/67108860
[pid=5079] ppid=5076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5079/stat : 5079 (xcsp3-exec) S 5076 5079 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120530686 9740288 345 18446744073709551615 4194304 5098028 140721629211008 140721629209112 139992070320764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 13 0 0 7196144 7232144 11231232 140721629213048 140721629213253 140721629213253 140721629216747 0
/proc/5079/statm: 2378 345 289 221 0 87 0
[pid=5081] ppid=5079 vsize=13980732 memory=1642948 CPUtime=2520.06 cores=1,3,5,7
/proc/5081/stat : 5081 (java) S 5079 5079 4674 0 -1 1077944320 113462 0 0 0 251714 292 0 0 20 0 15 0 120530700 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 140735874818464 139715325464311 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
/proc/5081/statm: 3495183 410737 3246 1 0 3483476 0
[pid=5081/tid=5082] ppid=5079 vsize=13980732 memory=1380 CPUtime=2512.01 cores=1,3,5,7
/proc/5081/task/5082/stat : 5082 (java) R 5079 5079 4674 0 -1 4202560 57468 0 0 0 250972 229 0 0 20 0 15 0 120530700 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139715329704080 139714971924125 0 4 1 16800974 0 0 0 -1 5 0 0 53 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5083] ppid=5079 vsize=13980732 memory=1556596 CPUtime=0.93 cores=1,3,5,7
/proc/5081/task/5083/stat : 5083 (java) S 5079 5079 4674 0 -1 1077944384 3692 0 0 0 88 5 0 0 20 0 15 0 120530701 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714925882384 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5084] ppid=5079 vsize=13980732 memory=1529860 CPUtime=0.92 cores=1,3,5,7
/proc/5081/task/5084/stat : 5084 (java) S 5079 5079 4674 0 -1 1077944384 2973 0 0 0 88 4 0 0 20 0 15 0 120530701 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714924829840 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5085] ppid=5079 vsize=13980732 memory=1472292 CPUtime=0.93 cores=1,3,5,7
/proc/5081/task/5085/stat : 5085 (java) S 5079 5079 4674 0 -1 1077944384 3880 0 0 0 87 6 0 0 20 0 15 0 120530701 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714923776784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5086] ppid=5079 vsize=13980732 memory=1642948 CPUtime=0.93 cores=1,3,5,7
/proc/5081/task/5086/stat : 5086 (java) S 5079 5079 4674 0 -1 1077944384 4020 0 0 0 88 5 0 0 20 0 15 0 120530701 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714922724240 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5087] ppid=5079 vsize=13980732 memory=1642948 CPUtime=0.61 cores=1,3,5,7
/proc/5081/task/5087/stat : 5087 (java) S 5079 5079 4674 0 -1 1077944384 7826 0 0 0 49 12 0 0 20 0 15 0 120530702 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714803738864 139715325475458 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5088] ppid=5079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5088/stat : 5088 (java) S 5079 5079 4674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 120530703 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714802685088 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5089] ppid=5079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5089/stat : 5089 (java) S 5079 5079 4674 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 120530703 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714801631984 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5090] ppid=5079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5090/stat : 5090 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714800580560 139715325482907 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5091] ppid=5079 vsize=13980732 memory=1642948 CPUtime=1.44 cores=1,3,5,7
/proc/5081/task/5091/stat : 5091 (java) S 5079 5079 4674 0 -1 1077944384 12043 0 0 0 143 1 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714799528688 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5092] ppid=5079 vsize=13980732 memory=4148 CPUtime=1.18 cores=1,3,5,7
/proc/5081/task/5092/stat : 5092 (java) S 5079 5079 4674 0 -1 1077944384 11852 0 0 0 117 1 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714798476144 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5093] ppid=5079 vsize=13980732 memory=58788 CPUtime=0.47 cores=1,3,5,7
/proc/5081/task/5093/stat : 5093 (java) S 5079 5079 4674 0 -1 1077944384 7086 0 0 0 45 2 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714797423088 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5094] ppid=5079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5081/task/5094/stat : 5094 (java) S 5079 5079 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120530705 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714796370784 139715325474517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
[pid=5081/tid=5095] ppid=5079 vsize=13980732 memory=1585380 CPUtime=0.53 cores=1,3,5,7
/proc/5081/task/5095/stat : 5095 (java) S 5079 5079 4674 0 -1 1077944384 1265 0 0 0 19 34 0 0 20 0 15 0 120530760 14316269568 410737 18446744073709551615 4194304 4196468 140735874835920 139714795317808 139715325475458 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21323776 140735874843057 140735874843233 140735874843233 140735874846671 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1644328 KiB
Child status: 143
Real time (s): 2514.52
CPU time (s): 2520.09
CPU user time (s): 2517.15
CPU system time (s): 2.93675
CPU usage (%): 100.222
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 3872736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.15
system time used= 2.93675
maximum resident set size= 3961748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67357
involuntary context switches= 2712
# summary of solver processes directly reported to runsolver:
# pid: 5079,5081
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.15
# total CPU system time (s): 2.93675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.981 second user time and 23.0084 second system time
The end